Your search returned 3731 results.

Sort
Results
2301.
2302.
Data Integration in the Life Sciences [electronic resource] : 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007. Proceedings / edited by Sarah Cohen-Boulakia, Val Tannen. by Series: Lecture Notes in Computer Science ; 4544
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: QH324.2 C64 2007.

2303.
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings / edited by V. Arvind, Sanjiva Prasad. by Series: Lecture Notes in Computer Science ; 4855
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.751 A78 2007.

2304.
The Role of Technology in CSCL [electronic resource] : Studies in Technology Enhanced Collaborative Learning / edited by H. Ulrich Hoppe, Hiroaki Ogata, Amy Soller. by Series: Computer-Supported Collaborative Learning ; 9
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: LB1028.43 R65 2007.

2305.
2306.
Swarm Robotics [electronic resource] : SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers / edited by Erol Şahin, William M. Spears. by Series: Lecture Notes in Computer Science ; 3342
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: TJ210.3 S24 2005.

2307.
Mathematical Methods for Mechanics [electronic resource] : A Handbook with MATLAB Experiments / edited by Eckart W. Gekeler. by
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: QA805 G45 2008.

2308.
2309.
25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith. by Series: Lecture Notes in Computer Science ; 5000
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.76.V47 G78 2008.

2310.
Euro-Par 2005 Parallel Processing [electronic resource] : 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings / edited by José C. Cunha, Pedro D. Medeiros. by Series: Lecture Notes in Computer Science ; 3648
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.58 C86 2005.

2311.
Sharing Data, Information and Knowledge [electronic resource] : 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008. Proceedings / edited by Alex Gray, Keith Jeffery, Jianhua Shao. by Series: Lecture Notes in Computer Science ; 5071
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.D3 G73 2008.

2312.
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education [electronic resource] / edited by Magued Iskander. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: LB1028.5 I85 2008.

2313.
Premiers pas en simulation [electronic resource] / by Yadolah Dodge, Giuseppe Melfi. by Series: Statistique et probabilités appliquées
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Paris : Springer-Verlag France, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HG106 D64 2008.

2314.
Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006. Proceedings / edited by Vincent P. Wade, Helen Ashman, Barry Smyth. by Series: Lecture Notes in Computer Science ; 4018
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: QA76.76.I59 W33 2006.

2315.
An Introduction to Language Processing with Perl and Prolog [electronic resource] : An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German / by Pierre M. Nugues. by Series: Cognitive Technologies
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: QA76.9.N38 N84 2006 .

2316.
2317.
Beginning Python [electronic resource] : From Novice to Professional / by Magnus Lie Hetland. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Magnus Lie Hetland, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.P98 H48 2005.

2318.
Typed Lambda Calculi and Applications [electronic resource] : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings / edited by Paweł Urzyczyn. by Series: Lecture Notes in Computer Science ; 3461
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: No items available.

2319.
2320.
Software Measurement [electronic resource] : Establish — Extract — Evaluate — Execute / by Christof Ebert, Reiner Dumke. 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: QA76.76.S65 E24 2007.

Pages

Powered by Koha