Languages
Subject
Format
Availabity
Authors

Search result

Annie Foret, Glyn Morrill, Reinhard Musken, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla - Formal Grammar
Annie Foret, Glyn Morrill, Reinhard Musken, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla Formal Grammar English 06.08.2016 Paperback / Softback Fr. 69.00 6-7 weeks
Jasmin Christian Blanchette, Stephan Merz - Interactive Theorem Proving
Jasmin Christian Blanchette, Stephan Merz Interactive Theorem Proving English 07.08.2016 Paperback / Softback Fr. 69.00 6-7 weeks
Dieter Fiems, Marco Paolieri, Agapios Platis, Agapios N. Platis - Computer Performance Engineering
Dieter Fiems, Marco Paolieri, Agapios Platis, Agapios N. Platis Computer Performance Engineering English 16.09.2016 Paperback / Softback Fr. 69.00 6-7 weeks
Christiano Braga, Narciso Martí-Oliet - Formal Methods: Foundations and Applications
Christiano Braga, Narciso Martí-Oliet Formal Methods: Foundations and Applications English 27.01.2015 Paperback / Softback Fr. 55.90 6-7 weeks
Andy King, Oleg Kiselyov - Functional and Logic Programming
Andy King, Oleg Kiselyov Functional and Logic Programming English 23.02.2016 Paperback / Softback Fr. 67.00 6-7 weeks
Xinyu Feng, Sungwoo Park - Programming Languages and Systems
Xinyu Feng, Sungwoo Park Programming Languages and Systems English 10.12.2015 Paperback / Softback Fr. 69.00 6-7 weeks
Gerwin Klein, Tobias Nipkow - Concrete Semantics
Gerwin Klein, Tobias Nipkow Concrete Semantics English 10.09.2016 Paperback / Softback Fr. 69.00 6-7 weeks
Perdita Stevens, Andrzej W¿sowski, Andrzej Wasowski, Andrzej Wąsowski - Fundamental Approaches to Software Engineering
Perdita Stevens, Andrzej W¿sowski, Andrzej Wasowski, Andrzej Wąsowski Fundamental Approaches to Software Engineering English 22.03.2016 Paperback / Softback Fr. 69.00 6-7 weeks
Natalia Kushik, Mihai Nica, Franz Wotawa - Testing Software and Systems
Natalia Kushik, Mihai Nica, Franz Wotawa Testing Software and Systems English 04.10.2016 Paperback / Softback Fr. 69.00 6-7 weeks
Tibor Csöndes, Gábor Kovács, György Réthy - SDL 2017: Model-Driven Engineering for Future Internet
Tibor Csöndes, Gábor Kovács, György Réthy SDL 2017: Model-Driven Engineering for Future Internet English 07.09.2017 Paperback / Softback Fr. 69.00 6-7 weeks
Sebastian Gabmeyer, Einar Broch Johnsen - Tests and Proofs
Sebastian Gabmeyer, Einar Broch Johnsen Tests and Proofs English 18.06.2017 Paperback / Softback Fr. 69.00 6-7 weeks
James Cussens, Alessandra Russo - Inductive Logic Programming
James Cussens, Alessandra Russo Inductive Logic Programming English 16.07.2017 Paperback / Softback Fr. 69.00 6-7 weeks
Manuel V Hermenegildo, Pedro Lopez-Garcia - Logic-Based Program Synthesis and Transformation
Manuel V Hermenegildo, Pedro Lopez-Garcia Logic-Based Program Synthesis and Transformation English 25.07.2017 Paperback / Softback Fr. 69.00 6-7 weeks
Axel Legay, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems
Axel Legay, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems English 31.03.2017 Paperback / Softback Fr. 69.00 6-7 weeks
Matthew J. Patitz, Mike Stannett - Unconventional Computation and Natural Computation
Matthew J. Patitz, Mike Stannett Unconventional Computation and Natural Computation English 28.04.2017 Paperback / Softback Fr. 69.00 6-7 weeks
Francesco Calimeri, Kevin Hamlen, Nicola Leone - Practical Aspects of Declarative Languages
Francesco Calimeri, Kevin Hamlen, Nicola Leone Practical Aspects of Declarative Languages English 22.12.2017 Paperback / Softback Fr. 58.50 6-7 weeks
Antonio Cerone, Marco Roveri - Software Engineering and Formal Methods
Antonio Cerone, Marco Roveri Software Engineering and Formal Methods English 03.02.2018 Paperback / Softback Fr. 102.00 6-7 weeks
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang - Dependable Software Engineering. Theories, Tools, and Applications
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang Dependable Software Engineering. Theories, Tools, and Applications English 17.10.2017 Paperback / Softback Fr. 69.00 6-7 weeks
Daniel Cabeza, Manuel Hermenegildo - Practical Aspects of Declarative Languages
Daniel Cabeza, Manuel Hermenegildo Practical Aspects of Declarative Languages English 14.01.2005 Paperback / Softback Fr. 69.00 6-7 weeks
José Luiz Fiadeiro, Peter Mosses, Fernando Orejas - Recent Trends in Algebraic Development Techniques
José Luiz Fiadeiro, Peter Mosses, Fernando Orejas Recent Trends in Algebraic Development Techniques English 23.03.2005 Paperback / Softback Fr. 69.00 6-7 weeks