Browse Results

Showing 6,001 through 6,025 of 28,624 results
Title Author ISBN Copyright Features Action
Computations with Modular Forms: Proceedings of a Summer School and Conference, Heidelberg, August/September 2011 (Contributions in Mathematical and Computational Sciences #6) 2104997 Gebhard Böckle Gabor Wiese 9783319038476 2014 Contains images
Computer Performance Engineering: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings (Lecture Notes in Computer Science #13659) 5160269 Nigel Thomas Katja Gilly 9783031250491 2023 Contains images
Computer Age Statistical Inference 1346113 Bradley Efron Trevor Hastie 9781108105910 2016 Contains images
Computer Aided Engineering of Batteries (Modern Aspects of Electrochemistry #62) 5220583 Shriram Santhanagopalan 9783031176074 2023 Contains images
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10427) 2113165 Rupak Majumdar Viktor Kunčak 9783319633909 2017 Contains images
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science #10981) 2119063 Hana Chockler Georg Weissenbacher 9783319961453 2018 Contains images
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Lecture Notes in Computer Science #10982) 2119062 Hana Chockler Georg Weissenbacher 9783319961422 2018 Contains images
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11562) 2829435 Isil Dillig Serdar Tasiran 9783030255435 2019 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) 4216755 K. Rustan M. Leino Alexandra Silva 9783030816858 2021 Contains images
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science #12760) 4211970 K. Rustan M. Leino Alexandra Silva 9783030816889 2021 Contains images
Computer Algebra and Materials Physics: A Practical Guidebook to Group Theoretical Computations in Materials Science (Springer Series in Materials Science #272) 2118680 Akihito Kikuchi 9783319942261 2018 Contains images
Computer Algebra and Polynomials: Applications of Algebra and Number Theory (Lecture Notes in Computer Science #8942) 2106429 Jaime Gutierrez Josef Schicho Martin Weimann 9783319150819 2015 Contains images
Computer Algebra and Symbolic Computation: Elementary Algorithms 6405726 Joel S. Cohen 9781040188026 2002 Contains images
Computer Algebra and Symbolic Computation: Mathematical Methods 6399331 Joel S. Cohen 9781040188033 2003 Contains images
Computer Algebra in Scientific Computing: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings (Lecture Notes in Computer Science #9890) 2111106 Wolfram Koepf Vladimir P. Gerdt Werner M. Seiler Evgenii V. Vorozhtsov 9783319456416 2000 Contains images
Computer Algebra in Scientific Computing: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings (Lecture Notes in Computer Science #10490) 2113663 Wolfram Koepf Vladimir P. Gerdt Werner M. Seiler Evgenii V. Vorozhtsov 9783319663203 2000 Contains images
Computer Algebra in Scientific Computing: 26th International Workshop, CASC 2024, Rennes, France, September 2–6, 2024, Proceedings (Lecture Notes in Computer Science #14938) 6183674 Evgenii V. Vorozhtsov Timur M. Sadykov François Boulier Chenqi Mou 9783031690709 2024 Contains images
Computer Algebra: Concepts and Techniques 5601877 Edmund A. Lamagna 9781351605823 2018 Contains images
Computer Analysis of Images and Patterns: 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I (Lecture Notes in Computer Science #10424) 2113484 Michael Felsberg Anders Heyden Norbert Krüger 9783319646893 2017 Contains images
Computer Analysis of Images and Patterns: 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10425) 2113485 Michael Felsberg Anders Heyden Norbert Krüger 9783319646985 2017 Contains images
Computer Applications in Industry and Engineering: 37th International Conference, CAINE 2024, San Diego, CA, USA, October 21–22, 2024, Proceedings (Communications in Computer and Information Science #2242) 6385474 Indranil Roy Gongzhu Hu Krishna K. Kambhampaty 9783031762734 2025 Contains images
Computer Arithmetic Algorithms 6393511 Israel Koren 9781351991780 2002 Contains images
Computer Games: 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers (Communications in Computer and Information Science #705) 2112439 Tristan Cazenave Mark H.M. Winands Stefan Edelkamp Stephan Schiffel Michael Thielscher Julian Togelius 9783319579696 2008 Contains images
Computer Graphics Through OpenGL: From Theory to Experiments 2341347 Sumanta Guha 9781498760591 2014 Contains images
Computer Graphics Through OpenGL®: From Theory to Experiments 3092675 Sumanta Guha 9780429874833 2019 Contains images

Refine Search

Showing 6,001 through 6,025 of 28,624 results