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
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
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
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... - Formal Methods in Software and Systems Modeling
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... Formal Methods in Software and Systems Modeling English 26.04.2005 Paperback / Softback Fr. 70.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
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
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
Zhipeng Cai, Min Li, Pave Skums, Pavel Skums - Bioinformatics Research and Applications
Zhipeng Cai, Min Li, Pave Skums, Pavel Skums Bioinformatics Research and Applications English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Yasu Narukawa, Yasuo Narukawa, Gabriella Pasi, Gabriella Pasi et al, Vicenç Torra, Marco Viviani - Modeling Decisions for Artificial Intelligence
Yasu Narukawa, Yasuo Narukawa, Gabriella Pasi, Gabriella Pasi et al, Vicenç Torra, Marco Viviani Modeling Decisions for Artificial Intelligence English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Troels Andreasen, Henning Christiansen, Alfredo Cuzzocrea, Sergi Greco, Sergio Greco, Henrik Legind Larsen... - Flexible Query Answering Systems
Troels Andreasen, Henning Christiansen, Alfredo Cuzzocrea, Sergi Greco, Sergio Greco, Henrik Legind Larsen... Flexible Query Answering Systems English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Davi Aveiro, David Aveiro, Jorge Bernardino, Jan L. G. Dietz, Joaquim Filipe, Ana Fred... - Knowledge Discovery, Knowledge Engineering and Knowledge Management
Davi Aveiro, David Aveiro, Jorge Bernardino, Jan L. G. Dietz, Joaquim Filipe, Ana Fred... Knowledge Discovery, Knowledge Engineering and Knowledge Management English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Jens Erik Fenstad - Structures and Algorithms
Jens Erik Fenstad Structures and Algorithms English 01.01.2018 Paperback / Softback Fr. 147.00 6-7 weeks
Rosario Giustolisi - Modelling and Verification of Secure Exams
Rosario Giustolisi Modelling and Verification of Secure Exams English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Miko¿aj Boja¿czyk, Mikola Bojanczyk, Mikolaj Bojanczyk, Mikołaj Bojańczyk, SIMPSON, Simpson... - Foundations of Software Science and Computation Structures
Miko¿aj Boja¿czyk, Mikola Bojanczyk, Mikolaj Bojanczyk, Mikołaj Bojańczyk, SIMPSON, Simpson... Foundations of Software Science and Computation Structures English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Janus Czelakowski, Janusz Czelakowski - Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Janus Czelakowski, Janusz Czelakowski Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science English 01.01.2019 Paperback / Softback Fr. 117.00 6-7 weeks
Sude Dasgupta, Sudeb Dasgupta, Santosh Kumar Vishvakarma, Anirban Sengupta, Rohit Sharma, Virendra Singh... - VLSI Design and Test
Sude Dasgupta, Sudeb Dasgupta, Santosh Kumar Vishvakarma, Anirban Sengupta, Rohit Sharma, Virendra Singh... VLSI Design and Test English 31.10.2019 Paperback / Softback Fr. 145.00 6-7 weeks
Serenell Cerrito, Serenella Cerrito, Popescu, Popescu, Andrei Popescu - Automated Reasoning with Analytic Tableaux and Related Methods
Serenell Cerrito, Serenella Cerrito, Popescu, Popescu, Andrei Popescu Automated Reasoning with Analytic Tableaux and Related Methods English 01.08.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Shai Ben David, Shai Ben-David, John Case, Akira Maruoka - Algorithmic Learning Theory
Shai Ben David, Shai Ben-David, John Case, Akira Maruoka Algorithmic Learning Theory English 07.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
D. Hutter, Diete Hutter, Dieter Hutter, Stephan, Stephan, W. Stephan... - Mechanizing Mathematical Reasoning
D. Hutter, Diete Hutter, Dieter Hutter, Stephan, Stephan, W. Stephan... Mechanizing Mathematical Reasoning English 26.04.2005 Paperback / Softback Fr. 135.00 6-7 weeks