Refine your search

Your search returned 932 results.

Sort
Results
161.
Practical Aspects of Declarative Languages [electronic resource] : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings / edited by Paul Hudak, David S. Warren. by Series: Lecture Notes in Computer Science ; 4902
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.7 H83 2008.

162.
Advances in Software Engineering [electronic resource] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / edited by Egon Börger, Antonio Cisternino. by Series: Lecture Notes in Computer Science ; 5316
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.758 B67 2008.

163.
Programming Languages and Systems [electronic resource] : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings / edited by Kwangkeun Yi. by Series: Lecture Notes in Computer Science ; 3780
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.7 Y5 2005.

164.
165.
Grid Computing [electronic resource] : Experiment Management, Tool Integration, and Scientific Workflows / by Radu Prodan, Thomas Fahringer. by Series: Lecture Notes in Computer Science ; 4340
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.C58 P76 2007.

166.
Systems Aspects in Organic and Pervasive Computing - ARCS 2005 [electronic resource] : 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings / edited by Michael Beigl, Paul Lukowicz. by Series: Lecture Notes in Computer Science ; 3432
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.A73 B45 2005.

167.
168.
Peer-to-Peer Systems IV [electronic resource] : 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers / edited by Miguel Castro, Robbert Renesse. by Series: Lecture Notes in Computer Science ; 3640
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 C37 2005.

169.
JDBC Recipes [electronic resource] : A Problem-Solution Approach / by Mahmoud Parsian. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Mahmoud Parsian, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 P37 2005.

170.
171.
RoboCup 2006: Robot Soccer World Cup X [electronic resource] / edited by Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi. by Series: Lecture Notes in Computer Science ; 4434
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: TJ210.3 L35 2007.

172.
The Definitive Guide to SOA: BEA AquaLogic® Service Bus [electronic resource] / by Jeff Davies, Ashish Krishna, David Schorow. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : BEA Systems, Inc., 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HF5548.323.W43 D38 2007.

173.
Virtual Reality [electronic resource] : Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings / edited by Randall Shumaker. by Series: Lecture Notes in Computer Science ; 4563
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: No items available.

174.
Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings / edited by Judi Romijn, Graeme Smith, Jaco Pol. by Series: Lecture Notes in Computer Science ; 3771
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.F67 R66 2005.

175.
Foundations of 3D Graphics Programming [electronic resource] : Using JOGL and Java3D / by Jim X. Chen, Edward J. Wegman. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T385 C46 2008.

176.
177.
Extreme NXT [electronic resource] : Extending the LEGO MINDSTORMS NXT to the Next Level / by Michael Gasperi, Philippe Philo Hurbain, Isabelle Hurbain. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Michael Gasperi, Philippe Hurbain, Isabelle Hurbain, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ211.15 G37 2007.

178.
Distributed and Parallel Systems [electronic resource] : In Focus: Desktop Grid Computing / edited by Péter Kacsuk, Róbert Lovas, Zsolt Németh. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.C58 K33 2008.

179.
180.
Temporal Logic and State Systems [electronic resource] / by Fred Kröger, Stephan Merz. by Series: Texts in Theoretical Computer Science, An EATCS Series
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: BC199.T4 K76 2008.

Pages

Powered by Koha