Search

Your search keyword '"Nerode, Anil"' showing total 525 results

Search Constraints

Start Over You searched for: Author "Nerode, Anil" Remove constraint Author: "Nerode, Anil" Publication Type eBooks Remove constraint Publication Type: eBooks
525 results on '"Nerode, Anil"'

Search Results

13. Tangents

16. Algebra

17. Prequel to the Cornell Computer Science Department

18. The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion

19. A Synthesis Algorithm for Hybrid Systems

20. Büchi Automata

21. Applications of Rabin Automata

22. Rabin Automata

23. Games Played on Finite Graphs

24. Finite Automata

25. Basic Notions

27. Elements of Set Theory

28. Intuitionistic Logic

29. Modal Logic

30. Prolog

31. Predicate Logic

32. Introduction

33. Propositional Logic

35. Agent based velocity control of highway systems

37. Beyond Hybrid Systems

38. Logic and Control

39. On logical constraints in logic programming

42. The notion of rank and games

44. On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies

47. Intuitionistic Logic

48. Modal Logic

49. Prolog

50. Predicate Logic

Catalog

Books, media, physical & digital resources