Hoppa till sidans huvudinnehåll

Anil Nerode - Böcker

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

Logic for Applications

AvAnil Nerode,Richard A. Shore m. fl.

Inbunden, Engelska, 1997

1 919 kr

Skickas inom 10-15 vardagar

Automata Theory and its Applications

AvBakhadyr Khoussainov,Anil Nerode

Inbunden, Engelska, 2001

689 kr

Skickas inom 10-15 vardagar

Automata Theory and its Applications

AvBakhadyr Khoussainov,Anil Nerode

Häftad, Engelska, 2012

689 kr

Skickas inom 10-15 vardagar

Logic for Applications

AvAnil Nerode,Richard A. Shore m. fl.

Häftad, Engelska, 2012

689 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2019

689 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2021

1 029 kr

Skickas inom 10-15 vardagar

Algebraic Curves and Riemann Surfaces for Undergraduates

The Theory of the Donut

AvAnil Nerode,Noam Greenberg

Häftad, Engelska, 2023

889 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2015

709 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2017

709 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

AvSteven Homer,Anil Nerode m. fl.

Häftad, Engelska, 1990

349 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science - Tver '92

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

AvAnil Nerode,Mikhail Taitslin

Häftad, Engelska, 1992

689 kr

Skickas inom 10-15 vardagar

Hybrid Systems

AvRobert L. Grossman,Anil Nerode m. fl.

Häftad, Engelska, 1993

689 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

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

AvAnil Nerode,Yu.V. Matiyasevich m. fl.

Häftad, Engelska, 1994

689 kr

Skickas inom 10-15 vardagar

Logic Programming and Nonmonotonic Reasoning

Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

AvV. Wiktor Marek,Anil Nerode m. fl.

Häftad, Engelska, 1995

689 kr

Skickas inom 10-15 vardagar

Hybrid Systems II

AvPanos Antsaklis,Wolf Kohn m. fl.

Häftad, Engelska, 1995

689 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

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

AvSergei Adian,Anil Nerode

Häftad, Engelska, 1997

689 kr

Skickas inom 10-15 vardagar

Logic Programming and Nonmonotonic Reasoning

Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings

AvUlrich Furbach,Anil Nerode

Häftad, Engelska, 1997

709 kr

Skickas inom 10-15 vardagar

Hybrid Systems IV

AvPanos Antsaklis,Wolf Kohn m. fl.

Häftad, Engelska, 1997

709 kr

Skickas inom 10-15 vardagar

Hybrid Systems V

AvPanos J. Antsaklis,Wolf Kohn m. fl.

Häftad, Engelska, 1999

689 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

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

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2007

689 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

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

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2008

689 kr

Skickas inom 10-15 vardagar

Logical Foundations of Computer Science

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

AvSergei Artemov,Anil Nerode

Häftad, Engelska, 2012

689 kr

Skickas inom 10-15 vardagar

Combinatorial Functors

AvJ.N. Crossley,A. Nerode m. fl.

Häftad, Engelska, 2012

689 kr

Skickas inom 10-15 vardagar