Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings /
Published: (2000)

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /
Published: (1995)

Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings /
Published: (1998)

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
Published: (2002)

Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings /
Published: (1989)

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /
Published: (2004)

Mathematics of program construction : 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings /
Published: (2000)

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
Published: (2002)

Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings /
Published: (1990)

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995 ; proceedings /
Published: (1995)

Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /
Published: (2008)

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings /
Published: (1988)

Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /
Published: (2006)

Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings /
Published: (1986)

Programming and mathematical method /
Published: (1992)

Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994 : proceedings /
Published: (1994)

Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings /
Published: (1987)

Mathematical computer programs ; a compilation /
by: Arnold, Jay, 1940-, et al.
Published: (1966)

Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings /
Published: (1994)

Mathematical Programming System Extended (MPSX) Mixed Integer Programming (MIP) program description /
Published: (1973)

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /
Published: (1985)

Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings /
Published: (2007)

Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications. : Colloque sur les fondements des mathematiques, les machines mathematiques, et leurs applications. Kolloquium uber die Grundlagen der Mathematik, Mathematische Maschinen, und Ihre Anwendungen. [Papers /
Published: (1965)

Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings /
Published: (1986)

Mathematical methods in program development /
Published: (1997)

Constructing quality software : proceedings of the IFIP Working Conference on Constructing Quality Software /
Published: (1978)

Programming languages : implementations, logics, and programs : 9th international symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997 : proceedings /
Published: (1997)

MATHEMATICS FOR GAME PROGRAMMING AND COMPUTER GRAPHICS explore the essential mathematics for creating, rendering, and manipulating 3D virtual environments /
by: De Byl, Penny
Published: (2023)

Genetic programming : 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002 : proceedings /
Published: (2002)

Constructing programs from specifications : proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991 /
Published: (1991)

Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 /
Published: (1985)

ECOOP '92, European Conference on Object-Oriented Programming : Utrecht, The Netherlands, June 29-July 3, 1992, proceedings /
Published: (1992)

Compiler construction : 4th International Conference CC'92, Paderborn, FRG, October 5-7, 1992 : proceedings /
Published: (1992)

Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings /
Published: (1989)

Genetic programming : 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002 : proceedings /
Published: (2002)

Mathematical Programming System/360 (360A-CO-14X) version 2, control language user's manual /
Published: (1969)