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

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

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

TAPSOFT '95: theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995 ; proceedings /
Published: (1995)

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

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

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

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

Program development in computational logic : a decade of research advances in logic-based program development /
Published: (2004)

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

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

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

Constructing correct software : the basics /
by: Cooke, John, 1947-
Published: (1998)

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

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)

Generative and transformational techniques in software engineering III : international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers /
Published: (2011)

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)

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

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

Software visualization : international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers /
Published: (2002)

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

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)

The data parallel programming model : foundations, HPF realization, and scientific applications /
Published: (1996)

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

The Logic programming paradigm : a 25-year perspective /
Published: (1999)

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings /
Published: (2004)

Object-oriented and internet-based technologies : 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net. ObjectDays 2004, Erfurt, Germany, September 27-30, 2004 : proceedings /
Published: (2004)

Rasterelektronenmikroskopische und immunhistochemische Untersuchungen zum Feinbau des Ileums von Rind und Schwein /
by: Zappe, Heike
Published: (2005)

Object-oriented analysis and design for information systems : modeling with UML, OCL, and IFML /
by: Wazlawick, Raul Sidnei
Published: (2014)

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

Programmieren mit JAVA : Das Lehrbuch zum sicheren Umgang mit Objekten.
Published: (1999)

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1996)

Introduction to algorithms /
Published: (2009)

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 /
Published: (1982)

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning /
by: Schmid, U. (Ute)
Published: (2003)

Programming constraint services : high-level programming of standard and new constraint services /
by: Schulte, Christian (Computer scientist)
Published: (2002)