Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Francesca A Lisi, Francesca A. Lisi, Stephen Muggleton, Alirez Tamaddoni-Nezhad, Alireza Tamaddoni-Nezhad - Inductive Logic Programming
Francesca A Lisi, Francesca A. Lisi, Stephen Muggleton, Alirez Tamaddoni-Nezhad, Alireza Tamaddoni-Nezhad Inductive Logic Programming Anglais 21.06.2012 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Philipp de Groote, Philippe de Groote, Philippe de Groote, Nederhof, Nederhof, Mark-Jan Nederhof - Formal Grammar
Philipp de Groote, Philippe de Groote, Philippe de Groote, Nederhof, Nederhof, Mark-Jan Nederhof Formal Grammar Anglais 28.06.2012 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Pete Csaba Ölveczky, Peter Csaba Ölveczky, Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott - Logic, Rewriting, and Concurrency
Pete Csaba Ölveczky, Peter Csaba Ölveczky, Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott Logic, Rewriting, and Concurrency Anglais 01.01.2015 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Peter McBurney, Simo Parsons, Simon Parsons, Iyad Rahwan - Argumentation in Multi-Agent Systems
Peter McBurney, Simo Parsons, Simon Parsons, Iyad Rahwan Argumentation in Multi-Agent Systems Anglais 01.08.2012 Livre de poche Fr. 64.00 1-2 semaines (titre imprimé sur commande)
Francesc Berto, Francesco Berto, Edwin Mares, Edwin Mares et al, Francesco Paoli, Koji Tanaka - Paraconsistency: Logic and Applications
Francesc Berto, Francesco Berto, Edwin Mares, Edwin Mares et al, Francesco Paoli, Koji Tanaka Paraconsistency: Logic and Applications Anglais 01.01.2014 Livre de poche Fr. 134.00 1-2 semaines (titre imprimé sur commande)
Lindsa Groves, Lindsay Groves, Sun, Sun, Jing Sun - Formal Methods and Software Engineering
Lindsa Groves, Lindsay Groves, Sun, Sun, Jing Sun Formal Methods and Software Engineering Anglais 28.08.2013 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Martin Cooper - Line Drawing Interpretation
Martin Cooper Line Drawing Interpretation Anglais 26.10.2010 Livre de poche Fr. 134.00 1-2 semaines (titre imprimé sur commande)
Deny Duchier, Denys Duchier, Parmentier, Parmentier, Yannick Parmentier - Constraint Solving and Language Processing
Deny Duchier, Denys Duchier, Parmentier, Parmentier, Yannick Parmentier Constraint Solving and Language Processing Anglais 22.09.2013 Livre de poche Fr. 64.00 1-2 semaines (titre imprimé sur commande)
George Gonthier, Georges Gonthier, Norrish, Norrish, Michael Norrish - Certified Programs and Proofs
George Gonthier, Georges Gonthier, Norrish, Norrish, Michael Norrish Certified Programs and Proofs Anglais 25.10.2013 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Jacopo Mauro - Constraints Meet Concurrency
Jacopo Mauro Constraints Meet Concurrency Anglais 17.01.2014 Livre Relié Fr. 69.00 2-3 semaines (titre imprimé sur commande)
Jud Bowen, Judy Bowen, Alan Dix, Alan Dix et al, Philippe Palanque, Benjamin Weyers - The Handbook of Formal Methods in Human-Computer Interaction
Jud Bowen, Judy Bowen, Alan Dix, Alan Dix et al, Philippe Palanque, Benjamin Weyers The Handbook of Formal Methods in Human-Computer Interaction Anglais 01.01.2017 Livre Relié Fr. 392.00 2-3 semaines (titre imprimé sur commande)
Surraya Khanum, Vallipura Muthukkumarasamy, Vallipuram Muthukkumarasamy, Muhamma Usman, Muhammad Usman, X Wu... - Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
Surraya Khanum, Vallipura Muthukkumarasamy, Vallipuram Muthukkumarasamy, Muhamma Usman, Muhammad Usman, X Wu... Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks Anglais 01.01.2018 Livre Relié Fr. 69.00 2-3 semaines (titre imprimé sur commande)
Franc Lihoreau, Franck Lihoreau, Rebuschi, Rebuschi, Manuel Rebuschi - Epistemology, Context, and Formalism
Franc Lihoreau, Franck Lihoreau, Rebuschi, Rebuschi, Manuel Rebuschi Epistemology, Context, and Formalism Anglais 26.09.2013 Livre Relié Fr. 134.00 2-3 semaines (titre imprimé sur commande)
Manindr Agrawal, Manindra Agrawal, Arvind, Arvind, Vikraman Arvind - Perspectives in Computational Complexity
Manindr Agrawal, Manindra Agrawal, Arvind, Arvind, Vikraman Arvind Perspectives in Computational Complexity Anglais 13.02.2014 Livre Relié Fr. 146.00 2-3 semaines (titre imprimé sur commande)
Kok Yong Lee, Hiroakira Ono, Syraya Chin-Mu Yang, Ko Yong Lee, Kok Yong Lee - Philosophical Logic: Current Trends in Asia
Kok Yong Lee, Hiroakira Ono, Syraya Chin-Mu Yang, Ko Yong Lee, Kok Yong Lee Philosophical Logic: Current Trends in Asia Anglais 30.11.2017 Livre Relié Fr. 188.00 2-3 semaines (titre imprimé sur commande)
Ornela Dardha - Type Systems for Distributed Programs: Components and Sessions
Ornela Dardha Type Systems for Distributed Programs: Components and Sessions Anglais 01.01.2016 Livre Relié Fr. 129.00 2-3 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.12.2012 Livre Relié Fr. 158.00 2-3 semaines (titre imprimé sur commande)
Enno Ohlebusch - Advanced Topics in Term Rewriting
Enno Ohlebusch Advanced Topics in Term Rewriting Anglais 26.10.2010 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Walte Carnielli, Walter Carnielli, Marcel Coniglio, Marcelo Coniglio, Dov M Gabbay, Dov M. Gabbay... - Analysis and Synthesis of Logics
Walte Carnielli, Walter Carnielli, Marcel Coniglio, Marcelo Coniglio, Dov M Gabbay, Dov M. Gabbay... Analysis and Synthesis of Logics Anglais 18.10.2010 Livre de poche Fr. 188.00 1-2 semaines (titre imprimé sur commande)
Hossa A Gabbar, Hossam A Gabbar, Hossam A. Gabbar - Modern Formal Methods and Applications
Hossa A Gabbar, Hossam A Gabbar, Hossam A. Gabbar Modern Formal Methods and Applications Anglais 20.10.2010 Livre de poche Fr. 146.00 1-2 semaines (titre imprimé sur commande)