Your search returned 30 results.

Results
	21.	Term Rewriting and Applications [electronic resource] : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings / edited by Jürgen Giesl. by Giesl, Jürgen SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3467 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 G54 2005. Place hold Add to cart (remove)
	22.	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)
	23.	Recent Trends in Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas. by Fiadeiro, José Luiz Mosses, Peter D Orejas, Fernando SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3423 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.76.D47 F53 2005. Place hold Add to cart (remove)
	24.	Computational Processing of the Portuguese Language [electronic resource] : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings / edited by António Teixeira, Vera Lúcia Strube Lima, Luís Caldas Oliveira, Paulo Quaresma. by Teixeira, António Lima, Vera Lúcia Strube Oliveira, Luís Caldas Quaresma, Paulo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5190 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: PC5044.5 T45 2008. Place hold Add to cart (remove)
	25.	Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings / edited by Tero Harju, Juhani Karhumäki, Arto Lepistö. by Harju, Tero Karhumäki, Juhani Lepistö, Arto SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4588 Edition: 1a ed. 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.3 H37 2007. Place hold Add to cart (remove)
	26.	Algebraic Biology [electronic resource] : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings / edited by Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida. by Horimoto, Katsuhisa Regensburger, Georg Rosenkranz, Markus Yoshida, Hiroshi SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5147 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: QH323.5 H67 2008. Place hold Add to cart (remove)
	27.	Language and Automata Theory and Applications [electronic resource] : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers / edited by Carlos Martín-Vide, Friedrich Otto, Henning Fernau. by Martín-Vide, Carlos Otto, Friedrich Fernau, Henning SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5196 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 M37 2008. Place hold Add to cart (remove)
	28.	Developments in Language Theory [electronic resource] : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings / edited by Oscar H. Ibarra, Zhe Dang. by Ibarra, Oscar H Dang, Zhe SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4036 Edition: 1a ed. 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.3 I23 2006. Place hold Add to cart (remove)
	29.	Provable Security [electronic resource] : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings / edited by Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai. by Baek, Joonsang Bao, Feng Chen, Kefei Lai, Xuejia SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5324 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: QA76.9.A25 B34 2008 . Place hold Add to cart (remove)
	30.	Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader. by Baader, Franz SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4533 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 B33 2007. Place hold Add to cart (remove)

Powered by Koha