| Login | Register
Advanced search
Found 5 itemsTitleAuthorAvailability
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
(Paperback)
By Robert P. Kurshan
Recent Advances in Global Optimization
By Christodoulos A. Floudas
(Hardback)
The Implementation of Prolog
By Patrice Boizumault
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.
