Languages
Subject
Format
Availabity
Authors

Search result

A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig - Tests and Proofs
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig Tests and Proofs English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Ferhat Khendek Electrical and Computer Engineering, Abdelouahed Gherbi, Abdelouahed Gherbi et al, Ferhat Khendek, Rick Reed, Mari Toeroe... - SDL 2013: Model Driven Dependability Engineering
Ferhat Khendek Electrical and Computer Engineering, Abdelouahed Gherbi, Abdelouahed Gherbi et al, Ferhat Khendek, Rick Reed, Mari Toeroe... SDL 2013: Model Driven Dependability Engineering English 17.05.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Bernhar Steffen, Bernhard Steffen - Transactions on Foundations for Mastering Change I
Bernhar Steffen, Bernhard Steffen Transactions on Foundations for Mastering Change I English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Keit Duddy, Keith Duddy, Kappel, Kappel, Gerti Kappel - Theory and Practice of Model Transformations
Keit Duddy, Keith Duddy, Kappel, Kappel, Gerti Kappel Theory and Practice of Model Transformations English 10.05.2013 Paperback / Softback Fr. 65.00 6-7 weeks
Clar Dixon, Clare Dixon, Finger, Finger, Marcelo Finger - Frontiers of Combining Systems
Clar Dixon, Clare Dixon, Finger, Finger, Marcelo Finger Frontiers of Combining Systems English 30.11.2017 Paperback / Softback Fr. 90.00 6-7 weeks
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta - Computer Safety, Reliability, and Security
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta Computer Safety, Reliability, and Security English 30.11.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Roberto Battiti, Yaroslav D Sergeyev, Dmitr E Kvasov, Dmitri E Kvasov, Dmitri E. Kvasov, Yaroslav D. Sergeyev - Learning and Intelligent Optimization
Roberto Battiti, Yaroslav D Sergeyev, Dmitr E Kvasov, Dmitri E Kvasov, Dmitri E. Kvasov, Yaroslav D. Sergeyev Learning and Intelligent Optimization English 31.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Yo-Su Han, Yo-Sub Han, Salomaa, Salomaa, Kai Salomaa - Implementation and Application of Automata
Yo-Su Han, Yo-Sub Han, Salomaa, Salomaa, Kai Salomaa Implementation and Application of Automata English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Frédéric Cuppens, Frédéric Cuppens et al, Nora Cuppens-Boulahia, Sokratis Katsikas, Costa Lambrinoudakis, Costas Lambrinoudakis - Security of Industrial Control Systems and Cyber-Physical Systems
Frédéric Cuppens, Frédéric Cuppens et al, Nora Cuppens-Boulahia, Sokratis Katsikas, Costa Lambrinoudakis, Costas Lambrinoudakis Security of Industrial Control Systems and Cyber-Physical Systems English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Seik Akama, Seiki Akama - Towards Paraconsistent Engineering
Seik Akama, Seiki Akama Towards Paraconsistent Engineering English 01.01.2016 Hardback Fr. 135.00 6-7 weeks
Étienn André, Étienne André, Stoelinga, Stoelinga, Mariëlle Stoelinga - Formal Modeling and Analysis of Timed Systems
Étienn André, Étienne André, Stoelinga, Stoelinga, Mariëlle Stoelinga Formal Modeling and Analysis of Timed Systems English 31.10.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Pasca Fontaine, Pascal Fontaine - Automated Deduction - CADE 27
Pasca Fontaine, Pascal Fontaine Automated Deduction - CADE 27 English 31.10.2019 Paperback / Softback Fr. 110.00 6-7 weeks
John Fitzgerald, John Fitz-Gerald, Pete Gorm Larsen, Peter Gorm Larsen, Peter Gorm Larsen, Marcel Verhoef - Collaborative Design for Embedded Systems
John Fitzgerald, John Fitz-Gerald, Pete Gorm Larsen, Peter Gorm Larsen, Peter Gorm Larsen, Marcel Verhoef Collaborative Design for Embedded Systems English 01.06.2014 Hardback Fr. 70.00 6-7 weeks
Zhenhu Duan, Zhenhua Duan, Ong, Ong, Luke Ong - Formal Methods and Software Engineering
Zhenhu Duan, Zhenhua Duan, Ong, Ong, Luke Ong Formal Methods and Software Engineering English 31.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
T. V. Gopal, T.V. Gopal, TV Gopal, Gerhard Jaeger, Gerhar Jäger, Gerhard Jäger... - Theory and Applications of Models of Computation
T. V. Gopal, T.V. Gopal, TV Gopal, Gerhard Jaeger, Gerhar Jäger, Gerhard Jäger... Theory and Applications of Models of Computation English 31.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Elen Bellodi, Elena Bellodi, Fabrizio Riguzzi, Riccardo Zese - Inductive Logic Programming
Elen Bellodi, Elena Bellodi, Fabrizio Riguzzi, Riccardo Zese Inductive Logic Programming English 30.11.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Ofe Strichman, Ofer Strichman, Tzoref-Brill, Tzoref-Brill, Rachel Tzoref-Brill - Hardware and Software: Verification and Testing
Ofe Strichman, Ofer Strichman, Tzoref-Brill, Tzoref-Brill, Rachel Tzoref-Brill Hardware and Software: Verification and Testing English 31.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Maurer, Christian Maurer - Nonsequential and Distributed Programming with Go
Maurer, Christian Maurer Nonsequential and Distributed Programming with Go English 01.07.2020 Paperback / Softback Fr. 77.00 6-7 weeks
Jaime Caro, Jaime Caro et al, Shin-ya Nishizaki, Masayuk Numao, Masayuki Numao, Merlin Teodosia Suarez - Theory and Practice of Computation
Jaime Caro, Jaime Caro et al, Shin-ya Nishizaki, Masayuk Numao, Masayuki Numao, Merlin Teodosia Suarez Theory and Practice of Computation English 11.04.2013 Paperback / Softback Fr. 130.00 6-7 weeks
Maurice H. ter Beek, Mauric H ter Beek, Maurice H ter Beek, Niels Lohman, Lohmann, Lohmann... - Web Services and Formal Methods
Maurice H. ter Beek, Mauric H ter Beek, Maurice H ter Beek, Niels Lohman, Lohmann, Lohmann... Web Services and Formal Methods English 11.04.2013 Paperback / Softback Fr. 65.00 6-7 weeks