Languages
Subject
Format
Availabity
Authors

Search result

Amal Ahmed - Programming Languages and Systems
Amal Ahmed Programming Languages and Systems English 15.04.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl Abstract State Machines, Alloy, B, TLA, VDM, and Z English 08.05.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Wil Van Der Aalst, Eike Best, Wil van der Aalst - Application and Theory of Petri Nets and Concurrency
Wil Van Der Aalst, Eike Best, Wil van der Aalst Application and Theory of Petri Nets and Concurrency English 05.05.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Marc-Philippe Huget, Marc-Phillipe Huget - Communication in Multiagent Systems
Marc-Philippe Huget, Marc-Phillipe Huget Communication in Multiagent Systems English 25.06.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Patrick Godefroid - Model Checking Software
Patrick Godefroid Model Checking Software English 09.08.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Bernhard Gramlich - Frontiers of Combining Systems
Bernhard Gramlich Frontiers of Combining Systems English 12.09.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Dragan Bosnacki, Stefan Edelkamp - Model Checking Software
Dragan Bosnacki, Stefan Edelkamp Model Checking Software English 21.06.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jean-Marie Jacquet, Gian Pietro Picco - Coordination Models and Languages
Jean-Marie Jacquet, Gian Pietro Picco Coordination Models and Languages English 05.04.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Corrado Priami, Paola Quaglia - Global Computing
Corrado Priami, Paola Quaglia Global Computing English 22.02.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Ew Orlowska, Ewa Orlowska, Szalas, Szalas, Andrzej Szalas - Relational Methods for Computer Science Applications
Ew Orlowska, Ewa Orlowska, Szalas, Szalas, Andrzej Szalas Relational Methods for Computer Science Applications English 25.07.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Ian Ricketts - Managing Your Software Project
Ian Ricketts Managing Your Software Project English 01.01.1997 Paperback / Softback Fr. 70.00 6-7 weeks
Marc Discacciati, Marco Discacciati, David E Keyes et al, David Keyes, David E. Keyes, Karl-Ulrich Langer... - Domain Decomposition Methods in Science and Engineering XVII
Marc Discacciati, Marco Discacciati, David E Keyes et al, David Keyes, David E. Keyes, Karl-Ulrich Langer... Domain Decomposition Methods in Science and Engineering XVII English 14.04.2009 Paperback / Softback Fr. 189.00 6-7 weeks
J. Pejas, Jerz Pejas, Jerzy Pejas, Piegat, Piegat, A. Piegat... - Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
J. Pejas, Jerz Pejas, Jerzy Pejas, Piegat, Piegat, A. Piegat... Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems English 14.01.2005 Hardback Fr. 239.00 6-7 weeks
Ra Earnshaw, Rae Earnshaw, VINCE, Vince, John Vince - Digital Content Creation
Ra Earnshaw, Rae Earnshaw, VINCE, Vince, John Vince Digital Content Creation English 01.01.2012 Paperback / Softback Fr. 189.00 6-7 weeks
Sandip Ray - Scalable Techniques for Formal Verification
Sandip Ray Scalable Techniques for Formal Verification English 01.01.2014 Paperback / Softback Fr. 149.00 6-7 weeks
Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer, Koe V Hindriks, Koen V Hindriks - Specification and Verification of Multi-agent Systems
Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer, Koe V Hindriks, Koen V Hindriks Specification and Verification of Multi-agent Systems English 01.01.2014 Paperback / Softback Fr. 189.00 6-7 weeks
P. B. Andrews, P.B. Andrews, Peter B Andrews, Peter B. Andrews - An Introduction to Mathematical Logic and Type Theory
P. B. Andrews, P.B. Andrews, Peter B Andrews, Peter B. Andrews An Introduction to Mathematical Logic and Type Theory English 15.04.2005 Hardback Fr. 169.00 6-7 weeks
Anthony K. Hyder, Anthony K. Hyder, Shahbazian, E Shahbazian, E. Shahbazian, E Waltz... - Multisensor Fusion, 2 Bde.
Anthony K. Hyder, Anthony K. Hyder, Shahbazian, E Shahbazian, E. Shahbazian, E Waltz... Multisensor Fusion, 2 Bde. English 12.04.2012 Paperback / Softback Fr. 239.00 6-7 weeks