Your search returned 212 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
42.
Component Deployment [electronic resource] : Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings / edited by Alan Dearle, Susan Eisenbach. by Series: Lecture Notes in Computer Science ; 3798
Edition: 1a ed.
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.C66D43 2005.

Place hold Add to cart
43.
44.
45.
Defence Applications of Multi-Agent Systems [electronic resource] : International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers / edited by Simon G. Thompson, Robert Ghanea-Hercock. by Series: Lecture Notes in Computer Science ; 3890
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 T46 2006.

Place hold Add to cart
46.
A Concise Introduction to Software Engineering [electronic resource] / by Pankaj Jalote. by Series: Undergraduate Topics in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 J34 2008.

Place hold Add to cart
47.
Practical Aspects of Declarative Languages [electronic resource] : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings / edited by Paul Hudak, David S. Warren. by Series: Lecture Notes in Computer Science ; 4902
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 H83 2008.

Place hold Add to cart
48.
Advances in Software Engineering [electronic resource] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / edited by Egon Börger, Antonio Cisternino. by Series: Lecture Notes in Computer Science ; 5316
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: QA76.758 B67 2008.

Place hold Add to cart
49.
Programming Languages and Systems [electronic resource] : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings / edited by Kwangkeun Yi. by Series: Lecture Notes in Computer Science ; 3780
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.7 Y5 2005.

Place hold Add to cart
50.
51.
JDBC Recipes [electronic resource] : A Problem-Solution Approach / by Mahmoud Parsian. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Mahmoud Parsian, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 P37 2005.

Place hold Add to cart
52.
The Definitive Guide to SOA: BEA AquaLogic® Service Bus [electronic resource] / by Jeff Davies, Ashish Krishna, David Schorow. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : BEA Systems, Inc., 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HF5548.323.W43 D38 2007.

Place hold Add to cart
53.
Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / edited by Judi Romijn, Graeme Smith, Jaco Pol. by Series: Lecture Notes in Computer Science ; 3771
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.9.F67 R66 2005.

Place hold Add to cart
54.
Temporal Logic and State Systems [electronic resource] / by Fred Kröger, Stephan Merz. by Series: Texts in Theoretical Computer Science, An EATCS Series
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: BC199.T4 K76 2008.

Place hold Add to cart
55.
Guide to Assembly Language Programming in Linux [electronic resource] / by Sivarama P. Dandamudi. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.A8 D34 2005.

Place hold Add to cart
56.
Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers / edited by Markus Lumpe, Wim Vanderperren. by Series: Lecture Notes in Computer Science ; 4829
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.76.C66 L86 2007.

Place hold Add to cart
57.
58.
Practical .NET for Financial Markets [electronic resource] / by Yogesh Shetty, Samir Jayaswal. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Yogesh Shetty and Samir Jayaswal, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HG4515.95 S54 2006.

Place hold Add to cart
59.
Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / edited by Fabrice Kordon, Oleg Sokolsky. by Series: Lecture Notes in Computer Science ; 4888
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: TK7895.E42 K67 2007.

Place hold Add to cart
60.
Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / edited by María Alpuente, Germán Vidal. by Series: Lecture Notes in Computer Science ; 5079
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.6 A47 2008.

Place hold Add to cart
Pages

Powered by Koha