Languages
Subject
Format
Availabity
Authors

Search result

Frank Drewes, Carlos Martín-Vide, Bianca Truthe - Language and Automata Theory and Applications
Frank Drewes, Carlos Martín-Vide, Bianca Truthe Language and Automata Theory and Applications English 16.02.2017 Paperback / Softback Sold out
Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani - Artificial Life and Evolutionary Computation
Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani Artificial Life and Evolutionary Computation English 03.04.2018 Paperback / Softback Sold out
James Cussens, Alessandra Russo - Inductive Logic Programming
James Cussens, Alessandra Russo Inductive Logic Programming English 16.07.2017 Paperback / Softback Sold out
Manuel V Hermenegildo, Pedro Lopez-Garcia - Logic-Based Program Synthesis and Transformation
Manuel V Hermenegildo, Pedro Lopez-Garcia Logic-Based Program Synthesis and Transformation English 25.07.2017 Paperback / Softback Sold out
Axel Legay, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems
Axel Legay, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems English 31.03.2017 Paperback / Softback Sold out
Peter Bollen, Ioana Ciuciu, Christophe Debruyne, Anna Fensel, Hervé Panetto, Maria-Esther Vidal... - On the Move to Meaningful Internet Systems: OTM 2016 Workshops
Peter Bollen, Ioana Ciuciu, Christophe Debruyne, Anna Fensel, Hervé Panetto, Maria-Esther Vidal... On the Move to Meaningful Internet Systems: OTM 2016 Workshops English 29.03.2017 Paperback / Softback Sold out
Mário Benevides, Alexandre Madeira - Dynamic Logic. New Trends and Applications
Mário Benevides, Alexandre Madeira Dynamic Logic. New Trends and Applications English 10.01.2018 Paperback / Softback Sold out
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang - Dependable Software Engineering. Theories, Tools, and Applications
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang Dependable Software Engineering. Theories, Tools, and Applications English 17.10.2017 Paperback / Softback Sold out
Emmanouel Garoufallou, Damiana Koutsomiha, Rania Siatri, Sirje Virkus - Metadata and Semantic Research
Emmanouel Garoufallou, Damiana Koutsomiha, Rania Siatri, Sirje Virkus Metadata and Semantic Research English 14.11.2017 Paperback / Softback Sold out
Jarkko Kari, Florin Manea, Ion Petre - Unveiling Dynamics and Complexity
Jarkko Kari, Florin Manea, Ion Petre Unveiling Dynamics and Complexity English 12.05.2017 Paperback / Softback Sold out
Arnaud Carayol, Cyril Nicaud - Implementation and Application of Automata
Arnaud Carayol, Cyril Nicaud Implementation and Application of Automata English 28.05.2017 Paperback / Softback Sold out
Cezar Câmpeanu, Giovanni Pighizzini - Descriptional Complexity of Formal Systems
Cezar Câmpeanu, Giovanni Pighizzini Descriptional Complexity of Formal Systems English 03.06.2017 Paperback / Softback Sold out
Corina S Pasareanu, Corina S. Pasareanu, Gwen Salaün - Formal Aspects of Component Software
Corina S Pasareanu, Corina S. Pasareanu, Gwen Salaün Formal Aspects of Component Software English 09.01.2013 Paperback / Softback Sold out
Fred Kröger, Stephan Merz - Temporal Logic and State Systems
Fred Kröger, Stephan Merz Temporal Logic and State Systems English 25.11.2010 Paperback / Softback Sold out
Giampaolo Bella - Formal Correctness of Security Protocols
Giampaolo Bella Formal Correctness of Security Protocols English 30.11.2010 Paperback / Softback Sold out
Juhani Karhumäki, Laur Karttunen, Lauri Karttunen, Anssi Yli-Jyrä - Finite-State Methods and Natural Language Processing
Juhani Karhumäki, Laur Karttunen, Lauri Karttunen, Anssi Yli-Jyrä Finite-State Methods and Natural Language Processing English 19.02.2009 Paperback / Softback Sold out
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionu uu - Recent Trends in Algebraic Development Techniques
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionu uu Recent Trends in Algebraic Development Techniques English 31.12.2015 Paperback / Softback Sold out
Heinz-Dieter Ebbinghaus - Ernst Zermelo
Heinz-Dieter Ebbinghaus Ernst Zermelo English 14.10.2010 Paperback / Softback Sold out
Aldo Gangemi, Asunción Gómez-Pérez, Enrico Motta, Mari Carmen Suárez-Figueroa - Ontology Engineering in a Networked World
Aldo Gangemi, Asunción Gómez-Pérez, Enrico Motta, Mari Carmen Suárez-Figueroa Ontology Engineering in a Networked World English 17.04.2014 Paperback / Softback Sold out
Josep Carmona, Gregor Engels, Akhil Kumar - Business Process Management
Josep Carmona, Gregor Engels, Akhil Kumar Business Process Management English 11.08.2017 Paperback / Softback Sold out