Languages
Subject
Format
Availabity
Authors

Search result

Robert Gl¿ck, Rober Glück, Robert Glück, Lowry, Lowry, Michael Lowry - Generative Programming and Component Engineering
Robert Gl¿ck, Rober Glück, Robert Glück, Lowry, Lowry, Michael Lowry Generative Programming and Component Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner - Rewriting, Computation and Proof
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner Rewriting, Computation and Proof English 05.08.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Marcel Arenas, Marcelo Arenas, I Schwartzbach, I Schwartzbach, Michael I. Schwartzbach - Database Programming Languages
Marcel Arenas, Marcelo Arenas, I Schwartzbach, I Schwartzbach, Michael I. Schwartzbach Database Programming Languages English 13.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner - Quality of Software Architectures Models and Architectures
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner Quality of Software Architectures Models and Architectures English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Matthias Blume, Naoki Kobayashi, Germán Vidal, Germán Vidal-Oriola - Functional and Logic Programming
Matthias Blume, Naoki Kobayashi, Germán Vidal, Germán Vidal-Oriola Functional and Logic Programming English 08.03.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Adrian Horia Dediu, Henning Fernau, Carlos Martin-Vide - Language and Automata Theory and Applications
Adrian Horia Dediu, Henning Fernau, Carlos Martin-Vide Language and Automata Theory and Applications English 30.07.2010 Paperback / Softback Fr. 135.00 6-7 weeks
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... - Open SHMEM and Related Technologies
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... Open SHMEM and Related Technologies English 01.01.2015 Paperback / Softback Fr. 56.90 6-7 weeks
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... - Model Checking Software
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... Model Checking Software English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman - Integrated Formal Methods
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman Integrated Formal Methods English 01.01.2016 Paperback / Softback Fr. 110.00 6-7 weeks
Deb, Deb, Kalyanmoy Deb, Federic Sarro, Federica Sarro - Search Based Software Engineering
Deb, Deb, Kalyanmoy Deb, Federic Sarro, Federica Sarro Search Based Software Engineering English 30.11.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Elizabeth Black, Sanja Modgil, Sanjay Modgil, Nir Oren - Theory and Applications of Formal Argumentation
Elizabeth Black, Sanja Modgil, Sanjay Modgil, Nir Oren Theory and Applications of Formal Argumentation English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Nicola Brunie, Nicolas Brunie, F de Dinechin, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes... - Handbook of Floating-Point Arithmetic
Nicola Brunie, Nicolas Brunie, F de Dinechin, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes... Handbook of Floating-Point Arithmetic English 01.01.2018 Hardback Fr. 189.00 6-7 weeks
Owens, Owens, Scott Owens, Men Wang, Meng Wang - Trends in Functional Programming
Owens, Owens, Scott Owens, Men Wang, Meng Wang Trends in Functional Programming English 01.01.2018 Paperback / Softback Fr. 59.50 6-7 weeks
Marcell Bonsangue, Marcello Bonsangue, Frank de Boer, Jan Rutten - It's All About Coordination
Marcell Bonsangue, Marcello Bonsangue, Frank de Boer, Jan Rutten It's All About Coordination English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado - Theory and Practice of Model Transformation
Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado Theory and Practice of Model Transformation English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi - Interactive Theorem Proving
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi Interactive Theorem Proving English 01.01.2018 Paperback / Softback Fr. 124.00 6-7 weeks
Haller, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci - Programming with Actors
Haller, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci Programming with Actors English 30.11.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... - Automated Technology for Verification and Analysis
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... Automated Technology for Verification and Analysis English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi - Formal Methods: Foundations and Applications
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi Formal Methods: Foundations and Applications English 31.12.2018 Paperback / Softback Fr. 82.00 6-7 weeks
Pete Müller, Peter Müller, Schaefer, Schaefer, Ina Schaefer - Principled Software Development
Pete Müller, Peter Müller, Schaefer, Schaefer, Ina Schaefer Principled Software Development English 01.01.2018 Hardback Fr. 135.00 6-7 weeks