Cover Image

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

Show other versions (1)

Bibliographic Details
Corporate Authors:	Informatik Symposium Wildbad im Schwarzwald, Germany, IBM Deutschland, IBM World Trade Corporation
Other Authors:	Hackl, Clemens (Editor)
Format:	Conference Proceeding Book
Language:	English German
Published:	Berlin ; New York : Springer-Verlag, 1975.
Series:	Lecture notes in computer science ; 23.
Subjects:	Computer programming > Congresses. Programmation (Informatique) > Congrès. Computer programming. Informatik. Kongress. Programmierung. Programmation (Informatique) - Congrès. Conference papers and proceedings. Wildbad (Schwarzwald, 1974) Kongress > Wildbad (Schwarzwald) > 1974.

Similar Items

Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /
Published: (1981)

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

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

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

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

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

Programming methodology /
Published: (2003)

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

Automatic coding : choice of data structures /
by: Low, James Richard
Published: (1976)

Metainformatics : international symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002 : revised papers /
Published: (2003)

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

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

Competitive Programming 3 : the new lower bound of programming contests /
by: Halim, Steven
Published: (2013)

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

Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974 /
Published: (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)

Computing and combinatorics : first annual international conference, COCOON '95, Xi'an, China, August 24 - 26, 1995 ; proceedings /
Published: (1995)

The origin of concurrent programming : from semaphores to remote procedure calls /
Published: (2002)

ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings /
Published: (1986)

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

Generic model management : concepts and algorithms /
by: Melnik, Sergey
Published: (2004)

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

Your wish is my command : programming by example /
Published: (2001)

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

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

Grundlagen der Theoretischen Informatik mit Anwendungen : Eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und Technischen Informatik.
Published: (2002)

Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings /
Published: (1996)

Principles of declarative programming : 10th International Symposium, PLILP'98 : held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings /
Published: (1998)

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

Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings /
Published: (2000)

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

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

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

Computer programming and formal systems
Published: (1963)

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Published: (2001)

Mathematical foundations of computer science 2003 : 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings /
Published: (2003)

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)

Your wish is my command : programming by example /
Published: (2001)

Objects, components, architectures, services, and applications for a networked world : International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002 : revised papers /
Published: (2003)

Objects and databases : international symposium, Sophia Antipolis, France, June 13, 2000 : revised papers /
Published: (2001)