Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974 /

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 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings /
Published: (1986)

Fundamentals of digital machine computing.
by: Hintze, Guenther
Published: (1966)

Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 /
Published: (1975)

Programming methodology /
Published: (2003)

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /
Published: (1983)

Program construction : international summer school /
Published: (1979)

Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings /
Published: (1980)

Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings /
Published: (2004)

The evolution of programs /
by: Dershowitz, Nachum
Published: (1983)

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)

Operating systems of the 90s and beyond : international workshop, Dagstuhl Castle, Germany, July 8-12, 1991 : proceedings /
Published: (1991)

High-level parallel programming models and supportive environments : 6th international workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001 : proceedings /
Published: (2001)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Published: (2001)

Computing fundamentals : the theory and practice of software design with BlackBox Component Builder /
by: Warford, J. Stanley, 1944-
Published: (2002)

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

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

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

Programming Symposium : proceedings. Colloque sur la programmation, Paris, April 9-11, 1974 /
Published: (1974)

Professional visual studio 2013 /
by: Johnson, Bruce
Published: (2014)

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

Machines, computations, and universality : 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004 ; revised selected papers /
Published: (2005)

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

Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980 /
Published: (1982)

EUROCON 84 : computers in communication and control : 26-28 September 1984, venue, the Brighton Centre, Kings Road, Brighton, UK /
Published: (1984)

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

Perspectives on computer science : from the 10th anniversary symposium at the Computer Science Department, Carnegie-Mellon University /
Published: (1977)

Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings /
Published: (1994)

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES '98, Montréal, Canada, June 19-20, 1998 : proceedings /
Published: (1998)

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
Published: (2001)

The Origins of digital computers : selected papers /
Published: (1982)

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

Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 /
Published: (1980)

Object-based parallel and distributed computation : France-Japan Workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995 : selected papers /
Published: (1996)

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

Handbook on parallel and distributed processing /
Published: (2000)