Languages
Subject
Format
Availabity
Authors

Search result

Grigori Antoniou, Grigoris Antoniou, Boley, Boley, Harold Boley - Rules and Rule Markup Languages for the Semantic Web
Grigori Antoniou, Grigoris Antoniou, Boley, Boley, Harold Boley Rules and Rule Markup Languages for the Semantic Web English 04.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Wei-Ngan Chin - Programming Languages and Systems
Wei-Ngan Chin Programming Languages and Systems English 04.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Mooly Sagiv - Programming Languages and Systems
Mooly Sagiv Programming Languages and Systems English 01.07.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Cristian S. Calude, Elen Calude, Elena Calude, Michael J. Dinneen, Michael J Dinneen - Developments in Language Theory
Cristian S. Calude, Elen Calude, Elena Calude, Michael J. Dinneen, Michael J Dinneen Developments in Language Theory English 08.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Cleli De Felice, Clelia De Felice, Restivo, Restivo, Antonio Restivo - Developments in Language Theory
Cleli De Felice, Clelia De Felice, Restivo, Restivo, Antonio Restivo Developments in Language Theory English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Gre Michaelson, Greg Michaelson, Ricardo Pena, Phil Trinder - Implementation of Functional Languages
Gre Michaelson, Greg Michaelson, Ricardo Pena, Phil Trinder Implementation of Functional Languages English 04.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Dines Bjorner, D. Björner, Dines Bjørner - Software Engineering 3
Dines Bjorner, D. Björner, Dines Bjørner Software Engineering 3 English 01.01.2006 Hardback Fr. 135.00 6-7 weeks
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... - Automated Technology for Verification and Analysis
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... Automated Technology for Verification and Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Gustav Dahll, Bjoern Axel Gran, Rune Winther - Computer Safety, Reliability, and Security
Gustav Dahll, Bjoern Axel Gran, Rune Winther Computer Safety, Reliability, and Security English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mario Coppo, Elen Lodi, Elena Lodi, G Michele Pinna, G. Michele Pinna - Theoretical Computer Science
Mario Coppo, Elen Lodi, Elena Lodi, G Michele Pinna, G. Michele Pinna Theoretical Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia, Alexis Quesada-Arencibia - Computer Aided Systems Theory - EUROCAST 2005
Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia, Alexis Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2005 English 15.03.2011 Paperback / Softback Fr. 135.00 6-7 weeks
Dang Van Hung, Martin Wirsing - Theoretical Aspects of Computing - ICTAC 2005
Dang Van Hung, Martin Wirsing Theoretical Aspects of Computing - ICTAC 2005 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Kwangkeu Yi, Kwangkeun Yi - Programming Languages and Systems
Kwangkeu Yi, Kwangkeun Yi Programming Languages and Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... - Integrated Formal Methods
Jaco C van de Pol, Jaco C. van de Pol, Graem P Smith, Graeme P Smith, Jaco C. van de Pol, Judi M. T. Romijn... Integrated Formal Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Geof Sutcliffe, Geoff Sutcliffe, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Geof Sutcliffe, Geoff Sutcliffe, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi - Verification, Model Checking, and Abstract Interpretation
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... - Processes, Terms and Cycles: Steps on the Road to Infinity
Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... Processes, Terms and Cycles: Steps on the Road to Infinity English 23.12.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck - Practical Aspects of Declarative Languages
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck Practical Aspects of Declarative Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi - Formal Modeling and Analysis of Timed Systems
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi Formal Modeling and Analysis of Timed Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Chitta Baral, Gianluig Greco, Gianluigi Greco, Nicola Leone, Nicola Leone et al, Giorgio Terracina - Logic Programming and Nonmonotonic Reasoning
Chitta Baral, Gianluig Greco, Gianluigi Greco, Nicola Leone, Nicola Leone et al, Giorgio Terracina Logic Programming and Nonmonotonic Reasoning English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks