Search alternatives:
computer programming » computer programs
Cover Image
Read Now

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... for Two Machines -- The Lexicographic Minimum of a Cyclic Array -- 2. Rules of Programming -- Metalevel...”
Cover Image
Read Now

2
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... -- Transformational meta program development -- Another case study on reusability of transformational developments...”
Cover Image
Read Now

3
Published 1993
Springer Berlin Heidelberg
Subjects: “...Computer programming...”
Cover Image
Read Now

4
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Theory of domains and nearby -- Predicative programming — A survey -- A three-valued logic...”
Cover Image
Read Now

5
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...I: Programming Calculi -- An Introduction to the Theory of Lists -- A Heuristic Explanation...”
Cover Image
Read Now

6
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- 0. Designing Proofs and Programs -- Heuristics for a Very Simple Euclidean Proof (EWD1180...”
Cover Image
Read Now

7
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... Environments -- The Addition of Bounded Quantification and Partial Functions to a Computational Logic and Its...”
Cover Image
Read Now

8
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... Time Clocks versus Virtual Clocks -- The Image Construction in Computerized Axial Tomography...”
Cover Image
Read Now

9
by Bauer, Friedrich
Published 1979
Springer
“...Lecture Notes in Computer Science...”
Cover Image
Read Now

10
by Broy, Manfred
Published 1991
Springer
“...Lecture Notes in Computer Science...”
Cover Image
Read Now

11
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Programming Issues -- The Verifying Compiler: A Grand Challenge for Computing Research -- Linear...”
Cover Image
Read Now

12
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Abstract Computability of Non-deterministic Programs over Various Data Structures -- On Lexicographic...”
Cover Image
Read Now

13
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Constraint Programming -- A Control Language for Designing Constraint Solvers -- An Algorithm to Compute...”
Cover Image
Read Now

14
Published 2005
Springer Netherlands
Table of Contents: “... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking...”
Cover Image
Read Now

15
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...: A Personal Perspective -- An Axiomatic Basis for Computer Programming -- Proof of Correctness...”
Cover Image
Read Now

17
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... program construction -- TROLL light — The language and its development environment -- Formalization...”
Cover Image
Read Now

18
Published 2005
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

20
Published 1996
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”