Language and Automata Theory and Applications: 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings

Theorems And Lemmas In Mathematics

Cellular Automata and Discrete Complex Systems: 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

Mathematician's Delight

Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings

Implementation and Application of Automata: 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

The Joy Of X: A Guided Tour of Math, from One to Infinity

Calculus: A Complete Introduction: The Easy Way to Learn Calculus

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings

103 Trigonometry Problems: From the Training of the USA IMO Team

Theory and Practice of Natural Computing: First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings

Basic Math & Pre-Algebra For Dummies: Edition 2

Algorithms for Computational Biology: First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedings

Ramanujan's Lost Notebook: Part I, Part 1

Statistical Language and Speech Processing: First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013, Proceedings

MathsWiz Book 5

Rings and Homology

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Notebooks of Srinivasa Ramanujan: Volume II, Volume 2