Clear Languages
Subject
Format
Availabity
Authors

Search result

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 English 21.02.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Fred Mesnard, Peter J. Stuckey - Logic-Based Program Synthesis and Transformation
Fred Mesnard, Peter J. Stuckey Logic-Based Program Synthesis and Transformation English 23.02.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Josep Silva - Functional and Constraint Logic Programming
Josep Silva Functional and Constraint Logic Programming English 16.03.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Nicolas Lachiche, Christel Vrain - Inductive Logic Programming
Nicolas Lachiche, Christel Vrain Inductive Logic Programming English 15.03.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations English 29.03.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jing Sun, Meng Sun - Formal Methods and Software Engineering
Jing Sun, Meng Sun Formal Methods and Software Engineering English 11.10.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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 English 12.04.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Christel Baier, Ugo Dal Lago - Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago Foundations of Software Science and Computation Structures English 14.04.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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 English 08.05.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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 English 08.05.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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 English 19.06.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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 English 26.06.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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 English 04.04.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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 English 04.04.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 14.04.2019 Paperback / Softback Fr. 81.00 1-2 weeks (title will be printed to order)
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 English 13.04.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Michal Hospodár, Galina Jirásková - Implementation and Application of Automata
Michal Hospodár, Galina Jirásková Implementation and Application of Automata English 27.06.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Susan Stepney, Sergey Verlan - Unconventional Computation and Natural Computation
Susan Stepney, Sergey Verlan Unconventional Computation and Natural Computation English 31.05.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla - Formal Grammar
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla Formal Grammar English 05.07.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Isil Dillig, Serdar Tasiran - Computer Aided Verification
Isil Dillig, Serdar Tasiran Computer Aided Verification English 13.07.2019 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)