A Survey of verification techniques for parallel programs, Logics of programs, Automata and computability



Logics of programs

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000927882 / 1982-06-23
Date of Publication:
March 24, 1982
Date of Creation:
1982
Title:
Logics of programs : workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen.
Series:
Lecture notes in computer science ; v. 131
Imprint:
New York : Springer-Verlag, 1982.
Description:
429 p.
Number of similar titles:
2
Other Title:
Lecture notes in computer science ; v. 131
Copyright Claimant:
Springer-Verlag
Notes:
Papers from the Logics of Programs Workshop held at the I B M Thomas J. Watson Research Center on May 4-6, 1981.
Names:
Dexter Kozen 1951-
Logics of Programs Workshop, I B M Thomas J. Watson Research Center, Yorktown Heights, N. Y., 1981
Springer-Verlag (8494 documents)
example document: Finite reflection groups

Copyrights records by Springer-Verlag

Theoretical computer science

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000933670 / 1982-06-03
Date of Publication:
March 18, 1981
Date of Creation:
1981
Title:
Theoretical computer science : 5th G I-conference, Karlsruhe, March 23-25, 1981 / edited by Peter Deussen.
Language:
English, German & French.
Series:
Lecture notes in computer science ; v. 104
Imprint:
New York : Springer, 1981.
Description:
260 p.
Number of similar titles:
2
Other Title:
Lecture notes in computer science ; v. 104
Copyright Claimant:
Springer-Verlag
Performer:
Lectures presented at the 5th G I-Fachtagung Theoretische Informatik.
Names:
Peter Deussen 1935-
GI Fachtagung Theoretische Informatik, 5th, Karlsruhe, West Germany, 1981
Springer-Verlag (8494 documents)
example document: Descartes on polyhedra
Fachtagung Theoretische Informatik.

Data base design techniques I

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000937618 / 1982-07-08
Date of Publication:
March 24, 1982
Date of Creation:
1982
Title:
Data base design techniques I : requirements and logical structures, N Y U symposium, New York, May 1978 / edited by S. B. Yao, S. B. Navathe, J. L. Weldon, and T. L. Kunii.
Series:
Lecture notes in computer science ; v. 132
Description:
1 v.
Number of similar titles:
1
Other Title:
Lecture notes in computer science ; v. 132
Copyright Claimant:
Springer-Verlag
Names:
T. L. Kunii
J. L. Weldon
S. B. Navathe
S. B. Yao
Springer-Verlag (8494 documents)
example document: Statistical mechanics and the foundations of thermodynamics

6th Conference on Automated Deduction

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000949189 / 1982-08-02
Date of Publication:
May 24, 1982
Date of Creation:
1982
Title:
6th Conference on Automated Deduction : New York, U S A, June 7-9, 1982 / edited by D. W. Loveland.
Series:
Lecture notes in computer science ; v. 138
Imprint:
New York : Springer-Verlag, 1982.
Description:
389 p.
Other Title:
Lecture notes in computer science ; v. 138
Copyright Claimant:
Springer-Verlag
Notes:
Held at the Courant Institute of Mathematical Sciences, New York University.
Names:
D. W. Loveland 1934-
Conference on Automated Deduction, 6th, Courant Institute of Mathematical Sciences, New York University, 1982
Springer-Verlag (8494 documents)
example document: Biomechanics
Automated Deduction, Conference on.

Data base design techniques II

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000956985 / 1982-06-23
Date of Publication:
March 24, 1982
Date of Creation:
1982
Title:
Data base design techniques II : physical structures and applications, proceedings, Tokyo, Nov. 1979 / edited by S. B. Yao and T. L. Kunii.
Series:
Lecture notes in computer science ; v. 133
Imprint:
New York : Springer, 1982.
Description:
399 p.
Other Title:
Lecture notes in computer science ; v. 133
Copyright Claimant:
Springer-Verlag
Notes:
Partial papers from the Symposium on Data Base Engineering, sponsored by I B M Japan.
Names:
T. L. Kunii 1938-.
S. B. Yao 1944-.
IBM Japan (114 documents)
example document: IBM system/38

Copyrights records by IBM Japan

Symposium on Data Base Engineering, Tokyo, 1979
Springer-Verlag (8494 documents)
example document: Humans as components of ecosystems
Data Base Engineering, Symposium on.

An Attribute grammar for the semantic analysis of Ada

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000989875 / 1982-08-31
Date of Publication:
June 28, 1982
Date of Creation:
1982
Title:
An Attribute grammar for the semantic analysis of Ada / J. Uhl [i.e. Juergen Uhl], S. Drossopoulou [i.e. Sophia Drossopoulou], G. Persch [i.e. Guido Persch] ... [et al.].
Series:
Lecture notes in computer science ; v. 139
Imprint:
New York : Springer, 1982.
Description:
511 p.
Other Title:
Lecture notes in computer science ; v. 139
Copyright Claimant:
Springer-Verlag
Names:
Guido Persch 1955-
Sophia Drossopoulou 1955-
Juergen Uhl 1956-
Springer-Verlag (8494 documents)
example document: Statistical models based on counting processes

Axiomatising the logic of computer programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000990893 / 1982-06-23
Date of Publication:
March 10, 1982
Date of Creation:
1982
Title:
Axiomatising the logic of computer programming / Robert Goldblatt.
Series:
Lecture notes in computer science ; v. 130
Imprint:
New York : Springer-Verlag, 1982.
Description:
304 p.
Other Title:
Lecture notes in computer science ; v. 130
Copyright Claimant:
Springer-Verlag
Names:
Robert Goldblatt 1949-
Springer-Verlag (8494 documents)
example document: Global report on student well-being

Group-theoretic algorithms and graph isomorphism

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000991926 / 1982-10-04
Date of Publication:
April 27, 1982
Date of Creation:
1982
Title:
Group-theoretic algorithms and graph isomorphism / Christoph M. Hoffmann [i.e. Christoph Martin Hoffmann].
Series:
Lecture notes in computer science ; v. 136
Imprint:
New York : Springer-Verlag, 1982.
Description:
311 p.
Other Title:
Lecture notes in computer science ; v. 136
Copyright Claimant:
Springer-Verlag
Names:
Christoph Martin Hoffmann 1946-.
Springer-Verlag (8494 documents)
example document: Children's eyewitness memory

GAG:a practical compiler generator

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001001037 / 1982-10-04
Date of Publication:
August 2, 1982
Date of Creation:
1982
Title:
GAG:a practical compiler generator / Uwe Kastens, Brigitte Hutt, Erich Zimmermann.
Series:
Lecture notes in computer science ; v. 141
Imprint:
New York : Springer-Verlag, 1982.
Description:
156 p.
Variant title:
GAG
Other Title:
Lecture notes in computer science ; v. 141
Copyright Claimant:
Springer-Verlag
Names:
Erich Zimmermann 1952-.
Brigitte Hutt 1955-.
Uwe Kastens 1946-.
Springer-Verlag (8494 documents)
example document: Glucocorticoid hormone action

Enduser systems and their human factors

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001195955 / 1983-09-23
Date of Publication:
March 16, 1983
Date of Creation:
1983
Title:
Enduser systems and their human factors : proceedings of the scientific symposium conducted on the occasion of the 15th anniversary of the Science Center Heidelberg of I B M Germany, Heidelberg, March 18, 1983 / edited by A. Blaser [i.e. Albrecht Blaser] and M. Zoeppritz [i.e. Magdalena Zoeppritz].
Series:
Lecture notes in computer science ; v. 150
Imprint:
New York : Springer-Verlag, 1983.
Description:
138 p.
Other Title:
Lecture notes in computer science ; v. 150
Copyright Claimant:
Springer-Verlag
Names:
Albrecht Blaser 1933-
Magdalena Zoeppritz 1950-
Springer-Verlag (8494 documents)
example document: Computer networks and systems

Conlan report

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001237144 / 1983-09-26
Date of Publication:
March 24, 1983
Date of Creation:
1983
Title:
Conlan report / R. Piloty [i.e. Robert Piloty], M. Barbacci [i.e. Mario R. Barbacci], D. Borrione [i.e. Dominique Borrione] ... [et al.].
Series:
Lecture notes in computer science ; v. 151
Imprint:
New York : Springer, c1983.
Description:
174 p.
Other Title:
Lecture notes in computer science ; v. 151
Copyright Claimant:
Springer-Verlag
Names:
Dominique Borrione

Copyrights records by Borrione, Dominique

Mario R. Barbacci

Copyrights records by Barbacci, Mario R.

Robert Piloty
Springer-Verlag (8494 documents)
example document: Intensive care and emergency medicine

VLSI engineering

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001342969 / 1984-03-06
Date of Publication:
February 10, 1984
Date of Creation:
1984
Title:
VLSI engineering : beyond software engineering / edited by Tosiyasu L. Kunii.
Copyright Note:
C.O. correspondence.
Series:
Lecture notes in computer science ; v. 163
Imprint:
New York : Springer-Verlag, 1984.
Description:
308 p.
Number of similar titles:
2
Other Title:
Lecture notes in computer science ; v. 163
Copyright Claimant:
Springer-Verlag Tokyo, Inc.
Performer:
Papers presented at the 16th I B M Japan Computer Science Symposium held at Hakone, Japan in Oct. 1982.
Names:
Tosiyasu L. Kunii 1938-
IBM Japan Computer Science Symposium, 16th, Hakone, Japan, 1982
Springer-Verlag Tokyo, Inc. (5 documents)
example document: Computer graphics

Copyrights records by Springer-Verlag Tokyo, Inc.

Computer Science Symposium, I B M Japan.

7th International Conference on Automated Deduction

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001351401 / 1984-05-29
Date of Publication:
May 18, 1984
Date of Creation:
1984
Title:
7th International Conference on Automated Deduction : Napa, California, U S A, May 14-16, 1984 : proceedings / edited by R. E. Shostak [i.e. Robert E. Shostak].
Application Title:
Seventh International Conference on Automated Deduction.
Series:
Lecture notes in computer science ; 170
Imprint:
New York : Springer-Verlag, 1984.
Description:
508 p.
Number of similar titles:
1
Other Title:
Seventh International Conference on Automated Deduction
Lecture notes in computer science ; 170
Copyright Claimant:
Springer-Verlag New York
Authorship on Application:
Springer-Verlag New York, employer for hire.
Names:
Robert E. Shostak
International Conference on Automated Deduction, 7th, Napa, Calif., 1984
Springer-Verlag New York, Inc. (3694 documents)
example document: Solving problems in genetics

Copyrights records by Springer-Verlag New York, Inc.

Automated Deduction, International Conference on.
Conference on Automated Deduction, International.

STACS'84

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001354453 / 1984-06-01
Date of Publication:
April 6, 1984
Date of Creation:
1984
Title:
STACS'84 : Symposium of Theoretical Aspects of Computer Science, Paris, 11-13, 1984 / sponsored by A F C E T (Association Francaise pour la Cybernetique Economique et Technique) and G I (Gesellschaft fuer Informatik) / edited by M. Fontet [i.e. Max Fontet] and K. Mehlhorn [i.e. Kurt Mehlhorn].
Series:
Lecture notes in computer science ; v. 166
Imprint:
New York : Springer, 1984.
Description:
338 p.
Other Title:
Lecture notes in computer science ; v. 166
Copyright Claimant:
Springer-Verlag
Names:
Kurt Mehlhorn 1949-
Max Fontet
Symposium of Theoretical Aspects of Computer Science, Paris, 1984
Springer-Verlag (8494 documents)
example document: Working with ion-selective electrodes
Gesellschaft fuer Informatik (17 documents)
example document: Proceedings, 4th International Conference on Software Engineering

Copyrights records by Gesellschaft fuer Informatik

Association Francaise pour la Cybernetique Economique et Technique
STACS.
GI.

Copyrights records by GI.

AFCET. (4 documents)
example document: Economics and artificial intelligence

Copyrights records by AFCET.

Theoretical Aspects of Computer Science, Symposium of.

Theoretical computer science

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001387575 / 1983-12-01
Date of Publication:
December 23, 1982
Date of Creation:
1982
Title:
Theoretical computer science : 6th G I-conference, Dortmund, Jan. 5-7, 1983 / edited by A. B. Cremers [i.e. Armin B. Cremers] and H. P. Kriegel [i.e. Hans-Peter Kriegel].
Language:
English & French.
Papers contributed for presentation at the 6th Biannual G I Symposium on Theoretical Computer Science held in Dortmund, West Germany, Jan. 5-7, 1983, sponsored by the Special Interest Group for Automata and Formal Lanugage Theroy of the Gesellschaft fuer Informatik.
Copyright Note:
C.O. correspondence.
Series:
Lecture notes in computer science ; v. 145
Imprint:
New York : Springer-Verlag, 1982.
Description:
365 p.
Number of similar titles:
2
Other Title:
Lecture notes in computer science ; v. 145
Copyright Claimant:
Springer-Verlag
Names:
Hans-Peter Kriegel 1948-
Armin B. Cremers 1946-
Gesellschaft fuer Informatik. Special Interest Group for Automata and Formal Language Theory
GI Symposium on Theoretical Computer Science, 6th, Dortmund, West Germany, 1983
Springer-Verlag (8494 documents)
example document: Koronarerkrankungen
Special Interest Group for Automata and Formal Language Theory of the Gesellschaft fuer Informatik.
Theoretical Computer Science, G I Symposium on.
Symposium on Theoretical Computer Science, G I.

CAAP'83

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001394562 / 1984-08-03
Date of Publication:
October 14, 1983
Date of Creation:
1983
Title:
CAAP'83 : trees in algebra and programming, 8th colloquium, L'Aquila, Mar. 9-11, 1983 : proceedings / edited by G. Ausiello [i.e. Giorgio Ausiello] and M. Protasi [i.e. Marco Protasi].
Language:
English & French.
Series:
Edited by G. Goos and J. Hartmanis
Lecture notes in computer science ; v. 159
Imprint:
New York : Springer, 1983.
Description:
416 p.
Other Title:
Lecture notes in computer science ; v. 159
Copyright Claimant:
Springer-Verlag
Names:
J. Hartmanis

Copyrights records by Hartmanis, J.

G. Goos

Copyrights records by Goos, G.

CAAP'83 : Trees in Algebra and Programming, 8th, L'Aquila, Italy, 1983
Springer-Verlag (8494 documents)
example document: Mathematical biology
Trees in Algebra and Programming, C A A P '83.

The IOTA programming system

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001394763 / 1984-08-03
Date of Publication:
October 26, 1983
Date of Creation:
1983
Title:
The IOTA programming system : a modular programming environment / edited by R. Nakajima and T. Yuasa.
Series:
Lecture notes in computer science ; 160
Imprint:
New York : Springer, 1983.
Description:
217 p.
Variant title:
The I O T A programming system : a modular programming environment
Other Title:
Lecture notes in computer science ; 160
Copyright Claimant:
Springer-Verlag
Names:
T. Yuasa
R. Nakajima
Springer-Verlag (8494 documents)
example document: Excimer lasers

Computer algebra

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001402317 / 1984-08-28
Date of Publication:
December 6, 1983
Date of Creation:
1983
Title:
Computer algebra : Eurocal '83 : European Computer Algebra Conference, London, Eng., Mar. 28-30, 1983 : proceedings / edited by J. A. VanHulzen.
Series:
Lecture notes in computer science ; v. 162
Imprint:
New York : Springer-Verlag, 1983.
Description:
305 p.
Number of similar titles:
16
Similar Title:
Computer algebra
Other Title:
Lecture notes in computer science ; v. 162
Copyright Claimant:
Springer-Verlag
Names:
J. A. Va Hulzen
J. A. VanHulzen
European Computer Algebra Conference, London, 1983
Springer-Verlag (8494 documents)
example document: Number theory in science and communication
Eurocal '83.
Computer Algebra Conference, European.

Methods and tools for computer integrated manufacturing

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001405048 / 1984-08-28
Date of Publication:
May 11, 1984
Date of Creation:
1984
Title:
Methods and tools for computer integrated manufacturing : Advanced C R E S T Course on Computer Integrated Manufacturing (C I M '83) Karlsruhe, Germany, Sept. 5 to 16, 1983 / edited by U. Rembold [i.e. Ulrich Rembold] and R. Dillman.
Language:
Notes of the Advanced Course on Computer Integrated Manufacturing held at the University of Karlsruhe, Federal Republic of Germany.
Series:
Lecture notes in computer science ; v. 168
Imprint:
New York : Springer-Verlag, 1984.
Description:
528 p.
Other Title:
Lecture notes in computer science ; v. 168
Copyright Claimant:
Springer-Verlag
Names:
R. Dillman 1949-
Ulrich Rembold
Advanced Course on Computer Integrated Manufacturing, University of Karlsruhe, West Germany, 1983
Springer-Verlag (8494 documents)
example document: Collected papers
Computer Integrated Manufacturing, Advanced Course on.
Course on Computer Integrated Manufacturing, Advanced.

Eurosam '84

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001405049 / 1984-08-28
Date of Publication:
June 27, 1984
Date of Creation:
1984
Title:
Eurosam '84 : International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9-11, 1984 / edited by John Fitch.
Series:
Lecture notes in computer science ; v. 174
Imprint:
New York : Springer, 1984.
Description:
396 p.
Other Title:
Lecture notes in computer science ; v. 174
Copyright Claimant:
Springer-Verlag
Notes:
Third of a series of international computer algebra conferences, cosponsored by A C M & S I G S A M.
Names:
John Fitch (8 documents)
example document: I gotta get mine yo

Copyrights records by Fitch, John

Symposium on Symbolic and Algebraic Computation, 3d, Cambridge, England, 1984.
Springer-Verlag (8494 documents)
example document: Metamorphic reactions
SIGSAM
ACM (104 documents)
example document: Communications of the Association for Computing Machinery. Vol. 5, no. 6, June 1962

Copyrights records by ACM

Symbolic and Algebraic Computation, Symposium on.

Feedback shift registers

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001409795 / 1984-08-28
Date of Publication:
May 11, 1984
Date of Creation:
1984
Title:
Feedback shift registers / Christian Ronse.
Series:
Lecture notes in computer science ; 169
Imprint:
New York : Springer-Verlag, 1984.
Description:
145 p.
Other Title:
Lecture notes in computer science ; 169
Copyright Claimant:
Springer-Verlag
Names:
Christian Ronse
Springer-Verlag (8494 documents)
example document: Perspectives on children's testimony

Logics of programs

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001431318 / 1984-09-28
Date of Publication:
February 23, 1984
Date of Creation:
1984
Title:
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen.
Series:
Lecture notes in computer science ; 164
Imprint:
New York : Springer-Verlag, 1984.
Description:
527 p.
Number of similar titles:
2
Other Title:
Lecture notes in computer science ; 164
Copyright Claimant:
Springer-Verlag
Notes:
Proceedings of the 4th Logics of Programs Workshop held at Carnegie Mellon University on June 6-8, 1983.
Names:
Dexter Kozen
Edmund Clarke (2 documents)
example document: The original journals of Henry Smith Turner: with Stephen Watts Kearny to New Mexico and California, 1846; book. By Henry Smith Turner & Dwight L. Clarke
Logics of Programs Workshop, 4th, Carnegie Mellon University, Pittsburgh, 1983
Springer-Verlag (8494 documents)
example document: Ethical questions in brain and behavior

P-functions and Boolean matrix factorization

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001438688 / 1984-10-26
Date of Publication:
July 26, 1984
Date of Creation:
1984
Title:
P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms / Andre Thayse.
Series:
Lecture notes in computer science ; v. 175
Imprint:
New York : Springer-Verlag, 1984.
Description:
248 p.
Other Title:
Lecture notes in computer science ; v. 175
Copyright Claimant:
Springer-Verlag
Names:
Andre Thayse
Springer-Verlag (8494 documents)
example document: Computer graphics techniques

Logic and machines

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001448769 / 1984-10-29
Date of Publication:
May 11, 1984
Date of Creation:
1984
Title:
Logic and machines : decision problems and complexity : proceedings of the symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fuer Mathematische Logik und Grundlagenforschung der Universitaet Muenster/Westfalen / edited by E. Boerger [i.e. Egon Boerger], G. Hasenjaeger [i.e. Gisbert Hasenjaeger], and D. Roedding [i.e. Dieter Roedding].
Series:
Lecture notes in computer science ; v. 171
Imprint:
New York : Springer-Verlag, 1984.
Description:
456 p.
Other Title:
Lecture notes in computer science ; v. 171
Copyright Claimant:
Springer-Verlag
Names:
Dieter Roedding 1937-
Gisbert Hasenjaeger 1919-
Egon Boerger 1946-
Rekursive Kombinatorik, Institut fuer Mathematische Logik und ..., Universitaet Muenster, Westfalen, West Germany, 1983
Springer-Verlag (8494 documents)
example document: Rational points on elliptic curves

Automata, languages, and programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001449308 / 1984-10-29
Date of Publication:
June 27, 1984
Date of Creation:
1984
Title:
Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984 / edited by Jan Paredaens.
Series:
Lecture notes in computer science ; 172
Imprint:
New York : Springer, 1984.
Description:
528 p.
Number of similar titles:
5
Similar Title:
Automata, languages, and programming
Other Title:
Lecture notes in computer science ; 172
Copyright Claimant:
Springer-Verlag
Notes:
Proceedings of the 11th Colloquium on Automata, Languages, and Programming.
Names:
Jan Paradeans 1947-
Colloquium on Automata, Languages, and Programming, 11th, Antwerp, Belgium, 1984
Springer-Verlag (8494 documents)
example document: Algebraic topology from a homotopical viewpoint

How to multiply matrices faster

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001475177 / 1984-10-26
Date of Publication:
October 15, 1984
Date of Creation:
1984
Title:
How to multiply matrices faster / Victor Pan.
Series:
Lecture notes in computer science ; v. 179
Imprint:
New York : Springer, 1984.
Description:
212 p.
Other Title:
Lecture notes in computer science ; v. 179
Copyright Claimant:
Springer-Verlag
Names:
Victor Pan
Springer-Verlag (8494 documents)
example document: Number theory

STACS'85

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001523628 / 1985-03-11
Date of Publication:
January 4, 1985
Date of Creation:
1985
Title:
STACS'85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbruecken, Jan. 3-5, 1985 / edited by K. Mehlhorn.
Series:
Lecture notes in computer science ; v. 182
Imprint:
New York : Springer-Verlag, 1985.
Description:
374 p.
Other Title:
Lecture notes in computer science ; v. 182
Copyright Claimant:
Springer-Verlag
Performer:
Papers presented at the symposium sponsored by the Gesellschaft fuer Informatik, Fachausschuss Grundlagen der Informatik, and the Association Francaise pour la Cybernetique et Technique.
Names:
K. Mehlhorn
Symposium on Theoretical Aspects of Computer Science, 2nd, Saarbruecken, Ger., 1985
Springer-Verlag (8494 documents)
example document: Biochemistry
Association Francaise pour la Cybernetique et Technique
Fachausschuss Grundlagen der Informatik
Gesellschaft fuer Informatik (17 documents)
example document: Proceedings, 4th International Conference on Software Engineering
Theoretical Aspects of Computer Science, Symposium on
STACS'85

The Munich project C I P

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001526617 / 1985-03-11
Date of Publication:
February 22, 1985
Date of Creation:
1985
Title:
The Munich project C I P : v. 1, The Wide spectrum language C I P-L / by the C I P Language Group, F. L. Bauer, R. Berghammer, M. Broy ... [et al.].
Series:
Lecture notes in computer science ; v. 183
Imprint:
New York : Springer-Verlag, c1985.
Description:
275 p.
Other Title:
Lecture notes in computer science ; v. 183
The Wide spectrum language C I P-L
Copyright Claimant:
Springer-Verlag
Authorship on Application:
Springer-Verlag, employer for hire.
Names:
M. Broy

Copyrights records by Broy, M.

R. Berghammer
F. L. Bauer

Copyrights records by Bauer, F. L.

Springer-Verlag (8494 documents)
example document: Dissipative systems in quantum optics
CIP Language Group

Logics of programs

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001743221 / 1986-01-13
Date of Publication:
June 5, 1985
Date of Creation:
1985
Title:
Logics of programs : Brooklyn, June 17-19, 1985, proceedings / edited by Rohit Parikh.
Series:
Lecture notes in computer science ; v. 193
Imprint:
New York : Springer, c1985.
Description:
424 p.
Number of similar titles:
2
Other Title:
Lecture notes in computer science ; v. 193
Copyright Claimant:
Springer-Verlag
Performer:
Papers presented at a Conference on the Logics of Programs, held at Brooklyn College.
Names:
Rohit Parikh
Springer-Verlag (8494 documents)
example document: Reviews of physiology, biochemistry, and pharmacology
Conference on the Logics of Programs, Brooklyn College, 1985

Automata and computability

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004559559 / 1997-06-23
Date of Publication:
April 30, 1997
Date of Creation:
1997
Title:
Automata and computability / Dexter C. Kozen.
Series:
Undergraduate texts in computer science
Imprint:
New York : Springer, c1997.
Description:
400 p.
Number of similar titles:
1
Copyright Claimant:
Springer-Verlag New York, Inc.
Names:
Dexter C. Kozen 1951-
Springer-Verlag New York, Inc. (3694 documents)
example document: The File
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.