| Login | Register
Advanced search
Found 3 itemsTitleAuthorAvailability
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
(Hardback)
By Robert P. Kurshan
Recent Advances in Global Optimization
(Paperback)
By Christodoulos A. Floudas
This website uses cookies to provide you with a great user experience. By using our The Library Supply Company website you consent to all cookies in accordance with our Privacy Statement & Cookie Policy.
