Languages
Subject
Format
Availabity
Authors

Search result

Alexander Chagrov, Alexander (Professor of Mathematics Chagrov, Alexander Zakharyaschev Chagrov, Zakharyaschev Chagrov, Chagrov Alexander, Michael Zakharyaschev... - Modal Logic
Alexander Chagrov, Alexander (Professor of Mathematics Chagrov, Alexander Zakharyaschev Chagrov, Zakharyaschev Chagrov, Chagrov Alexander, Michael Zakharyaschev... Modal Logic English 01.02.1997 Hardback Fr. 396.00 3-5 weeks
Samson Abramsky, Samson Gabbay Abramsky, Dov M Gabbay, Dov M. Gabbay, T S Maibaum, T. S. Maibaum... - Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Samson Abramsky, Samson Gabbay Abramsky, Dov M Gabbay, Dov M. Gabbay, T S Maibaum, T. S. Maibaum... Handbook of Logic in Computer Science: Volume 4. Semantic Modelling English 04.05.1995 Hardback Fr. 610.00 3-5 weeks
S. Abramsky, Samson Abramsky, Samson Gabbay Abramsky, Dov M Gabbay, Dov M. Gabbay, T S Maibaum... - Handbook of Logic in Computer Science: Volume 5. Algebraic and
S. Abramsky, Samson Abramsky, Samson Gabbay Abramsky, Dov M Gabbay, Dov M. Gabbay, T S Maibaum... Handbook of Logic in Computer Science: Volume 5. Algebraic and English 01.11.2000 Hardback Fr. 736.00 3-5 weeks
Zhaohui Luo, Zhaohui (Lecturer/Research Fellow Luo, Zhaohui Luo - Computation and Reasoning
Zhaohui Luo, Zhaohui (Lecturer/Research Fellow Luo, Zhaohui Luo Computation and Reasoning English 31.03.1994 Hardback Fr. 140.00 3-5 weeks
J. E. Beasley, J. E. (Imperial College Beasley, J.e. Beasley, John Edward Beasley, J. E. Beasley - Advances in Linear and Integer Programming
J. E. Beasley, J. E. (Imperial College Beasley, J.e. Beasley, John Edward Beasley, J. E. Beasley Advances in Linear and Integer Programming English 01.09.1996 Hardback Fr. 216.00 3-5 weeks
D. M. Gabbay, D. M. (Professor of Computing Science Gabbay, Dov M. (King''''s College London) Gabbay, D M Gabbay, D. M. Gabbay, Gabbay D. M. - What Is a Logical System?
D. M. Gabbay, D. M. (Professor of Computing Science Gabbay, Dov M. (King''''s College London) Gabbay, D M Gabbay, D. M. Gabbay, Gabbay D. M. What Is a Logical System? English 08.12.1994 Hardback Fr. 270.00 3-5 weeks
Paul Cockshott, Paul (Reader Cockshott, Paul/ Mackenzie Cockshott, Cockshott Paul, Lewis M Mackenzie, Lewis M (Senior Lecturer Mackenzie... - Computation and Its Limits
Paul Cockshott, Paul (Reader Cockshott, Paul/ Mackenzie Cockshott, Cockshott Paul, Lewis M Mackenzie, Lewis M (Senior Lecturer Mackenzie... Computation and Its Limits English 07.04.2012 Hardback Fr. 140.00 3-5 weeks
Peter Aczel, Peter (University of Manchester) Simmons Aczel, Peter Simmons Aczel, Peter Aczel, Aczel Peter, Harold Simmons... - Proof Theory
Peter Aczel, Peter (University of Manchester) Simmons Aczel, Peter Simmons Aczel, Peter Aczel, Aczel Peter, Harold Simmons... Proof Theory English 21.01.2008 Paperback / Softback Fr. 66.00 3-5 weeks
Raymond Hill, Raymond (Senior Lecturer in Mathematics Hill, Hill Raymond - First Course in Coding Theory
Raymond Hill, Raymond (Senior Lecturer in Mathematics Hill, Hill Raymond First Course in Coding Theory English 12.06.1986 Paperback / Softback Fr. 130.00 3-5 weeks
Richard Bornat, Richard (School of Computing Science Bornat, Bornat Richard - Proof and Disproof in Formal Logic
Richard Bornat, Richard (School of Computing Science Bornat, Bornat Richard Proof and Disproof in Formal Logic English 21.07.2005 Paperback / Softback Fr. 106.00 3-5 weeks
B. J. Copeland, B. J. (Director of the Turing Archive fo Copeland, B. Jack Copeland, Alan M. Turing, Alan Mathison Turing, B. J. Copeland... - Essential Turing
B. J. Copeland, B. J. (Director of the Turing Archive fo Copeland, B. Jack Copeland, Alan M. Turing, Alan Mathison Turing, B. J. Copeland... Essential Turing English 01.07.2004 Hardback Fr. 210.00 3-5 weeks
Masayuki Numao Jaime Shin-Ya Nishizaki, Jaime D L Caro, Jaime D. L. Caro, Jaime D L Caro, Merlin Teodosia C Suarez, Shin-ya Nishizaki... - Theory And Practice Of Computation - Proceedings Of Workshop On Computation: Theory And Practice Wctp2016
Masayuki Numao Jaime Shin-Ya Nishizaki, Jaime D L Caro, Jaime D. L. Caro, Jaime D L Caro, Merlin Teodosia C Suarez, Shin-ya Nishizaki... Theory And Practice Of Computation - Proceedings Of Workshop On Computation: Theory And Practice Wctp2016 English 18.12.2017 Hardback Fr. 200.00 3-5 weeks
Ioannis Pitas, Ioannis (Aristotle University of Thessaloni Pitas, Ioannis (EDT) Pitas, Ioannis Pitas, Ioannis (Aristotle University of Thessaloniki Pitas, Pitas Ioannis - Graph-Based Social Media Analysis
Ioannis Pitas, Ioannis (Aristotle University of Thessaloni Pitas, Ioannis (EDT) Pitas, Ioannis Pitas, Ioannis (Aristotle University of Thessaloniki Pitas, Pitas Ioannis Graph-Based Social Media Analysis English 31.10.2015 Hardback Fr. 170.00 3-5 weeks
Lance D. Chambers, Lance D. (Metro Transport Directorate Chambers, Chambers Lance D. - The Practical Handbook of Genetic Algorithms
Lance D. Chambers, Lance D. (Metro Transport Directorate Chambers, Chambers Lance D. The Practical Handbook of Genetic Algorithms English 07.12.2000 Hardback Fr. 376.00 3-5 weeks
Yukio (University of Tokyo Ohsawa, Yukio Yada Ohsawa, Yukio Ohsawa, Yukio (University of Tokyo Ohsawa, Ohsawa Yukio, Katsutoshi Yada... - Data Mining for Design and Marketing
Yukio (University of Tokyo Ohsawa, Yukio Yada Ohsawa, Yukio Ohsawa, Yukio (University of Tokyo Ohsawa, Ohsawa Yukio, Katsutoshi Yada... Data Mining for Design and Marketing English 31.12.2017 Paperback / Softback Fr. 120.00 3-5 weeks
Roman V. Yampolskiy, Roman V. (University of Louisville Yampolskiy, Roman V. Yampolskiy, Roman V. (University of Louisville Yampolskiy, Yampolskiy Roman V. - Artificial Intelligence Safety and Security
Roman V. Yampolskiy, Roman V. (University of Louisville Yampolskiy, Roman V. Yampolskiy, Roman V. (University of Louisville Yampolskiy, Yampolskiy Roman V. Artificial Intelligence Safety and Security English 31.08.2018 Paperback / Softback Fr. 86.00 3-5 weeks
Cristian S Calude & Tu Alexandra Bellow, Alexandra Bellow, Bellow Alexandra, Cristian S Calude, Cristian S. Calude, Cristian S Calude... - Mathematics Almost Everywhere: In Memory Of Solomon Marcus
Cristian S Calude & Tu Alexandra Bellow, Alexandra Bellow, Bellow Alexandra, Cristian S Calude, Cristian S. Calude, Cristian S Calude... Mathematics Almost Everywhere: In Memory Of Solomon Marcus English 18.06.2018 Hardback Fr. 150.00 3-5 weeks
Schwichtenberg Helmut, Peter Schuster & Helmut S Klaus Mainzer, Klaus Mainzer Et Al, Schwichtenberg Helmut, Klaus Mainzer, Mainzer Klaus... - Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Schwichtenberg Helmut, Peter Schuster & Helmut S Klaus Mainzer, Klaus Mainzer Et Al, Schwichtenberg Helmut, Klaus Mainzer, Mainzer Klaus... Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy English 30.07.2018 Hardback Fr. 166.00 3-5 weeks
Michele Colledanchise, Michele (Italian Institute of Techn Colledanchise, Michele (Italian Institute of Technology Colledanchise, Michele (Italian Institute of Technology Collendanchise, Petter OEgren, Petter (KTH Royal Institute of Technology OEgren... - Behavior Trees in Robotics and Ai
Michele Colledanchise, Michele (Italian Institute of Techn Colledanchise, Michele (Italian Institute of Technology Colledanchise, Michele (Italian Institute of Technology Collendanchise, Petter OEgren, Petter (KTH Royal Institute of Technology OEgren... Behavior Trees in Robotics and Ai English 31.08.2018 Hardback Fr. 140.00 3-5 weeks
Siddhartha Bhattacharyya, Bhattacharyya Siddhartha, Siddhartha Bhattacharyya - Hybrid Metaheuristics: Research And Applications
Siddhartha Bhattacharyya, Bhattacharyya Siddhartha, Siddhartha Bhattacharyya Hybrid Metaheuristics: Research And Applications English 31.12.2018 Hardback Fr. 180.00 3-5 weeks