Browse Results

Showing 9,626 through 9,650 of 55,826 results
Title Author ISBN Copyright Features Action
Computations and Combinatorics in Commutative Algebra: EACA School, Valladolid 2013 (Lecture Notes in Mathematics #2176) 2238392 Anna M. Bigatti Philippe Gimenez Eduardo Sáenz-de-Cabezón 9783319513195 2017 Contains images
Computations and Computing Devices in Mathematics Education Before the Advent of Electronic Calculators (Mathematics Education in the Digital Era #11) 2369101 Alexei Volkov Viktor Freiman 9783319733968 2018 Contains images
Computations for the Nano-Scale (NATO Science Series E: #240) 4802116 P. E. Blöchl C. Joachim A. J. Fisher 9789401119566 1993
Computations in Algebraic Geometry with Macaulay 2 (Algorithms and Computation in Mathematics #8) 4696248 David Eisenbud Daniel R. Grayson Mike Stillman Bernd Sturmfels 9783662048511 2002
Computations in Higher Types (Lecture Notes in Mathematics #574) 4770407 J. Moldestad 9783540374251 1977
Computations with Markov Chains: Proceedings of the 2nd International Workshop on the Numerical Solution of Markov Chains 3769390 William J. Stewart 9781461522416 1995
Computations with Modular Forms: Proceedings of a Summer School and Conference, Heidelberg, August/September 2011 (Contributions in Mathematical and Computational Sciences #6) 2799524 Gebhard Böckle Gabor Wiese 9783319038476 2014 Contains images
Computed Tomography: From Photon Statistics to Modern Cone-Beam CT 4600127 Thorsten M. Buzug 9783540394082 2008
Computer Aided Analysis and Optimization of Mechanical System Dynamics (NATO ASI Subseries F: #9) 4655191 E. J. Haug 9783642524653 1984
Computer-Aided Analysis of Rigid and Flexible Mechanical Systems (NATO Science Series E: #268) 4733115 Manuel F. O. Seabra Pereira Jorge A. C. Ambrósio 9789401111669 1994
Computer Aided Assessment of Mathematics 5044848 Chris Sangwin 9780191635854 2013
Computer-Aided Design and Manufacturing: Methods and Tools (Symbolic Computation) 4668314 U. Rembold R. Dillmann 9783642827488 1986
Computer Aided Design of Control Systems: Proceedings of the IFAC Symposium, Zürich, Switzerland, 29-31 August 1979 3930922 M. A. Cuenod 9781483146911 1980
Computer Aided Design of Multivariable Technological Systems: Proceedings of the Second IFAC Symposium West Lafayette, Indiana, USA, 15-17 September 1982 3931354 G. G. Leininger 9781483146881 1983
Computer Aided Engineering of Batteries (Modern Aspects of Electrochemistry #62) 5220603 Shriram Santhanagopalan 9783031176074 2023 Contains images
Computer-Aided Introduction to Econometrics 4755522 Juan Rodriguez Poo 9783642556869 2003
Computer Aided Proofs in Analysis (The IMA Volumes in Mathematics and its Applications #28) 3867431 Kenneth R. Meyer Dieter S. Schmidt 9781461390923 1991
Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers (Lecture Notes in Computer Science #3643) 4690468 Roberto Moreno-Díaz Franz Pichler Alexis Quesada Arencibia 9783540318293 2005
Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers (Lecture Notes in Computer Science #2178) 4751089 Roberto Moreno-Diaz Bruno Buchberger Jose-Luis Freire 9783540456544 2001
Computer Aided Systems Theory - EUROCAST 2003: 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers (Lecture Notes in Computer Science #2809) 4610942 Robeto Moreno Diaz Franz Pichler 9783540452102 2003
Computer Aided Systems Theory - EUROCAST'99: A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings (Lecture Notes in Computer Science #1798) 4690186 Franz Pichler Roberto Moreno-Diaz Peter Kopacek 9783540449317 2000
Computer-Aided Transit Scheduling: Proceedings of the Sixth International Workshop on Computer-Aided Scheduling of Public Transport (Lecture Notes in Economics and Mathematical Systems #430) 4759909 Joachim R. Daduna Isabel Branco Jose M. P. Paixao 9783642577628 1995
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science #3114) 4821977 Rajeev Alur Doron A. Peled 9783540278139 2004
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science #4144) 4813646 Thomas Ball Robert B. Jones 9783540374114 2006
Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science #2102) 4828462 Gerard Berry Hubert Comon Alain Finkel 9783540445852 2001

Refine Search

Showing 9,626 through 9,650 of 55,826 results