Your search returned 1383 results.

Sort
Results
61.
Frontiers of Numerical Analysis [electronic resource] / edited by James F. Blowey, Alan W. Craig. by Series: UNIVERSITEX
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: QA297 B56 2005.

62.
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek. by Series: Lecture Notes in Computer Science ; 5195
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.A96 A76 2008.

63.
Modellistica numerica per problemi differenziali [electronic resource] / by Alfio Quarteroni. 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: QA377 Q36 2006.

64.
Information Security [electronic resource] : 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings / edited by Tzong-Chen Wu, Chin-Laung Lei, Vincent Rijmen, Der-Tsai Lee. by Series: Lecture Notes in Computer Science ; 5222
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: QA76.9.A25 W88 2008.

65.
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.

66.
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.

67.
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.

68.
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.

69.
70.
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.

71.
72.
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.

73.
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.

74.
Reliability, Life Testing and the Prediction of Service Lives [electronic resource] : For Engineers and Scientists / by Sam C. Saunders. by Series: Springer Series in Statistics
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA169 S27 2007.

75.
New Horizons of Parallel and Distributed Computing [electronic resource] / edited by Minyi Guo, Laurence Tianruo Yang. 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.58 .N49 2005.

76.
Probabilità Statistica e Simulazione [electronic resource] : Programmi applicativi scritti con Scilab / by Alberto Rotondi, Paolo Pedroni, Antonio Pievatolo. by Series: UNITEXT
Edition: 2a edizione.
Material type: Computer file Computer file; Format: electronic
Publication details: Milano : Springer-Verlag Italia, Milano, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA276 R68 2005.

77.
Real-Time Object Uniform Design Methodology with UML [electronic resource] / edited by Bui Minh Duc. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.54 D83 2007.

78.
79.
Software Process Modeling [electronic resource] / edited by Silvia T. Acuña, Natalia Juristo. by Series: International Series in Software Engineering ; 10
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.76.D47 S6636 2005.

80.
Pages

Powered by Koha