Languages
Subject
Format
Availabity
Authors

Search result

Francisco Ortuño, Fernando Rojas, Ignacio Rojas, Fernando Rojas et al, Olg Valenzuela, Olga Valenzuela - Bioinformatics and Biomedical Engineering
Francisco Ortuño, Fernando Rojas, Ignacio Rojas, Fernando Rojas et al, Olg Valenzuela, Olga Valenzuela Bioinformatics and Biomedical Engineering English 01.01.2019 Paperback / Softback Fr. 113.00 6-7 weeks
Yijia Chen, Xiaoti Deng, Xiaotie Deng, Mei Lu - Frontiers in Algorithmics
Yijia Chen, Xiaoti Deng, Xiaotie Deng, Mei Lu Frontiers in Algorithmics English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Ganter, Bernhard Ganter, Godin, R. Godin, Robert Godin - Formal Concept Analysis
Ganter, Bernhard Ganter, Godin, R. Godin, Robert Godin Formal Concept Analysis English 19.03.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... Formal Methods for Components and Objects English 20.12.2004 Paperback / Softback Fr. 70.00 6-7 weeks
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... - Formal Methods for the Design of Real-Time Systems
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... Formal Methods for the Design of Real-Time Systems English 20.12.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Alan J. Hu, Ala J Hu, Alan J Hu, K Martin, K Martin, Andrew K. Martin - Formal Methods in Computer-Aided Design
Alan J. Hu, Ala J Hu, Alan J Hu, K Martin, K Martin, Andrew K. Martin Formal Methods in Computer-Aided Design English 08.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Yousse Hamadi, Youssef Hamadi, Sais, Sais, Lakhdar Sais - Handbook of Parallel Constraint Reasoning
Yousse Hamadi, Youssef Hamadi, Sais, Sais, Lakhdar Sais Handbook of Parallel Constraint Reasoning English 01.01.2019 Paperback / Softback Fr. 147.00 6-7 weeks
John L Bell, John L. Bell - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
John L Bell, John L. Bell The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics English 01.01.2019 Hardback Fr. 147.00 6-7 weeks
Ryutaro Ichise, Takahiro Kawamura, Takahiro Kawamura et al, Kouji Kozaki, Fredd Lecue, Freddy Lecue... - Semantic Technology
Ryutaro Ichise, Takahiro Kawamura, Takahiro Kawamura et al, Kouji Kozaki, Fredd Lecue, Freddy Lecue... Semantic Technology English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Maciej Koutny, Lars Michael Kristensen, Lar Michael Kristensen, Lars Michael Kristensen, Wojciech Penczek - Transactions on Petri Nets and Other Models of Concurrency XIII
Maciej Koutny, Lars Michael Kristensen, Lar Michael Kristensen, Lars Michael Kristensen, Wojciech Penczek Transactions on Petri Nets and Other Models of Concurrency XIII English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Sergiy Butenko, Ding-Zh Du, Ding-Zhu Du, Shaojie Tang, David Woodruff, David Woodruff et al - Algorithmic Aspects in Information and Management
Sergiy Butenko, Ding-Zh Du, Ding-Zhu Du, Shaojie Tang, David Woodruff, David Woodruff et al Algorithmic Aspects in Information and Management English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Maria Luis Dalla Chiara, Maria Luisa Dalla Chiara, Robert Giuntini, Roberto Giuntini, Lepori, Roberto Leporini... - Quantum Computation and Logic
Maria Luis Dalla Chiara, Maria Luisa Dalla Chiara, Robert Giuntini, Roberto Giuntini, Lepori, Roberto Leporini... Quantum Computation and Logic English 01.01.2018 Hardback Fr. 159.00 6-7 weeks
Alfred Tarski - Collected Papers
Alfred Tarski Collected Papers English 01.01.2019 Hardback Fr. 207.00 6-7 weeks
Flemmin Nielson, Flemming Nielson, Hanne Riis Nielson - Formal Methods
Flemmin Nielson, Flemming Nielson, Hanne Riis Nielson Formal Methods English 01.01.2019 Hardback Fr. 70.00 6-7 weeks
Richar Kowalczyk, Richard Kowalczyk, Jacek Mercik, Jacek Mercik et al, Anna Motylska-Ku¿ma, Anna Motylska-Kuzma... - Transactions on Computational Collective Intelligence XXXI
Richar Kowalczyk, Richard Kowalczyk, Jacek Mercik, Jacek Mercik et al, Anna Motylska-Ku¿ma, Anna Motylska-Kuzma... Transactions on Computational Collective Intelligence XXXI English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Frankli de Lima Marquezino, Franklin de Lima Marquezino, Lavo, Carlile Lavor, Renat Portugal, Renato Portugal - A Primer on Quantum Computing
Frankli de Lima Marquezino, Franklin de Lima Marquezino, Lavo, Carlile Lavor, Renat Portugal, Renato Portugal A Primer on Quantum Computing English 01.01.2019 Paperback / Softback Fr. 84.00 6-7 weeks
Ia McQuillan, Ian McQuillan, Seki, Seki, Shinnosuke Seki - Unconventional Computation and Natural Computation
Ia McQuillan, Ian McQuillan, Seki, Seki, Shinnosuke Seki Unconventional Computation and Natural Computation English 01.01.2019 Paperback / Softback Fr. 82.00 6-7 weeks
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna - Logics in Artificial Intelligence
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna Logics in Artificial Intelligence English 01.01.2019 Paperback / Softback Fr. 133.00 6-7 weeks
Stanis¿aw Gawiejnowicz, Stanislaw Gawiejnowicz, Stanisław Gawiejnowicz - Models and Algorithms of Time-Dependent Scheduling
Stanis¿aw Gawiejnowicz, Stanislaw Gawiejnowicz, Stanisław Gawiejnowicz Models and Algorithms of Time-Dependent Scheduling English 01.01.2020 Hardback Fr. 189.00 6-7 weeks
Lazaros Iliadis, Lazaros Iliadis et al, John MacIntyre, Ilia Maglogiannis, Ilias Maglogiannis, Elias Pimenidis - Artificial Intelligence Applications and Innovations
Lazaros Iliadis, Lazaros Iliadis et al, John MacIntyre, Ilia Maglogiannis, Ilias Maglogiannis, Elias Pimenidis Artificial Intelligence Applications and Innovations English 01.01.2019 Hardback Fr. 135.00 6-7 weeks