Your search returned 271 results.

Sort
Results
81.
Dynamic Brain - from Neural Spikes to Behaviors [electronic resource] : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures / edited by Maria Marinaro, Silvia Scarpetta, Yoko Yamaguchi. by Series: Lecture Notes in Computer Science ; 5286
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: QP363.3 M37 2007.

82.
Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings / edited by Antti Valmari. by Series: Lecture Notes in Computer Science ; 3925
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.V47 V35 2006.

83.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings / edited by Khaled Mellouli. by Series: Lecture Notes in Computer Science ; 4724
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q334 M45 2007.

84.
85.
86.
Information Security Applications [electronic resource] : 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers / edited by Sehun Kim, Moti Yung, Hyung-Woo Lee. by Series: Lecture Notes in Computer Science ; 4867
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 K56 2007.

87.
High Performance Computing - HiPC 2004 [electronic resource] : 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings / edited by Luc Bougé, Viktor K. Prasanna. by Series: Lecture Notes in Computer Science ; 3296
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.88 B68 2005.

88.
Selected Areas in Cryptography [electronic resource] : 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers / edited by Bart Preneel, Stafford Tavares. by Series: Lecture Notes in Computer Science ; 3897
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.9.A25 P74 2006.

89.
90.
91.
92.
Algorithms and Computation [electronic resource] : 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings / edited by Seok-Hee Hong, Hiroshi Nagamochi, Takuro Fukunaga. by Series: Lecture Notes in Computer Science ; 5369
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.A43 H66 2008.

93.
Web Reasoning and Rule Systems [electronic resource] : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings / edited by Diego Calvanese, Georg Lausen. by Series: Lecture Notes in Computer Science ; 5341
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: TK5105.88815 C35 2008.

94.
95.
96.
Artificial Intelligence and Neural Networks [electronic resource] : 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers / edited by F. Acar Savacı. by Series: Lecture Notes in Computer Science ; 3949
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.87 S28 2006.

97.
Middleware 2008 [electronic resource] : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings / edited by Valérie Issarny, Richard Schantz. by Series: Lecture Notes in Computer Science ; 5346
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.76.M54 I87 2008.

98.
99.
Data Mining for Biomedical Applications [electronic resource] : PAKDD 2006 Workshop, BioDM 2006, Singapore, April 9, 2006. Proceedings / edited by Jinyan Li, Qiang Yang, Ah-Hwee Tan. by Series: Lecture Notes in Computer Science ; 3916
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: R858.A2 L95 2006.

100.
Inconsistency Tolerance [electronic resource] / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub. by Series: Lecture Notes in Computer Science ; 3300
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 B47 2005 .

Pages

Powered by Koha