Languages
Subject
Format
Availabity
Authors

Search result

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 English 30.04.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 31.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar - Numerical Software Verification
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar Numerical Software Verification English 31.03.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 31.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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. English 01.09.2014 Hardback Fr. 239.00 6-7 weeks
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 English 30.11.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 30.06.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Mohan Ganesalingam, Mohan Gansealingam - The Language of Mathematics
Mohan Ganesalingam, Mohan Gansealingam The Language of Mathematics English 07.02.2013 Paperback / Softback Fr. 97.00 6-7 weeks
Matthia Baaz, Matthias Baaz, Alexander Leitsch - Methods of Cut-Elimination
Matthia Baaz, Matthias Baaz, Alexander Leitsch Methods of Cut-Elimination English 11.02.2013 Paperback / Softback Fr. 158.00 6-7 weeks
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 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 31.07.2013 Hardback Fr. 70.00 6-7 weeks
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 English 30.01.2013 Paperback / Softback Fr. 179.00 6-7 weeks
Alexande Meduna, Alexander Meduna, Petr Zemek - Regulated Grammars and Automata
Alexande Meduna, Alexander Meduna, Petr Zemek Regulated Grammars and Automata English 02.12.2013 Hardback Fr. 169.00 6-7 weeks
Souhila Kaci - Working with Preferences
Souhila Kaci Working with Preferences English 31.07.2011 Hardback Fr. 135.00 6-7 weeks
Judit Bishop, Judith Bishop, Vallecillo, Vallecillo, Antonio Vallecillo - Objects, Components, Models, Patterns
Judit Bishop, Judith Bishop, Vallecillo, Vallecillo, Antonio Vallecillo Objects, Components, Models, Patterns English 31.07.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Mihi Chakraborty, Mihir Chakraborty, Aboul-Ella Hassanien, James F. Peters, Hiroshi Sakai, Andrzej Skowron... - Transactions on Rough Sets XIV
Mihi Chakraborty, Mihir Chakraborty, Aboul-Ella Hassanien, James F. Peters, Hiroshi Sakai, Andrzej Skowron... Transactions on Rough Sets XIV English 31.07.2011 Paperback / Softback Fr. 70.00 6-7 weeks