Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Hubert Baumeister, Mike Holcombe, Michele Marchesi - Extreme Programming and Agile Processes in Software Engineering
Hubert Baumeister, Mike Holcombe, Michele Marchesi Extreme Programming and Agile Processes in Software Engineering Englisch 19.02.2009 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
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
Radhi Cousot, Radhia Cousot - Verification, Model Checking, and Abstract Interpretation
Radhi Cousot, Radhia Cousot Verification, Model Checking, and Abstract Interpretation Englisch 19.02.2009 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
Martin Abadi, Martín Abadi, Luca de Alfaro, Luca De Alfaro - CONCUR 2005 - Concurrency Theory
Martin Abadi, Martín Abadi, Luca de Alfaro, Luca De Alfaro CONCUR 2005 - Concurrency Theory 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
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
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
W. Damm, Werne Damm, Werner Damm, Jörg Desel, Jörg Desel et al, H. Ehrig... - Integration of Software Specification Techniques for Applications in Engineering
W. Damm, Werne Damm, Werner Damm, Jörg Desel, Jörg Desel et al, H. Ehrig... Integration of Software Specification Techniques for Applications in Engineering Englisch 20.12.2004 Taschenbuch Fr. 70.00 6-7 Wochen
Michael Wayne Barley, Kasabov, Kasabov, Nik Kasabov, Michae Wayne Barley, Michael Wayne Barley - Intelligent Agents and Multi-Agent Systems
Michael Wayne Barley, Kasabov, Kasabov, Nik Kasabov, Michae Wayne Barley, Michael Wayne Barley Intelligent Agents and Multi-Agent Systems Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Dang Van Hung, Martin Wirsing - Theoretical Aspects of Computing - ICTAC 2005
Dang Van Hung, Martin Wirsing Theoretical Aspects of Computing - ICTAC 2005 Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Mooly Sagiv - Programming Languages and Systems
Mooly Sagiv Programming Languages and Systems Englisch 01.07.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... - Processes, Terms and Cycles: Steps on the Road to Infinity
Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... Processes, Terms and Cycles: Steps on the Road to Infinity Englisch 23.12.2005 Taschenbuch Fr. 135.00 6-7 Wochen
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck - Practical Aspects of Declarative Languages
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck Practical Aspects of Declarative Languages Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi - Formal Modeling and Analysis of Timed Systems
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi Formal Modeling and Analysis of Timed Systems Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Kwangkeu Yi, Kwangkeun Yi - Programming Languages and Systems
Kwangkeu Yi, Kwangkeun Yi Programming Languages and Systems Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... - Integrated Formal Methods
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... Integrated Formal Methods Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Geof Sutcliffe, Geoff Sutcliffe, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Geof Sutcliffe, Geoff Sutcliffe, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen