Anil Nerode

A N · A. Nerode

TitelArt ISBN-13Erschei-
nungsjahr
andere Autoren
Automata Theory and its ApplicationsHardcover
978-0-8176-4207-52001Bakhadyr Khoussainov
Hybrid SystemsTaschenbuch 978-3-540-57318-02008Hans Rischel · Robert L. Grossman · Anders P. Ravn
Hybrid SystemsPaperback
978-0-387-57318-21993Robert L. Grossman · Anders P. Ravn
Hybrid Systems II  " 978-3-662-17988-82014Panos Antsaklis · Wolf Kohn
Hybrid Systems IITaschenbuch 978-3-540-60472-32008Shankar Sastry · Wolf Kohn · Panos Antsaklis
Hybrid Systems IV  " 978-3-540-63358-72008Shankar Sastry · Wolf Kohn · Panos Antsaklis
Hybrid Systems V  " 978-3-540-65643-22008Shankar Sastry · Michael Lemmon · Wolf Kohn · Panos J. Antsaklis
Logical Foundations of Computer Science: 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings  " 978-3-540-63045-62008Sergei Adian
Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings  " 978-3-540-72732-32009Sergei N. Artemov
Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings  " 978-3-540-92686-32008Sergei Artemov
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings  " 978-3-642-35721-32012  "
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings  " 978-3-319-27682-32015  "
Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings  " 978-3-319-72055-52017  "
Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings  " 978-3-030-36754-12020  "
Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings  " 978-3-540-58140-62008Yu.V. Matiyasevich
Logical Foundations of Computer Science: Third International Symposium, Lfcs '94 St. Petersburg, Russia, July 11-14, 1994 ProceedingsPaperback
978-0-387-58140-81994
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. ProceedingsTaschenbuch 978-3-540-55707-42008Mikhail Taitslin
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992: ProceedingsPaperback
978-0-387-55707-61992
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo held at Montecatini Terme, ... Mathematics / C.I.M.E. Foundation Subseries)Taschenbuch 978-3-540-52734-32009Steven Homer · Richard A. Platek · Gerald E. Sacks · Andre Scedrov
Logic for ApplicationsHardcover
978-0-387-94893-51997Richard A. Shore
Logic for Applications  "
978-0-387-94129-51993  "
Logic for ApplicationsGebunden 978-3-540-94129-31993  "
Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, ProceedingsTaschenbuch 978-3-540-63255-92008Ulrich Fuhrbach · J??rgen Dix
Logic Programming and Non-Monotonic Reasoning: Proceedings of the First International WorkshopPaperback
978-0-262-64027-51991Wiktor Marek · V. S. Subrahmanian
Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993  "
978-0-262-66083-91993Luis Moniz Pereira
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. ProceedingsTaschenbuch 978-3-540-59487-12008Miroslaw Truszcynski · V. Wiktor Marek
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995: ProceedingsPaperback
978-0-387-59487-31995Ky.) Lpnmr 9 (1995 Lexington · V. W. Marek · Mirosaw Truszczynski
Recursion TheoryHardcover
978-0-8218-1447-51985

Amer Mathematical Society · Birkhauser · Springer · The MIT Press

 

Animal Notebook