Anil Nerode (Nerode, Anil)

used books, rare books and new books

• 
  Automata Theory and its Applications
  

  by Bakhadyr Khoussainov, Anil Nerode

  ISBN 9780817642075 (978-0-8176-4207-5)
  Hardcover, Birkhäuser, 2001

  
  Find This Book

   

   

  › Find signed collectible books: 'Automata Theory and its Applications'
  
• 
  Hybrid Systems (Lecture Notes in Computer Science)
  

  by Robert L. Grossman, Anil Nerode , Anders P. Ravn

  ISBN 9780387573182 (978-0-387-57318-2)
  Softcover, Springer Verlag, 1993

  
  Find This Book

   

   

  › Find signed collectible books: 'Hybrid Systems (Lecture Notes in Computer Science)'
  
• 
  Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, ... 1988 (Lecture Notes in Mathematics, 1429)
  

  by Robert L. Grossman, Anil Nerode , Anders P. Ravn

  ISBN 9783540527343 (978-3-540-52734-3)
  Softcover, Springer, 1990

  
  Find This Book

   

   

  › Find signed collectible books: 'Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, ... 1988 (Lecture Notes in Mathematics, 1429)'
  
• 
  Logic for Applications (Monographs in Computer Science)
  

  by Richard A. Shore Anil Nerode , Richard A. Shore

  ISBN 9781468402131 (978-1-4684-0213-1)
  Softcover, Springer, 2012

  
  Find This Book

   

   

  › Find signed collectible books: 'Logic for Applications (Monographs in Computer Science)'
  
• 
  Logic for Applications (Texts & Monographs in Computer Science)
  

  by Anil Nerode , Richard A. Shore

  ISBN 9780387941295 (978-0-387-94129-5)
  Hardcover, Springer Verlag, 1993

  
  Find This Book

   

   

  › Find signed collectible books: 'Logic for Applications (Texts & Monographs in Computer Science)'
  
• 
  Logic for applications (Texts and monographs in computer science)
  

  by Anil Nerode

  ISBN 9783540941293 (978-3-540-94129-3)
  Hardcover, Springer-Verlag, 1993

  
  Find This Book

   

   

  › Find signed collectible books: 'Logic for applications (Texts and monographs in computer science)'
  
• 
  Logic for Applications (Texts in Computer Science)
  

  by Anil Nerode , Richard A. Shore

  ISBN 9780387948935 (978-0-387-94893-5)
  Hardcover, Springer, 1997

  
  Find This Book

   

   

  › Find signed collectible books: 'Logic for Applications (Texts in Computer Science)'
  
• 
  Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995 : Proceedings (Lecture Notes in Computer Science)
  

  by Lpnmr 9 (1995 Lexington, Ky.), Anil Nerode , V. W. Marek, Mirosaw Truszczynski

  ISBN 9780387594873 (978-0-387-59487-3)
  Softcover, Springer Verlag, 1612

  
  Find This Book

   

   

  › Find signed collectible books: 'Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995 : Proceedings (Lecture Notes in Computer Science)'
  
• 
  Logical Foundations of Computer Science: Third International Symposium, Lfcs '94 St. Petersburg, Russia, July 11-14, 1994 Proceedings (Lecture Notes in Computer Science)
  

  by Anil Nerode

  ISBN 9780387581408 (978-0-387-58140-8)
  Softcover, Springer Verlag

  
  Find This Book

   

   

  › Find signed collectible books: 'Logical Foundations of Computer Science: Third International Symposium, Lfcs '94 St. Petersburg, Russia, July 11-14, 1994 Proceedings (Lecture Notes in Computer Science)'
  
• 
  Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (Lecture Notes in Computer Science)
  

  by Anil Nerode

  ISBN 9780387557076 (978-0-387-55707-6)
  Softcover, Springer Verlag, 1992

  
  Find This Book

   

   

  › Find signed collectible books: 'Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (Lecture Notes in Computer Science)'
  
• 
  Recursion Theory (Proceedings of Symposia in Pure Mathematics)
  

  by Anil Nerode

  ISBN 9780821814475 (978-0-8218-1447-5)
  Hardcover, Amer Mathematical Society, 1982

  
  Find This Book

   

   

  › Find signed collectible books: 'Recursion Theory (Proceedings of Symposia in Pure Mathematics)'