- 2 402 202 книги
- Поиск
Hybrid Systems (Lecture Notes in Computer Science)
Автор: Robert L. Grossman, Автор: Anil Nerode, Автор: Anders P. Ravn, Автор: Hans RischelКатегория: Компьютеры
Размер книги: 23.58 Mb
Hybrid Systems IV (Lecture Notes in Computer Science)
Автор: Panos Antsaklis, Автор: Wolf Kohn, Автор: Anil Nerode, Автор: Shankar SastryКатегория: Компьютеры
Размер книги: 26.84 Mb
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
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
Logical Foundations of Computer Science, LFCS '92
Автор: Anil Nerode, Автор: Mikhail TaitslinКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.90 Mb
Logical Foundations of Computer Science 3 conf., LFCS'94
Автор: Anil Nerode, Автор: Yu.V. MatiyasevichКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.17 Mb
Logical Foundations of Computer Science 4 conf., LFCS'97
Автор: Sergei Adian, Автор: Anil NerodeКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.07 Mb
Hybrid Systems
Автор: Robert L. Grossman, Автор: Anil Nerode, Автор: Anders P. Ravn, Автор: Hans RischelКатегория: CsLn_
Размер книги: 3.24 Mb
Hybrid Systems 4 conf
Автор: Panos Antsaklis, Автор: Wolf Kohn, Автор: Anil Nerode, Автор: Shankar SastryКатегория: CsLn_
Размер книги: 4.97 Mb
Logical Foundations of Computer Science, LFCS 2007
Автор: Sergei Artemov, Автор: Anil NerodeКатегория: CsLn_
Размер книги: 8.34 Mb
Logical Foundations of Computer Science, LFCS 2009
Автор: Sergei Artemov, Автор: Anil NerodeКатегория: CsLn_
Размер книги: 7.65 Mb
Hybrid Systems II: v. 2
Автор: Panos Antsaklis, Автор: Wolf Kohn, Автор: Anil Nerode, Автор: Shankar Sastry
Размер книги: 6.46 Mb
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
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
Hybrid Systems
Автор: Panos J. Antsaklis, Автор: Wolf Kohn, Автор: Michael Lemmon, Автор: Anil Nerode, Автор: Shankar Sastry
Размер книги: 5.00 Mb