作者 Anil Nerode 的书籍 - BookPine

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Anil Nerode

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Sergei Artemov

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Sergei Artemov

Automata Theory and its Applications

Automata Theory and its Applications

Bakhadyr Khoussainov

Combinatorial Functors

Combinatorial Functors

John Newsome Crossley

Logic for Applications

Logic for Applications

Anil Nerode

Logical Foundations of Computer Science: International Symposium, Lfcs 2007 New York, NY, USA, June 4-7, 2007 Proceedings

Logical Foundations of Computer Science: International Symposium, Lfcs 2007 New York, NY, USA, June 4-7, 2007 Proceedings

Sergei N Artemov

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

Sergei Artemov

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Sergei Artemov

Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, ...

Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, ...

Steven Homer

Handbook of Recursive Mathematics: Volume 1; Recursive Model Theory. Studies in Logic and the Foundations of Mathematics, Volume 138.

Handbook of Recursive Mathematics: Volume 1; Recursive Model Theory. Studies in Logic and the Foundations of Mathematics, Volume 138.

Yu. L. Ershov

Handbook of Recursive Mathematics, Volume 2: Recursive Algebra, Analysis and Combinatorics. Studies in Logic and the Foundations of Mathematics, Volume 139.

Handbook of Recursive Mathematics, Volume 2: Recursive Algebra, Analysis and Combinatorics. Studies in Logic and the Foundations of Mathematics, Volume 139.

Yu. L. Ershov

Hybrid Systems IV

Hybrid Systems IV

Panos Antsaklis

Hybrid Systems II

Hybrid Systems II

Anil Nerode

Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Anil Nerode

Logical Methods

Logical Methods

Anil Nerode

Hybrid Systems

Hybrid Systems

Anil Nerode

Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings

Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings

Anil Nerode