Languages
Subject
Format
Availabity
Authors

Search result

José R. Álvarez, Jos Mira, José Mira, R Álvarez, R Álvarez - Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach
José R. Álvarez, Jos Mira, José Mira, R Álvarez, R Álvarez Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Maria Bielikova, Maria Bieliková, Mária Bieliková, Charon-Bost, Charon-Bost, Ondrej Sýkora... - SOFSEM 2005: Theory and Practice of Computer Science
Maria Bielikova, Maria Bieliková, Mária Bieliková, Charon-Bost, Charon-Bost, Ondrej Sýkora... SOFSEM 2005: Theory and Practice of Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Pierr Fraigniaud, Pierre Fraigniaud - Distributed Computing
Pierr Fraigniaud, Pierre Fraigniaud Distributed Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mario Coppo, Elen Lodi, Elena Lodi, G Michele Pinna, G. Michele Pinna - Theoretical Computer Science
Mario Coppo, Elen Lodi, Elena Lodi, G Michele Pinna, G. Michele Pinna Theoretical Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia, Alexis Quesada-Arencibia - Computer Aided Systems Theory - EUROCAST 2005
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia, Alexis Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2005 English 15.03.2011 Paperback / Softback Fr. 135.00 6-7 weeks
Dang Van Hung, Martin Wirsing - Theoretical Aspects of Computing - ICTAC 2005
Dang Van Hung, Martin Wirsing Theoretical Aspects of Computing - ICTAC 2005 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Zhilin Li, Lubi Vulkov, Lubin Vulkov, Jerzy Wásniewski - Numerical Analysis and Its Applications
Zhilin Li, Lubi Vulkov, Lubin Vulkov, Jerzy Wásniewski Numerical Analysis and Its Applications English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Nicolas Halbwachs, Lenore Zuck - Tools and Algorithms for the Construction and Analysis of Systems
Nicolas Halbwachs, Lenore Zuck Tools and Algorithms for the Construction and Analysis of Systems English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Scott Shenker, Geoffrey M. Voelker - Peer-to-Peer Systems III
Scott Shenker, Geoffrey M. Voelker Peer-to-Peer Systems III English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Roderick Murray-Smith, Robert Shorten - Switching and Learning in Feedback Systems
Roderick Murray-Smith, Robert Shorten Switching and Learning in Feedback Systems English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jürgen Giesl - Term Rewriting and Applications
Jürgen Giesl Term Rewriting and Applications English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Tor Helleseth, Dilip Sarwate, Hong-Yeop Song, Hong-Yeop Song et al, Kyeongcheol Yang - Sequences and Their Applications - SETA 2004
Tor Helleseth, Dilip Sarwate, Hong-Yeop Song, Hong-Yeop Song et al, Kyeongcheol Yang Sequences and Their Applications - SETA 2004 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mario J Pérez-Jiménez et al, Giancarlo Mauri, Gheorgh Paun, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg... - Membrane Computing
Mario J Pérez-Jiménez et al, Giancarlo Mauri, Gheorgh Paun, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg... Membrane Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jo Hurd, Joe Hurd, Melham, Melham, Tom Melham - Theorem Proving in Higher Order Logics
Jo Hurd, Joe Hurd, Melham, Melham, Tom Melham Theorem Proving in Higher Order Logics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu - Theoretical Aspects of Computing - ICTAC 2004
Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu Theoretical Aspects of Computing - ICTAC 2004 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Radhi Cousot, Radhia Cousot - Verification, Model Checking, and Abstract Interpretation
Radhi Cousot, Radhia Cousot Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Gottlieb, Gottlieb, Jens Gottlieb, Günthe R Raidl, Günther R Raidl, Günther R. Raidl - Evolutionary Computation in Combinatorial Optimization
Gottlieb, Gottlieb, Jens Gottlieb, Günthe R Raidl, Günther R Raidl, Günther R. Raidl Evolutionary Computation in Combinatorial Optimization English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Pawe Urzyczyn, Pawel Urzyczyn - Typed Lambda Calculi and Applications
Pawe Urzyczyn, Pawel Urzyczyn Typed Lambda Calculi and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Cleli De Felice, Clelia De Felice, Restivo, Restivo, Antonio Restivo - Developments in Language Theory
Cleli De Felice, Clelia De Felice, Restivo, Restivo, Antonio Restivo Developments in Language Theory English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Claudio Ferretti, Giancarl Mauri, Giancarlo Mauri, Claudio Zandron - DNA Computing
Claudio Ferretti, Giancarl Mauri, Giancarlo Mauri, Claudio Zandron DNA Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks