Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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 Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2018 Copertina rigida Fr. 189.00 6-7 settimane
Atsush Igarashi, Atsushi Igarashi - Programming Languages and Systems
Atsush Igarashi, Atsushi Igarashi Programming Languages and Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Volodymy Kindratenko, Volodymyr Kindratenko - Numerical Computations with GPUs
Volodymy Kindratenko, Volodymyr Kindratenko Numerical Computations with GPUs Inglese 01.01.2016 Tascabile Fr. 179.00 6-7 settimane
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 Inglese 01.01.2004 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 31.01.2017 Tascabile Fr. 107.00 6-7 settimane
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 Inglese 30.11.2016 Tascabile Fr. 70.00 6-7 settimane
Deb, Deb, Kalyanmoy Deb, Federic Sarro, Federica Sarro - Search Based Software Engineering
Deb, Deb, Kalyanmoy Deb, Federic Sarro, Federica Sarro Search Based Software Engineering Inglese 30.11.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 110.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 117.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 110.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Pete Thiemann, Peter Thiemann - Programming Languages and Systems
Pete Thiemann, Peter Thiemann Programming Languages and Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski - Foundations of Software Science and Computation Structures
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski Foundations of Software Science and Computation Structures Inglese 31.12.2017 Tascabile Fr. 70.00 6-7 settimane
Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux - Verification, Model Checking, and Abstract Interpretation
Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux Verification, Model Checking, and Abstract Interpretation Inglese 31.03.2017 Tascabile Fr. 70.00 6-7 settimane
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi - Interactive Theorem Proving
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi Interactive Theorem Proving Inglese 01.01.2018 Tascabile Fr. 124.00 6-7 settimane