Languages
Subject
Format
Availabity
Authors

Search result

Janis Brinkmann - Journalismus
Janis Brinkmann Journalismus German 01.10.2024 Paperback / Softback Fr. 37.90 4-7 working days
Thomas Arts, Ricardo Pena - Implementation of Functional Languages
Thomas Arts, Ricardo Pena Implementation of Functional Languages English 20.05.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Alessandro Armando - Frontiers of Combining Systems
Alessandro Armando Frontiers of Combining Systems English 20.03.2002 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)
Jonathan P. Bowen, Huibiao Zhu - Unifying Theories of Programming
Jonathan P. Bowen, Huibiao Zhu Unifying Theories of Programming English 11.01.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Benoit Gaudou, Jaime Simao Sichman - Multi-agent Based Simulation XVI
Benoit Gaudou, Jaime Simao Sichman Multi-agent Based Simulation XVI English 15.03.2016 Paperback / Softback Fr. 58.50 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)
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)
Sandro Etalle - Logic Based Program Synthesis and Transformation
Sandro Etalle Logic Based Program Synthesis and Transformation English 24.06.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
Jea Krivine, Jean Krivine, Stefani, Stefani, Jean-Bernard Stefani - Reversible Computation
Jea Krivine, Jean Krivine, Stefani, Stefani, Jean-Bernard Stefani Reversible Computation English 01.01.2015 Paperback / Softback Fr. 68.00 6-7 weeks
Mohammad Abdullah Al Faruque, Marco Aurélio Wehrmeister et al, Marcelo Götz, Achim Rettberg, Guna Schirner, Gunar Schirner... - System Level Design from HW/SW to Memory for Embedded Systems
Mohammad Abdullah Al Faruque, Marco Aurélio Wehrmeister et al, Marcelo Götz, Achim Rettberg, Guna Schirner, Gunar Schirner... System Level Design from HW/SW to Memory for Embedded Systems English 01.01.2018 Hardback Fr. 70.00 6-7 weeks
Luj Bauer, Lujo Bauer, Küsters, Küsters, Ralf Küsters - Principles of Security and Trust
Luj Bauer, Lujo Bauer, Küsters, Küsters, Ralf Küsters Principles of Security and Trust English 01.01.2018 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