Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings /
Published: (1990)

Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers /
Published: (1997)

Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca /
Published: (1977)

Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Published: (2001)

ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings /
Published: (1992)

Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings /
Published: (2001)

Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Published: (1994)

International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] /
Published: (1974)

ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings /
Published: (1998)

Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings /
Published: (2000)

Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings /
Published: (1989)

ZB 2002: formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings /
Published: (2002)

Simple program schemes and formal languages /
by: Engelfriet, Joost
Published: (1974)

Programming languages and their definition /
by: Bekič, H. (Hans), 1936-1982
Published: (1984)

Cognitive models and intelligent environments for learning programming /
Published: (1993)

Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 /
Published: (1982)

Languages and compilers for parallel computing : 9th international workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996 : proceedings /
Published: (1997)

Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings /
Published: (1992)

Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /
Published: (2002)

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, the Netherlands, June 1-5, 1992 : proceedings /
Published: (1992)

Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
Published: (2004)

ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings /
Published: (1988)

ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings /
Published: (1997)

Introduction to information processing /
by: Spencer, Donald D.
Published: (1977)

Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 /
Published: (1978)

Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 /
Published: (1976)

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
Published: (1995)

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /
Published: (1984)

Using SQL in Python : how to query databases using Python.
Published: (2025)

Languages and compilers for parallel computing : 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994 : proceedings /
Published: (1995)

Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings /
Published: (2005)

Learn to program with Assembly : foundational learning for new programmers /
by: Bartlett, Jonathan, 1977-
Published: (2021)

Modular programming languages : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, proceedings /
Published: (2006)

Research issues in structured and semistructured database programming : 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch, Rannoch, UK, September 1-3, 1999 : revised papers /
Published: (2000)

Metalevel architectures and separation of crosscutting concerns : third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedings /
Published: (2001)

Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979 /
Published: (1979)