A Survey of verification techniques for parallel programs, PORTAL language description



A Survey of verification techniques for parallel programs

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001614892 / 1985-05-29
Date of Publication:
May 23, 1985
Date of Creation:
1985
Title:
A Survey of verification techniques for parallel programs / Howard Barringer.
Series:
Lecture notes in computer science ; v. 191
Imprint:
New York : Springer-Verlag, c1985.
Description:
114 p.
Other Title:
Lecture notes in computer science ; v. 191
Copyright Claimant:
Springer-Verlag
Names:
Howard Barringer
Springer-Verlag (8552 documents)
example document: Chemotherapy of viral infections

Copyrights records by Springer-Verlag

PORTAL language description

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001666573 / 1985-10-07
Date of Publication:
September 11, 1985
Date of Creation:
1985
Title:
PORTAL language description / Arnold Businger.
Series:
Lecture notes in computer science ; 198
Imprint:
New York : Springer-Verlag, c1985.
Description:
186 p.
Other Title:
Lecture notes in computer science ; 198
Copyright Claimant:
Springer-Verlag
Copyright Notice:
notice: Landis & Gyr
Names:
Arnold Businger
Landis & Gyr
Springer-Verlag (8552 documents)
example document: Paediatric oncology

Trace theory and VLSJ design

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001736489 / 1986-01-13
Date of Publication:
October 24, 1985
Date of Creation:
1985
Title:
Trace theory and VLSJ design / Jan L. A. VanDeSnepscheut.
Application Title:
Trance theory and VLSJ design.
Series:
Lecture notes in computer science ; v. 200
Imprint:
New York : Springer, c1985.
Description:
140 p.
Other Title:
Lecture notes in computer science ; v. 200
Copyright Claimant:
Springer-Verlag
Names:
Jan L. A. VanD Snepscheut 1953-
Jan L. A. Va DeSnepscheut
Jan L. A. VanDeSnepscheut
Springer-Verlag (8552 documents)
example document: Complications in ophthalmic plastic surgery

Eurocal '85

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001738249 / 1986-01-13
Date of Publication:
October 11, 1985
Date of Creation:
1985
Title:
Eurocal '85 / edited by Bruno Buchberger.
Series:
Lecture notes in computer science ; 203
Imprint:
New York : Springer-Verlag, c1985.
Description:
233 p.
Other Title:
Lecture notes in computer science ; 203
Copyright Claimant:
Springer-Verlag
Notes:
Proceedings of the European Conference on Computer Algebra, Linz, Austria, Apr. 1-3, 1985.
Names:
Bruno Buchberger (2 documents)
example document: Computer algebra
European Conference on Computer Algebra, Linz, Austria, 1985
Springer-Verlag (8552 documents)
example document: Theory and applications of some new classes of integral equations
Computer Algebra, European Conference on.

Eurocal '85

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001743460 / 1986-01-13
Date of Publication:
October 11, 1985
Date of Creation:
1985
Title:
Eurocal '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, proceedings, v. 2, Research contributions / edited by Bob F. Caviness.
Series:
Lecture notes in computer science ; v. 204
Imprint:
New York : Springer, c1985.
Description:
650 p.
Other Title:
Lecture notes in computer science ; v. 204
Research contributions
Copyright Claimant:
Springer-Verlag
Names:
Bob F. Caviness
European Conference on Computer Algebra, Linz, Austria, 1985
Springer-Verlag (8552 documents)
example document: Breakthroughs in statistics
Computer Algebra, European Conference on.

Advances in cryptology

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001770891 / 1986-03-10
Date of Publication:
December 20, 1985
Date of Creation:
1985
Title:
Advances in cryptology : proceedings of Eurocrypt 84, a workshop on the theory and application of cryptographic techniques, Paris, France, April 9-11, 1984 / edited by T. Beth [i.e. Thomas Beth], N. Cot [i.e. Norbert Cot] and I. Ingemarsson [i.e. Ingemar Ingemarsson].
Series:
Lecture notes in computer science ; 209
Imprint:
New York : Springer-Verlag, c1985.
Description:
489 p.
Number of similar titles:
4
Other Title:
Lecture notes in computer science ; 209
Copyright Claimant:
Springer-Verlag
Names:
Ingemar Ingemarsson
Norbert Cot
Thomas Beth (1 documents)
example document: Cryptography
Eurocrypt 84, Paris, 1984
Springer-Verlag (8552 documents)
example document: An introduction to analysis

Complexity and structure

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001771231 / 1986-03-11
Date of Publication:
January 7, 1986
Date of Creation:
1986
Title:
Complexity and structure / Uwe Schoening.
Series:
Lecture notes in computer science ; 211
Imprint:
New York : Springer-Verlag, c1986.
Description:
99 p.
Other Title:
Lecture notes in computer science ; 211
Copyright Claimant:
Springer-Verlag
Names:
Uwe Schoening
Springer-Verlag (8552 documents)
example document: Ecoregions

STACS 86

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001771276 / 1986-03-11
Date of Publication:
January 3, 1986
Date of Creation:
1986
Title:
STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, Jan. 16-18, 1986 / edited by B. Monien and G. Vidal-Naquet.
Series:
Lecture notes in computer science ; v. 210
Imprint:
New York : Springer-Verlag, c1985.
Description:
368 p.
Variant title:
STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science
Other Title:
Lecture notes in computer science ; v. 210
Copyright Claimant:
Springer-Verlag
Names:
G. Vidal-Naquet
B. Monien
G. Vidal Naquet
Symposium on Theoretical Aspects of Computer Science, 3rd, Orsay, France, 1986
Springer-Verlag (8552 documents)
example document: Algebraic geometry IV
Theoretical Aspects of Computer Science, Symposium on
STACS 86.

CAAP '86

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001791225 / 1986-03-16
Date of Publication:
March 13, 1986
Date of Creation:
1986
Title:
CAAP '86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986 : proceedings / edited by P. Franchi-Zannettacci [i.e. Paul Franchi-Zannettacci].
Series:
Lecture notes in computer science ; v. 214
Imprint:
New York : Springer-Verlag, c1986.
Description:
306 p.
Variant title:
CAAP '86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986
Other Title:
Lecture notes in computer science ; v. 214
Copyright Claimant:
Springer-Verlag
Names:
Paul Franchi-Zannettacci
Paul Franchi Zannettacci
Colloquium on Trees in Algebra and Programming, 11th, Nice, France, 1986
Springer-Verlag (8552 documents)
example document: Image-guided spine interventions
Trees in Algebra and Programming, Colloquium on.

ESOP 86

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001791226 / 1986-03-26
Date of Publication:
March 13, 1986
Date of Creation:
1986
Title:
ESOP 86 : European Symposium on Programming, Saarbruecken, Federal Republic of Germany, March 17-19, 1986, proceedings / edited by B. Robinet [i.e. Bernard Robinet] and R. Wilhelm [i.e. Reinhard Wilhelm].
Series:
Lecture notes in computer science ; v. 213
Imprint:
New York : Springer, 1986.
Description:
374 p.
Other Title:
Lecture notes in computer science ; v. 213
Copyright Claimant:
Springer-Verlag
Names:
Reinhard Wilhelm
Bernard Robinet (1 documents)
example document: International Symposium on Programming
European Symposium on Programming, Saarbruecken, W. Ger., 1986
Springer-Verlag (8552 documents)
example document: Photonic switching
Programming, European Symposium on.

VLSI engineering

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001837788 / 1984-04-17
Date of Publication:
February 10, 1984
Date of Creation:
1984
Title:
VLSI engineering : beyond software engineering / edited by Tosiyasu L. Kunii.
Previous Registration:
Place of first publication stated on appl.: Japan.
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.
Names:
Tosiyasu L. Kunii 1938-
Springer-Verlag Tokyo, Inc. (5 documents)
example document: Computer graphics

Copyrights records by Springer-Verlag Tokyo, Inc.

Seminar on concurrency

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001846367 / 1986-06-02
Date of Publication:
August 22, 1985
Date of Creation:
1985
Title:
Seminar on concurrency / edited by S. D. Brookes [i.e. Stephen D. Brookes], A. W. Roscoe [i.e. Andrew William Roscoe], and G. Winskel [i.e. Glynn Winskel].
Series:
Lecture notes in computer science ; v. 197
Imprint:
New York : Springer, c1985.
Description:
523 p.
Other Title:
Lecture notes in computer science ; v. 197
Copyright Claimant:
Springer-Verlag
Notes:
Proceedings of the Seminar on Semantics of Concurrency, held at Carnegie-Mellon Univ., Pittsburgh, July 9-11, 1984.
Names:
Glynn Winskel
Andrew William Roscoe
Stephen D. Brookes
Seminar on Semantics of Concurrency, Carnegie-Mellon University, Pittsburgh, 1984
Springer-Verlag (8552 documents)
example document: An invitation to algebraic geometry
Semantics of Concurrency, Seminar on

LUCAS associative array processor

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001852913 / 1986-05-30
Date of Publication:
March 27, 1986
Date of Creation:
1986
Title:
LUCAS associative array processor : design, programming, and application studies / Christer Fernstrom, Ivan Kruzela, Bertil Svensson.
Series:
Lecture notes in computer science ; v. 216
Imprint:
New York : Springer-Verlag, c1986.
Description:
323 p.
Other Title:
Lecture notes in computer science ; v. 216
Copyright Claimant:
Springer-Verlag
Names:
Bertil Svensson
Ivan Kruzela
Christer Fernstrom
Springer-Verlag (8552 documents)
example document: Temporal verification of reactive systems safety

Fundamentals of computation theory

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001852915 / 1986-05-30
Date of Publication:
August 22, 1985
Date of Creation:
1985
Title:
Fundamentals of computation theory : F C T '85, Cottbus, G D R, September 9-13, 1985 / edited by Lothar Budach.
Series:
Lecture notes in computer science ; v. 199
Imprint:
New York : Springer-Verlag, c1985.
Description:
542 p.
Other Title:
Lecture notes in computer science ; v. 199
Copyright Claimant:
Springer-Verlag
Notes:
Proceedings of the 5th International Conference on Fundamentals of Computation Theory, held Sept. 9-13, 1985, in Cottbus, E. Ger.
Names:
Lothar Budach
International Conference on Fundamentals of Computation Theory, 5th, Cottbus, E. Ger., 1985
Springer-Verlag (8552 documents)
example document: Gmelin handbook of inorganic chemistry
FCT'85.
Conference on Fundamentals of Computation Theory, International.
Fundamentals of Computation Theory, International Conference on.

Interval mathematics 1985

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001860932 / 1986-03-26
Date of Publication:
September 23, 1985
Date of Creation:
1985
Title:
Interval mathematics 1985 : proceedings of the international symposium, Freiburg i. Br., Federal Republic of Germany, September 23-26, 1985 / edited by K. Nickel [i.e. Karl Nickel].
Copyright Note:
C.O. correspondence.
Series:
Lecture notes in computer science ; v. 212
Imprint:
New York : Springer, c1986.
Description:
227 p.
Other Title:
Lecture notes in computer science ; v. 212
Copyright Claimant:
Springer-Verlag
Notes:
Proceedings of the International Symposium on Interval Mathematics.
Names:
Karl Nickel (2 documents)
example document: Tailless aircraft in theory and practice
International Symposium on Interval Mathematics, Freiburg, W. Ger, 1985
Springer-Verlag (8552 documents)
example document: Beilsteins handbuch der organischen Chemie, vierte Auflage

Advances in petri nets, 1985

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001871794 / 1986-07-28
Date of Publication:
May 30, 1986
Date of Creation:
1986
Title:
Advances in petri nets, 1985 / edited by G. Rozenberg.
Series:
Lecture notes in computer science ; 222
Imprint:
New York : Springer, c1986.
Description:
498 p.
Other Title:
Lecture notes in computer science ; 222
Copyright Claimant:
Springer-Verlag
Names:
G. Rozenberg
Springer-Verlag (8552 documents)
example document: Semiconductors

Automata, languages, and programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001878670 / 1986-07-28
Date of Publication:
June 26, 1986
Date of Creation:
1986
Title:
Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986, proceedings / edited by Laurent Kott.
Series:
Lecture notes in computer science ; 226
Imprint:
New York : Springer-Verlag, c1986.
Description:
473 p.
Number of similar titles:
5
Similar Title:
Automata, languages, and programming
Other Title:
Lecture notes in computer science ; 226
Copyright Claimant:
Springer-Verlag
Names:
Laurent Kott
Springer-Verlag (8552 documents)
example document: Ecole d'Ete de Probabilites de Saint Flour XIV, 1984

Third International Conference on Logic Programming

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001881182 / 1986-07-31
Date of Publication:
June 23, 1986
Date of Creation:
1986
Title:
Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, proceedings / edited by Ehud Shapiro.
Series:
Lecture notes in computer science ; v. 225
Imprint:
New York : Springer-Verlag, c1986.
Description:
720 p.
Other Title:
Lecture notes in computer science ; v. 225
Copyright Claimant:
Springer-Verlag
Names:
Ehud Shapiro (5 documents)
example document: Parallel logic programming techniques

Copyrights records by Shapiro, Ehud

International Conference on Logic Programming, 3rd, Imperial College of Science and Technology, London, 1986
Springer-Verlag (8552 documents)
example document: Health care technology evaluation
Logic Programming, International Conference on.

Structure in complexity theory

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001883575 / 1986-07-28
Date of Publication:
May 21, 1986
Date of Creation:
1986
Title:
Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986 / edited by Alan L. Selman.
Series:
Lecture notes in computer science ; 223
Imprint:
New York : Springer, c1986.
Description:
400 p.
Number of similar titles:
1
Other Title:
Lecture notes in computer science ; 223
Copyright Claimant:
Springer-Verlag
Names:
Alan L. Selman

Copyrights records by Selman, Alan L.

Springer-Verlag (8552 documents)
example document: An Idiot's fugitive essays on science

Current trends in concurrency

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001892189 / 1986-07-28
Date of Publication:
June 26, 1986
Date of Creation:
1986
Title:
Current trends in concurrency : overviews and tutorials / edited by J. W. DeBakker [i.e. Jacobus Willem DeBakker], W.-P. DeRoever, and G. Rozenberg [i.e. Grzegorz Rosenberg].
Application Title:
Current topics in concurrency.
Series:
Lecture notes in computer science ; v. 224
Imprint:
New York : Springer, c1986.
Description:
716 p.
Other Title:
Current topics in concurrency
Lecture notes in computer science ; v. 224
Copyright Claimant:
Springer-Verlag
Notes:
Based on the proceedings of the E S P R I T/L P C Advanced School on Current Trends in Concurrency, held June 10-21, 1985 at Noordwijkerhout, the Netherlands.
Names:
Jacobus Willem D Bakker 1939-
Grzegorz Rosenberg
W.-P. D Roever
W.-P. DeRoever
Jacobus Willem DeBakker (3 documents)
example document: Automata, languages, and programming

Copyrights records by DeBakker, Jacobus Willem

ESPRIT/LPC Advanced School on Current Trends in Concurrency, Noordwijkerhout, the Netherlands, 1985
Springer-Verlag (8552 documents)
example document: Elements of detection and signal design
Current Trends in Concurrency, E S P R I T/L P C Advanced School on.

Concepts in user interfaces

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001896451 / 1986-08-29
Date of Publication:
August 24, 1986
Date of Creation:
1986
Title:
Concepts in user interfaces : a reference model for command and response languages / by members of I F I P Working Group 2.7, David Beech, Christian Gram, Hans-Juergen Kugler ... [et al].
Series:
Lecture notes in computer science ; 234
Imprint:
New York : Springer-Verlag, c1986.
Description:
115 p.
Other Title:
Lecture notes in computer science ; 234
Copyright Claimant:
Springer-Verlag
Notes:
Developed by Working Group 2.7 (Operating System Interfaces) of the International Federation for Information Processing.
Names:
Hans-Juergen Kugler
Christian Gram
David Beech (1 documents)
example document: Bride groom
Dabid Beech
International Federation for Information Processing. Working Group 2.7 (Operating System Interfaces)
Springer-Verlag (8552 documents)
example document: Transformation geometry
IFIP Working Group 2.7.

8th International Conference on Automated Deduction

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001896525 / 1986-07-31
Date of Publication:
July 14, 1986
Date of Creation:
1986
Title:
8th International Conference on Automated Deduction : Oxford, England, July 27-Aug 1, 1986 : proceedings / edited by Joerg H. Siekmann.
Series:
Lecture notes in computer science ; v. 230
Imprint:
New York : Springer-Verlag, c1986.
Description:
708 p.
Other Title:
Lecture notes in computer science ; v. 230
Copyright Claimant:
Springer-Verlag
Names:
Joerg H. Siekmann
International Conference on Automated Deduction, 8th, Oxford, 1986
Springer-Verlag (8552 documents)
example document: Quasiclassical methods
Automated Deduction, International Conference on
Conference on Automated Deduction, International

Fundamentals of artificial intelligence

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001917840 / 1986-08-29
Date of Publication:
August 14, 1986
Date of Creation:
1986
Title:
Fundamentals of artificial intelligence : an advanced course / edited by W. Bibel and Ph. Jorrand.
Series:
Lecture notes in computer science ; 232
Imprint:
New York : Springer, c1986.
Description:
313 p.
Other Title:
Lecture notes in computer science ; 232
Copyright Claimant:
Springer-Verlag
Names:
Philippe Jorrand
Wolfgang Bibel (3 documents)
example document: Mathematical methods of specification and synthesis of software systems '85
Springer-Verlag (8552 documents)
example document: Children's logical and mathematical cognition

Combinatorial pattern matching

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003456253 / 1992-12-21
Date of Publication:
December 8, 1992
Date of Creation:
1992
Title:
Combinatorial pattern matching : third annual symposium proceedings, Tucson, Arizona, USA, April 29-May1, 1992 / A. Apostolico, M. Crochemore, Z. Galil, U. Manber (eds.)
Series:
Lecture notes in computer science ; 644
Imprint:
New York : Springer-Verlag, c1992.
Description:
287 p.
Other Title:
Lecture notes in computer science ; 644
Copyright Claimant:
Springer-Verlag (employer for hire)
Names:
Udi Manber
Zvi Galil
Maxime Crochemore
Alberto Apostolico
Springer-Verlag (8552 documents)
example document: Time machines

Hyperedge replacement

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003481732 / 1992-12-21
Date of Publication:
December 8, 1992
Date of Creation:
1992
Title:
Hyperedge replacement : grammars and languages / A. Habel.
Series:
Lecture notes in computer science ; 643
Imprint:
New York : Springer-Verlag, c1992.
Description:
214 p.
Variant title:
Hyperedge replacement : grammars and languages
Other Title:
Lecture notes in computer science ; 643
Copyright Claimant:
Springer-Verlag
Names:
Annegret Habel
Springer-Verlag (8552 documents)
example document: Myxobacteria

European workshop on planning

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003516770 / 1993-02-23
Date of Publication:
September 24, 1991
Date of Creation:
1991
Title:
European workshop on planning : EWSP '91, Sankt Augustin, FRG, March 18-19, 1991 : proceedings / J. Hertzberg (ed.)
Series:
Lecture notes in computer science. Lecture notes in artificial intelligence ; 522
Imprint:
New York : Springer, c1991.
Description:
121 p.
Other Title:
Lecture notes in computer science : Lecture notes in artificial intelligence ; 522
EWSP '91
Copyright Claimant:
Springer-Verlag (employer for hire)
Names:
Joachim Hertzberg
Springer-Verlag (8552 documents)
example document: Fourier analysis and its applications
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.