Languages
Subject
Format
Availabity
Authors

Search result

Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol - Formal Methods: Applications and Technology
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol Formal Methods: Applications and Technology English 20.02.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Alessandro Aldini, Roberto Gorrieri - Foundations of Security Analysis and Design VI
Alessandro Aldini, Roberto Gorrieri Foundations of Security Analysis and Design VI English 19.08.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Bob Coecke, Luke Ong, Prakash Panangaden - Computation, Logic, Games and Quantum Foundations - The Many Facets of Samson Abramsky
Bob Coecke, Luke Ong, Prakash Panangaden Computation, Logic, Games and Quantum Foundations - The Many Facets of Samson Abramsky English 16.05.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Kurt Jensen, Jetty Kleijn, Lars M. Kristensen... - Transactions on Petri Nets and Other Models of Concurrency VI
Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Kurt Jensen, Jetty Kleijn, Lars M. Kristensen... Transactions on Petri Nets and Other Models of Concurrency VI English 09.11.2012 Paperback / Softback Fr. 70.00 6-7 weeks
John Favaro, Maurizio Morisio - Safe and Secure Software Reuse
John Favaro, Maurizio Morisio Safe and Secure Software Reuse English 06.06.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Ralph Johnson, James Noble, Eugene Wallingford, Uwe Zdun - Transactions on Pattern Languages of Programming III
Ralph Johnson, James Noble, Eugene Wallingford, Uwe Zdun Transactions on Pattern Languages of Programming III English 11.06.2013 Paperback / Softback Fr. 66.00 6-7 weeks
Leszek A. Maciaszek, Kang Zhang - Evaluation of Novel Approaches to Software Engineering
Leszek A. Maciaszek, Kang Zhang Evaluation of Novel Approaches to Software Engineering English 11.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha - Coordination, Organizations, Institutions, and Norms in Agent Systems XII
Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha Coordination, Organizations, Institutions, and Norms in Agent Systems XII English 30.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Francesco Ranzato - Static Analysis
Francesco Ranzato Static Analysis English 21.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Marieke Huisman, Julia Rubin - Fundamental Approaches to Software Engineering
Marieke Huisman, Julia Rubin Fundamental Approaches to Software Engineering English 22.03.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics English 18.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Boudewijn R. Haverkort, Anne Remke - Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Boudewijn R. Haverkort, Anne Remke Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems English 24.03.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Dang Van Hung, Deepak Kapur - Theoretical Aspects of Computing - ICTAC 2017
Dang Van Hung, Deepak Kapur Theoretical Aspects of Computing - ICTAC 2017 English 17.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Markus Lumpe, José Proença - Formal Aspects of Component Software
Markus Lumpe, José Proença Formal Aspects of Component Software English 14.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Clark Barrett, Misty Davies, Temesghen Kahsai - NASA Formal Methods
Clark Barrett, Misty Davies, Temesghen Kahsai NASA Formal Methods English 09.04.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Frank Mueller, Xipeng Shen, James Tuck - Languages and Compilers for Parallel Computing
Frank Mueller, Xipeng Shen, James Tuck Languages and Compilers for Parallel Computing English 20.02.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Anthony Anjorin, Huáscar Espinoza - Modelling Foundations and Applications
Anthony Anjorin, Huáscar Espinoza Modelling Foundations and Applications English 20.06.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Bronis R. de Supinski, Naoya Maruyama, Mohamed Wahib - OpenMP: Memory, Devices, and Tasks
Bronis R. de Supinski, Naoya Maruyama, Mohamed Wahib OpenMP: Memory, Devices, and Tasks English 21.09.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Simon Devitt, Ivan Lanese - Reversible Computation
Simon Devitt, Ivan Lanese Reversible Computation English 30.06.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Tran Khanh Dang, Josef Küng, Erich J. Neuhold, Makoto Takizawa, Nam Thoai, Roland Wagner - Future Data and Security Engineering
Tran Khanh Dang, Josef Küng, Erich J. Neuhold, Makoto Takizawa, Nam Thoai, Roland Wagner Future Data and Security Engineering English 01.11.2017 Paperback / Softback Fr. 70.00 6-7 weeks