Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Domenic Cantone, Domenico Cantone, Eugeni Omodeo, Eugenio Omodeo, Alber Policriti, Alberto Policriti - Set Theory for Computing
Domenic Cantone, Domenico Cantone, Eugeni Omodeo, Eugenio Omodeo, Alber Policriti, Alberto Policriti Set Theory for Computing Englisch 31.07.2001 Fester Einband Fr. 193.00 6-7 Wochen
Particio Martinez-Barco, Partici Martínez-Barco, Particio Martínez-Barco, Rafael Munoz, Rafael Munoz et al, Maximiliano Saiz Noeda... - Advances in Natural Language Processing
Particio Martinez-Barco, Partici Martínez-Barco, Particio Martínez-Barco, Rafael Munoz, Rafael Munoz et al, Maximiliano Saiz Noeda... Advances in Natural Language Processing Englisch 04.06.2005 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Pawe Urzyczyn, Pawel Urzyczyn - Typed Lambda Calculi and Applications
Pawe Urzyczyn, Pawel Urzyczyn Typed Lambda Calculi and Applications Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Thomas Eiter, Leonid Libkin - Database Theory - ICDT 2005
Thomas Eiter, Leonid Libkin Database Theory - ICDT 2005 Englisch 04.06.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Jürgen Giesl - Term Rewriting and Applications
Jürgen Giesl Term Rewriting and Applications Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
A Campbell, A Campbell, Brun Buchberger, Bruno Buchberger, John A. Campbell - Artificial Intelligence and Symbolic Computation
A Campbell, A Campbell, Brun Buchberger, Bruno Buchberger, John A. Campbell Artificial Intelligence and Symbolic Computation Englisch 17.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Ana L. C. Bazzan, Sofiane Labidi - Advances in Artificial Intelligence - SBIA 2004
Ana L. C. Bazzan, Sofiane Labidi Advances in Artificial Intelligence - SBIA 2004 Englisch 06.07.2005 Taschenbuch Fr. 135.00 6-7 Wochen
Martin Henson, Martin Henson et al, Stev King, Steve King, Steve Schneider, Helen Treharne - ZB 2005: Formal Specification and Development in Z and B
Martin Henson, Martin Henson et al, Stev King, Steve King, Steve Schneider, Helen Treharne ZB 2005: Formal Specification and Development in Z and B Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Cristian S. Calude, Elen Calude, Elena Calude, Michael J. Dinneen, Michael J Dinneen - Developments in Language Theory
Cristian S. Calude, Elen Calude, Elena Calude, Michael J. Dinneen, Michael J Dinneen Developments in Language Theory Englisch 08.06.2005 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 26.06.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Vladimiro Sassone - Foundations of Software Science and Computational Structures
Vladimiro Sassone Foundations of Software Science and Computational Structures Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan - FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Englisch 07.06.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Stefa Kramer, Stefan Kramer, Pfahringer, Pfahringer, Bernhard Pfahringer - Inductive Logic Programming
Stefa Kramer, Stefan Kramer, Pfahringer, Pfahringer, Bernhard Pfahringer Inductive Logic Programming Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... - Recent Advances in Constraints
Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... Recent Advances in Constraints Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen - Constraint Solving and Language Processing
Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen Constraint Solving and Language Processing Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
S. G. Krantz, Steven G Krantz, Steven G. Krantz - Handbook of Logic and Proof Techniques for Computer Science
S. G. Krantz, Steven G Krantz, Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science Englisch 19.05.2009 Fester Einband Fr. 124.00 6-7 Wochen
Fran Baader, Franz Baader, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Fran Baader, Franz Baader, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Englisch 30.06.2009 Taschenbuch Fr. 135.00 6-7 Wochen