Languages
Subject
Format
Availabity
Authors

Search result

Jan Bergstra, Jan A Bergstra, Cornelis A Middelburg, Cornelis A. Middelburg - Instruction Sequences for Computer Science
Jan Bergstra, Jan A Bergstra, Cornelis A Middelburg, Cornelis A. Middelburg Instruction Sequences for Computer Science English 01.01.2014 Paperback / Softback Fr. 142.00 6-7 weeks
Quang-Thu Ha, Quang-Thuy Ha, Tianrui Li, Tianrui Li et al, Hung Son Nguyen, Malgorzata Przybyla-Kasperek... - Rough Sets
Quang-Thu Ha, Quang-Thuy Ha, Tianrui Li, Tianrui Li et al, Hung Son Nguyen, Malgorzata Przybyla-Kasperek... Rough Sets English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Davi Leake, David Leake, Zhongzhi Shi, Sunil Vadera - Intelligent Information Processing VI
Davi Leake, David Leake, Zhongzhi Shi, Sunil Vadera Intelligent Information Processing VI English 25.07.2012 Hardback Fr. 135.00 6-7 weeks
Fred Cummins, Ann Esposito, Anna Esposito, Maria Giagkou, Maria Giagkou et al, Georgios Papadelis... - Multidisciplinary Aspects of Time and Time Perception
Fred Cummins, Ann Esposito, Anna Esposito, Maria Giagkou, Maria Giagkou et al, Georgios Papadelis... Multidisciplinary Aspects of Time and Time Perception English 30.06.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Claudio Moraga, Claudio Moraga et al, Rudolf Seising, Settimo Termini, Enri Trillas, Enric Trillas - On Fuzziness
Claudio Moraga, Claudio Moraga et al, Rudolf Seising, Settimo Termini, Enri Trillas, Enric Trillas On Fuzziness English 01.01.2015 Paperback / Softback Fr. 189.00 6-7 weeks
Hajnal Andreka, Hajnal Andréka, Mikló Ferenczi, Miklós Ferenczi, István Németi - Cylindric-like Algebras and Algebraic Logic
Hajnal Andreka, Hajnal Andréka, Mikló Ferenczi, Miklós Ferenczi, István Németi Cylindric-like Algebras and Algebraic Logic English 01.01.2015 Paperback / Softback Fr. 135.00 6-7 weeks
Branislav Rovan, Vladimir Sassone, Vladimiro Sassone, Peter Widmayer - Mathematical Foundations of Computer Science 2012
Branislav Rovan, Vladimir Sassone, Vladimiro Sassone, Peter Widmayer Mathematical Foundations of Computer Science 2012 English 12.07.2012 Paperback / Softback Fr. 147.00 6-7 weeks
Arsen M Shur, Arseny M Shur, Arseny M. Shur, V Volkov, V Volkov, Mikhail V. Volkov - Developments in Language Theory
Arsen M Shur, Arseny M Shur, Arseny M. Shur, V Volkov, V Volkov, Mikhail V. Volkov Developments in Language Theory English 02.07.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Andrzej Indrzejczak - Natural Deduction, Hybrid Systems and Modal Logics
Andrzej Indrzejczak Natural Deduction, Hybrid Systems and Modal Logics English 04.07.2012 Paperback / Softback Fr. 261.00 6-7 weeks
Djamal Benslimane, Ernest Damiani, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, William I Grosky et al... - Database and Expert Systems Applications
Djamal Benslimane, Ernest Damiani, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, William I Grosky et al... Database and Expert Systems Applications English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... - String Analysis for Software Verification and Security
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... String Analysis for Software Verification and Security English 28.02.2018 Hardback Fr. 124.00 6-7 weeks
Hans L. Bodlaender, Rod Downey, Rodne Downey, Rodney Downey, Fedor V. Fomin, Daniel Marx... - The Multivariate Algorithmic Revolution and Beyond
Hans L. Bodlaender, Rod Downey, Rodne Downey, Rodney Downey, Fedor V. Fomin, Daniel Marx... The Multivariate Algorithmic Revolution and Beyond English 27.06.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar - Computer Aided Verification
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar Computer Aided Verification English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Alessandr Abate, Alessandro Abate, Boldo, Boldo, Sylvie Boldo - Numerical Software Verification
Alessandr Abate, Alessandro Abate, Boldo, Boldo, Sylvie Boldo Numerical Software Verification English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Leonard de Moura, Leonardo De Moura - Automated Deduction - CADE 26
Leonard de Moura, Leonardo De Moura Automated Deduction - CADE 26 English 01.01.2017 Paperback / Softback Fr. 110.00 6-7 weeks
Chemello, Chemello, Gaetano Chemello, Claudi Sossai, Claudio Sossai - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Chemello, Chemello, Gaetano Chemello, Claudi Sossai, Claudio Sossai Symbolic and Quantitative Approaches to Reasoning with Uncertainty English 01.01.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Bernadette Bouchon-Meunier, Bernadette Bouchon-Meunier et al, Anne Laurent, Olivie Strauss, Olivier Strauss, Ronald R. Yager - Information Processing and Management of Uncertainty
Bernadette Bouchon-Meunier, Bernadette Bouchon-Meunier et al, Anne Laurent, Olivie Strauss, Olivier Strauss, Ronald R. Yager Information Processing and Management of Uncertainty English 16.06.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Bernadette Bouchon-Meunier, Bernadette Bouchon-Meunier et al, Anne Laurent, Olivie Strauss, Olivier Strauss, Ronald R. Yager - Information Processing and Management of Uncertainty
Bernadette Bouchon-Meunier, Bernadette Bouchon-Meunier et al, Anne Laurent, Olivie Strauss, Olivier Strauss, Ronald R. Yager Information Processing and Management of Uncertainty English 16.06.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Yuefen Li, Yuefeng Li, Lech Polkowski, Lech Polkowski et al, Shusaku Tsumoto, Guoyin Wang... - Rough Sets and Knowledge Technology
Yuefen Li, Yuefeng Li, Lech Polkowski, Lech Polkowski et al, Shusaku Tsumoto, Guoyin Wang... Rough Sets and Knowledge Technology English 09.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Flum, J Flum, J. Flum, Jörg Flum, M Grohe, M. Grohe... - Parameterized Complexity Theory
Flum, J Flum, J. Flum, Jörg Flum, M Grohe, M. Grohe... Parameterized Complexity Theory English 14.02.2006 Hardback Fr. 147.00 6-7 weeks