A.Nerode: in Z-Library suchen

Ihr Zugang zu Kenntnissen und Kultur.

Don't use scam websites

Angewendete Filter

Genaue Übereinstimmung

Genaue Übereinstimmung

Bücher (51)
Meistgefragt
Liste
- Liste
- Tabelle

1

应用逻辑

应用逻辑

机械工业出版社

Anil Nerode Richard A.Shore

Jahr:

2007

Sprache:

chinese

Datei:

PDF, 18.31 MB

0 / 0

chinese, 2007

2

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel

Jahr:

1998

Sprache:

english

Datei:

PDF, 25.70 MB

5.0 / 5.0

english, 1998

3

Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel

Jahr:

1998

Sprache:

english

Datei:

PDF, 31.33 MB

5.0 / 0

english, 1998

4

Principles of Logic and Logic Programming

Principles of Logic and Logic Programming

G. Metakides, A. Nerode

Jahr:

1996

Sprache:

english

Datei:

PDF, 10.24 MB

0 / 0

english, 1996

5

Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel

Jahr:

1998

Sprache:

english

Datei:

DJVU, 4.57 MB

0 / 0

english, 1998

6

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode (eds.)

Jahr:

2018

Sprache:

english

Datei:

PDF, 7.00 MB

0 / 0

english, 2018

7

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel

Jahr:

1998

Sprache:

english

Datei:

PDF, 27.45 MB

5.0 / 0

english, 1998

8

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel

Jahr:

1998

Sprache:

english

Datei:

DJVU, 3.64 MB

0 / 0

english, 1998

9

Principles of Logic and Logic Programming

Principles of Logic and Logic Programming

G. Metakides and A. Nerode (Eds.)

Jahr:

1996

Sprache:

english

Datei:

PDF, 2.99 MB

0 / 0

english, 1996

10

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)

Jahr:

1997

Sprache:

english

Datei:

PDF, 8.76 MB

0 / 0

english, 1997

11

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)

Jahr:

2013

Sprache:

english

Datei:

PDF, 4.32 MB

0 / 0

english, 2013

12

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode (eds.)

Jahr:

2016

Sprache:

english

Datei:

PDF, 8.83 MB

0 / 0

english, 2016

13

Recursion Theory

Recursion Theory

Nerode A., Shore R. (eds.)

Jahr:

1985

Sprache:

english

Datei:

DJVU, 4.89 MB

0 / 0

english, 1985

14

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel

Jahr:

1998

Sprache:

english

Datei:

DJVU, 3.63 MB

0 / 0

english, 1998

15

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Springer-Verlag

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi

Jahr:

1990

Sprache:

english

Datei:

DJVU, 1.01 MB

0 / 0

english, 1990

16

Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993

Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993

Luis Moniz Pereira, Anil Nerode

Jahr:

1993

Sprache:

english

Datei:

PDF, 21.91 MB

0 / 0

english, 1993

17

Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings

Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Farid Ablayev (auth.), Anil Nerode, Yu. V. Matiyasevich (eds.)

Jahr:

1994

Sprache:

english

Datei:

DJVU, 3.17 MB

3.0 / 0

english, 1994

18

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

Jahr:

2007

Sprache:

english

Datei:

PDF, 6.28 MB

0 / 0

english, 2007

19

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

Jahr:

2007

Sprache:

english

Datei:

PDF, 8.34 MB

0 / 0

english, 2007

20

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 7.65 MB

0 / 0

english, 2009

21

Principles of Logic and Logic Programming

Principles of Logic and Logic Programming

Amsterdam [u.a.] Elsevier

G. Metakides, A. Nerode

Jahr:

1996

Sprache:

english

Datei:

DJVU, 3.64 MB

0 / 0

english, 1996

22

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)

Jahr:

1995

Sprache:

english

Datei:

DJVU, 4.14 MB

0 / 0

english, 1995

23

Hybrid Systems IV

Hybrid Systems IV

Springer-Verlag Berlin Heidelberg

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Jahr:

1997

Sprache:

english

Datei:

DJVU, 4.97 MB

0 / 0

english, 1997

24

Logic programming and non-monotonic reasoning : proceedings of the second international workshop

Logic programming and non-monotonic reasoning : proceedings of the second international workshop

Luís Moniz Pereira, Anil Nerode

Jahr:

1993

Sprache:

english

Datei:

DJVU, 8.09 MB

0 / 0

english, 1993

25

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Springer-Verlag

S. Homer, R. A. Platek, A. Scedrov, A. Nerode, Gerald E. Sacks

Jahr:

1990

Sprache:

english

Datei:

DJVU, 1.04 MB

0 / 0

english, 1990

26

Hybrid Systems IV

Hybrid Systems IV

Springer-Verlag Berlin Heidelberg

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Jahr:

1997

Sprache:

english

Datei:

PDF, 26.84 MB

0 / 0

english, 1997

27

Hybrid Systems II

Hybrid Systems II

Springer-Verlag Berlin Heidelberg

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Jahr:

1995

Sprache:

english

Datei:

DJVU, 6.46 MB

0 / 0

english, 1995

28

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)

Jahr:

1997

Sprache:

english

Datei:

DJVU, 4.27 MB

0 / 0

english, 1997

29

Logic and Computer Science: Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988

Logic and Computer Science: Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988

Scedrov A., Nerode A., Sacks G. E.

Jahr:

1990

Sprache:

english

Datei:

PDF, 7.90 MB

0 / 0

english, 1990

30

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Anil Nerode, Noam Greenberg

Jahr:

2023

Sprache:

english

Datei:

PDF, 8.52 MB

0 / 5.0

english, 2023

31

Logic for Applications

Logic for Applications

Anil Nerode, Richard A. Shore

Jahr:

1997

Sprache:

english

Datei:

PDF, 92.79 MB

0 / 0

english, 1997

32

Logic for Applications

Logic for Applications

Anil Nerode, Richard A. Shore

Jahr:

1997

Sprache:

english

Datei:

DJVU, 4.65 MB

0 / 0

english, 1997

33

Logic for Applications

Logic for Applications

Anil Nerode, Richard Shore

Jahr:

2012

Sprache:

english

Datei:

PDF, 92.75 MB

0 / 0

english, 2012

34

Logic for Applications

Logic for Applications

Anil Nerode, Richard A. Shore

Jahr:

1993

Sprache:

english

Datei:

PDF, 10.27 MB

5.0 / 5.0

english, 1993

35

Automata Theory and its Applications

Automata Theory and its Applications

Birkhäuser Basel

Bakhadyr Khoussainov, Anil Nerode (auth.)

Jahr:

2001

Sprache:

english

Datei:

PDF, 8.76 MB

0 / 0

english, 2001

36

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Anil Nerode, Noam Greenberg

Jahr:

2023

Sprache:

english

Datei:

PDF, 8.52 MB

0 / 5.0

english, 2023

37

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Sergei Artemov (editor), Anil Nerode (editor)

Jahr:

2021

Sprache:

english

Datei:

PDF, 6.51 MB

0 / 0

english, 2021

38

Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode

Jahr:

2020

Sprache:

english

Datei:

PDF, 6.85 MB

0 / 0

english, 2020

39

Logical Foundations of Computer Science, LFCS 2020

Logical Foundations of Computer Science, LFCS 2020

Sergei Artemov, Anil Nerode

Jahr:

2020

Sprache:

english

Datei:

PDF, 4.19 MB

0 / 0

english, 2020

40

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Springer Nature

Anil Nerode, Noam Greenberg

Jahr:

2023

Sprache:

english

Datei:

EPUB, 19.57 MB

0 / 0

english, 2023

41

Automata Theory and its Applications

Automata Theory and its Applications

Khoussainov, Bakhadyr, Nerode, Anil

Jahr:

2001

Sprache:

english

Datei:

PDF, 33.73 MB

0 / 0

english, 2001

42

Combinatorial Functors

Combinatorial Functors

Springer-Verlag Berlin Heidelberg

J. N. Crossley, Anil Nerode (auth.)

Jahr:

1974

Sprache:

english

Datei:

PDF, 4.27 MB

0 / 0

english, 1974

43

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 6.01 MB

0 / 0

english, 2009

44

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Sergei Artemov, Jennifer Davoren, Anil Nerode (auth.), Sergei Adian, Anil Nerode (eds.)

Jahr:

1997

Sprache:

english

Datei:

DJVU, 3.07 MB

0 / 0

english, 1997

45

Hybrid Systems V

Hybrid Systems V

Springer-Verlag Berlin Heidelberg

Haoxun Chen, Hans-Michael Hanisch (auth.), Panos Antsaklis, Michael Lemmon, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Jahr:

1999

Sprache:

english

Datei:

PDF, 5.00 MB

0 / 0

english, 1999

46

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Dimitry A. Archangelsky, Mikhail A. Taitslin (auth.), Anil Nerode, Mikhail Taitslin (eds.)

Jahr:

1992

Sprache:

english

Datei:

PDF, 8.42 MB

0 / 0

english, 1992

47

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Dimitry A. Archangelsky, Mikhail A. Taitslin (auth.), Anil Nerode, Mikhail Taitslin (eds.)

Jahr:

1992

Sprache:

english

Datei:

DJVU, 4.90 MB

0 / 0

english, 1992

48

Hybrid Systems

Hybrid Systems

Springer-Verlag Berlin Heidelberg

R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel (auth.), Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (eds.)

Jahr:

1993

Sprache:

english

Datei:

DJVU, 3.24 MB

0 / 0

english, 1993

49

Hybrid Systems

Hybrid Systems

Springer-Verlag Berlin Heidelberg

Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel

Jahr:

1993

Sprache:

english

Datei:

PDF, 23.58 MB

0 / 0

english, 1993

50

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)

Jahr:

1995

Sprache:

english

Datei:

PDF, 6.63 MB

0 / 0

english, 1995