Languages
Subject
Format
Availabity
Authors

Search result

Stephen Cook, Stephen (University of Toronto) Cook, Stephen (University of Toronto) Nguyen Cook, Stephen Nguyen Cook, Cook Stephen, Phuong Nguyen... - Logical Foundations of Proof Complexity
Stephen Cook, Stephen (University of Toronto) Cook, Stephen (University of Toronto) Nguyen Cook, Stephen Nguyen Cook, Cook Stephen, Phuong Nguyen... Logical Foundations of Proof Complexity English 25.01.2010 Hardback Fr. 170.00 1-3 weeks (not available at short notice)
Tapan Sengupta, Tapan (Indian Institute of Technology Sengupta, Tapan K. Sengupta, Tapan K. (Indian Institute of Technology Sengupta - High Accuracy Computing Methods
Tapan Sengupta, Tapan (Indian Institute of Technology Sengupta, Tapan K. Sengupta, Tapan K. (Indian Institute of Technology Sengupta High Accuracy Computing Methods English 16.05.2013 Hardback Fr. 226.00 1-3 weeks (not available at short notice)
Stephen Cook, Stephen (University of Toronto) Nguyen Cook, Stephen Nguyen Cook, Cook Stephen, Phuong Nguyen, Nguyen Phuong - Logical Foundations of Proof Complexity
Stephen Cook, Stephen (University of Toronto) Nguyen Cook, Stephen Nguyen Cook, Cook Stephen, Phuong Nguyen, Nguyen Phuong Logical Foundations of Proof Complexity English 06.03.2014 Paperback / Softback Fr. 100.00 1-3 weeks (not available at short notice)
Oded Goldreich, Oded (Weizmann Institute of Science Goldreich, Goldreich Oded - P, Np, and Np-Completeness
Oded Goldreich, Oded (Weizmann Institute of Science Goldreich, Goldreich Oded P, Np, and Np-Completeness English 16.08.2010 Hardback Fr. 186.00 1-3 weeks (not available at short notice)
Nicholas Pippenger, Nicholas (University of British Columbi Pippenger, Pippenger Nicholas - Theories of Computability
Nicholas Pippenger, Nicholas (University of British Columbi Pippenger, Pippenger Nicholas Theories of Computability English 10.06.2010 Paperback / Softback Fr. 76.00 1-3 weeks (not available at short notice)
Steven M. Lavalle, Steven M. (University of Illinois Lavalle, LaValle Steven M. - Planning Algorithms
Steven M. Lavalle, Steven M. (University of Illinois Lavalle, LaValle Steven M. Planning Algorithms English 29.05.2006 Hardback Fr. 160.00 1-3 weeks (not available at short notice)
Alex Zolotovitski, Zolotovitski Alex - Handling Large R Projects
Alex Zolotovitski, Zolotovitski Alex Handling Large R Projects English 08.07.2021 Paperback / Softback Fr. 52.50 1-3 weeks (not available at short notice)
Nissim Francez, Nissim (Technion - Israel Institute of Te Francez, Nissim Wintner Francez, Francez Nissim, Shuly Wintner, Wintner Shuly - Unification Grammars
Nissim Francez, Nissim (Technion - Israel Institute of Te Francez, Nissim Wintner Francez, Francez Nissim, Shuly Wintner, Wintner Shuly Unification Grammars English 30.09.2011 Hardback Fr. 200.00 1-3 weeks (not available at short notice)
Felipe Krick Cucker, Felipe Cucker, Cucker Felipe, Teresa Krick, Krick Teresa, Allan Pinkus... - Foundations of Computational Mathematics, Budapest 2011
Felipe Krick Cucker, Felipe Cucker, Cucker Felipe, Teresa Krick, Krick Teresa, Allan Pinkus... Foundations of Computational Mathematics, Budapest 2011 English 15.11.2012 Paperback / Softback Fr. 86.00 1-3 weeks (not available at short notice)
Cornelius T Leondes, Cornelius T. Leondes, Cornelius T. (University of California Leondes, Leondes Cornelius T., Cornelius T. Leondes - Neural Network Systems, Techniques, and Applications
Cornelius T Leondes, Cornelius T. Leondes, Cornelius T. (University of California Leondes, Leondes Cornelius T., Cornelius T. Leondes Neural Network Systems, Techniques, and Applications English 13.10.1997 Hardback Fr. 153.00 1-3 weeks (not available at short notice)
Herman Geuvers, Herman (Radboud Universiteit Nijmegen) Geuvers, Geuvers Herman, R. P. Nederpelt, Rob Nederpelt, Rob (Technische Universiteit Eindhoven Nederpelt... - Type Theory and Formal Proof
Herman Geuvers, Herman (Radboud Universiteit Nijmegen) Geuvers, Geuvers Herman, R. P. Nederpelt, Rob Nederpelt, Rob (Technische Universiteit Eindhoven Nederpelt... Type Theory and Formal Proof English 06.11.2014 Hardback Fr. 116.00 1-3 weeks (not available at short notice)
E McCarthy, Ed Mccarthy, Ed (Mathworks Certified Matlab Associate Mccarthy, McCarthy Ed - Foundations of Computational Finance With Matlab
E McCarthy, Ed Mccarthy, Ed (Mathworks Certified Matlab Associate Mccarthy, McCarthy Ed Foundations of Computational Finance With Matlab English 30.06.2018 Hardback Fr. 50.90 1-3 weeks (not available at short notice)
Amir Husain - Sentient Machine
Amir Husain Sentient Machine English 30.11.2018 Paperback / Softback Fr. 22.50 1-3 weeks (not available at short notice)
Roger Hampson, Nigel Shadbolt, Nigel Hampson Shadbolt, Shadbolt Nigel - Digital Ape
Roger Hampson, Nigel Shadbolt, Nigel Hampson Shadbolt, Shadbolt Nigel Digital Ape English 11.10.2018 Paperback / Softback Fr. 30.90 1-3 weeks (not available at short notice)
Luca (Politecnico di Milano) Dede, Luca Dede', Luca (Politecnico di Milano) Dede', Andrea Manzoni, Andrea (Politecnico di Milano) Manzoni, Manzoni Andrea... - Mathematical Modelling of the Human Cardiovascular System
Luca (Politecnico di Milano) Dede, Luca Dede', Luca (Politecnico di Milano) Dede', Andrea Manzoni, Andrea (Politecnico di Milano) Manzoni, Manzoni Andrea... Mathematical Modelling of the Human Cardiovascular System English 31.12.2018 Hardback Fr. 140.00 1-3 weeks (not available at short notice)
Stoyan Mihov, Stoyan Schulz Mihov, Klaus U. Schulz, Klaus U. (Ludwig-Maximilians-Universitat Munchen) Schulz, Schulz Klaus U. - Finite-State Techniques
Stoyan Mihov, Stoyan Schulz Mihov, Klaus U. Schulz, Klaus U. (Ludwig-Maximilians-Universitat Munchen) Schulz, Schulz Klaus U. Finite-State Techniques English 30.09.2019 Hardback Fr. 116.00 1-3 weeks (not available at short notice)
Wenyuan Dai, Sinno Jialin Pan, Sinno Jialin (Nanyang Technological University Pan, Qiang Yang, Qiang (Hong Kong University of Science and T Yang, Qiang (Hong Kong University of Science and Technology) Yang... - Transfer Learning
Wenyuan Dai, Sinno Jialin Pan, Sinno Jialin (Nanyang Technological University Pan, Qiang Yang, Qiang (Hong Kong University of Science and T Yang, Qiang (Hong Kong University of Science and Technology) Yang... Transfer Learning English 30.04.2020 Hardback Fr. 100.00 1-3 weeks (not available at short notice)
Fan Graham Chung, Maria Pierri, Fan Chung, Ron Graham, Frederick Hoffman, Leslie Hogben... - 50 Years of Combinatorics, Graph Theory, and Computing
Fan Graham Chung, Maria Pierri, Fan Chung, Ron Graham, Frederick Hoffman, Leslie Hogben... 50 Years of Combinatorics, Graph Theory, and Computing English 31.12.2019 Hardback Fr. 255.00 1-3 weeks (not available at short notice)
Rashmi Agrawal, Agrawal Marcin Paprzycki Rashmi Agrawal, Rashmi Agrawal, Agrawal Rashmi, Neha Gupta, Paprzycki Marcin Paprzycki... - Big Data, Iot, and Machine Learning
Rashmi Agrawal, Agrawal Marcin Paprzycki Rashmi Agrawal, Rashmi Agrawal, Agrawal Rashmi, Neha Gupta, Paprzycki Marcin Paprzycki... Big Data, Iot, and Machine Learning English 31.03.2022 Paperback / Softback Fr. 90.00 1-3 weeks (not available at short notice)
Dr Sergey N. (Researcher Dorogovtsev, Sergey Dorogovtsev, Sergey N. Dorogovtsev, Sergey N. (Researcher Dorogovtsev, Josà F. F. Mendes, José F. F. Mendes - Nature of Complex Networks
Dr Sergey N. (Researcher Dorogovtsev, Sergey Dorogovtsev, Sergey N. Dorogovtsev, Sergey N. (Researcher Dorogovtsev, Josà F. F. Mendes, José F. F. Mendes Nature of Complex Networks English 30.06.2022 Hardback Fr. 146.00 1-3 weeks (not available at short notice)