Refine your search

Your search returned 932 results.

Sort
Results
741.
Architecting Dependable Systems V [electronic resource] / edited by Rogério Lemos, Felicita Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira. by Series: Lecture Notes in Computer Science ; 5135
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.9.A73 L46 2008.

742.
Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings / edited by Dominique Borrione, Wolfgang Paul. by Series: Lecture Notes in Computer Science ; 3725
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: TK7874.75 B67 2005.

743.
Foundations of AOP for J2EE Development [electronic resource] / by Renaud Pawlak, Lionel Seinturier, Jean-Philippe Retaillé. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Renaud Pawlak, Lionel Seinturier, and Jean-Philippe Retaillé, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.64 P39 2005.

744.
Nonlinear Speech Modeling and Applications [electronic resource] : Advanced Lectures and Revised Selected Papers / edited by Gérard Chollet, Anna Esposito, Marcos Faundez-Zanuy, Maria Marinaro. by Series: Lecture Notes in Computer Science ; 3445
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: TK7882.S65 C46 2005.

745.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings / edited by Radhia Cousot. by Series: Lecture Notes in Computer Science ; 3385
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.

746.
Pro Java EE 5 Performance Management and Optimization [electronic resource] / by Steven Haines. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Steven Haines, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 H35 2006.

747.
Beginning Google Maps Applications with PHP and Ajax [electronic resource] : From Novice to Professional / by Michael Purvis, Jeffrey Sambells, Cameron Turner. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Michael Purvis, Jeffrey Sambells, and Cameron Turner, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A52 P87 2006.

748.
Model Driven Architecture – Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings / edited by Ina Schieferdecker, Alan Hartman. by Series: Lecture Notes in Computer Science ; 5095
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.76.D47 S35 2008.

749.
750.
Issues in Multi-Agent Systems [electronic resource] : The AgentCities.ES Experience / edited by Antonio Moreno, Juan Pavón. by Series: Whitestein Series in Software Agent Technologies and Autonomic Computing
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag, P.O. Box 133, CH-4010 Basel, Switzerland, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 M67 2008.

751.
Supply Chain Management on Demand [electronic resource] : Strategies, Technologies, Applications / edited by Chae An, Hansjörg Fromm. 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: HD38.5 A5 2005.

752.
Software Product Lines [electronic resource] : 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings / edited by Henk Obbink, Klaus Pohl. by Series: Lecture Notes in Computer Science ; 3714
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 O23 2005.

753.
754.
Platform Based Design at the Electronic System Level [electronic resource] : Industry Perspectives and Experiences / by Mark Burton, Adam Morawiec. 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: TK7874.6 B87 2006.

755.
Sustainable Internet [electronic resource] : Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings / edited by Serge Fdida, Kazunori Sugiura. by Series: Lecture Notes in Computer Science ; 4866
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.5 F35 2007.

756.
Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings / edited by Zhong Shao. by Series: Lecture Notes in Computer Science ; 4807
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.7 S53 2007.

757.
758.
759.
760.
Advances in Smalltalk [electronic resource] : 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers / edited by Wolfgang Meuter. by Series: Lecture Notes in Computer Science ; 4406
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.73.S59 M48 2007.

Pages

Powered by Koha