Languages
Subject
Format
Availabity
Authors

Search result

El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez - Model and Data Engineering
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez Model and Data Engineering English 13.09.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Hanne Riis Nielson, Emilio Tuosto - Coordination Models and Languages
Hanne Riis Nielson, Emilio Tuosto Coordination Models and Languages English 05.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen, Marten van Sinderen - Software Technologies
Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen, Marten van Sinderen Software Technologies English 12.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Leen Lambers, Jens Weber - Graph Transformation
Leen Lambers, Jens Weber Graph Transformation English 29.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Catherine Dubois, Burkhart Wolff - Tests and Proofs
Catherine Dubois, Burkhart Wolff Tests and Proofs English 03.06.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Kim Guldstrand Larsen, Tim Willemse - Formal Methods for Industrial Critical Systems
Kim Guldstrand Larsen, Tim Willemse Formal Methods for Industrial Critical Systems English 25.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Ruy De Queiroz, Maricarmen Martinez, Lawrence S. Moss - Logic, Language, Information, and Computation
Ruy De Queiroz, Maricarmen Martinez, Lawrence S. Moss Logic, Language, Information, and Computation English 27.06.2018 Paperback / Softback Fr. 92.00 6-7 weeks
Fabio Fioravanti, John P. Gallagher - Logic-Based Program Synthesis and Transformation
Fabio Fioravanti, John P. Gallagher Logic-Based Program Synthesis and Transformation English 10.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef - Intelligent Computer Mathematics
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef Intelligent Computer Mathematics English 18.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka - Trends in Functional Programming
Magnus Myreen, Micha¿ Pa¿ka, Michal Palka, Michał Pałka Trends in Functional Programming English 24.04.2019 Paperback / Softback Fr. 77.00 6-7 weeks
Alessio Malizia, Anders Morch, Alan Serrano, Andrew Stratton, Stefano Valtolina - End-User Development
Alessio Malizia, Anders Morch, Alan Serrano, Andrew Stratton, Stefano Valtolina End-User Development English 03.07.2019 Paperback / Softback Fr. 82.00 6-7 weeks
Lars Braubach, Loli Burgueño, Nima Kaviani, Manuel Lama, Naouel Moha, Juan M. Murillo... - Service-Oriented Computing - ICSOC 2017 Workshops
Lars Braubach, Loli Burgueño, Nima Kaviani, Manuel Lama, Naouel Moha, Juan M. Murillo... Service-Oriented Computing - ICSOC 2017 Workshops English 16.06.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni - Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni Programming Multi-Agent Systems English 23.02.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Gerwin Klein, Tobias Nipkow - Concrete Semantics
Gerwin Klein, Tobias Nipkow Concrete Semantics English 15.12.2014 Hardback Fr. 104.00 6-7 weeks
Dragan Bosnacki, Stefan Edelkamp - Model Checking Software
Dragan Bosnacki, Stefan Edelkamp Model Checking Software English 21.06.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Aaron Dutle, César Muñoz, Anthony Narkawicz - NASA Formal Methods
Aaron Dutle, César Muñoz, Anthony Narkawicz NASA Formal Methods English 11.03.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Sanjai Rayadurgam, Oksana Tkachuk - NASA Formal Methods
Sanjai Rayadurgam, Oksana Tkachuk NASA Formal Methods English 04.06.2016 Paperback / Softback Fr. 90.00 6-7 weeks
Asaf Adi, Suzette Stoutenburg, Said Tabet - Rules and Rule Markup Languages for the Semantic Web
Asaf Adi, Suzette Stoutenburg, Said Tabet Rules and Rule Markup Languages for the Semantic Web English 04.11.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Jean-Marie Jacquet, Mieke Massink - Coordination Models and Languages
Jean-Marie Jacquet, Mieke Massink Coordination Models and Languages English 27.05.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Ali Babar, Bedir Tekinerdogan, Uwe Zdun - Software Architecture
Ali Babar, Bedir Tekinerdogan, Uwe Zdun Software Architecture English 04.11.2016 Paperback / Softback Fr. 70.00 6-7 weeks