Your search returned 580 results.

Sort
Results
161.
Computational Methods in Systems Biology [electronic resource] : International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings / edited by Muffy Calder, Stephen Gilmore. by Series: Lecture Notes in Computer Science ; 4695
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: QH506 C35 2007.

162.
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.

163.
164.
Metainformatics [electronic resource] : International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers / edited by Uffe Kock Wiil. by Series: Lecture Notes in Computer Science ; 3511
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 W55 2005.

165.
166.
Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by Series: Lecture Notes in Computer Science ; 4143
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.758 L36 2006.

167.
Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings / edited by Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner. by Series: Lecture Notes in Computer Science ; 4128
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: QA76.58 N34 2006.

168.
169.
RoboCup 2007: Robot Soccer World Cup XI [electronic resource] / edited by Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert. by Series: Lecture Notes in Computer Science ; 5001
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: TJ210.3 V57 2008.

170.
171.
172.
Architecting Dependable Systems III [electronic resource] / edited by Rogério Lemos, Cristina Gacek, Alexander Romanovsky. by Series: Lecture Notes in Computer Science ; 3549
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 L46 2005.

173.
174.
Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg. by Series: Lecture Notes in Computer Science ; 5156
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 H38 2008.

175.
176.
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 .

177.
Data and Applications Security XIX [electronic resource] : 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings / edited by Sushil Jajodia, Duminda Wijesekera. by Series: Lecture Notes in Computer Science ; 3654
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.D314 J35 2005.

178.
Software Process Dynamics and Agility [electronic resource] : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings / edited by Qing Wang, Dietmar Pfahl, David M. Raffo. by Series: Lecture Notes in Computer Science ; 4470
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.D47 W36 2007.

179.
180.
Pages

Powered by Koha