Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Wolfgang Rautenberg - Einführung in die Mathematische Logik
Wolfgang Rautenberg Einführung in die Mathematische Logik Deutsch 01.01.2008 Taschenbuch Fr. 53.50 4-7 Arbeitstage
Wil M P van der Aalst, Wil M. P. van der Aalst, Wil M P Van Der Aalst, Wil M. P. van der Aalst - Process Mining
Wil M P van der Aalst, Wil M. P. van der Aalst, Wil M P Van Der Aalst, Wil M. P. van der Aalst Process Mining Englisch, Deutsch 01.01.2018 Taschenbuch Fr. 70.00 4-7 Arbeitstage
Isabelle Bichindaritz, Christian Guttmann, Pau Herrero, Fernando Koch, Andrew Koster, Richard Lenz... - Artificial Intelligence in Health
Isabelle Bichindaritz, Christian Guttmann, Pau Herrero, Fernando Koch, Andrew Koster, Richard Lenz... Artificial Intelligence in Health Englisch 21.02.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Fred Mesnard, Peter J. Stuckey - Logic-Based Program Synthesis and Transformation
Fred Mesnard, Peter J. Stuckey Logic-Based Program Synthesis and Transformation Englisch 23.02.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Josep Silva - Functional and Constraint Logic Programming
Josep Silva Functional and Constraint Logic Programming Englisch 16.03.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Nicolas Lachiche, Christel Vrain - Inductive Logic Programming
Nicolas Lachiche, Christel Vrain Inductive Logic Programming Englisch 15.03.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations Englisch 29.03.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jing Sun, Meng Sun - Formal Methods and Software Engineering
Jing Sun, Meng Sun Formal Methods and Software Engineering Englisch 11.10.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Dirk Beyer, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman Tools and Algorithms for the Construction and Analysis of Systems Englisch 12.04.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Christel Baier, Ugo Dal Lago - Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago Foundations of Software Science and Computation Structures Englisch 14.04.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Victor Khomenko, Olivier H. Roux - Application and Theory of Petri Nets and Concurrency
Victor Khomenko, Olivier H. Roux Application and Theory of Petri Nets and Concurrency Englisch 08.05.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl Abstract State Machines, Alloy, B, TLA, VDM, and Z Englisch 08.05.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero - Computing with Foresight and Industry
Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero Computing with Foresight and Industry Englisch 19.06.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Ionu¿ ¿U¿U, José Luiz Fiadeiro, Ionu uu - Recent Trends in Algebraic Development Techniques
Ionu¿ ¿U¿U, José Luiz Fiadeiro, Ionu uu Recent Trends in Algebraic Development Techniques Englisch 26.06.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems Englisch 04.04.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems Englisch 04.04.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems Englisch 14.04.2019 Taschenbuch Fr. 81.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Roger Chamberlain, Walid Taha, Martin Törngren - Cyber Physical Systems. Design, Modeling, and Evaluation
Roger Chamberlain, Walid Taha, Martin Törngren Cyber Physical Systems. Design, Modeling, and Evaluation Englisch 13.04.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Michal Hospodár, Galina Jirásková - Implementation and Application of Automata
Michal Hospodár, Galina Jirásková Implementation and Application of Automata Englisch 27.06.2019 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Susan Stepney, Sergey Verlan - Unconventional Computation and Natural Computation
Susan Stepney, Sergey Verlan Unconventional Computation and Natural Computation Englisch 31.05.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)