Your search returned 292 results.

Sort
Results
201.
Practice and Theory of Automated Timetabling VI [electronic resource] : 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers / edited by Edmund K. Burke, Hana Rudová. by Series: Lecture Notes in Computer Science ; 3867
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: Q340 B87 2007.

202.
Parallel and Distributed Processing and Applications [electronic resource] : Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings / edited by Jiannong Cao, Laurence T. Yang, Minyi Guo, Francis Lau. by Series: Lecture Notes in Computer Science ; 3358
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.A73 C36 2005.

203.
Information Retrieval Technology [electronic resource] : Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006. Proceedings / edited by Hwee Tou Ng, Mun-Kew Leong, Min-Yen Kan, Donghong Ji. by Series: Lecture Notes in Computer Science ; 4182
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: Z699.A1 N44 2006 .

204.
The Algorithm Design Manual [electronic resource] / by Steven S. Skiena. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A43 S55 2008.

205.
Topics in Cryptology – CT-RSA 2005 [electronic resource] : The Cryptographers’ Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005. Proceedings / edited by Alfred Menezes. by Series: Lecture Notes in Computer Science ; 3376
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.

206.
Computers and Games [electronic resource] : 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers / edited by H. Jaap Herik, Yngvi Björnsson, Nathan S. Netanyahu. by Series: Lecture Notes in Computer Science ; 3846
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: GV1469.15 H47 2006.

207.
Theory of Cryptography [electronic resource] : Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings / edited by Joe Kilian. by Series: Lecture Notes in Computer Science ; 3378
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.

208.
Progress in Cryptology - INDOCRYPT 2006 [electronic resource] : 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006. Proceedings / edited by Rana Barua, Tanja Lange. by Series: Lecture Notes in Computer Science ; 4329
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.A25 B37 2006.

209.
Formal Concept Analysis [electronic resource] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings / edited by Raoul Medina, Sergei Obiedkov. by Series: Lecture Notes in Computer Science ; 4933
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: QA171.5 M43 2008.

210.
Structural Information and Communication Complexity [electronic resource] : 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings / edited by Alexander A. Shvartsman, Pascal Felber. by Series: Lecture Notes in Computer Science ; 5058
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.D5 S58 2008.

211.
212.
Structural Information and Communication Complexity [electronic resource] : 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007. Proceedings / edited by Giuseppe Prencipe, Shmuel Zaks. by Series: Lecture Notes in Computer Science ; 4474
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.D5 P74 2007.

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

214.
Advances in Neural Networks – ISNN 2005 [electronic resource] : Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I / edited by Jun Wang, Xiaofeng Liao, Zhang Yi. by Series: Lecture Notes in Computer Science ; 3496
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.87 W364 2005.

215.
Structural Information and Communication Complexity [electronic resource] : 12 International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005. Proceedings / edited by Andrzej Pelc, Michel Raynal. by Series: Lecture Notes in Computer Science ; 3499
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.D5 P45 2005.

216.
217.
Graph Theory [electronic resource] / by J. A. Bondy, U. S. R. Murty. by Series: Graduate Texts in Mathematics ; 244
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA166 B66 2008.

218.
219.
Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings / edited by Bernhard Ganter, Robert Godin. by Series: Lecture Notes in Computer Science ; 3403
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: QA171.5 G36 2005.

220.
Algorithm Theory – SWAT 2008 [electronic resource] : 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings / edited by Joachim Gudmundsson. by Series: Lecture Notes in Computer Science ; 5124
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: QA9.58 G83 2008.

Pages

Powered by Koha