Tempo, a unified treatment of binding time and parameter passing concepts in programming languages



Tempo, a unified treatment of binding time and parameter passing concepts in programming languages

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000269342 / 1978-12-14
Date of Publication:
October 10, 1978
Date of Creation:
1978
Title:
Tempo, a unified treatment of binding time and parameter passing concepts in programming languages / Neil D. Jones, Steven S. Muchnick.
Series:
Lecture notes in computer science ; v. 66
Imprint:
New York : Springer-Verlag, 1978.
Description:
118 p.
Other Title:
Lecture notes in computer science ; v. 66
Copyright Claimant:
Springer-Verlag
Names:
Steven S. Muchnick 1945-
Neil D. Jones 1941-
Springer-Verlag (8432 documents)
example document: Mathematics and politics

Copyrights records by Springer-Verlag

Theoretical computer science

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000271855 / 1979-06-19
Date of Publication:
March 13, 1979
Date of Creation:
1979
Title:
Theoretical computer science : 4th G I conference, Aachen, Mar. 26-28, 1979 / edited by K. Weihrauch [i.e. Klaus Weihrauch].
Language:
English, German & French.
Series:
Lecture notes in computer science ; v. 67
Imprint:
New York : Springer-Verlag, 1979.
Description:
324 p.
Number of similar titles:
2
Other Title:
Lecture notes in computer science ; v. 67
Copyright Claimant:
Springer-Verlag
Performer:
Lectures presented at the 4th G I-Fachtagung Theoretische Informatik.
Names:
Klaus Weihrauch 1943-
K. Weihrauch
GI Fachtagung Theoretische Informatik, 4th, Aachen, West Germany, 1979
Springer-Verlag (8432 documents)
example document: Cohomology of groups
Fachtagung Theoretische Informatik, G I.

First-order dynamic logic

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000302186 / 1979-08-09
Date of Publication:
April 30, 1979
Date of Creation:
1979
Title:
First-order dynamic logic / David Harel.
Series:
Lecture notes in computer science ; v. 68
Imprint:
New York : Springer-Verlag, 1979.
Description:
133 p.
Other Title:
Lecture notes in computer science ; v. 68
Copyright Claimant:
Springer-Verlag
Names:
David Harel 1950-
Springer-Verlag (8432 documents)
example document: Survival analysis

Semantics of concurrent computation

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000362158 / 1979-10-22
Date of Publication:
June 20, 1979
Date of Creation:
1979
Title:
Semantics of concurrent computation / edited by Gilles Kahn.
Series:
Lecture notes in computer science ; v. 70
Imprint:
New York : Springer-Verlag, 1979.
Description:
368 p.
Other Title:
Lecture notes in computer science ; v. 70
Copyright Claimant:
Springer-Verlag
Notes:
Proceedings of the International Symposium on Semantics of Concurrent Computation, held in Evian, France, July 2-4, 1979.
Names:
Gilles Kahn 1946-
International Symposium on Semantics of Concurrent Computation, Evian, France, 1979
Springer-Verlag (8432 documents)
example document: Growth factors in reproduction
Semantics of Concurrent Computation, International Symposium on.
Symposium on Semantics of Concurrent Computation, International.

Automata, languages, and programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000363722 / 1979-10-22
Date of Publication:
June 20, 1979
Date of Creation:
1979
Title:
Automata, languages, and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / edited by Hermann A. Maurer.
Series:
Lecture notes in computer science ; v. 71
Imprint:
New York : Springer-Verlag, 1979.
Description:
684 p.
Number of similar titles:
5
Similar Title:
Automata, languages, and programming
Other Title:
Lecture notes in computer science ; v. 71
Copyright Claimant:
Springer-Verlag
Notes:
Papers of the Sixth Colloquium on Automata, Languages, and Programming.
Names:
Hermann A. Maurer 1941-
Colloquium on Automata, Languages, and Programming, 6th, Graz, Austria, 1979
Springer-Verlag (8432 documents)
example document: Surgery
Automata, Languages, and Programming, Colloquium on.

Symbolic and algebraic computation

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000369736 / 1979-11-27
Date of Publication:
July 20, 1979
Date of Creation:
1979
Title:
Symbolic and algebraic computation : Eurosam '79, an international symposium on symbolic and algebraic manipulation, Marseille, France, June 1979 / edited by Edward W. Ng.
Series:
Lecture notes in computer science ; v. 72
Imprint:
New York : Springer-Verlag, 1979.
Description:
557 p.
Other Title:
Lecture notes in computer science ; v. 72
Copyright Claimant:
Springer-Verlag
Names:
Edward W. Ng 1939-
Eurosam '79, Marseille, France, 1979
Springer-Verlag (8432 documents)
example document: Nichtoperative funktionelle Frakturenbehandlung

Program construction

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000382688 / 1979-12-11
Date of Publication:
June 13, 1979
Date of Creation:
1979
Title:
Program construction : international summer school / edited by F. L. Bauer [i.e. Friedrich Ludwig Bauer] and M. Broy [i.e. Manfred Broy] ; [sponsored by the N A T O Scientific Affairs Division].
Series:
Lecture notes in computer science ; v. 69
Imprint:
New York : Springer-Verlag, 1979.
Description:
651 p.
Number of similar titles:
1
Other Title:
Lecture notes in computer science ; v. 69
Copyright Claimant:
Springer-Verlag
Notes:
5th international summer school held July 26-Aug. 6, 1978 in Marktoberdorf, West Ger.
Names:
Manfred Broy 1949-
Friedrich Ludwig Bauer 1924-
F. L. Bauer

Copyrights records by Bauer, F. L.

M. Broy

Copyrights records by Broy, M.

North Atlantic Treaty Organization. Scientific Affairs Division (12 documents)
example document: Developmental neurobiology of vision

Copyrights records by North Atlantic Treaty Organization. Scientific Affairs Division

Springer-Verlag (8432 documents)
example document: Theory and applications of liquid crystals
NATO Scientific Affairs Division. (1 documents)
example document: Nondestructive evaluation of semiconductor materials and devices

Graph-grammars and their application to computer science and biology

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000383154 / 1979-12-13
Date of Publication:
July 30, 1979
Date of Creation:
1979
Title:
Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef [West Ger.], Oct. 30-Nov. 3, 1978 / edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg.
Series:
Lecture notes in computer science ; v. 73
Imprint:
New York : Springer-Verlag, 1979.
Description:
477 p.
Other Title:
Lecture notes in computer science ; v. 73
Copyright Claimant:
Springer-Verlag
Names:
Volker Claus 1944-
Grzegorz Rozenberg (5 documents)
example document: Cornerstones of undecidability

Copyrights records by Rozenberg, Grzegorz

Hartmut Ehrig
Springer-Verlag (8432 documents)
example document: Haltung und Bewegung beim Menschen

Mathematical foundations of computer science, 1979

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000393721 / 1979-12-18
Date of Publication:
July 30, 1979
Date of Creation:
1979
Title:
Mathematical foundations of computer science, 1979 : proceedings, 8th symposium, Olomouc, Czechoslovakia, Sept. 3-7, 1979 / edited by J. Becvar [i.e. Jiri Becvar].
Series:
Lecture notes in computer science ; v. 74
Imprint:
New York : Springer-Verlag, 1979.
Description:
580 p.
Other Title:
Lecture notes in computer science ; v. 74
Copyright Claimant:
Springer-Verlag
Notes:
Papers selected for presentation at the Symposium on Mathematical Foundations of Computer Science--M F C S '79.
Names:
Jiri Becvar 1926-
J. Becvar
Symposium on Mathematical Foundations of Computer Science, 8th, Olomouc, Czechoslovakia, 1979
Springer-Verlag (8432 documents)
example document: Mathematics
Mathematical Foundations of Computer Science, Symposium on.

Copyrights records by Mathematical Foundations of Computer Science, Symposium on.

MFCS'79.

Mathematical studies of information processing

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000402360 / 1980-01-22
Date of Publication:
September 17, 1979
Date of Creation:
1979
Title:
Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, Aug. 23-26, 1978 / edited by E. K. Blum, M. Paul [i.e. Manfred Paul], and S. Takasu [i.e. Satoru Takasu].
Series:
Lecture notes in computer science ; v. 75
Imprint:
New York : Springer-Verlag, 1979.
Description:
629 p.
Other Title:
Lecture notes in computer science ; v. 75
Copyright Claimant:
Springer-Verlag
Notes:
Proceedings of the International Conference on Mathematical Studies of Information Processing.
Names:
Satoru Takasu 1931-
Manfred Paul 1932-
E. K. Blum (29 documents)
example document: Journal of computer and system sciences

Copyrights records by Blum, E. K.

S. Takasu
M. Paul (10 documents)
example document: Oh, girl

Copyrights records by Paul, M.

International Conference on Mathematical Studies of Information Processing, Kyoto, Japan, 1978
Springer-Verlag (8432 documents)
example document: Procedures in gastrointestinal radiology
Mathematical Studies of Information Processing, International Conference on.
Conference on Mathematical Studies of Information Processing, International.

Language design and programming methodology

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000551286 / 1980-09-15
Date of Publication:
February 28, 1980
Date of Creation:
1980
Title:
Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10-11 September, 1979 / edited by Jeffrey M. Tobias.
Language:
Proceedings of the Symposium on Language Design and Programming Methodology, sponsored by the Australian Atomic Energy Commission and the University of New South Wales.
Series:
Lecture notes in computer science ; v. 79
Imprint:
New York : Springer, 1980.
Description:
255 p.
Other Title:
Lecture notes in computer science ; v. 79
Copyright Claimant:
Springer-Verlag
Names:
Jeffrey M. Tobias 1953-
Symposium on Language Design and Programming Methodology, Sydney, 1979.
Springer-Verlag (8432 documents)
example document: PACS
Australia. Atomic Energy Commission.
University of New South Wales, Kensington, Australia.
Language Design and Programming Methodology, Symposium on.

Data base techniques for pictorial applications

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000574729 / 1980-10-20
Date of Publication:
April 1, 1980
Date of Creation:
1980
Title:
Data base techniques for pictorial applications : Florence, June 20-22, 1979 / edited by A. Blaser [i.e. Albrecht Blaser ; sponsored by I B M Europe and I B M Italy].
Series:
Lecture notes in computer science ; v. 81
Imprint:
New York : Springer-Verlag, 1980.
Description:
599 p.
Other Title:
Lecture notes in computer science ; v. 81
Copyright Claimant:
Springer-Verlag
Names:
Albrecht Blaser 1933-
A. Blaser
Springer-Verlag (8432 documents)
example document: Microsurgery of the cranial base
IBM Italy

Copyrights records by IBM Italy

IBM Europe

Grammar and L forms

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000590926 / 1980-11-14
Date of Publication:
August 28, 1980
Date of Creation:
1980
Title:
Grammar and L forms : an introd. / Derick Wood.
Series:
Lecture notes in computer science ; v. 91
Imprint:
New York : Springer-Verlag, 1980.
Description:
314 p.
Other Title:
Lecture notes in computer science ; v. 91
Copyright Claimant:
Springer-Verlag
Names:
Derick Wood 1940-
Springer-Verlag (8432 documents)
example document: Motion and structure from image sequences

Using sophisticated models in resolution theorem proving

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000590927 / 1980-11-14
Date of Publication:
August 28, 1980
Date of Creation:
1980
Title:
Using sophisticated models in resolution theorem proving / David M. Sandford.
Series:
Lecture notes in computer science ; v. 90
Imprint:
New York : Springer-Verlag, 1980.
Description:
239 p.
Other Title:
Lecture notes in computer science ; v. 90
Copyright Claimant:
Springer-Verlag
Names:
David M. Sandford
Springer-Verlag (8432 documents)
example document: Procedures in gastrointestinal radiology

Coroutines

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000590942 / 1980-11-21
Date of Publication:
October 22, 1980
Date of Creation:
1980
Title:
Coroutines : a programming methodology, a language design, and an implementation / Christopher D. Marlin.
Series:
Lecture notes in computer science ; v. 95
Imprint:
New York : Springer-Verlag, 1980.
Description:
246 p.
Other Title:
Lecture notes in computer science ; v. 95
Copyright Claimant:
Springer-Verlag
Names:
Christopher D. Marlin
Springer-Verlag (8432 documents)
example document: Finite rank torsion free Abelian groups and rings

Pictorial information systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000590945 / 1980-11-05
Date of Publication:
April 30, 1980
Date of Creation:
1980
Title:
Pictorial information systems / edited by S. K. Chang [i.e. Shi Kuo Chang] and K. S. Fu [i.e. King Sun Fu].
Series:
Lecture notes in computer science ; v. 80
Imprint:
New York : Springer-Verlag, 1980.
Description:
445 p.
Number of similar titles:
1
Other Title:
Lecture notes in computer science ; v. 80
Copyright Claimant:
Springer-Verlag
Names:
King Sun Fu 1930-
Shi Kuo Chang 1944-
Springer-Verlag (8432 documents)
example document: Complex analysis

Semantics-directed compiler generation

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000647597 / 1981-02-23
Date of Publication:
September 29, 1980
Date of Creation:
1980
Title:
Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, Jan. 14-18, 1980 / edited by Neil D. Jones.
Series:
Lecture notes in computer science ; v. 94
Imprint:
New York : Springer-Verlag, 1980.
Description:
489 p.
Other Title:
Lecture notes in computer science ; v. 94
Copyright Claimant:
Springer-Verlag
Notes:
Proceedings of the Workshop on Semantics-Directed Compiler Generation, held at the University of Aarhus, Denmark.
Names:
Neil D. Jones

Copyrights records by Jones, Neil D.

Workshop on Semantics-Directed Compiler Generation, University of Aarhus (Denmark), 1980
Springer-Verlag (8432 documents)
example document: Lipids in freshwater ecosystems
Semantics-Directed Compiler Generation, Workshop on.

Mathematical foundations of computer science, 1980

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000647602 / 1981-02-05
Date of Publication:
August 13, 1980
Date of Creation:
1980
Title:
Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, Sept. 1-5, 1980 / edited by P. Dembinski.
Series:
Lecture notes in computer science ; v. 88
Imprint:
New York : Springer-Verlag, 1980.
Description:
723 p.
Other Title:
Lecture notes in computer science ; v. 88
Copyright Claimant:
Springer-Verlag
Notes:
Papers submitted to the 9th Symposium on Mathematical Foundations of Computer Science.
Names:
P. Dembinski
Symposium on Mathematical Foundations of Computer Science, 9th, Rydzyna, Poland, 1980
Springer-Verlag (8432 documents)
example document: Pediatric nuclear medicine
Computer Science, Symposium on Mathematical Foundations of.
Mathematical Foundations of Computer Science, Symposium on.

A Calculus of communicating systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000688231 / 1981-02-10
Date of Publication:
September 11, 1980
Date of Creation:
1980
Title:
A Calculus of communicating systems / Robin Milner [i.e. Arthur John Robin Gorell Milner].
Copyright Note:
C.O. correspondence.
Series:
Lecture notes in computer science ; v. 92
Imprint:
New York : Springer, 1980.
Description:
171 p.
Other Title:
Lecture notes in computer science ; v. 92
Copyright Claimant:
Springer-Verlag
Names:
Arthur John Robin Gorell Milner 1934-
Robin Milner (5 documents)
example document: The Definition of standard ML

Copyrights records by Milner, Robin

Springer-Verlag (8432 documents)
example document: Complex analysis

Stochastic automata

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000734978 / 1981-07-14
Date of Publication:
June 16, 1981
Date of Creation:
1981
Title:
Stochastic automata : stability, nondeterminism, and prediction / Ernst-Erich Doberkat.
Series:
Lecture notes in computer science ; v. 113
Imprint:
New York : Springer-Verlag, 1981.
Description:
135 p.
Other Title:
Lecture notes in computer science ; v. 113
Copyright Claimant:
Springer-Verlag
Names:
Ernst-Erich Doberkat
Springer-Verlag (8432 documents)
example document: Crustal evolution of southern Africa

Automata, languages, and programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000771810 / 1981-09-25
Date of Publication:
June 25, 1981
Date of Creation:
1981
Title:
Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 / edited by S. Even [i.e Shimon Even] and O. Kariv [i.e. Oded Kariv].
Series:
Lecture notes in computer science ; v. 115
Imprint:
New York : Springer, 1981.
Description:
550 p.
Number of similar titles:
5
Other Title:
Lecture notes in computer science ; v. 115
Copyright Claimant:
Springer-Verlag
Notes:
Proceedings of the Annual International Colloquium on Automata, Languages, and Programming sponsored by the European Association for Theoretical Computer Science.
Names:
Oded Kariv 1944-
Shimon Even 1935-
International Colloquium on Automata, Languages, and Programming, 8th, Acre, Israel, 1981
Springer-Verlag (8432 documents)
example document: Large sparse numerical optimization
European Association for Theoretical Computer Science (4 documents)
example document: Automata, languages, and programming

Copyrights records by European Association for Theoretical Computer Science

Automata, Languages, and Programming, International Colloquium on. (1 documents)
example document: Automata, languages, and programming
Colloquium on Automata, Languages, and Programming, International. (1 documents)
example document: Automata, languages, and programming

CLU reference manual

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000771947 / 1981-09-21
Date of Publication:
June 16, 1981
Date of Creation:
1981
Title:
CLU reference manual / Barbara Liskov, Russell Atkinson, Toby Bloom ... [et al.].
Series:
Lecture notes in computer science ; v. 114
Imprint:
New York : Springer-Verlag, 1981.
Description:
190 p.
Other Title:
Lecture notes in computer science ; v. 114
Copyright Claimant:
Springer-Verlag
Names:
Toby Bloom
Russell Atkinson
Barbara Liskov (2 documents)
example document: Abstraction and specification in program development

Copyrights records by Liskov, Barbara

Springer-Verlag (8432 documents)
example document: The Bethesda system for reporting cervical/vaginal cytologic diagnoses

Anaphora in natural language understanding

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000812004 / 1981-12-07
Date of Publication:
August 12, 1981
Date of Creation:
1981
Title:
Anaphora in natural language understanding : a survey / Graeme Hirst.
Series:
Lecture notes in computer science ; v. 119
Imprint:
New York : Springer, 1981.
Description:
128 p.
Other Title:
Lecture notes in computer science ; v. 119
Copyright Claimant:
Springer-Verlag
Names:
Graeme Hirst
Springer-Verlag (8432 documents)
example document: The Internet for surgeons

Compiler specification and verification

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000838386 / 1981-12-16
Date of Publication:
October 28, 1981
Date of Creation:
1981
Title:
Compiler specification and verification / Wolfgang Polak.
Series:
Lecture notes in computer science ; v. 124
Imprint:
New York : Springer-Verlag, 1981.
Description:
269 p.
Other Title:
Lecture notes in computer science ; v. 124
Copyright Claimant:
Springer-Verlag
Names:
Wolfgang Polak 1950-
Springer-Verlag (8432 documents)
example document: The Knee: form, function, and ligament reconstruction. By Terry C. Telger

Automatic differentiation

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000859336 / 1981-12-16
Date of Publication:
August 26, 1981
Date of Creation:
1981
Title:
Automatic differentiation : techniques and applications / Louis B. Rall.
Copyright Note:
C.O. correspondence.
Series:
Lecture notes in computer science ; v. 120
Imprint:
New York : Springer, 1981.
Description:
165 p.
Number of similar titles:
3
Other Title:
Lecture notes in computer science ; v. 120
Copyright Claimant:
Springer-Verlag
Notes:
Based on the notes for a series of lectures given at the Computer Science Department (Datalogisk Institut) of the University of Copenhagen in the second semester of the 1979-80 academic year.
Names:
Louis B. Rall 1930-
Springer-Verlag (8432 documents)
example document: The Treatment of mycosis with imidazole derivatives

5th Conference on Automated Deduction

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000859493 / 1982-02-16
Date of Publication:
June 30, 1980
Date of Creation:
1980
Title:
5th Conference on Automated Deduction : LesArcs, France, July 8-11, 1980 / edited by W. Bibel [i.e. Wolfgang Bibel] and R. Kowalski [i.e. Robert Kowalski].
Series:
Lecture notes in computer science ; v. 87
Imprint:
New York : Springer-Verlag, 1980.
Description:
385 p.
Other Title:
Lecture notes in computer science ; v. 87
Copyright Claimant:
Springer-Verlag
Notes:
Selected papers from the Fifth Conference on Automated Deduction.
Names:
Robert Kowalski 1941-
Wolfgang Bibel 1938-
Conference on Automated Deduction, 5th, LesArcs, France, 1980
Springer-Verlag (8432 documents)
example document: Selecta research contributions
Automated Deduction, Conference on.

Net theory and applications

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000865830 / 1982-02-16
Date of Publication:
June 13, 1980
Date of Creation:
1980
Title:
Net theory and applications : proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Oct. 8-19, 1979 / edited by Wilfried Brauer.
Series:
Lecture notes in computer science ; v. 84
Imprint:
New York : Springer, 1980.
Description:
537 p.
Other Title:
Lecture notes in computer science ; v. 84
Copyright Claimant:
Springer-Verlag
Names:
Wilfried Brauer 1937-
Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979
Springer-Verlag (8432 documents)
example document: Arithmetic geometry
General Net Theory of Processes and Systems, Advanced Course on.

Conpar 81

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000865832 / 1982-02-19
Date of Publication:
June 1, 1981
Date of Creation:
1981
Title:
Conpar 81 : conference on analysing problem classes and programming for parallel computing, Nuernberg, June 10-12, 1981 : proceedings / edited by Wolfgang Haendler.
Application Title:
Compar [i.e. Conpar] 81.
Series:
Lecture notes in computer science ; v. 111
Imprint:
New York : Springer, 1981.
Description:
507 p.
Other Title:
Compar [i.e. Conpar] 81
Lecture notes in computer science ; v. 111
Copyright Claimant:
Springer-Verlag
Names:
Wolfgang Haendler
Conpar 81, Nuernberg, 1981
Springer-Verlag (8432 documents)
example document: Specification and analysis of concurrent systems

Trends in information processing systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000873576 / 1982-02-23
Date of Publication:
October 14, 1981
Date of Creation:
1981
Title:
Trends in information processing systems : 3d Conference of the European Cooperation in Informatics, Munich, Oct. 20-22, 1981 : proceedings / edited by A. J. W. Duijvestijn [i.e. Arie J. W. Duijvestijn] and P. C. Lockemann [i.e. Peter Christian Lockemann].
Series:
Lecture notes in computer science ; v. 123
Imprint:
New York : Springer, 1981.
Description:
348 p.
Other Title:
Lecture notes in computer science ; v. 123
Copyright Claimant:
Springer-Verlag
Names:
Peter Christian Lockemann 1935-
Arie J. W. Duijvestijn 1927-
Conference of the European Cooperation in Informatics, 3d, Munich, 1981
Springer-Verlag (8432 documents)
example document: The little book of time
European Cooperation in Informatics, Conference of the

Programs as data objects

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001855983 / 1986-06-02
Date of Publication:
March 27, 1986
Date of Creation:
1986
Title:
Programs as data objects / edited by H. Ganziger [i.e. Harald Ganziger] and N. D. Jones [i.e. Neil D. Jones].
Series:
Lecture notes in computer science ; v. 217
Imprint:
New York : Springer-Verlag, c1986.
Description:
324 p.
Other Title:
Lecture notes in computer science ; v. 217
Copyright Claimant:
Springer-Verlag
Notes:
Proceedings of a workshop held in Copenhagen, Oct. 17-19, 1985.
Names:
Neil D. Jones
Harald Ganziger
N. D. Jones
Springer-Verlag (8432 documents)
example document: Reviews of environmental contamination and toxicology
This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible. Multiple persons can share the same name.