Your search returned 1383 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1341.
Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Amy L. Murphy, Jan Vitek. by Series: Lecture Notes in Computer Science ; 4467
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.58 M87 2007.

Place hold Add to cart
1342.
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
1343.
Networking - ICN 2005 [electronic resource] : 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part I / edited by Pascal Lorenz, Petre Dini. by Series: Lecture Notes in Computer Science ; 3420
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: TK5105.5 L67 2005.

Place hold Add to cart
1344.
1345.
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
1346.
Hardware Verification with C++ [electronic resource] : A Practitioner’s Handbook / by Mike Mintz, Robert Ekendahl. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.58 .M56 2006.

Place hold Add to cart
1347.
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
1348.
1349.
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
1350.
Line Drawing Interpretation [electronic resource] / by Martin Cooper. by
Material type: Computer file Computer file; Format: electronic
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1650 C67 2008.

Place hold Add to cart
1351.
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
1352.
Introduzione al Calcolo Scientifico [electronic resource] : Esercizi e problemi risolti con MATLAB / by Alfio Quarteroni, Fausto Saleri. by Series: UNITEXT
Edition: 3a edizione.
Material type: Computer file Computer file; Format: electronic
Publication details: Milano : Springer-Verlag Italia, Milano, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q183.9 Q83 2006.

Place hold Add to cart
1353.
1354.
Hardware Verification with SystemVerilog [electronic resource] : An Object-Oriented Framework / by Mike Mintz, Robert Ekendahl. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 M56 2007 .

Place hold Add to cart
1355.
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
1356.
Computational Granular Dynamics [electronic resource] : Models and Algorithms / by Thorsten Pöschel, Thomas Schwager. by
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: TA418.78 P67 2005.

Place hold Add to cart
1357.
A Practical Introduction to PSL [electronic resource] / by Cindy Eisner, Dana Fisman. by Series: Series on Integrated Circuits and Systems
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 E42 2006.

Place hold Add to cart
1358.
1359.
Advances for In-Vehicle and Mobile Systems [electronic resource] : Challenges for International Standards / edited by Héseyin Abut, John H. L. Hansen, Kazuya Takeda. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TL272.5 A38 2007.

Place hold Add to cart
1360.
Visualization in Medicine and Life Sciences [electronic resource] / edited by Lars Linsen, Hans Hagen, Bernd Hamann. by Series: Mathematics and Visualization
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
Pages

Powered by Koha