Languages
Subject
Format
Availabity
Authors

Search result

Car E Landwehr, Carl E Landwehr, Joshua D. Guttman, Carl E. Landwehr, José Meseguer, José Meseguer et al... - Foundations of Security, Protocols, and Equational Reasoning
Car E Landwehr, Carl E Landwehr, Joshua D. Guttman, Carl E. Landwehr, José Meseguer, José Meseguer et al... Foundations of Security, Protocols, and Equational Reasoning English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Vladimir Lifschitz - Answer Set Programming
Vladimir Lifschitz Answer Set Programming English 01.01.2019 Hardback Fr. 84.00 6-7 weeks
Slobodan Dmitrovi¿, Slobodan Dmitrovic, Slobodan Dmitrović - Modern C++ for Absolute Beginners
Slobodan Dmitrovi¿, Slobodan Dmitrovic, Slobodan Dmitrović Modern C++ for Absolute Beginners English 16.07.2023 Paperback / Softback Fr. 70.00 6-7 weeks
Richar Moot, Richard Moot, Christian Retore - The Logic of Categorial Grammars
Richar Moot, Richard Moot, Christian Retore The Logic of Categorial Grammars English 04.06.2012 Paperback / Softback Fr. 97.00 6-7 weeks
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
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
Giancarl Guizzardi, Giancarlo Guizzardi, Hui Ma, Hui Ma et al, Heinrich C. Mayr, Oscar Pastor - Conceptual Modeling
Giancarl Guizzardi, Giancarlo Guizzardi, Hui Ma, Hui Ma et al, Heinrich C. Mayr, Oscar Pastor Conceptual Modeling English 31.01.2018 Paperback / Softback 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
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
Alistai Barros, Alistair Barros, Oberle, Oberle, Daniel Oberle - Handbook of Service Description
Alistai Barros, Alistair Barros, Oberle, Oberle, Daniel Oberle Handbook of Service Description English 03.04.2014 Paperback / Softback Fr. 169.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
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
Arja Egges, Arjan Egges, Jeroen Fokker, Jeroen D Fokker, Jeroen D. Fokker, Mark H Overmars... - Learning C# by Programming Games
Arja Egges, Arjan Egges, Jeroen Fokker, Jeroen D Fokker, Jeroen D. Fokker, Mark H Overmars... Learning C# by Programming Games English, German 30.06.2013 Hardback Fr. 70.00 6-7 weeks
Hage, Hage, Jurriaan Hage, Manue Serrano, Manuel Serrano - Trends in Functional Programming
Hage, Hage, Jurriaan Hage, Manue Serrano, Manuel Serrano Trends in Functional Programming English 01.01.2016 Paperback / Softback Fr. 59.50 6-7 weeks
Guillaume Brat, Neh Rungta, Neha Rungta, Arnaud Venet - NASA Formal Methods
Guillaume Brat, Neh Rungta, Neha Rungta, Arnaud Venet NASA Formal Methods English 05.04.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Christoph Benzmüller, XAVIER PARENT, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman - Rules and Reasoning
Christoph Benzmüller, XAVIER PARENT, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman Rules and Reasoning English 31.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks