Languages
Subject
Format
Availabity
Authors

Search result

Thomas Arts, Ricardo Pena - Implementation of Functional Languages
Thomas Arts, Ricardo Pena Implementation of Functional Languages English 20.05.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Marco Bernardo, Rocco De Nicola, Jane Hillston - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems English 12.06.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Eerke Boiten, John Derrick - Refinement
Eerke Boiten, John Derrick Refinement English 14.09.2018 Hardback Fr. 70.00 6-7 weeks
Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese - Models, Languages, and Tools for Concurrent and Distributed Programming
Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese Models, Languages, and Tools for Concurrent and Distributed Programming English 04.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Emanuel Kitzelmann, Ute Schmid - Approaches and Applications of Inductive Programming
Emanuel Kitzelmann, Ute Schmid Approaches and Applications of Inductive Programming English 14.04.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Josep Carmona, Gregor Engels, Akhil Kumar - Business Process Management
Josep Carmona, Gregor Engels, Akhil Kumar Business Process Management English 11.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
Josep Silva - Functional and Constraint Logic Programming
Josep Silva Functional and Constraint Logic Programming English 16.03.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Nicolas Lachiche, Christel Vrain - Inductive Logic Programming
Nicolas Lachiche, Christel Vrain Inductive Logic Programming English 15.03.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations English 29.03.2018 Paperback / Softback Fr. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks
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. 70.00 6-7 weeks