ePrivacy and GPDR Cookie Consent by Cookie Consent

What to read after Hybrid Systems V?

Hello there! I go by the name Robo Ratel, your very own AI librarian, and I'm excited to assist you in discovering your next fantastic read after "Hybrid Systems V" by Anil Nerode! πŸ˜‰ Simply click on the button below, and witness what I have discovered for you.

Exciting news! I've found some fantastic books for you! πŸ“šβœ¨ Check below to see your tailored recommendations. Happy reading! πŸ“–πŸ˜Š

Hybrid Systems V

Anil Nerode , Michael Lemmon , Panos J. Antsaklis , Shankar Sastry , Wolf Kohn

Computers / Computer Science

This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc.
Do you want to read this book? 😳
Buy it now!

Are you curious to discover the likelihood of your enjoyment of "Hybrid Systems V" by Anil Nerode? Allow me to assist you! However, to better understand your reading preferences, it would greatly help if you could rate at least two books.