Browse Results

Showing 9,676 through 9,700 of 55,871 results
Title Author ISBN Copyright Features Action
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science #7358) 4681675 Madhusudan Parthasarathy Sanjit A. Seshia 9783642314247 2012
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science #1633) 3276268 Doron Peled Nicolas Halbwachs 9783540486831 1999
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science #12760) 4211597 Alexandra Silva K. Rustan M. Leino 9783030816889 2021 Contains images
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science #12759) 4216403 Alexandra Silva K. Rustan M. Leino 9783030816858 2021 Contains images
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science #6174) 4761221 Tayssir Touili Byron Cook Paul Jackson 9783642142956 2010
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (PDF) 1737684 Robert P. Kurshan 9781400864041 2014
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series In Computer Science Ser. #302) 2782140 Robert P. Kurshan 9781400864041 2014
Computer Algebra: Symbolic and Algebraic Computation (Computing Supplementa #4) 4631983 R. Albrecht 9783709134061 1982
Computer Algebra: Symbolic and Algebraic Computation (Computing Supplementa #4) 4690258 R. Albrecht 9783709175514 1983
Computer Algebra: An Algorithm-Oriented Introduction (Springer Undergraduate Texts in Mathematics and Technology) 4207340 Wolfram Koepf 9783030780173 2021
Computer Algebra: Concepts and Techniques 2373671 Edmund A. Lamagna 9781351605830 2018
Computer Algebra: Concepts and Techniques 5607664 Edmund A. Lamagna 9781351605823 2018 Contains images
Computer Algebra and Materials Physics: A Practical Guidebook to Group Theoretical Computations in Materials Science (Springer Series in Materials Science #272) 2265857 Akihito Kikuchi 9783319942261 2018 Contains images
Computer Algebra and Polynomials: Applications of Algebra and Number Theory (Lecture Notes in Computer Science #8942) 2826037 Jaime Gutierrez Josef Schicho Martin Weimann 9783319150819 2015 Contains images
Computer Algebra Handbook: Foundations · Applications · Systems 4588794 M. Hitz Johannes Grabmeier Erich Kaltofen Volker Weispfenning 9783642558269 2003
Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions (Texts & Monographs in Symbolic Computation) 4740422 Carsten Schneider and Johannes Blümlein 9783709116166 2013 Contains images
Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings (Lecture Notes in Computer Science #3718) 4653930 Victor G. Ganzha Ernst W. Mayr Evgenii V. Vorozhtsov 9783540320708 2005
Computer Algebra in Scientific Computing: CASC 2000 4738138 Viktor G. Ganzha Ernst W. Mayr Evgenii V. Vorozhtsov 9783642572012 2000
Computer Algebra in Scientific Computing: 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings (Lecture Notes in Computer Science #5743) 4627955 Vladimir P. Gerdt Ernst W. Mayr Evgenii V. Vorozhtsov 9783642041037 2009
Computer Algebra in Scientific Computing: 26th International Workshop, CASC 2024, Rennes, France, September 2–6, 2024, Proceedings (Lecture Notes in Computer Science #14938) 6183365 Evgenii V. Vorozhtsov Timur M. Sadykov François Boulier Chenqi Mou 9783031690709 2024 Contains images
Computer Algebra in Scientific Computing CASC 2001: Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001 4819377 Viktor G. Ganzha Ernst W. Mayr Evgenii V. Vorozhtsov 9783642566660 2001
Computer Algebra Methods for Equivariant Dynamical Systems (Lecture Notes in Mathematics #1728) 4749541 Karin Gatermann 9783540465195 2000
Computer Algebra Recipes: An Introductory Guide to the Mathematical Models of Science 3820805 Richard H. Enns George C. McGuire 9780387312620 2006
Computer Algebra Recipes: An Advanced Guide to Scientific Modeling 3822805 Richard H. Enns George C. McGuire 9780387493336 2007
Computer Algebra Recipes: A Gourmet’s Guide to the Mathematical Models of Science (Undergraduate Texts in Contemporary Physics) 3745543 Richard Enns George C. McGuire 9781461301714 2001

Refine Search

Showing 9,676 through 9,700 of 55,871 results