525 results on '"Nerode, Anil"'
Search Results
2. Puiseux Theory
3. Elliptic Functions and the Isomorphism Theorem
4. Curves Are Surfaces
5. Quasi-Euclidean Spaces
6. The Elliptic Group
7. Riemann Surfaces
8. Projective Space
9. Connectedness, Smooth and Simple
10. Path Integrals
11. Bézout’s Theorem
12. Complex Differentiation
13. Tangents
14. Affine Space
15. Introduction
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
26. Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems
27. Elements of Set Theory
28. Intuitionistic Logic
29. Modal Logic
30. Prolog
31. Predicate Logic
32. Introduction
33. Propositional Logic
34. Hybrid system games: Extraction of control automata with small topologies
35. Agent based velocity control of highway systems
36. Topological semantics for hybrid systems
37. Beyond Hybrid Systems
38. Logic and Control
39. On logical constraints in logic programming
40. Controllers as fixed points of set-valued operators
41. Hybrid systems as Finsler manifolds: Finite state control as approximation to connections
42. The notion of rank and games
43. On extreme points of convex compact turing located set
44. On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies
45. Multiple agent hybrid control architecture
46. Models for hybrid systems: Automata, topologies, controllability, observability
47. Intuitionistic Logic
48. Modal Logic
49. Prolog
50. Predicate Logic
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.