Languages
Subject
Format
Availabity
Authors

Search result

Serge Odintsov, Sergei Odintsov - Larisa Maksimova on Implication, Interpolation, and Definability
Serge Odintsov, Sergei Odintsov Larisa Maksimova on Implication, Interpolation, and Definability English 28.02.2018 Hardback Fr. 70.00 6-7 weeks
Etienne Forest - From Tracking Code to Analysis
Etienne Forest From Tracking Code to Analysis English 01.01.2016 Hardback Fr. 169.00 6-7 weeks
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
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
Robert Seacord, Robert C Seacord, Robert C. Seacord, Seacord Robert - Effective C
Robert Seacord, Robert C Seacord, Robert C. Seacord, Seacord Robert Effective C English 31.07.2020 Paperback / Softback Fr. 81.00 6-7 weeks
Cezar Campeanu, Cezar Câmpeanu, Flori Manea, Florin Manea, Jeffrey Shallit - Descriptional Complexity of Formal Systems
Cezar Campeanu, Cezar Câmpeanu, Flori Manea, Florin Manea, Jeffrey Shallit Descriptional Complexity of Formal Systems English 01.01.2016 Paperback / Softback Fr. 70.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
Zongmi Li, Zongmin Li, Zhimiao Tao, Jiupin Xu, Jiuping Xu - Random-Like Bi-level Decision Making
Zongmi Li, Zongmin Li, Zhimiao Tao, Jiupin Xu, Jiuping Xu Random-Like Bi-level Decision Making English 31.10.2016 Paperback / Softback Fr. 135.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
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
Stefano Gualeni - Virtual Worlds As Philosophical Tools
Stefano Gualeni Virtual Worlds As Philosophical Tools English 15.07.2015 Hardback Fr. 110.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
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
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