Your search returned 2103 results.

Sort
Results
1321.
1322.
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.

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

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

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

1326.
1327.
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.

1328.
1329.
Comparative Genomics [electronic resource] : RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005. Proceedings / edited by Aoife McLysaght, Daniel H. Huson. by Series: Lecture Notes in Computer Science ; 3678
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: QH447 M35 2005.

1330.
1331.
Computational Geometry and Graph Theory [electronic resource] : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers / edited by Hiro Ito, Mikio Kano, Naoki Katoh, Yushi Uno. by Series: Lecture Notes in Computer Science ; 4535
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: QA448.D38 I86 2008.

1332.
1333.
1334.
Robot Vision [electronic resource] : Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008. Proceedings / edited by Gerald Sommer, Reinhard Klette. by Series: Lecture Notes in Computer Science ; 4931
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: TJ211.3 S66 2008.

1335.
1336.
Text, Speech and Dialogue [electronic resource] : 9th International Conference, TSD 2006, Brno, Czech Republic, September 11-15, 2006. Proceedings / edited by Petr Sojka, Ivan Kopeček, Karel Pala. by Series: Lecture Notes in Computer Science ; 4188
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 S655 2006.

1337.
Mobile Ad-hoc and Sensor Networks [electronic resource] : First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005. Proceedings / edited by Xiaohua Jia, Jie Wu, Yanxiang He. by Series: Lecture Notes in Computer Science ; 3794
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: TK7872.D48 J53 2005.

1338.
Algorithms and Models for the Web-Graph [electronic resource] : 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007. Proceedings / edited by Anthony Bonato, Fan R. K. Chung. by Series: Lecture Notes in Computer Science ; 4863
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.A43 B66 2007.

1339.
1340.
Experimental and Efficient Algorithms [electronic resource] : 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005. Proceedings / edited by Sotiris E. Nikoletseas. by Series: Lecture Notes in Computer Science ; 3503
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.9.A43 N55 2005.

Pages

Powered by Koha