Cover Image

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

Corporate Authors:	International Symposium on Theoretical Programming Novosibirsk), Springer
Other Authors:	Ershov, A. P.
Format:	Book
Language:	English
Published:	Berlin ; New York: Springer-Verlag, 1974
Series:	Lecture notes in computer science 5
Subjects:	Computer programming > Congresses Programming languages (Electronic computers) > Congresses

Similar Items

Formal Description of Programming Concepts : proceedings of the IFIP Working Conference on formal description of programming concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /
Published: (1978)

Programming languages and systems :7th European Symposium on Programming, ESOP ʹ98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS ʹ98, Lisbon, Portugal, March 28-April 4, 1996 :proceedings /
Published: (1998)

Programming language implementation and logic programming : 4thInternational Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992: proceedings /
Published: (1992)

Programming language implementation and logic programming : 3rdInternational Symposium, PLILP '91, Passau, Germany, August 26-28, 1991: proceedings /
Published: (1991)

Programming language implementation and logic programming : international workshop PLILP '90, Linkoping, Sweden, August 20-22,1990 : proceedings /
Published: (1990)

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

Conference record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languagespapers presented at the symposium, Portland, Oregon, January 17-21, 1994/
Published: (1994)

International Computing Symposium 1975 : proceedings of the International computing Symposium 1975, Antibes, France, 2-4 June 1975 /
Published: (1975)

Formal language description languages for computer programming : proceedings of the IFIP Working Conference on Formal Description Languages /
Published: (1966)

Language hierarchies and interfaces : international summer school /
Published: (1976)

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

Proceedings of the 1992 International Conference on Computer Languages= 1992 International Conference on Computer Languages : April 20-23, 1992, Oakland, California/
Published: (1992)

Software engineering : an advanced course /
Published: (1977)

1998 International Conference on Computer Languages: May 14-16, 1998, Chicago, Illinois : Proceedings/
Published: (1998)

Constructing quality software : proceedings of the IFIP Working Conference on Constructing Quality Software /
Published: (1978)

Symbol manipulation languages and techniques : proceedings /
Published: (1971)

Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980 /
Published: (1980)

Data base description : proceedings of the IFIP TC-2 Special Working Conference on Data Base Description /
Published: (1975)

Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II), October 5- 8, 1987, Palo Alto, California: Proceedings/
Published: (1987)

Proceedings of an ACM Conference on Language Design for Reliable Software, Sheraton-Crabtree Inn, Raleigh, North Carolina, March 28-30, 1977/
Published: (1977)

Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms
Published: (1990)

Proceedings of the 1994 International Conference on Computer Languages= 1994 International Conference on Computer Languages= Computer languages/
Published: (1994)

Introduction to system programming : proceedings of a symposium held at the London School of Economics, July, 1962 /
Published: (1964)

Database programming languages: bulk types & presistent data : the Third International Workshop, August 27-30, 1991, Nafplion, Greece/
by: Κανελλάκης, Πάρης Κ., 1953-
Published: (1992)

Simulation programming languages : proceedings of the IFIP Working Conference on Simulation Programming Languages /
Published: (1968)

First International Workshop on High-Level Programming Models and Supportive Environments: proceedings, April 16, 1996, Honolulu, Hawaii held in conjunction with the 10th International Parallel Processing Symposium/
Published: (1996)

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

Proceedings of the fifth annual ACM-SIAM symposium on discrete algorithms
Published: (1994)

Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June 1989 Salishan Lodge, Gleneden, Beach, Oregon= Database programming language/
Published: (1989)

Introduction to programming and computer science/
by: Ralston, Anthony
Published: (1971)

Logic program synthesis and transformation : 6th InternationalWorkshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 :proceedings /
Published: (1997)

Genetic programming : proceedings of the third annual conference, July 22-25, 1998, University of Wisconsin, Madison /
Published: (1998)

Second International Workshop on High-Level Parallel Programming Models and Supportive Environments: proceedings, April 1, 1997, Geneva, Switzerland/
Published: (1997)

COMPSAC
Published: (1980)

Essentials of programming languages /
by: Friedman, Daniel P.
Published: (2001)

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

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

Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998 /
Published: (1998)

Coordination programming: mechanisms, models, and semantics/
Published: (1996)

Programming concepts, methods and calculi: proceedings of the IFIPTC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi (PROCOMET '94), San Miniato, Italy, 6-10 June 1994/
Published: (1994)

Cannot write session to /tmp/vufind_sessions/sess_lps40l4nnah2un40r9rp2a0ul5