Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
Book information
Similar books
Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings
1991 · PDF
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
1989 · DJVU
Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings
1991 · DJVU
Algebraic and Numeric Biology: 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
2012 · PDF
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
2012 · PDF
Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
2011 · PDF
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
2016 · PDF
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
2016 · PDF