Languages
Subject
Format
Availabity
Authors

Search result

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. 70.00 6-7 weeks
Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son - Engineering Multi-Agent Systems
Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son Engineering Multi-Agent Systems English 15.05.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Egon Börger, Alexander Raschke - Modeling Companion for Software Practitioners
Egon Börger, Alexander Raschke Modeling Companion for Software Practitioners English 10.04.2018 Paperback / Softback Fr. 91.00 6-7 weeks
David ¿Afránek, Milan ¿E¿Ka, Milan Ceska, Milan Češka, David Safránek, David Šafránek - Computational Methods in Systems Biology
David ¿Afránek, Milan ¿E¿Ka, Milan Ceska, Milan Češka, David Safránek, David Šafránek Computational Methods in Systems Biology English 05.09.2018 Paperback / Softback Fr. 84.00 6-7 weeks
Marija Slavkovik - Multi-Agent Systems
Marija Slavkovik Multi-Agent Systems English 15.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Annalisa Barla, Massimo Bartoletti, Andrea Bracciali, Gunnar W. Klau, Leif Peterson, Alberto Policriti... - Computational Intelligence Methods for Bioinformatics and Biostatistics
Annalisa Barla, Massimo Bartoletti, Andrea Bracciali, Gunnar W. Klau, Leif Peterson, Alberto Policriti... Computational Intelligence Methods for Bioinformatics and Biostatistics English 14.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Carlos Martín-Vide, Alexander Okhotin, Dana Shapira - Language and Automata Theory and Applications
Carlos Martín-Vide, Alexander Okhotin, Dana Shapira Language and Automata Theory and Applications English 15.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Jin, Yaochu Jin, Lipo Wang - Fuzzy Systems and Knowledge Discovery. Pt.2
Jin, Yaochu Jin, Lipo Wang Fuzzy Systems and Knowledge Discovery. Pt.2 English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
De-Shuang Huang, George W. Irwin, George William Irwin, Kang Li, William Irwin - Computational Intelligence. Pt.2
De-Shuang Huang, George W. Irwin, George William Irwin, Kang Li, William Irwin Computational Intelligence. Pt.2 English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Licheng Jiao, Jing Liu, Xue Lu, Guanming Shi, Lipo Wang - Fuzzy Systems and Knowledge Discovery, 2 Teile
Licheng Jiao, Jing Liu, Xue Lu, Guanming Shi, Lipo Wang Fuzzy Systems and Knowledge Discovery, 2 Teile English 29.01.2013 Paperback / Softback Fr. 135.00 6-7 weeks
Volke Diekert, Volker Diekert, Habib, Habib, Michel Habib - STACS 2004
Volke Diekert, Volker Diekert, Habib, Habib, Michel Habib STACS 2004 English 01.01.2004 Paperback / Softback Fr. 135.00 6-7 weeks
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt - Computer Aided Verification
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt Computer Aided Verification English 01.01.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... - Automated Technology for Verification and Analysis
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... Automated Technology for Verification and Analysis English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Argente, Argente, Estefanía Argente, Francesc Belardinelli, Francesco Belardinelli - Multi-Agent Systems and Agreement Technologies
Argente, Argente, Estefanía Argente, Francesc Belardinelli, Francesco Belardinelli Multi-Agent Systems and Agreement Technologies English 31.12.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Ryutaro Ichise, Takahiro Kawamura, Takahiro Kawamura et al, Kouji Kozaki, Fredd Lecue, Freddy Lecue... - Semantic Technology
Ryutaro Ichise, Takahiro Kawamura, Takahiro Kawamura et al, Kouji Kozaki, Fredd Lecue, Freddy Lecue... Semantic Technology English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Alfred Tarski - Collected Papers
Alfred Tarski Collected Papers English 01.01.2019 Hardback Fr. 207.00 6-7 weeks
Pete Müller, Peter Müller, Schaefer, Schaefer, Ina Schaefer - Principled Software Development
Pete Müller, Peter Müller, Schaefer, Schaefer, Ina Schaefer Principled Software Development English 01.01.2018 Hardback Fr. 135.00 6-7 weeks
Surraya Khanum, Vallipura Muthukkumarasamy, Vallipuram Muthukkumarasamy, Muhamma Usman, Muhammad Usman, X Wu... - Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
Surraya Khanum, Vallipura Muthukkumarasamy, Vallipuram Muthukkumarasamy, Muhamma Usman, Muhammad Usman, X Wu... Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks English 28.02.2019 Paperback / Softback Fr. 107.00 6-7 weeks
Rosario Giustolisi - Modelling and Verification of Secure Exams
Rosario Giustolisi Modelling and Verification of Secure Exams English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Janus Czelakowski, Janusz Czelakowski - Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Janus Czelakowski, Janusz Czelakowski Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science English 01.01.2019 Paperback / Softback Fr. 117.00 6-7 weeks