Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Ondrej Majer, Ahti Pietarinen, Ahti-Veikk Pietarinen, Ahti-Veikko Pietarinen, Tero Tulenheimo - Games: Unifying Logic, Language, and Philosophy
Ondrej Majer, Ahti Pietarinen, Ahti-Veikk Pietarinen, Ahti-Veikko Pietarinen, Tero Tulenheimo Games: Unifying Logic, Language, and Philosophy Anglais 10.02.2011 Livre de poche Fr. 188.00 1-2 semaines (titre imprimé sur commande)
Lut Geldsetzer, Lutz Geldsetzer, Richard L Schwartz, Richard L. Schwartz - Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Lut Geldsetzer, Lutz Geldsetzer, Richard L Schwartz, Richard L. Schwartz Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements Anglais 01.01.2014 Livre de poche Fr. 157.00 1-2 semaines (titre imprimé sur commande)
Juliana Bueno-Soler, Walte Carnielli, Walter Carnielli, Claudio Pizzi - Modalities and Multimodalities
Juliana Bueno-Soler, Walte Carnielli, Walter Carnielli, Claudio Pizzi Modalities and Multimodalities Anglais 30.09.2009 Livre de poche Fr. 234.00 3-5 semaines (titre commandé spécialement)
Dirk W Hoffmann, Dirk W (Prof. Dr.) Hoffmann, Dirk W. Hoffmann - Grenzen der Mathematik
Dirk W Hoffmann, Dirk W (Prof. Dr.) Hoffmann, Dirk W. Hoffmann Grenzen der Mathematik Allemand 26.05.2018 Livre de poche Fr. 53.50 4-7 jours ouvrés
Holge Giese, Holger Giese, Rosu, Rosu, Grigore Rosu - Formal Techniques for Distributed Systems
Holge Giese, Holger Giese, Rosu, Rosu, Grigore Rosu Formal Techniques for Distributed Systems Anglais 11.05.2012 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Marco Bernardo, Vittori Cortellessa, Vittorio Cortellessa, Alfonso Pierantonio - Formal Methods for Model-Driven Engineering
Marco Bernardo, Vittori Cortellessa, Vittorio Cortellessa, Alfonso Pierantonio Formal Methods for Model-Driven Engineering Anglais 11.05.2012 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Jerem Gibbons, Jeremy Gibbons, Nogueira, Nogueira, Pablo Nogueira - Mathematics of Program Construction
Jerem Gibbons, Jeremy Gibbons, Nogueira, Nogueira, Pablo Nogueira Mathematics of Program Construction Anglais 11.05.2012 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Bakhady Khoussainov, Bakhadyr Khoussainov, Anil Nerode - Automata Theory and its Applications
Bakhady Khoussainov, Bakhadyr Khoussainov, Anil Nerode Automata Theory and its Applications Anglais 25.07.2013 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Franck van Breugel, Elha Kashefi, Elham Kashefi, Catuscia Palamidessi, Catuscia Palamidessi et al, Jan Rutten... - Horizons of the Mind. A Tribute to Prakash Panangaden
Franck van Breugel, Elha Kashefi, Elham Kashefi, Catuscia Palamidessi, Catuscia Palamidessi et al, Jan Rutten... Horizons of the Mind. A Tribute to Prakash Panangaden Anglais 30.05.2014 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Alfred V Aho, Alfred V. Aho, Edward K. Blum, Edwar K Blum, Edward K Blum, V Aho... - Computer Science
Alfred V Aho, Alfred V. Aho, Edward K. Blum, Edwar K Blum, Edward K Blum, V Aho... Computer Science Anglais 03.04.2014 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Anjolina de Oliveira, Anjolina G. De Oliveira, Valeria de Paiva, Ru de Queiroz, Ruy de Queiroz, Daniel Leivant... - Logic, Language, Information, and Computation
Anjolina de Oliveira, Anjolina G. De Oliveira, Valeria de Paiva, Ru de Queiroz, Ruy de Queiroz, Daniel Leivant... Logic, Language, Information, and Computation Anglais 01.01.2015 Livre de poche Fr. 55.90 1-2 semaines (titre imprimé sur commande)
Jorg Bernardino, Jorge Bernardino, Joaquim Filipe, Christoph Quix - Data Management Technologies and Applications
Jorg Bernardino, Jorge Bernardino, Joaquim Filipe, Christoph Quix Data Management Technologies and Applications Anglais 01.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani - Automated Reasoning
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani Automated Reasoning Anglais 01.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Joaquim Filipe, Jaap van den Herik, An Paula Rocha, Ana Paula Rocha, Ana Paula Rocha, Jaap van den Herik - Agents and Artificial Intelligence
Joaquim Filipe, Jaap van den Herik, An Paula Rocha, Ana Paula Rocha, Ana Paula Rocha, Jaap van den Herik Agents and Artificial Intelligence Anglais 01.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Carl A Furia, Carlo A Furia, Carlo Furia, Carlo A. Furia, Winter, Winter... - Integrated Formal Methods
Carl A Furia, Carlo A Furia, Carlo Furia, Carlo A. Furia, Winter, Winter... Integrated Formal Methods Anglais 01.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver - Quantitative Evaluation of Systems
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver Quantitative Evaluation of Systems Anglais 01.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Yiannis Moschovakis, Yiannis N. Moschovakis - Notes on Set Theory
Yiannis Moschovakis, Yiannis N. Moschovakis Notes on Set Theory Anglais 03.01.2006 Livre de poche Fr. 89.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 19.02.2009 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Pete Grzybek, Peter Grzybek - Contributions to the Science of Text and Language
Pete Grzybek, Peter Grzybek Contributions to the Science of Text and Language Anglais 21.09.2009 Livre de poche Fr. 188.00 1-2 semaines (titre imprimé sur commande)
Alessandro Armando - Frontiers of Combining Systems
Alessandro Armando Frontiers of Combining Systems Anglais 20.03.2002 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)