Refine your search

Your search returned 932 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
241.
Software Product Line Engineering [electronic resource] : Foundations, Principles, and Techniques / by Klaus Pohl, Günter Böckle, Frank Linden. 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: QA76.76.D47 P64 2005.

Place hold Add to cart
242.
243.
Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan. by Series: Lecture Notes in Computer Science ; 2605
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.A96 H88 2005.

Place hold Add to cart
244.
Embedded Robotics [electronic resource] : Mobile Robot Design and Applications with Embedded Systems / by Thomas Bräunl. by
Edition: Second Edition.
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: TJ211.415 B73 2006.

Place hold Add to cart
245.
Enterprise Service Oriented Architectures [electronic resource] : Concepts, Challenges, Recommendations / by James McGovern, Oliver Sims, Ashish Jain, Mark Little. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T58.6 M34 2006.

Place hold Add to cart
246.
The Definitive Guide to Stellent Content Server Development [electronic resource] / by Brian “Bex” Huff. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Brian Huff, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D3 H84 2006.

Place hold Add to cart
247.
248.
Computational Methods in Systems Biology [electronic resource] : International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings / edited by Muffy Calder, Stephen Gilmore. by Series: Lecture Notes in Computer Science ; 4695
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: QH506 C35 2007.

Place hold Add to cart
249.
Beginning Apache Struts [electronic resource] : From Novice to Professional / by Arnold Doray. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Arnold Doray, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A63 D67 2006.

Place hold Add to cart
250.
251.
Advances in Design and Specification Languages for Embedded Systems [electronic resource] : Selected Contributions from FDL'06 / edited by Sorin A. Huss. by
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: TK7885.7 H87 2007 .

Place hold Add to cart
252.
Advances in Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings / edited by Adrian Paschke, Yevgen Biletskiy. by Series: Lecture Notes in Computer Science ; 4824
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.H94 P37 2007.

Place hold Add to cart
253.
254.
Metainformatics [electronic resource] : International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers / edited by Uffe Kock Wiil. by Series: Lecture Notes in Computer Science ; 3511
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: QA75.5 W55 2005.

Place hold Add to cart
255.
256.
Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by Series: Lecture Notes in Computer Science ; 4143
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
257.
Learning Design [electronic resource] : A Handbook on Modelling and Delivering Networked Education and Training / edited by Rob Koper, Colin Tattersall. 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: LB1044.87 K67 2005.

Place hold Add to cart
258.
Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings / edited by Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner. by Series: Lecture Notes in Computer Science ; 4128
Edition: 1a ed.
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.58 N34 2006.

Place hold Add to cart
259.
260.
Autonomy Oriented Computing [electronic resource] : From Problem Solving to Complex Systems Modeling / by Jiming Liu, Xiaolong Jin, Kwok Ching Tsui. by Series: Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book Series ; 12
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Kluwer Academic Publishers, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 L58 2005.

Place hold Add to cart
Pages

Powered by Koha