Sprache
Thema
Format
Zurücksetzen Verfügbarkeit
Autoren

Suchresultat

Jea Krivine, Jean Krivine, Stefani, Stefani, Jean-Bernard Stefani - Reversible Computation
Jea Krivine, Jean Krivine, Stefani, Stefani, Jean-Bernard Stefani Reversible Computation Englisch 01.01.2015 Taschenbuch Fr. 68.00 6-7 Wochen
Roland Meyer, Andr Platzer, Andre Platzer, André Platzer, Heike Wehrheim - Correct System Design
Roland Meyer, Andr Platzer, Andre Platzer, André Platzer, Heike Wehrheim Correct System Design Englisch 01.01.2015 Taschenbuch Fr. 68.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
R. Nieuwenhuis, Robert Nieuwenhuis - Rewriting Techniques and Applications
R. Nieuwenhuis, Robert Nieuwenhuis Rewriting Techniques and Applications Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Englisch 03.11.2010 Taschenbuch Fr. 70.00 6-7 Wochen
Adrian-Horia Dediu, Enric Formenti, Enrico Formenti, Carlos Martín-Vide, Carlos Martín-Vide et al, Bianca Truthe - Language and Automata Theory and Applications
Adrian-Horia Dediu, Enric Formenti, Enrico Formenti, Carlos Martín-Vide, Carlos Martín-Vide et al, Bianca Truthe Language and Automata Theory and Applications Englisch 01.01.2015 Taschenbuch Fr. 70.00 6-7 Wochen
Alexander Bentkamp - Superposition for Higher-Order Logic
Alexander Bentkamp Superposition for Higher-Order Logic Englisch Taschenbuch Fr. 146.00 Erscheint am 06.12.2025