Refine your search

Your search returned 1433 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1081.
Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings / edited by Paolo Petta, Jörg P. Müller, Matthias Klusch, Michael Georgeff. by Series: Lecture Notes in Computer Science ; 4687
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.76.I58 P48 2007.

Place hold Add to cart
1082.
Modelling Land-Use Change [electronic resource] : Progress and applications / edited by Eric Koomen, John Stillwell, Aldrik Bakema, Henk J. Scholten. by Series: The GeoJournal Library ; 90
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: HD111 K66 2007.

Place hold Add to cart
1083.
Intelligent Data Engineering and Automated Learning - IDEAL 2005 [electronic resource] : 6th International Conference, Brisbane, Australia, July 6-8, 2005. Proceedings / edited by Marcus Gallagher, James P. Hogan, Frederic Maire. by Series: Lecture Notes in Computer Science ; 3578
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.D3 G35 2005 .

Place hold Add to cart
1084.
Canadian Semantic Web [electronic resource] / edited by Mamadou Tadiou Koné, Daniel Lemire. by Series: Semantic Web and Beyond, Computing for Human Experience ; 2
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.A65 K66 2006.

Place hold Add to cart
1085.
1086.
Service Availability [electronic resource] : 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings / edited by Miroslaw Malek, Manfred Reitenspieß, Aad Moorsel. by Series: Lecture Notes in Computer Science ; 4526
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: TK5105.5 M35 2007.

Place hold Add to cart
1087.
Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay. by Series: Lecture Notes in Computer Science ; 3707
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 P45 2005.

Place hold Add to cart
1088.
Synchronizing Internet Protocol Security (SIPSec) [electronic resource] / by Charles A. Shoniregun. by Series: Advances in Information Security ; 34
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 S56 2007.

Place hold Add to cart
1089.
1090.
Automating Business Modelling [electronic resource] : A Guide to Using Logic to Represent Informal Methods and Support Reasoning / by Yun-Heh Chen-Burger, Dave Robertson. by Series: Advanced Information and Knowledge Processing
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HD30.2 C46 2005.

Place hold Add to cart
1091.
Security and Privacy in Ad-hoc and Sensor Networks [electronic resource] : Second European Workshop, ESAS 2005, Visegrad, Hungary, July 13-14, 2005. Revised Selected Papers / edited by Refik Molva, Gene Tsudik, Dirk Westhoff. by Series: Lecture Notes in Computer Science ; 3813
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.59 M65 2005.

Place hold Add to cart
1092.
1093.
Web Archiving [electronic resource] / by Julien Masanés. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Z701.3.W43 W43 2006.

Place hold Add to cart
1094.
Product Focused Software Process Improvement [electronic resource] : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings / edited by Frank Bomarius, Seija Komi-Sirviö. by Series: Lecture Notes in Computer Science ; 3547
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.D47 B66 2005.

Place hold Add to cart
1095.
Rural Analysis and Management [electronic resource] : An Earth Science Approach to Rural Science / by Francisco J. Tapiador. 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: GF90 T37 2008.

Place hold Add to cart
1096.
Practice and Theory of Automated Timetabling V [electronic resource] : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers / edited by Edmund Burke, Michael Trick. by Series: Lecture Notes in Computer Science ; 3616
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: Q340 B87 2005.

Place hold Add to cart
1097.
1098.
1099.
Self-Organizing Systems [electronic resource] : Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings / edited by Karin Anna Hummel, James P. G. Sterbenz. by Series: Lecture Notes in Computer Science ; 5343
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: Q325 H86 2008.

Place hold Add to cart
1100.
Pages

Powered by Koha