Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Paolo Ciancarini, Mathieu D'Aquin, Tudor Groza, Matthew Horridge, Matthew Horridge et al, Francesc Poggi... - Knowledge Engineering and Knowledge Management
Paolo Ciancarini, Mathieu D'Aquin, Tudor Groza, Matthew Horridge, Matthew Horridge et al, Francesc Poggi... Knowledge Engineering and Knowledge Management Anglais 31.07.2017 Livre de poche Fr. 70.00 6-7 semaines
Hage, Hage, Jurriaan Hage, Manue Serrano, Manuel Serrano - Trends in Functional Programming
Hage, Hage, Jurriaan Hage, Manue Serrano, Manuel Serrano Trends in Functional Programming Anglais 01.01.2016 Livre de poche Fr. 59.50 6-7 semaines
Henderik A Proper et al, Claudio Agostino Ardagna, Christoph Debruyne, Christophe Debruyne, Robert Meersman, Hervé Panetto... - On the Move to Meaningful Internet Systems. OTM 2018 Conferences
Henderik A Proper et al, Claudio Agostino Ardagna, Christoph Debruyne, Christophe Debruyne, Robert Meersman, Hervé Panetto... On the Move to Meaningful Internet Systems. OTM 2018 Conferences Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
Heinz-Dieter Ebbinghaus, Craig G Fraser, Akihiro Kanamori, Ernst Zermelo, Heinz-Dieter Ebbinghaus, Craig G. Fraser... - Ernst Zermelo - Collected Works/Gesammelte Werke
Heinz-Dieter Ebbinghaus, Craig G Fraser, Akihiro Kanamori, Ernst Zermelo, Heinz-Dieter Ebbinghaus, Craig G. Fraser... Ernst Zermelo - Collected Works/Gesammelte Werke Anglais, Allemand 31.01.2013 Livre de poche Fr. 189.00 6-7 semaines
Robert Merca¿, Rober Mercas, Robert Mercas, Robert Mercaş, REIDENBACH, Reidenbach... - Combinatorics on Words
Robert Merca¿, Rober Mercas, Robert Mercas, Robert Mercaş, REIDENBACH, Reidenbach... Combinatorics on Words Anglais 31.10.2019 Livre de poche Fr. 70.00 6-7 semaines
John Fitzgerald, Stefania Gnesi, Stefania Gnesi et al, Constanc Heitmeyer, Constance Heitmeyer, Anna Philippou - FM 2016: Formal Methods
John Fitzgerald, Stefania Gnesi, Stefania Gnesi et al, Constanc Heitmeyer, Constance Heitmeyer, Anna Philippou FM 2016: Formal Methods Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Christoph Benzmüller, Xavier Parent, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman - Rules and Reasoning
Christoph Benzmüller, Xavier Parent, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman Rules and Reasoning Anglais 31.10.2018 Livre de poche Fr. 70.00 6-7 semaines
Alfred V. Aho, Alfred V Aho, Alfred V. Aho, Edward K. Blum, Edwar K Blum, Edward K Blum... - Computer Science
Alfred V. Aho, Alfred V Aho, Alfred V. Aho, Edward K. Blum, Edwar K Blum, Edward K Blum... Computer Science Anglais 01.01.2012 Livre Relié Fr. 117.00 6-7 semaines
Olivier Corby, Madalina Croitoru, John Howse, Sebastia Rudolph, Sebastian Rudolph, Nic Wilson... - Graph Structures for Knowledge Representation and Reasoning
Olivier Corby, Madalina Croitoru, John Howse, Sebastia Rudolph, Sebastian Rudolph, Nic Wilson... Graph Structures for Knowledge Representation and Reasoning Anglais 22.03.2012 Livre de poche Fr. 70.00 6-7 semaines
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada - Logic, Rationality, and Interaction
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada Logic, Rationality, and Interaction Anglais 30.09.2017 Livre de poche Fr. 70.00 6-7 semaines
Manfre Broy, Manfred Broy, Ketil Stolen, Ketil Stølen - Specification and Development of Interactive Systems
Manfre Broy, Manfred Broy, Ketil Stolen, Ketil Stølen Specification and Development of Interactive Systems Anglais 13.03.2013 Livre de poche Fr. 110.00 6-7 semaines
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Anglais 01.01.2015 Livre de poche Fr. 70.00 6-7 semaines
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz - Interactive Theorem Proving
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz Interactive Theorem Proving Anglais 30.09.2017 Livre de poche Fr. 70.00 6-7 semaines
Uwe Aickelin, Uwe Aickelin et al, Zhishen Huang, Zhisheng Huang, Stanislav Klimenko, Siuly Siuly... - Health Information Science
Uwe Aickelin, Uwe Aickelin et al, Zhishen Huang, Zhisheng Huang, Stanislav Klimenko, Siuly Siuly... Health Information Science Anglais 30.11.2017 Livre de poche Fr. 70.00 6-7 semaines
Sara E Murray, Sarah E Murray, Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Mehrnoosh Sadrzadeh et al... - Logic, Language, and Computation
Sara E Murray, Sarah E Murray, Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Mehrnoosh Sadrzadeh et al... Logic, Language, and Computation Anglais 31.03.2017 Livre de poche Fr. 70.00 6-7 semaines
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro - Formal Methods: Foundations and Applications
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro Formal Methods: Foundations and Applications Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Gao, Gao, Helena Hong Gao, Hong Gao, Qi Lu, Qin Lu - Chinese Lexical Semantics
Gao, Gao, Helena Hong Gao, Hong Gao, Qi Lu, Qin Lu Chinese Lexical Semantics Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Moren Falaschi, Moreno Falaschi - Logic-Based Program Synthesis and Transformation
Moren Falaschi, Moreno Falaschi Logic-Based Program Synthesis and Transformation Anglais 01.01.2015 Livre de poche Fr. 70.00 6-7 semaines
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems Anglais 30.04.2017 Livre de poche Fr. 70.00 6-7 semaines
Claudio Agostino Ardagna, Christoph Debruyne, Christophe Debruyne, Walid Gaaloul, Walid Gaaloul et al, Robert Meersman... - On the Move to Meaningful Internet Systems. OTM 2017 Conferences
Claudio Agostino Ardagna, Christoph Debruyne, Christophe Debruyne, Walid Gaaloul, Walid Gaaloul et al, Robert Meersman... On the Move to Meaningful Internet Systems. OTM 2017 Conferences Anglais 30.11.2017 Livre de poche Fr. 70.00 6-7 semaines