Refine your search

Your search returned 754 results.

Sort
Results
101.
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005. Proceedings / edited by Violet R. Syrotiuk, Edgar Chávez. by Series: Lecture Notes in Computer Science ; 3738
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.77 S97 2005.

102.
Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / edited by María Alpuente, Germán Vidal. by Series: Lecture Notes in Computer Science ; 5079
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.6 A47 2008.

103.
Introduction to Reconfigurable Computing [electronic resource] : Architectures, Algorithms, and Applications / edited by Christophe Bobda. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.G36 B63 2008.

104.
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms [electronic resource] / by Tim Kogel, Rainer Leupers, Heinrich Meyr. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 K64 2006.

105.
106.
The Definitive Guide to Django [electronic resource] : Web Development Done Right / by Adrian Holovaty, Jacob Kaplan-Moss. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Apress, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.D54 H65 2008.

107.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / edited by Toshimitsu Masuzawa, Sébastien Tixeuil. by Series: Lecture Notes in Computer Science ; 4838
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.S54 M37 2007.

108.
109.
Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan. by Series: Lecture Notes in Computer Science ; 2605
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.A96 H88 2005.

110.
Embedded Robotics [electronic resource] : Mobile Robot Design and Applications with Embedded Systems / by Thomas Bräunl. by
Edition: Second Edition.
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: TJ211.415 B73 2006.

111.
112.
Advances in Design and Specification Languages for Embedded Systems [electronic resource] : Selected Contributions from FDL'06 / edited by Sorin A. Huss. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 H87 2007 .

113.
Advances in Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings / edited by Adrian Paschke, Yevgen Biletskiy. by Series: Lecture Notes in Computer Science ; 4824
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.H94 P37 2007.

114.
115.
Autonomy Oriented Computing [electronic resource] : From Problem Solving to Complex Systems Modeling / by Jiming Liu, Xiaolong Jin, Kwok Ching Tsui. by Series: Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book Series ; 12
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Kluwer Academic Publishers, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 L58 2005.

116.
117.
Effective IT Service Management [electronic resource] : To ITIL and Beyond! / by Rob Addy. 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: T58.64 A33 2007.

118.
119.
120.
Algebraic Informatics [electronic resource] : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers / edited by Symeon Bozapalidis, George Rahonis. by Series: Lecture Notes in Computer Science ; 4728
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: QA155.7.E4 B69 2007 .

Pages

Powered by Koha