Anil Nerode – författare
Visar alla böcker från författaren Anil Nerode. Handla med fri frakt och snabb leverans.
37 produkter
Logic for Applications
Av Anil Nerode, Richard A. Shore
Inbunden, 1997
1531 kr
Lägg i varukorg
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 oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such …
Automata Theory and its Applications
Av Bakhadyr Khoussainov, Anil Nerode
Inbunden, 2001
552 kr
Lägg i varukorg
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 unit delays. This was the period of Shannon, McCullouch and Pitts, and Howard Aiken, ending about …
Automata Theory and its Applications
Av Anil Nerode, Bakhadyr Khoussainov
E-bok, 2012
734 kr
Lägg i varukorg
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 unit delays. This was the period of Shannon, McCullouch and Pitts, and Howard Aiken, ending about …
Logic for Applications
Av Richard A. Shore, Anil Nerode
E-bok, 2012
734 kr
Lägg i varukorg
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 oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such …
Automata Theory and its Applications
Av Bakhadyr Khoussainov, Anil Nerode
Häftad, 2012
552 kr
Lägg i varukorg
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 unit delays. This was the period of Shannon, McCullouch and Pitts, and Howard Aiken, ending about …
Logic for Applications
Av Anil Nerode, Richard A. Shore
Häftad, 2012
552 kr
Lägg i varukorg
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 oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such …
Logic for Applications
Av Richard A. Shore, Anil Nerode
E-bok, 2012
1209 kr
Lägg i varukorg
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 logic to computer science. Thus our choice of topics has been heavily influenced by such …
Logical Foundations of Computer Science
International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings
Av Sergei Artemov, Anil Nerode
Häftad, 2019
552 kr
Lägg i varukorg
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 full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is …
Logical Foundations of Computer Science
International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings
Av Anil Nerode, Sergei Artemov
E-bok, 2019
710 kr
Lägg i varukorg
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 full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is …
Logical Foundations of Computer Science
International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
Av Sergei Artemov, Anil Nerode
Häftad, 2021
825 kr
Lägg i varukorg
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 full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is …
Logical Foundations of Computer Science
International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
Av Anil Nerode, Sergei Artemov
E-bok, 2021
1059 kr
Lägg i varukorg
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 full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is …
Algebraic Curves and Riemann Surfaces for Undergraduates
The Theory of the Donut
Av Anil Nerode, Noam Greenberg
Häftad, 2023
662 kr
Lägg i varukorg
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 elementary introduction to this beautiful theory for an undergraduate audience. At the heart of the …
Algebraic Curves and Riemann Surfaces for Undergraduates
The Theory of the Donut
Av Noam Greenberg, Anil Nerode
E-bok, 2023
797 kr
Lägg i varukorg
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 elementary introduction to this beautiful theory for an undergraduate audience. At the heart of the …
Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut
Av Anil Nerode, Noam Greenberg
2023
667 kr
Lägg i varukorg
Logical Foundations of Computer Science
International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Av Sergei Artemov, Anil Nerode
Häftad, 2015
569 kr
Lägg i varukorg
This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. The 27 revised full paperswere carefully reviewed and selected from 46 submissions. The scopeof the Symposium is broad …
Logical Foundations of Computer Science
International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Av Anil Nerode, Sergei Artemov
E-bok, 2015
755 kr
Lägg i varukorg
This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. The 27 revised full paperswere carefully reviewed and selected from 46 submissions. The scopeof the Symposium is broad …
Logical Foundations of Computer Science
International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Av Sergei Artemov, Anil Nerode
Häftad, 2017
569 kr
Lägg i varukorg
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 full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is …
Logical Foundations of Computer Science
International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Av Anil Nerode, Sergei Artemov
E-bok, 2017
739 kr
Lägg i varukorg
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 full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is …
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, June 20-28, 1988
Av Andre Scedrov, Gerald E. Sacks m. fl.
E-bok, 2006
364 kr
Lägg i varukorg
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 expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some …
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, June 20-28, 1988
Av Steven Homer, Anil Nerode m. fl.
Häftad, 1990
279 kr
Lägg i varukorg
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 expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some …
Logical Foundations of Computer Science - Tver '92
Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
Av Anil Nerode, Mikhail Taitslin
Häftad, 1992
552 kr
Lägg i varukorg
This volume presents the papers selected for the SymposiumLogic at Tver '92, held at Sokol, near Tver, Russia in July1992. It is the second in a series of international symposiaon logical foundations of computer science held in Russia.The meeting is a joint effort of scholars from both theformer …
Hybrid Systems
Av Robert L. Grossman, Anil Nerode m. fl.
Häftad, 1993
552 kr
Lägg i varukorg
Hybrid systems are networks of interacting digital andanalog devices. Control systems for inherently unstableaircraft and computer aided manufacturing are typicalapplications for hybrid systems, but due to the rapiddevelopment of processor and circuit technology modern carsand consumer electronics …
Logical Foundations of Computer Science
Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Av Anil Nerode, Yu.V. Matiyasevich
Häftad, 1994
552 kr
Lägg i varukorg
This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet …
Logic Programming and Nonmonotonic Reasoning
Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
Av V. Wiktor Marek, Anil Nerode m. fl.
Häftad, 1995
569 kr
Lägg i varukorg
This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.The LPNMR conferences …
Hybrid Systems II
Av Panos Antsaklis, Wolf Kohn m. fl.
Häftad, 1995
552 kr
Lägg i varukorg
This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal …
Logical Foundations of Computer Science
4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
Häftad, 1997
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997.The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer …
Logic Programming and Nonmonotonic Reasoning
Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
Av Ulrich Furbach, Anil Nerode
Häftad, 1997
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of …
Hybrid Systems IV
Av Panos Antsaklis, Wolf Kohn m. fl.
Häftad, 1997
569 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on …
