Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Jo Hurd, Joe Hurd, Melham, Melham, Tom Melham - Theorem Proving in Higher Order Logics
Jo Hurd, Joe Hurd, Melham, Melham, Tom Melham Theorem Proving in Higher Order Logics Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu - Theoretical Aspects of Computing - ICTAC 2004
Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu Theoretical Aspects of Computing - ICTAC 2004 Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Nicolas Halbwachs, Lenore Zuck - Tools and Algorithms for the Construction and Analysis of Systems
Nicolas Halbwachs, Lenore Zuck Tools and Algorithms for the Construction and Analysis of Systems Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Martin Henson, Martin Henson et al, Stev King, Steve King, Steve Schneider, Helen Treharne - ZB 2005: Formal Specification and Development in Z and B
Martin Henson, Martin Henson et al, Stev King, Steve King, Steve Schneider, Helen Treharne ZB 2005: Formal Specification and Development in Z and B Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Radhi Cousot, Radhia Cousot - Verification, Model Checking, and Abstract Interpretation
Radhi Cousot, Radhia Cousot Verification, Model Checking, and Abstract Interpretation Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 08.06.2005 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 26.06.2009 Livre de poche Fr. 70.00 6-7 semaines
Gre Michaelson, Greg Michaelson, Ricardo Pena, Phil Trinder - Implementation of Functional Languages
Gre Michaelson, Greg Michaelson, Ricardo Pena, Phil Trinder Implementation of Functional Languages Anglais 04.06.2005 Livre de poche Fr. 70.00 6-7 semaines
Martin Abadi, Martín Abadi, Luca de Alfaro, Luca De Alfaro - CONCUR 2005 - Concurrency Theory
Martin Abadi, Martín Abadi, Luca de Alfaro, Luca De Alfaro CONCUR 2005 - Concurrency Theory Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... - Recent Advances in Constraints
Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... Recent Advances in Constraints Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Vladimiro Sassone - Foundations of Software Science and Computational Structures
Vladimiro Sassone Foundations of Software Science and Computational Structures Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan - FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Anglais 07.06.2005 Livre de poche Fr. 70.00 6-7 semaines
Fran Baader, Franz Baader, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Fran Baader, Franz Baader, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Anglais 30.06.2009 Livre de poche Fr. 135.00 6-7 semaines
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 Anglais 04.06.2005 Livre de poche Fr. 70.00 6-7 semaines
Michael Wayne Barley, Kasabov, Kasabov, Nik Kasabov, Michae Wayne Barley, Michael Wayne Barley - Intelligent Agents and Multi-Agent Systems
Michael Wayne Barley, Kasabov, Kasabov, Nik Kasabov, Michae Wayne Barley, Michael Wayne Barley Intelligent Agents and Multi-Agent Systems Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Kwangkeu Yi, Kwangkeun Yi - Programming Languages and Systems
Kwangkeu Yi, Kwangkeun Yi Programming Languages and Systems Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Wei-Ngan Chin - Programming Languages and Systems
Wei-Ngan Chin Programming Languages and Systems Anglais 04.06.2005 Livre de poche Fr. 70.00 6-7 semaines
Mooly Sagiv - Programming Languages and Systems
Mooly Sagiv Programming Languages and Systems Anglais 01.07.2009 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines