Home Advanced Search
Advanced Search - Page 1
Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings
- English
- Year: 2020
- Author: Sergei Artemov, Anil Nerode
Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
- English
- Year: 2021
- Author: Sergei Artemov (editor), Anil Nerode (editor)
Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics)
- English
- Year: 2019
- Author: Sergei Artemov, Melvin Fitting
Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut
- English
- Year: 2023
- Author: Anil Nerode, Noam Greenberg
Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut
- EPUB
- English
- Year: 2023
- Author: Anil Nerode; Noam Greenberg
A Practical Approach to High-Performance Computing
- EPUB
- English
- Year: 2019
- Author: Sergei Kurgalin; Sergei Borzunov
The Discrete Math Workbook: A Companion Manual for Practical Study
- English
- Year: 2018
- Author: Sergei Kurgalin, Sergei Borzunov