Your search returned 907 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
881.
Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings / edited by Zhiming Liu, Jifeng He. by Series: Lecture Notes in Computer Science ; 4260
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 L58 2006.

Place hold Add to cart
882.
883.
Principles of Distributed Systems [electronic resource] : 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings / edited by Eduardo Tovar, Philippas Tsigas, Hacène Fouchal. by Series: Lecture Notes in Computer Science ; 4878
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 T68 2007.

Place hold Add to cart
884.
The Definitive Guide to the Microsoft Enterprise Library [electronic resource] / by Keenan Newton. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Apress, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A26 N49 2007.

Place hold Add to cart
885.
Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers / edited by Welf Löwe, Mario Südholt. by Series: Lecture Notes in Computer Science ; 4089
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C66 L69 2006.

Place hold Add to cart
886.
Multiagent Engineering [electronic resource] : Theory and Applications in Enterprises / edited by Stefan Kirn, Otthein Herzog, Peter Lockemann, Otto Spaniol. by Series: International Handbooks on Information Systems
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin · Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 K57 2006.

Place hold Add to cart
887.
888.
Object-Oriented Metrics in Practice [electronic resource] : Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems / by Michele Lanza, Radu Marinescu. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 L36 2006.

Place hold Add to cart
889.
890.
The Definitive Guide to GCC [electronic resource] / by William Hagen. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Apress, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C65 H34 2006.

Place hold Add to cart
891.
892.
Software Engineering Techniques Applied to Agricultural Systems [electronic resource] : An Object-Oriented and UML Approach / by Petraq J. Papajorgji, Panos M. Pardalos. by Series: Applied Optimization ; 100
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: S494.5.D3 P37 2006.

Place hold Add to cart
893.
Human-Computer Interaction. HCI Applications and Services [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV / edited by Julie A. Jacko. by Series: Lecture Notes in Computer Science ; 4553
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.H85 J35 2007.

Place hold Add to cart
894.
Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings / edited by Tarmo Uustalu. by Series: Lecture Notes in Computer Science ; 4014
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.6 U97 2006.

Place hold Add to cart
895.
Trustworthy Global Computing [electronic resource] : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / edited by Rocco Nicola, Davide Sangiorgi. by Series: Lecture Notes in Computer Science ; 3705
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
896.
Business Information Systems [electronic resource] : 11th International Conference, BIS 2008, Innsbruck, Austria, May 5-7, 2008. Proceedings / edited by Witold Abramowicz, Dieter Fensel. by Series: Lecture Notes in Business Information Processing ; 7
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HF5548.2 A27 2008.

Place hold Add to cart
897.
Compiler Construction [electronic resource] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Rastislav Bodik. by Series: Lecture Notes in Computer Science ; 3443
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C65 B64 2005.

Place hold Add to cart
898.
Design for Manufacturability and Yield for Nano-Scale CMOS [electronic resource] / by Charles C. Chiang, Jamil Kawa. by Series: Series on Integrated Circuits and Systems
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7867 C45 2007.

Place hold Add to cart
899.
Test and Analysis of Web Services [electronic resource] / edited by Luciano Baresi, Elisabetta Di Nitto. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.88813 B37 2007.

Place hold Add to cart
900.
Multimedia Introduction to Programming Using Java [electronic resource] / by David Gries, Paul Gries. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : David Gries and Paul Gries, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 G74 2005.

Place hold Add to cart
Pages

Powered by Koha