Your search returned 1979 results.

Sort
Results
41.
Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers / edited by Sandro Etalle. by Series: Lecture Notes in Computer Science ; 3573
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.63 E83 2005.

42.
43.
Heterogeneous Objects Modelling and Applications [electronic resource] : Collection of Papers on Foundations and Practice / edited by Alexander Pasko, Valery Adzhiev, Peter Comninos. by Series: Lecture Notes in Computer Science ; 4889
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: T385 P37 2008.

44.
Advances in Cryptology – CRYPTO 2005 [electronic resource] : 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings / edited by Victor Shoup. by Series: Lecture Notes in Computer Science ; 3621
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.A25 S46 2005.

45.
46.
Algebra and Coalgebra in Computer Science [electronic resource] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen. by Series: Lecture Notes in Computer Science ; 4624
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.9.M35 M67 2007.

47.
48.
Component-Based Software Development for Embedded Systems [electronic resource] : An Overview of Current Research Trends / edited by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper. by Series: Lecture Notes in Computer Science ; 3778
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.C66 A85 2005.

49.
50.
Computers and Games [electronic resource] : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers / edited by H. Jaap Herik, Paolo Ciancarini, H. H. L. M. (Jeroen) Donkers. by Series: Lecture Notes in Computer Science ; 4630
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: GV1469.15 H47 2007.

51.
Computer Vision – ECCV 2006 [electronic resource] : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006. Proceedings, Part II / edited by Aleš Leonardis, Horst Bischof, Axel Pinz. by Series: Lecture Notes in Computer Science ; 3952
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: TA1634 L46 2006.

52.
53.
54.
Service-Oriented Computing – ICSOC 2008 [electronic resource] : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings / edited by Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria. by Series: Lecture Notes in Computer Science ; 5364
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.D5 B68 2008.

55.
56.
Mathematical Methods in Computer Science [electronic resource] : Essays in Memory of Thomas Beth / edited by Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade. by Series: Lecture Notes in Computer Science ; 5393
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..M35 C35 2008.

57.
58.
59.
60.
Middleware 2007 [electronic resource] : ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings / edited by Renato Cerqueira, Roy H. Campbell. by Series: Lecture Notes in Computer Science ; 4834
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.M54 C47 2007.

Pages

Powered by Koha