Your search returned 2103 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
281.
Advanced Parallel Processing Technologies [electronic resource] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu. by Series: Lecture Notes in Computer Science ; 3756
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.642 C36 2005.

Place hold Add to cart
282.
283.
Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings / edited by Jacques Calmet, Tetsuo Ida, Dongming Wang. by Series: Lecture Notes in Computer Science ; 4120
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: Q334 C35 2006.

Place hold Add to cart
284.
285.
286.
287.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings / edited by Martin Steffen, Gianluigi Zavattaro. by Series: Lecture Notes in Computer Science ; 3535
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.9.D5 S74 2005.

Place hold Add to cart
288.
Theory and Applications of Models of Computation [electronic resource] : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings / edited by Jin-Yi Cai, S. Barry Cooper, Angsheng Li. by Series: Lecture Notes in Computer Science ; 3959
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: QA267.7 C35 2006.

Place hold Add to cart
289.
Graphics Recognition. Ten Years Review and Future Perspectives [electronic resource] : 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers / edited by Wenyin Liu, Josep Lladós. by Series: Lecture Notes in Computer Science ; 3926
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: TA1637 L58 2006.

Place hold Add to cart
290.
291.
292.
Advanced Studies in Biometrics [electronic resource] : Summer School on Biometrics, Alghero, Italy, June 2-6, 2003. Revised Selected Lectures and Papers / edited by Massimo Tistarelli, Josef Bigun, Enrico Grosso. by Series: Lecture Notes in Computer Science ; 3161
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.B56 T57 2005.

Place hold Add to cart
293.
294.
Comparative Genomics [electronic resource] : RECOMB 2006 International Workshop, RCG 2006 Montreal, Canada, September 24-26, 2006 Proceedings / edited by Guillaume Bourque, Nadia El-Mabrouk. by Series: Lecture Notes in Computer Science ; 4205
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: QH447 B68 2006.

Place hold Add to cart
295.
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel. by Series: Lecture Notes in Computer Science ; 4937
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: TK5105.88813 D86 2008.

Place hold Add to cart
296.
297.
DNA Computing [electronic resource] : 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers / edited by Claudio Ferretti, Giancarlo Mauri, Claudio Zandron. by Series: Lecture Notes in Computer Science ; 3384
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.887 F47 2005.

Place hold Add to cart
298.
Complexity of Constraints [electronic resource] : An Overview of Current Research Themes / edited by Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer. by Series: Lecture Notes in Computer Science ; 5250
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: Q340 C74 2008.

Place hold Add to cart
299.
300.
Pages

Powered by Koha