Hoppa till sidans huvudinnehåll

Anil Nerode - Böcker

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

Logic for Applications

Av Anil Nerode, Richard A. Shore m. fl

Inbunden, Engelska, 1997

1 939 kr

Skickas inom 10-15 vardagar
Del 21 - Progress in Computer Science and Applied Logic

Automata Theory and its Applications

Av Bakhadyr Khoussainov, Anil Nerode

Inbunden, Engelska, 2001

719 kr

Skickas inom 10-15 vardagar

Recursion Theory

Av Anil Nerode, Richard A. Shore

Inbunden, Engelska, 1985

2 099 kr

Tillfälligt slut

Automata Theory and its Applications

Av Bakhadyr Khoussainov, Anil Nerode

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar

Logic for Applications

Av Anil Nerode, Richard A. Shore m. fl

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar

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, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar

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, Engelska, 2021

1 059 kr

Skickas inom 10-15 vardagar

Algebraic Curves and Riemann Surfaces for Undergraduates

The Theory of the Donut

Av Anil Nerode, Noam Greenberg

Häftad, Engelska, 2023

919 kr

Skickas inom 10-15 vardagar

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, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 1990

359 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science - Tver '92

Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings

Av Anil Nerode, Mikhail Taitslin

Häftad, Engelska, 1992

709 kr

Skickas inom 10-15 vardagar

Hybrid Systems

Av Robert L. Grossman, Anil Nerode m. fl

Häftad, Engelska, 1993

709 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Av Anil Nerode, Yu.V. Matiyasevich m. fl

Häftad, Engelska, 1994

709 kr

Skickas inom 10-15 vardagar

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, Engelska, 1995

709 kr

Skickas inom 10-15 vardagar

Hybrid Systems II

Av Panos Antsaklis, Wolf Kohn m. fl

Häftad, Engelska, 1995

709 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

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

Av Sergei Adian, Anil Nerode

Häftad, Engelska, 1997

709 kr

Skickas inom 10-15 vardagar

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, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar

Hybrid Systems IV

Av Panos Antsaklis, Wolf Kohn m. fl

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar

Hybrid Systems V

Av Panos J. Antsaklis, Wolf Kohn m. fl

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar

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, Engelska, 2007

709 kr

Skickas inom 10-15 vardagar

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, Engelska, 2008

709 kr

Skickas inom 10-15 vardagar

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, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar

Combinatorial Functors

Av J.N. Crossley, A. Nerode m. fl

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar