Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini Symbolic and Quantitative Approaches to Reasoning with Uncertainty Anglais 31.07.2017 Livre de poche Fr. 70.00 6-7 semaines
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar - Numerical Software Verification
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar Numerical Software Verification Anglais 31.03.2017 Livre de poche Fr. 70.00 6-7 semaines
Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... - Intelligent Computer Mathematics
Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... Intelligent Computer Mathematics Anglais 31.07.2017 Livre de poche Fr. 70.00 6-7 semaines
Karsten Wolf - Präzises Denken für Informatiker
Karsten Wolf Präzises Denken für Informatiker Allemand 26.12.2017 Livre de poche Fr. 45.50 6-7 semaines
Claudio Moraga, Claudio Moraga et al, Rudolf Seising, Settimo Termini, Enri Trillas, Enric Trillas - On Fuzziness, 2 Vols.
Claudio Moraga, Claudio Moraga et al, Rudolf Seising, Settimo Termini, Enri Trillas, Enric Trillas On Fuzziness, 2 Vols. Anglais 01.09.2014 Livre Relié Fr. 239.00 6-7 semaines
Songphan Choemprayong, Fabi Crestani, Fabio Crestani, Sally Jo Cunningham, Sally Jo Cunningham - Digital Libraries: Data, Information, and Knowledge for Digital Lives
Songphan Choemprayong, Fabi Crestani, Fabio Crestani, Sally Jo Cunningham, Sally Jo Cunningham Digital Libraries: Data, Information, and Knowledge for Digital Lives Anglais 30.11.2017 Livre de poche Fr. 70.00 6-7 semaines
Flavius Frasincar, Ashwi Ittoo, Ashwin Ittoo, Elisabeth Métais, Le Minh Nguyen et al, Le Minh Nguyen - Natural Language Processing and Information Systems
Flavius Frasincar, Ashwi Ittoo, Ashwin Ittoo, Elisabeth Métais, Le Minh Nguyen et al, Le Minh Nguyen Natural Language Processing and Information Systems Anglais 30.06.2017 Livre de poche Fr. 70.00 6-7 semaines
Daisuke Bekki, Setsuy Kurahashi, Setsuya Kurahashi, Yuiko Ota, Yuiko Ota et al, Mihoko Otake... - New Frontiers in Artificial Intelligence
Daisuke Bekki, Setsuy Kurahashi, Setsuya Kurahashi, Yuiko Ota, Yuiko Ota et al, Mihoko Otake... New Frontiers in Artificial Intelligence Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Grigoris Antoniou, Jin Song Dong, We Hu, Wei Hu, Yuan-Fang Li, Yang Liu... - Semantic Technology
Grigoris Antoniou, Jin Song Dong, We Hu, Wei Hu, Yuan-Fang Li, Yang Liu... Semantic Technology Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Mohan Ganesalingam, Mohan Gansealingam - The Language of Mathematics
Mohan Ganesalingam, Mohan Gansealingam The Language of Mathematics Anglais 07.02.2013 Livre de poche Fr. 97.00 6-7 semaines
Matthia Baaz, Matthias Baaz, Alexander Leitsch - Methods of Cut-Elimination
Matthia Baaz, Matthias Baaz, Alexander Leitsch Methods of Cut-Elimination Anglais 11.02.2013 Livre de poche Fr. 158.00 6-7 semaines
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen - Theory and Practice of Formal Methods
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen Theory and Practice of Formal Methods Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing - Software Engineering for Collective Autonomic Systems
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing Software Engineering for Collective Autonomic Systems Anglais 01.01.2015 Livre de poche Fr. 70.00 6-7 semaines
Tran Khanh Dang, Abdelkader Hameurlain, Jose Küng, Josef Küng, Nam Thoai, Roland Wagner... - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
Tran Khanh Dang, Abdelkader Hameurlain, Jose Küng, Josef Küng, Nam Thoai, Roland Wagner... Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Alexande Romanovsky, Alexander Romanovsky, Thomas, Thomas, Martyn Thomas - Industrial Deployment of System Engineering Methods
Alexande Romanovsky, Alexander Romanovsky, Thomas, Thomas, Martyn Thomas Industrial Deployment of System Engineering Methods Anglais 31.07.2013 Livre Relié Fr. 70.00 6-7 semaines
Daizha Cheng, Daizhan Cheng, Zhiqiang Li, Hongshen Qi, Hongsheng Qi - Analysis and Control of Boolean Networks
Daizha Cheng, Daizhan Cheng, Zhiqiang Li, Hongshen Qi, Hongsheng Qi Analysis and Control of Boolean Networks Anglais 30.01.2013 Livre de poche Fr. 179.00 6-7 semaines
Alexande Meduna, Alexander Meduna, Petr Zemek - Regulated Grammars and Automata
Alexande Meduna, Alexander Meduna, Petr Zemek Regulated Grammars and Automata Anglais 02.12.2013 Livre Relié Fr. 169.00 6-7 semaines
Souhila Kaci - Working with Preferences
Souhila Kaci Working with Preferences Anglais 31.07.2011 Livre Relié Fr. 135.00 6-7 semaines
Judit Bishop, Judith Bishop, Vallecillo, Vallecillo, Antonio Vallecillo - Objects, Components, Models, Patterns
Judit Bishop, Judith Bishop, Vallecillo, Vallecillo, Antonio Vallecillo Objects, Components, Models, Patterns Anglais 31.07.2011 Livre de poche Fr. 70.00 6-7 semaines
Ralf Lämmel, Joã Saraiva, João Saraiva, Joost Visser - Generative and Transformational Techniques in Software Engineering IV
Ralf Lämmel, Joã Saraiva, João Saraiva, Joost Visser Generative and Transformational Techniques in Software Engineering IV Anglais 06.12.2012 Livre de poche Fr. 70.00 6-7 semaines