Languages
Subject
Format
Availabity
Authors

Search result

Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg - Verification, Model Checking, and Abstract Interpretation
Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg Verification, Model Checking, and Abstract Interpretation English 01.01.2018 Paperback / Softback Fr. 69.00 6-7 weeks
Ross J Maloney, Ross J. Maloney - Low Level X Window Programming
Ross J Maloney, Ross J. Maloney Low Level X Window Programming English 01.01.2018 Paperback / Softback Fr. 90.00 6-7 weeks
Rafael Capilla, Carlos Cetina, Barbar Gallina, Barbara Gallina - New Opportunities for Software Reuse
Rafael Capilla, Carlos Cetina, Barbar Gallina, Barbara Gallina New Opportunities for Software Reuse English 01.01.2018 Paperback / Softback Fr. 159.00 6-7 weeks
Fabiano Dalpiaz, Jennife Horkoff, Jennifer Horkoff, Erik Kamsties - Requirements Engineering: Foundation for Software Quality
Fabiano Dalpiaz, Jennife Horkoff, Jennifer Horkoff, Erik Kamsties Requirements Engineering: Foundation for Software Quality English 01.01.2018 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
Atsush Igarashi, Atsushi Igarashi - Programming Languages and Systems
Atsush Igarashi, Atsushi Igarashi Programming Languages and Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Volodymy Kindratenko, Volodymyr Kindratenko - Numerical Computations with GPUs
Volodymy Kindratenko, Volodymyr Kindratenko Numerical Computations with GPUs English 01.01.2016 Paperback / Softback Fr. 179.00 6-7 weeks
Paolo Giorgini, Jör Müller, Jörg Müller, Jörg P. Müller, James Odell - Agent-Oriented Software Engineering IV
Paolo Giorgini, Jör Müller, Jörg Müller, Jörg P. Müller, James Odell Agent-Oriented Software Engineering IV English 01.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Shigeru Chiba, Patrick Eugster, Patrick Eugster et al, Gary T. Leavens, Mari Südholt, Mario Südholt... - Transactions on Modularity and Composition I
Shigeru Chiba, Patrick Eugster, Patrick Eugster et al, Gary T. Leavens, Mari Südholt, Mario Südholt... Transactions on Modularity and Composition I English 31.01.2017 Paperback / Softback Fr. 107.00 6-7 weeks
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez - Runtime Verification
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez Runtime Verification English 30.11.2016 Paperback / Softback Fr. 70.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
Henri E et al Bal, Henri E. Bal, Dic Grune, Dick Grune, Ceriel J. H. Jacobs, Ceriel J.H. Jacobs... - Modern Compiler Design
Henri E et al Bal, Henri E. Bal, Dic Grune, Dick Grune, Ceriel J. H. Jacobs, Ceriel J.H. Jacobs... Modern Compiler Design English 01.01.2016 Paperback / Softback Fr. 110.00 6-7 weeks
Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks
K C Wang, K. C. Wang, K.C. Wang - Design and Implementation of the MTX Operating System
K C Wang, K. C. Wang, K.C. Wang Design and Implementation of the MTX Operating System English 01.01.2016 Paperback / Softback Fr. 117.00 6-7 weeks
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding - Foundations of Software Science and Computation Structures
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding Foundations of Software Science and Computation Structures English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin - Tools and Algorithms for the Construction and Analysis of Systems
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin Tools and Algorithms for the Construction and Analysis of Systems English 01.01.2016 Paperback / Softback Fr. 70.00 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
Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks