Languages
Subject
Format
Availabity
Authors

Search result

Ruy De Queiroz, Maricarmen Martinez, Lawrence S. Moss - Logic, Language, Information, and Computation
Ruy De Queiroz, Maricarmen Martinez, Lawrence S. Moss Logic, Language, Information, and Computation English 27.06.2018 Paperback / Softback Sold out
Fabio Fioravanti, John P. Gallagher - Logic-Based Program Synthesis and Transformation
Fabio Fioravanti, John P. Gallagher Logic-Based Program Synthesis and Transformation English 10.07.2018 Paperback / Softback Sold out
Cezar Câmpeanu - Implementation and Application of Automata
Cezar Câmpeanu Implementation and Application of Automata English 30.06.2018 Paperback / Softback Sold out
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback Sold out
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback Sold out
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef - Intelligent Computer Mathematics
William M. Farmer, Grant O. Passmore, Florian Rabe, Abdou Youssef Intelligent Computer Mathematics English 18.07.2018 Paperback / Softback Sold out
Susanne Graf, Kim G. Larsen, Tiziana Margaria - Models, Mindsets, Meta: The What, the How, and the Why Not?
Susanne Graf, Kim G. Larsen, Tiziana Margaria Models, Mindsets, Meta: The What, the How, and the Why Not? English 26.06.2019 Paperback / Softback Sold out
Kamil Ek¿tein, Kamil Ekstein, Kamil Ekštein - Text, Speech, and Dialogue
Kamil Ek¿tein, Kamil Ekstein, Kamil Ekštein Text, Speech, and Dialogue English 06.08.2019 Paperback / Softback Sold out
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 Sold out
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 Sold out
Sanjai Rayadurgam, Oksana Tkachuk - NASA Formal Methods
Sanjai Rayadurgam, Oksana Tkachuk NASA Formal Methods English 04.06.2016 Paperback / Softback Sold out
Sachiyo Arai, Daisuke Bekki, Kazuhiro Kojima, Koji Mineshima, Yuiko Ohta, Ken Satoh - New Frontiers in Artificial Intelligence
Sachiyo Arai, Daisuke Bekki, Kazuhiro Kojima, Koji Mineshima, Yuiko Ohta, Ken Satoh New Frontiers in Artificial Intelligence English 01.07.2018 Paperback / Softback Sold out
Christoph Lange, Przemys¿aw Ró¿ewski, Przemyslaw Rózewski, Przemysław Różewski - Knowledge Engineering and Semantic Web
Christoph Lange, Przemys¿aw Ró¿ewski, Przemyslaw Rózewski, Przemysław Różewski Knowledge Engineering and Semantic Web English 18.10.2017 Paperback / Softback Sold out
Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev - Grand Timely Topics in Software Engineering
Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev Grand Timely Topics in Software Engineering English 29.06.2017 Paperback / Softback Sold out
Rachid Echahed, Mark Minas - Graph Transformation
Rachid Echahed, Mark Minas Graph Transformation English 22.06.2016 Paperback / Softback Sold out
Ahmed Bouajjani, Alexandra Silva - Formal Techniques for Distributed Objects, Components, and Systems
Ahmed Bouajjani, Alexandra Silva Formal Techniques for Distributed Objects, Components, and Systems English 28.05.2017 Paperback / Softback Sold out
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels - ABZ 2014: The Landing Gear Case Study
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels ABZ 2014: The Landing Gear Case Study English 26.05.2014 Paperback / Softback Sold out
Mohammed Taghi Hajiaghayi, Mohammad Reza Mousavi - Topics in Theoretical Computer Science
Mohammed Taghi Hajiaghayi, Mohammad Reza Mousavi Topics in Theoretical Computer Science English 25.01.2016 Paperback / Softback Sold out
Robert E. Frederking, Kathryn B. Taylor - Machine Translation: From Real Users to Research
Robert E. Frederking, Kathryn B. Taylor Machine Translation: From Real Users to Research English 21.09.2004 Paperback / Softback Sold out
Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi - Recent Advances in Constraints
Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi Recent Advances in Constraints English 27.07.2007 Paperback / Softback Sold out