Your search returned 2103 results.

Sort
Results
1041.
Component-Based Software Engineering [electronic resource] : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings / edited by Michel R. V. Chaudron, Clemens Szyperski, Ralf Reussner. by Series: Lecture Notes in Computer Science ; 5282
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.76.C66 C43 2008.

1042.
Algorithmic Aspects in Information and Management [electronic resource] : 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings / edited by Rudolf Fleischer, Jinhui Xu. by Series: Lecture Notes in Computer Science ; 5034
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.A43 F54 2008.

1043.
Innovative Internet Community Systems [electronic resource] : 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers / edited by Alain Bui, Marc Bui, Thomas Böhme, Herwig Unger. by Series: Lecture Notes in Computer Science ; 3908
Edition: 1a ed.
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.D5 B85 2006.

1044.
Diagrammatic Representation and Inference [electronic resource] : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings / edited by Dave Barker-Plummer, Richard Cox, Nik Swoboda. by Series: Lecture Notes in Computer Science ; 4045
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: QA90 B37 2006.

1045.
Task Models and Diagrams for User Interface Design [electronic resource] : 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings / edited by Marco Winckler, Hilary Johnson, Philippe Palanque. by Series: Lecture Notes in Computer Science ; 4849
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.H85 W56 2007.

1046.
1047.
1048.
Formal Methods for Industrial Critical Systems [electronic resource] : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino. by Series: Lecture Notes in Computer Science ; 4916
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.F67 L48 2008.

1049.
Computer Vision, Graphics and Image Processing [electronic resource] : 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006. Proceedings / edited by Prem K. Kalra, Shmuel Peleg. by Series: Lecture Notes in Computer Science ; 4338 | Lecture Notes in Computer Science ; 4338
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: TA1634 K35 2006.

1050.
Dependable Computing [electronic resource] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum. by Series: Lecture Notes in Computer Science ; 4746
Edition: 1a ed.
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.F3 B66 2007.

1051.
1052.
Interactive Systems. Design, Specification, and Verification [electronic resource] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers / edited by Gavin Doherty, Ann Blandford. by Series: Lecture Notes in Computer Science ; 4323
Edition: 1a ed.
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.I58 D64 2007.

1053.
1054.
1055.
STACS 2005 [electronic resource] : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings / edited by Volker Diekert, Bruno Durand. by Series: Lecture Notes in Computer Science ; 3404
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: QA75.5 D54 2005.

1056.
1057.
Peer-to-Peer Systems and Applications [electronic resource] / edited by Ralf Steinmetz, Klaus Wehrle. by Series: Lecture Notes in Computer Science ; 3485
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: TK5105.525 S74 2005.

1058.
Cognitive Systems [electronic resource] : Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers / edited by Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich. by Series: Lecture Notes in Computer Science ; 4429
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: Q334 L8 2007.

1059.
1060.
Experimental Algorithms [electronic resource] : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007. Proceedings / edited by Camil Demetrescu. by Series: Lecture Notes in Computer Science ; 4525
Edition: 1a ed.
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.A23 D46 2007.

Pages

Powered by Koha