Your search returned 36 results.

Results
	21.	Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings / edited by Gianfranco Ciardo, Philippe Darondeau. by Ciardo, Gianfranco Darondeau, Philippe SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3536 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 C53 2005. Place hold Add to cart (remove)
	22.	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 Cao, Jiannong Yang, Laurence T Guo, Minyi Lau, Francis SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3358 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A73 C36 2005. Place hold Add to cart (remove)
	23.	Formal Concept Analysis [electronic resource] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings / edited by Raoul Medina, Sergei Obiedkov. by Medina, Raoul Obiedkov, Sergei SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4933 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA171.5 M43 2008. Place hold Add to cart (remove)
	24.	Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings / edited by Bernhard Ganter, Robert Godin. by Ganter, Bernhard Godin, Robert SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3403 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA171.5 G36 2005. Place hold Add to cart (remove)
	25.	Quantitative Measure for Discrete Event Supervisory Control [electronic resource] / edited by Asok Ray, Vir V. Phoha, Shashi P. Phoha. by Ray, Asok Phoha, Vir V Phoha, Shashi P SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ222 P36 2005. Place hold Add to cart (remove)
	26.	SOFSEM 2005: Theory and Practice of Computer Science [electronic resource] : 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings / edited by Peter Vojtáš, Mária Bieliková, Bernadette Charron-Bost, Ondrej Sýkora. by Vojtáš, Peter Bieliková, Mária Charron-Bost, Bernadette Sýkora, Ondrej SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3381 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.751 V65 2005. Place hold Add to cart (remove)
	27.	Advanced Parallel Processing Technologies [electronic resource] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu. by Xu, Ming Zhan, Yinwei Cao, Jiannong Liu, Yijun SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4847 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.642 X8 2007. Place hold Add to cart (remove)
	28.	Mathematics of Surfaces XII [electronic resource] : 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings / edited by Ralph Martin, Malcolm Sabin, Joab Winkler. by Martin, Ralph Sabin, Malcolm Winkler, Joab SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4647 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA571 M37 2007. Place hold Add to cart (remove)
	29.	Validated Designs for Object-oriented Systems [electronic resource] / by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef. by Fitzgerald, John Larsen, Peter Gorm Mukherjee, Paul Plat, Nico Verhoef, Marcel SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.O35 F58 2005. Place hold Add to cart (remove)
	30.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers / edited by Andy Schürr, Manfred Nagl, Albert Zündorf. by Schürr, Andy Nagl, Manfred Zündorf, Albert SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5088 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75.5 S34 2008. Place hold Add to cart (remove)
	31.	Graph Transformations [electronic resource] : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings / edited by Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer. by Ehrig, Hartmut Heckel, Reiko Rozenberg, Grzegorz Taentzer, Gabriele SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5214 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267.3 E37 2008. Place hold Add to cart (remove)
	32.	Algorithmic Information Theory [electronic resource] : Mathematics of Digital Information / by Peter Seibt. by Seibt, Peter SpringerLink (Online service) Series: Signals and Communication Technology Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D33 S45 2006 . Place hold Add to cart (remove)
	33.	Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki. by Arge, Lars Cachin, Christian Jurdziński, Tomasz Tarlecki, Andrzej SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4596 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 A74 2007. Place hold Add to cart (remove)
	34.	Line Drawing Interpretation [electronic resource] / by Martin Cooper. by Cooper, Martin SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: London : Springer-Verlag London, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1650 C67 2008. Place hold Add to cart (remove)
	35.	Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I / edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener. by Bugliesi, Michele Preneel, Bart Sassone, Vladimiro Wegener, Ingo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4051 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 B84 2006. Place hold Add to cart (remove)
	36.	Automata, Languages and Programming [electronic resource] : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings / edited by Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung. by Caires, Luís Italiano, Giuseppe F Monteiro, Luís Palamidessi, Catuscia Yung, Moti SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3580 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 C35 2005. Place hold Add to cart (remove)

Powered by Koha