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
|
|