- Theories of Programming Languages John C. Reynolds Fri 10 April 2020
- Top 10 Madeira (Eyewitness Top 10 Travel Guides) Christopher Catling Fri 10 April 2020
- Difference equations - From rabbits to chaos Paul Cull Mary Flahive Robby Robson Fri 10 April 2020
- Applications of Categories in Computer Science AAVV Fri 10 April 2020
- History of Programming Languages-III AAVV Fri 10 April 2020
- Formal and Natural Computing Honoring the 80th Birthday of Andrzej Ehrenfeucht [454] AAVV Fri 10 April 2020
- 200 Problems in Formal Languages and Automata Theory AAVV Fri 10 April 2020
- Complexity, Logic, and Recursion Theory AAVV Fri 10 April 2020
- History of Topology AAVV Fri 10 April 2020
- Computational Logic: Logic Programming and Beyond [2] AAVV Fri 10 April 2020
- Theory Is Forever - Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday AAVV Fri 10 April 2020
- Handbook of Constraint Programming AAVV Fri 10 April 2020
- Advanced Topics in Types and Programming Languages AAVV Fri 10 April 2020
- New Trends in Formal Languages - Control, Cooperation, and Combinatorics AAVV Fri 10 April 2020
- Advanced Topics in Bisimulation and Coinduction AAVV Fri 10 April 2020
- Category Theory at Work AAVV Fri 10 April 2020
- Time for Verification - Essays in Memory of Amir Pnueli AAVV Fri 10 April 2020
- Temporal Logic in Specification AAVV Fri 10 April 2020
- Programmin Methodology AAVV Fri 10 April 2020
- Communicating Sequential Processes - The First 25 Years AAVV Fri 10 April 2020
Library Size: 80G (3743 books), Last Updated: Apr 09, 2026, 18:31:04,
Build Time: N/A
