Your search returned 2849 results.

Sort
Results
141.
142.
System Signatures and their Applications in Engineering Reliability [electronic resource] / by Francisco J. Samaniego. by Series: International Series In Operations Research & Management Science ; 110
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA169 S26 2007.

143.
Model-Driven Architecture in Practice [electronic resource] : A Software Production Environment Based on Conceptual Modeling / by Oscar Pastor, Juan Carlos Molina. 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: QA76.76.D47 P37 2007.

144.
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings / edited by Kamal Lodaya, Meena Mahajan. by Series: Lecture Notes in Computer Science ; 3328
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.751 L63 2005.

145.
Fuzzy-Neuro Approach to Agent Applications [electronic resource] : From the AI Perspective to Modern Ontology / by Raymond S. T. Lee. by Series: Springer Series in Agent Technology
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.I58 L44 2006 .

146.
Wireless Sensor Networks [electronic resource] : 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings / edited by Koen Langendoen, Thiemo Voigt. by Series: Lecture Notes in Computer Science ; 4373
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: TK7872.D48 L36 2007.

147.
148.
Logic for Computer Scientists [electronic resource] / by Uwe Schöning. by Series: Progress in Computer Science and Applied Logic (PCS) ; 8
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 S36 2008.

149.
Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers / edited by Rogier M. Eijk, Marc-Philippe Huget, Frank Dignum. by Series: Lecture Notes in Computer Science ; 3396
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.I58 E35 2005.

150.
151.
152.
Testing Commercial-off-the-Shelf Components and Systems [electronic resource] / edited by Sami Beydeda, Volker Gruhn. by
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.T48 B49 2005.

153.
154.
Instability in Models Connected with Fluid Flows I [electronic resource] / edited by Claude Bardos, Andrei Fursikov. by Series: International Mathematical Series ; 6
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA911 B37 2008.

155.
Computational Engineering — Introduction to Numerical Methods [electronic resource] / by Michael Schäfer. 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: TA330 S33 2006.

156.
157.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 4246
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.63 H47 2006.

158.
159.
160.
Information Systems Security [electronic resource] : 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings / edited by R. Sekar, Arun K. Pujari. by Series: Lecture Notes in Computer Science ; 5352
Edition: 1a ed.
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.9.A25 S45 2008.

Pages

Powered by Koha