"Anil Nerode" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Hybrid Systems (Lecture Notes in Computer Science)

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

Категория: Компьютеры

23.58 Mb

#2

Hybrid Systems IV (Lecture Notes in Computer Science)

Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry

Категория: Компьютеры

26.84 Mb

#3

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Sergei Artemov, Anil Nerode

Категория: Компьютеры

6.28 Mb

#4

Logic and Computer Science. Lectures C.I.M.E

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

Категория: Lecture notes

1.01 Mb

#5

Logical Foundations of Computer Science, LFCS '92

Anil Nerode, Mikhail Taitslin

Категория: Cs_Computer science, CsLn_Lecture notes

4.90 Mb

#6

Logical Foundations of Computer Science 3 conf., LFCS'94

Anil Nerode, Yu.V. Matiyasevich

Категория: Cs_Computer science, CsLn_Lecture notes

3.17 Mb

#7

Logical Foundations of Computer Science 4 conf., LFCS'97

Sergei Adian, Anil Nerode

Категория: Cs_Computer science, CsLn_Lecture notes

3.07 Mb

#8

Hybrid Systems

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

Категория: CsLn_

3.24 Mb

#9

Hybrid Systems 4 conf

Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry

Категория: CsLn_

4.97 Mb

#10

Logical Foundations of Computer Science, LFCS 2007

Sergei Artemov, Anil Nerode

Категория: CsLn_

8.34 Mb

#11

Logical Foundations of Computer Science, LFCS 2009

Sergei Artemov, Anil Nerode

Категория: CsLn_

7.65 Mb

#12

Hybrid Systems II: v. 2

Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry

6.46 Mb

#13

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

V. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski

4.14 Mb

#14

Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings ... Computer Science / Lecture Notes in Artific)

Ulrich Fuhrbach, Anil Nerode

4.27 Mb

#15

Hybrid Systems

Panos J. Antsaklis, Wolf Kohn, Michael Lemmon, Anil Nerode, Shankar Sastry

5.00 Mb