ISBNs for computer programming congresses

ISBN.nu

search for books and compare prices

computer programming congresses matches 150 work(s)

at beginning | displaying 1 to 25 | next 25 >

show results in order: alphabetically | oldest to newest | newest to oldest

Language Hierarchies and Interfaces: International Summer School

By Friedrich L. Bauer (editor), North Atlantic Treaty Organization Scientific Affairs Division (corporate author) and Klaus Samelson (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387079943 | Springer Verlag, June 1, 1976, cover price $69.95

International Symposium on Programming: Proceedings of the Fourth Colloque International Sur LA Programmation, Paris, 22-24 April 1980

By 4th, Paris International Symposium on Programming, 1980 (corporate author) and B. Robinet (editor)

See complete details on each edition (2 editions listed)

Paperback:

9780387099811 | Springer Verlag, August 1, 1980, cover price $59.95

9783540099819, titled "International Symposium on Programming: Proceedings of the Fourth "Colloque International Sur La Programmation" Paris, 22-24 April 1980" | Springer Verlag, April 1, 1980, cover price $99.00

Language Design and Programming Methodology: Proceedings of Symposium Held September 10-11, 1979 Sydney, Australia,

By Joyce M. Tobias (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540097457 | Springer Verlag, June 1, 1980, cover price $39.99

Abstract Software Specifications: 1979 Copenhagen Winter School, January 22-February 2, 1979 : Proceedings

By D. Bjorner (editor) and Copenhagen Winter School on Abstract Software Specifications (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9780387100074 | Springer Verlag, October 1, 1980, cover price $39.00

Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981 : Proceedings

By J. Diaz (editor), International Colloquium on the Formalization of Programming Concepts (corporate author) and I. Ramos (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387106991 | Springer Verlag, July 1, 1981, cover price $74.95

Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek Ssr, September 16-22, 1979

By Andrei Petrovich Ershov (editor), Donald E. Knuth (editor) and Uzbekiston Ssr Fanlar Akademiiasi (corporate author)

See complete details on each edition (1 edition listed)

Paperback:

9780387111575 | Springer Verlag, January 1, 1982, cover price $35.00

International Symposium on Programming: Lecture Notes in Computer Science

By M. Dezani-Ciancaglini, International Symposium on Programming 1982 (other contributor) and U. Montanari

See complete details on each edition (1 edition listed)

Paperback:

9780387114941 | Springer Verlag, April 1, 1982, cover price $32.00

Logics of Programs: Lecture Notes in Computer Science

By Dexter Kozen (editor) and Logics of Programs Workshop (other contributor)

See complete details on each edition (2 editions listed)

Paperback:

9780387128962 | Springer Verlag, April 1, 1984, cover price $43.00

9780387112121 | Springer Verlag, May 1, 1982, cover price $32.00

Problems and Methodologies in Mathematical Software Production: International Seminar Held at Sorrento, Italy, November 3-8, 1980

By Paul C. Messina (editor) and A. Murli (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387116037 | Springer Verlag, December 1, 1982, cover price $25.00

Computer Program Synthesis Methodologies: Proceedings

Product Description: powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which enables a user to code in terms of mathematical entiÂ ties such as sets and BDl which allows a user, presumably a businessman, to specify a computation in terms of a series of tabular forms and a series of processing paths through which data flows...read more

By Alan W. Biermann, Gerard Guiho and NATO Advanced Study Institute (other contributor)

See complete details on each edition (1 edition listed)

Hardcover:

9789027715043 | D Reidel Pub Co, January 1, 1983, cover price $349.00 | About this edition: powerful operations on them.

Rims Symposia on Software Science and Engineering: Proceedings

By Eiichi Goto (editor) and Kyoto Daigaku Suri Kaiseki Kenkyujo (corporate author)

See complete details on each edition (1 edition listed)

Paperback:

9780387119809 | Springer Verlag, May 1, 1983, cover price $49.95

Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980

By Andrzej Salwicki (editor) and Symposium on Logics of Programs and Their Applications

See complete details on each edition (1 edition listed)

Paperback:

9780387119816 | Springer Verlag, June 1, 1983, cover price $27.00

International Symposium on Programming: 6th Colloquium Toulouse, April 17-19, 1984 Proceedings

International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings (Lecture Notes in Computer Science) (English and French Edition)

By M. Paul and B. Robinet (editor)

See complete details on each edition (2 editions listed)

Paperback:

9780387129259 | Springer Verlag, June 1, 1984, cover price $57.95

9783540129257, titled "International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings" | Springer Verlag, April 1, 1984, cover price $99.00 | About this edition: International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984.

Program Transformation and Programming Environments: Report on a Workshop Directed by F.L. Bauer and H. Remus

By Peter Pepper (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780387129327 | Springer Verlag, June 1, 1984, cover price $84.95

Ada Software Tools Interfaces

Product Description: Book by Goos, G., Hartmanis, J.

By G Goos and J. Hartmanis

See complete details on each edition (1 edition listed)

Paperback:

9780387138787 | Springer Verlag, December 1, 1984, cover price $49.95 | About this edition: Book by Goos, G.

Tools, Methods and Languages for Scientific and Engineering Computation

By B. Ford, J. C. Rault and F. Thomasset (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780444875709 | Elsevier Science Ltd, December 1, 1984, cover price $108.00 | also contains His Son, Her Secret

Proceedings of the Third Joint Ada Europe/Ada Tec Conference: Brussels, 26-28 June 1984

Product Description: This book presents selected papers of the Third joint Conference of Ada Europe and Ada Tech, the North American Ada association under ACM, held in Brussels in June 1984. The conference is the major European meeting on Ada and provides a forum for some of the foremost experts in the area, from Europe and North America, to discuss major aspects of this increasingly important programming language: standardization, use, environments, methods, specific applications, and training...read more

By Ada Tec Conference 1984 (other contributor), Joint Ada Europa and Joachim Teller

See complete details on each edition (1 edition listed)

Hardcover:

9780521301022 | Cambridge Univ Pr, March 1, 1985, cover price $49.50 | About this edition: This book presents selected papers of the Third joint Conference of Ada Europe and Ada Tech, the North American Ada association under ACM, held in Brussels in June 1984.

Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985

First International Conference on Rewriting Techniques and Applications

By Jean-Pierre Jouannaud (editor)

See complete details on each edition (2 editions listed)

Paperback:

9780387159768 | Springer Verlag, January 1, 1986, cover price $44.95

9783540159766 | Springer Verlag, November 11, 1985, cover price $59.99 | About this edition: First International Conference on Rewriting Techniques and Applications

Control Flow and Data Flow: Concepts of Distributed Programming

By M. Broy

See complete details on each edition (1 edition listed)

Hardcover:

9780387139197 | Springer Verlag, December 1, 1985, cover price $113.00 | also contains Welcome to Cuckooville

Formal Models in Programming

By G. Chroust (editor) and Erich J. Neuhold

See complete details on each edition (1 edition listed)

Hardcover:

9780444878885 | Elsevier Science Ltd, January 1, 1986, cover price $99.00

Esop 86

By B. Robinet and R. Wilhelm (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387164427 | Springer Verlag, April 1, 1986, cover price $63.95

Rims Symposia on Software Science and Engineering II

By Keijiro Araki, Eiichi Goto and Taiichi Yuasa (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387164700 | Springer Verlag, May 1, 1986, cover price $62.95

Empirical Studies of Programmers

By Sitharama Iyengar (editor) and Elliot Soloway

See complete details on each edition (1 edition listed)

Hardcover:

9780893913885 | Intellect L & D E F A E, June 1, 1986, cover price $35.50

Control Flow and Data Flow: Concepts of Distributed Programming

By Manfred Broy

See complete details on each edition (1 edition listed)

Paperback:

9780387170824 | Reprint edition (Springer Verlag, October 1, 1986), cover price $40.00 | also contains Qisharim: A Textbook for Advanced Learners of Hebrew

Mathematical Foundations of Programming Semantics

Product Description: This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to bring together mathematicians and theoretical computer scientists who share the common interests of working on problems related to programming language semantics...read more

By Austin Melton (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387168166 | Springer Verlag, November 1, 1986, cover price $67.95 | About this edition: This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics.

at beginning | displaying 1 to 25 | next 25 >