Languages
Subject
Format
Availabity
Authors

Search result

Jua de Lara, Juan De Lara, Juan de Lara, Zisman, Zisman, Andrea Zisman - Fundamental Approaches to Software Engineering
Jua de Lara, Juan De Lara, Juan de Lara, Zisman, Zisman, Andrea Zisman Fundamental Approaches to Software Engineering English 20.02.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Stev Counsell, Steve Counsell, Núñez, Núñez, Manuel Núñez - Software Engineering and Formal Methods
Stev Counsell, Steve Counsell, Núñez, Núñez, Manuel Núñez Software Engineering and Formal Methods English 28.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Gopa Gupta, Gopal Gupta, Peña, Peña, Ricardo Peña - Logic-Based Program Synthesis and Transformation
Gopa Gupta, Gopal Gupta, Peña, Peña, Ricardo Peña Logic-Based Program Synthesis and Transformation English 01.01.2014 Paperback / Softback Fr. 68.00 6-7 weeks
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing - Software Engineering for Collective Autonomic Systems
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing Software Engineering for Collective Autonomic Systems English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen - Theory and Practice of Formal Methods
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen Theory and Practice of Formal Methods English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Marc Gavanelli, Marco Gavanelli, Reppy, Reppy, John Reppy - Practical Aspects of Declarative Languages
Marc Gavanelli, Marco Gavanelli, Reppy, Reppy, John Reppy Practical Aspects of Declarative Languages English 01.01.2015 Paperback / Softback Fr. 56.90 6-7 weeks
Christian Berger, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Rafael Wisniewski - Cyber Physical Systems. Design, Modeling, and Evaluation
Christian Berger, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Rafael Wisniewski Cyber Physical Systems. Design, Modeling, and Evaluation English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Ja McCarthy, Jay McCarthy - Trends in Functional Programming
Ja McCarthy, Jay McCarthy Trends in Functional Programming English 02.12.2013 Paperback / Softback Fr. 66.00 6-7 weeks
Matthe Flatt, Matthew Flatt, Guo, Guo, Hai-Feng Guo - Practical Aspects of Declarative Languages
Matthe Flatt, Matthew Flatt, Guo, Guo, Hai-Feng Guo Practical Aspects of Declarative Languages English 02.12.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Leila Amgoud, Maria Vanin Martinez, Maria Vanina Martinez, Cristia Molinaro, Cristian Molinaro, Subrahma... - A General Framework for Reasoning On Inconsistency
Leila Amgoud, Maria Vanin Martinez, Maria Vanina Martinez, Cristia Molinaro, Cristian Molinaro, Subrahma... A General Framework for Reasoning On Inconsistency English 25.01.2013 Paperback / Softback Fr. 56.90 6-7 weeks
Marian Gheorghe, Grzegor Rozenberg, Grzegorz Rozenberg, Arto Salomaa, Arto Salomaa et al, Petr Sosík... - Membrane Computing
Marian Gheorghe, Grzegor Rozenberg, Grzegorz Rozenberg, Arto Salomaa, Arto Salomaa et al, Petr Sosík... Membrane Computing English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Jurriaa Hage, Jurriaan Hage, Mccarthy, McCarthy, Jay McCarthy - Trends in Functional Programming
Jurriaa Hage, Jurriaan Hage, Mccarthy, McCarthy, Jay McCarthy Trends in Functional Programming English 01.01.2015 Paperback / Softback Fr. 56.90 6-7 weeks
Deepak D'Souza, Kim Guldstrand Larsen, Akas Lal, Akash Lal, Kim Guldstrand Larsen, Kim Gulstrand Larsen - Verification, Model Checking, and Abstract Interpretation
Deepak D'Souza, Kim Guldstrand Larsen, Akas Lal, Akash Lal, Kim Guldstrand Larsen, Kim Gulstrand Larsen Verification, Model Checking, and Abstract Interpretation English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Thomas Eiter, Hanne Strass, Hannes Strass, Miros aw Truszczy ski, Miros¿aw Truszczy¿ski, Miroslaw Truszczynski... - Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Thomas Eiter, Hanne Strass, Hannes Strass, Miros aw Truszczy ski, Miros¿aw Truszczy¿ski, Miroslaw Truszczynski... Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Rachi Guerraoui, Rachid Guerraoui, Romano, Romano, Paolo Romano - Transactional Memory. Foundations, Algorithms, Tools, and Applications
Rachi Guerraoui, Rachid Guerraoui, Romano, Romano, Paolo Romano Transactional Memory. Foundations, Algorithms, Tools, and Applications English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Erni Cohen, Ernie Cohen, Rybalchenko, Rybalchenko, Andrey Rybalchenko - Verified Software: Theorie, Tools, Experiments
Erni Cohen, Ernie Cohen, Rybalchenko, Rybalchenko, Andrey Rybalchenko Verified Software: Theorie, Tools, Experiments English 28.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Artiom Alhazov, Svetlan Cojocaru, Svetlana Cojocaru, Marian Gheorghe, Marian Gheorghe et al, Yurii Rogozhin... - Membrane Computing
Artiom Alhazov, Svetlan Cojocaru, Svetlana Cojocaru, Marian Gheorghe, Marian Gheorghe et al, Yurii Rogozhin... Membrane Computing English 01.07.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Höfner, Pete Jipsen, Peter Jipsen, Wolfram Kahl, Wolfram Kahl et al, Martin Eric Müller - Relational and Algebraic Methods in Computer Science
Peter Höfner, Pete Jipsen, Peter Jipsen, Wolfram Kahl, Wolfram Kahl et al, Martin Eric Müller Relational and Algebraic Methods in Computer Science English 13.03.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Stéphane Demri, Deepa Kapur, Deepak Kapur, Christoph Weidenbach - Automated Reasoning
Stéphane Demri, Deepa Kapur, Deepak Kapur, Christoph Weidenbach Automated Reasoning English 30.05.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Davi Naumann, David Naumann - Unifying Theories of Programming
Davi Naumann, David Naumann Unifying Theories of Programming English 01.01.2015 Paperback / Softback Fr. 56.90 6-7 weeks