Languages
Subject
Format
Availabity
Authors

Search result

Mathias Soeken, Michael Kirkedal Thomsen - Reversible Computation
Mathias Soeken, Michael Kirkedal Thomsen Reversible Computation English 23.05.2019 Paperback / Softback Fr. 81.00 1-2 weeks (title will be printed to order)
Salvador Abreu, Michael Hanus, Dietmar Seipel - Declarative Programming and Knowledge Management
Salvador Abreu, Michael Hanus, Dietmar Seipel Declarative Programming and Knowledge Management English 27.09.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Ajay Kumar, David Zhang - Ethics and Policy of Biometrics
Ajay Kumar, David Zhang Ethics and Policy of Biometrics English 23.04.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Alwyn Goodloe, Suzette Person - NASA Formal Methods
Alwyn Goodloe, Suzette Person NASA Formal Methods English 27.03.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Andy King - Logic-Based Program Synthesis and Transformation
Andy King Logic-Based Program Synthesis and Transformation English 18.03.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Asaf Adi, Suzette Stoutenburg, Said Tabet - Rules and Rule Markup Languages for the Semantic Web
Asaf Adi, Suzette Stoutenburg, Said Tabet Rules and Rule Markup Languages for the Semantic Web English 04.11.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Celine Rouveirol, Michele Sebag - Inductive Logic Programming
Celine Rouveirol, Michele Sebag Inductive Logic Programming English 29.08.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer - Complexity of Constraints
Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer Complexity of Constraints English 18.12.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Welf Löwe, Mario Südholt - Software Composition
Welf Löwe, Mario Südholt Software Composition English 29.08.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Tinaz Ekim, Boaz Patt-Shamir - Structural Information and Communication Complexity
Tinaz Ekim, Boaz Patt-Shamir Structural Information and Communication Complexity English 21.05.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Fabrizio Riguzzi, Filip Zelezny - Inductive Logic Programming
Fabrizio Riguzzi, Filip Zelezny Inductive Logic Programming English 06.06.2013 Paperback / Softback Fr. 65.00 1-2 weeks (title will be printed to order)
Anu G. Bourgeois, Si Quing Zheng - Algorithms and Architectures for Parallel Processing
Anu G. Bourgeois, Si Quing Zheng Algorithms and Architectures for Parallel Processing English 29.05.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Deepak Vohra - JRuby Rails Web Application Development
Deepak Vohra JRuby Rails Web Application Development English 21.01.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Shigeru Chiba, Gary T. Leavens, Éric Tanter - Transactions on Aspect-Oriented Software Development X
Shigeru Chiba, Gary T. Leavens, Éric Tanter Transactions on Aspect-Oriented Software Development X English 20.02.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Roberto Bruni, Ugo Montanari, Donald Sannella - Trustworthy Global Computing
Roberto Bruni, Ugo Montanari, Donald Sannella Trustworthy Global Computing English 22.11.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Olivier Boissier, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Julian Padget... - Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems
Olivier Boissier, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Julian Padget... Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems English 26.06.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Roberto Battiti, Vittorio Maniezzo, Jean-Paul Watson - Learning and Intelligent Optimization
Roberto Battiti, Vittorio Maniezzo, Jean-Paul Watson Learning and Intelligent Optimization English 18.12.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky - Scientific Engineering of Distributed Java Applications
Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky Scientific Engineering of Distributed Java Applications English 23.02.2005 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Robert Hirschfeld, Kim Rose - Self-Sustaining Systems
Robert Hirschfeld, Kim Rose Self-Sustaining Systems English 22.10.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov Formal Verification of Object-Oriented Software English 19.07.2012 Paperback / Softback Fr. 65.00 1-2 weeks (title will be printed to order)