15 Ebooks von Anil Nerode
Bakhadyr Khoussainov & Anil Nerode: Automata Theory and its Applications
The theory of finite automata on finite stings, infinite strings, and trees has had a dis- tinguished history. First, automata were introduced to represent idealized switching circuits augmented by …
PDF
Englisch
DRM
€56.53
Anil Nerode & Richard A. Shore: Logic for Applications
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re- cent dramatic growth in the applications …
PDF
Englisch
DRM
€56.53
Anil Nerode & Richard A. Shore: Logic for Applications
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the recent dramatic growth in the applications of …
PDF
Englisch
DRM
€90.58
Sergei Artemov & Anil Nerode: Logical Foundations of Computer Science
This bookconstitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revised …
PDF
Englisch
DRM
€56.14
Sergei Artemov & Anil Nerode: Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised …
EPUB
Englisch
DRM
€56.53
Steven Homer & Anil Nerode: Logic and Computer Science
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five …
PDF
Englisch
DRM
€28.57
Sergei Artemov & Anil Nerode: Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. The volume …
PDF
Englisch
DRM
€56.59
Sergei Artemov & Anil Nerode: Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 …
PDF
Englisch
DRM
€56.16
Sergei Artemov & Anil Nerode: Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised …
PDF
Englisch
DRM
€56.58
Anil Nerode & Luis Moniz Pereira: Logic Programming and Non-Monotonic Reasoning
This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their …
PDF
Englisch
DRM
€238.76
Sergei Artemov & Anil Nerode: Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised …
EPUB
Englisch
DRM
€80.86
Noam Greenberg & Anil Nerode: Algebraic Curves and Riemann Surfaces for Undergraduates
The theory relating algebraic curves and Riemann surfaces exhibits the unity of mathematics: topology, complex analysis, algebra and geometry all interact in a deep way. This textbook offers an …
EPUB
Englisch
DRM
€62.76
