Computing Books published by Springer-Verlag

The following is a list of Computing Books published by Springer-Verlag in the Centre for Computing History collection. It is not an exhaustive list of and other books may have been published. If you have a book that you would like to donate to our collection, please view our donations page.

There are 10 Computing Books published by Springer-Verlag in our collection :
Order By : Title - Release Date - Publisher
Report on the Algorithmic Language Algol 68 Date: 1969 Report on the Algorithmic Language Algol 68

Off Print from Numerische Manual 14 79-218 (1969)

 

 

Publisher: Springer-Verlag
Author: BJ Mailloux J E Peck, C H A Koster
Platform: Algol 68

Design of Digital Computers Date: March 1971 Design of Digital Computers

Library of Congress Catalog Card Number: 66-28998

Publisher: Springer-Verlag
Author: Hans W. Gschwind
Platform: Digital Computers

Lecture Notes in Computer Science 19 Programming Symposium Date: 1974 Lecture Notes in Computer Science 19 Programming Symposium

One in a lengthy series of books that report on the latest computer developments in computer science, research and teaching.

It is the conference proceedings for Colloque sur la Programmation Paris, April 9-1, 1974

Publisher: Springer-Verlag

Platform: Programming

Software Engineering: An Advanced Course Date: 1975 Software Engineering: An Advanced Course

Springer Study Edition

Publisher: Springer-Verlag

Platform: Software Engineering

Revised Report on the Algorithmic Language Algol 68 Date: 19th April 1976 Revised Report on the Algorithmic Language Algol 68

Publisher: Springer-Verlag

Platform: Algol 68

Chess Skill in Man and Machine Date: 1977 Chess Skill in Man and Machine

Texts and Monographs in Computer Science

Publisher: Springer-Verlag
Author: P.W.Frey
Platform:

The Science of Programming Date: 1981 The Science of Programming

Texts and Monographs in Computer Science

Publisher: Springer-Verlag
Author: David Gries
Platform: Programming

Programming with Sets: An Introduction to SETL Date: 24th October 1986 Programming with Sets: An Introduction to SETL

(Monographs in Computer Science) 
1 edition (October 24, 1986)
Language: English
ISBN-10: 0387963995
ISBN-13: 978-0387963990
Product Dimensions: 9.2 x 6.4 x 1.2 inches

Publisher: Springer-Verlag
Author: J. T. Schwartz, R.B.K. Dewar, E. Dunksy, E. Schonberg
Platform: SETS

EESPRIT: Computational Logic Date: 3rd December 1990 EESPRIT: Computational Logic

Language: English
ISBN-13: 978-0387534374

This book contains papers presented at the Symposium on Computational Logic held during the 7th ESPRIT Conference. Ten leading researchers in computational logic were invited to contribute papers. The papers range from some on specialized research topics to some which give an overview and a glimpse into the future of computational logic. A major theme of the symposium was the likely future impact of computational logic, and there was a panel session on the topic "Programming in 2010: the Role of Computational Logic". The position papers of the panelists are included in the book. The book will be of interest to researchers and graduate students in logic programming, database systems, artificial intelligence, and software engineering. This volume is the first of the ESPRIT Basic Research Series. The ESPRIT Basic Research efforts aim at forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of information technology. The quality of content of this series and its broad distribution should have a major impact in making these advances accessible to both academic and industrial researchers.

Kindly donated by Mike Rogers
Commission of the European Communities

Publisher: Springer-Verlag
Author: J. W. Lloyd
Platform: Conference esprit

Public Data Networks: From Separate PDNs to the ISDN Date: 1992 Public Data Networks: From Separate PDNs to the ISDN

Publisher: Springer-Verlag
Author: Josef Puzman and Boris Kubin
Platform: Networks

Help support the museum by buying from the museum shop

View all items

Founding Sponsors
redgate Google ARM Real VNC Microsoft Research
Heritage Lottery Funded
Heritage Lottery Fund
Accredited Museum