Anil Nerode – författare

Visar alla böcker från författaren Anil Nerode.

23 produkter

1. 

   Logic for Applications

   Av Anil Nerode, Richard A. Shore

   Inbunden, 1997

   1959 kr

   Lägg i varukorg

2. 

   Automata Theory and its Applications

   Av Bakhadyr Khoussainov, Anil Nerode

   Inbunden, 2001

   709 kr

   Lägg i varukorg

3. 

   Recursion Theory

   Av Anil Nerode, Richard A. Shore

   Inbunden, 1985

   2159 kr

   Lägg i varukorg

4. 

   Automata Theory and its Applications

   Av Bakhadyr Khoussainov, Anil Nerode

   Häftad, 2012

   709 kr

   Lägg i varukorg

5. 

   Logic for Applications

   Av Anil Nerode, Richard A. Shore

   Häftad, 2012

   709 kr

   Lägg i varukorg

6. 

   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

   709 kr

   Lägg i varukorg

7. 

   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

   1059 kr

   Lägg i varukorg

8. 

   Algebraic Curves and Riemann Surfaces for Undergraduates

   The Theory of the Donut

   Av Anil Nerode, Noam Greenberg

   Häftad, 2023

   849 kr

   Lägg i varukorg

9. 

   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

   729 kr

   Lägg i varukorg

10. 

    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

    729 kr

    Lägg i varukorg

11. 

    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

    359 kr

    Lägg i varukorg

12. 

    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

    709 kr

    Lägg i varukorg

13. 

    Hybrid Systems

    Av Robert L. Grossman, Anil Nerode m. fl.

    Häftad, 1993

    709 kr

    Lägg i varukorg

14. 

    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

    709 kr

    Lägg i varukorg

15. 

    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

    729 kr

    Lägg i varukorg

16. 

    Hybrid Systems II

    Av Panos Antsaklis, Wolf Kohn m. fl.

    Häftad, 1995

    709 kr

    Lägg i varukorg

17. 

    Logical Foundations of Computer Science

    4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings

    Av Sergei Adian, Anil Nerode

    Häftad, 1997

    709 kr

    Lägg i varukorg

18. 

    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

    729 kr

    Lägg i varukorg

19. 

    Hybrid Systems IV

    Av Panos Antsaklis, Wolf Kohn m. fl.

    Häftad, 1997

    729 kr

    Lägg i varukorg

20. 

    Hybrid Systems V

    Av Panos J. Antsaklis, Wolf Kohn m. fl.

    Häftad, 1999

    729 kr

    Lägg i varukorg

21. 

    Logical Foundations of Computer Science

    International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

    Av Sergei Artemov, Anil Nerode

    Häftad, 2007

    729 kr

    Lägg i varukorg

22. 

    Logical Foundations of Computer Science

    International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

    Av Sergei Artemov, Anil Nerode

    Häftad, 2008

    709 kr

    Lägg i varukorg

23. 

    Logical Foundations of Computer Science

    International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

    Av Sergei Artemov, Anil Nerode

    Häftad, 2012

    709 kr

    Lägg i varukorg