Languages
Subject
Format
Availabity
Authors

Search result

Ivica Crnkovic, Elena Troubitsyna - Software Engineering for Resilient Systems
Ivica Crnkovic, Elena Troubitsyna Software Engineering for Resilient Systems English 26.08.2016 Paperback / Softback Sold out
Pavel Král, Carlos Martín-Vide - Statistical Language and Speech Processing
Pavel Král, Carlos Martín-Vide Statistical Language and Speech Processing English 21.09.2016 Paperback / Softback Sold out
Sre¿ko Brlek, Srecko Brlek, Srečko Brlek, Christophe Reutenauer - Developments in Language Theory
Sre¿ko Brlek, Srecko Brlek, Srečko Brlek, Christophe Reutenauer Developments in Language Theory English 21.07.2016 Paperback / Softback Sold out
Martyn Amos, Anne Condon - Unconventional Computation and Natural Computation
Martyn Amos, Anne Condon Unconventional Computation and Natural Computation English 15.06.2016 Paperback / Softback Sold out
Veli Mäkinen, Simon J. Puglisi, Leena Salmela - Combinatorial Algorithms
Veli Mäkinen, Simon J. Puglisi, Leena Salmela Combinatorial Algorithms English 09.08.2016 Paperback / Softback Sold out
Matteo Baldoni, Amit K. Chopra, Katsutoshi Hirayama, Tran Cao Son, Paolo Torroni - PRIMA 2016: Principles and Practice of Multi-Agent Systems
Matteo Baldoni, Amit K. Chopra, Katsutoshi Hirayama, Tran Cao Son, Paolo Torroni PRIMA 2016: Principles and Practice of Multi-Agent Systems English 10.08.2016 Paperback / Softback Sold out
Dorel Lucanu - Rewriting Logic and Its Applications
Dorel Lucanu Rewriting Logic and Its Applications English 18.08.2016 Paperback / Softback Sold out
Martin Fränzle, Nicolas Markey - Formal Modeling and Analysis of Timed Systems
Martin Fränzle, Nicolas Markey Formal Modeling and Analysis of Timed Systems English 17.08.2016 Paperback / Softback Sold out
Micha¿ Skrzypczak, Michal Skrzypczak, Michał Skrzypczak - Descriptive Set Theoretic Methods in Automata Theory
Micha¿ Skrzypczak, Michal Skrzypczak, Michał Skrzypczak Descriptive Set Theoretic Methods in Automata Theory English 06.08.2016 Paperback / Softback Sold out
Leonardo De Moura, Moa Johansson, Michael Kohlhase, Bruce Miller, Frank Toma, Frank Tompa - Intelligent Computer Mathematics
Leonardo De Moura, Moa Johansson, Michael Kohlhase, Bruce Miller, Frank Toma, Frank Tompa Intelligent Computer Mathematics English 12.07.2016 Paperback / Softback Sold out
Annie Foret, Glyn Morrill, Reinhard Musken, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla - Formal Grammar
Annie Foret, Glyn Morrill, Reinhard Musken, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla Formal Grammar English 06.08.2016 Paperback / Softback Sold out
Jasmin Christian Blanchette, Stephan Merz - Interactive Theorem Proving
Jasmin Christian Blanchette, Stephan Merz Interactive Theorem Proving English 07.08.2016 Paperback / Softback Sold out
Andy King, Oleg Kiselyov - Functional and Logic Programming
Andy King, Oleg Kiselyov Functional and Logic Programming English 23.02.2016 Paperback / Softback Sold out
Xinyu Feng, Sungwoo Park - Programming Languages and Systems
Xinyu Feng, Sungwoo Park Programming Languages and Systems English 10.12.2015 Paperback / Softback Sold out
Gerwin Klein, Tobias Nipkow - Concrete Semantics
Gerwin Klein, Tobias Nipkow Concrete Semantics English 10.09.2016 Paperback / Softback Sold out
Pierre Ganty, Michele Loreti - Trustworthy Global Computing
Pierre Ganty, Michele Loreti Trustworthy Global Computing English 26.01.2016 Paperback / Softback Sold out
Francis Bond, Paul Buitelaar, Christian Chiarcos, Jorge Gracia, Sebastian Hellmann, John P. McCrae - Language, Data, and Knowledge
Francis Bond, Paul Buitelaar, Christian Chiarcos, Jorge Gracia, Sebastian Hellmann, John P. McCrae Language, Data, and Knowledge English 27.05.2017 Paperback / Softback Sold out
Perdita Stevens, Andrzej W¿sowski, Andrzej Wasowski, Andrzej Wąsowski - Fundamental Approaches to Software Engineering
Perdita Stevens, Andrzej W¿sowski, Andrzej Wasowski, Andrzej Wąsowski Fundamental Approaches to Software Engineering English 22.03.2016 Paperback / Softback Sold out
Zhen Yang, Moti Yung, Jianbiao Zhang - Trusted Systems
Zhen Yang, Moti Yung, Jianbiao Zhang Trusted Systems English 23.03.2016 Paperback / Softback Sold out
Joaquim Filipe, Jaap van den Herik, Jaap van den Herik - Agents and Artificial Intelligence
Joaquim Filipe, Jaap van den Herik, Jaap van den Herik Agents and Artificial Intelligence English 07.02.2017 Paperback / Softback Sold out