Trace theory for automatic hierarchical verification of speed-independent circuits



Principles for local environmental management

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000055657 / 1978-06-19
Date of Publication:
May 26, 1978
Date of Creation:
1978
Title:
Principles for local environmental management / Peter G. Rowe, John Mixon, Barton A. Smith, James B. Blackburn, Jr., Glenda L. Callaway, Joel L. Gevirtz.
Copyright Claimant:
Southwest Center for Urban Research
Authorship on Application:
Southwest Center for Urban Research, employer for hire.
Names:
Peter G. Rowe

Copyrights records by Rowe, Peter G.

John Mixon
Barton A. Smith
Blackburn, James B., Jr.
Glenda L. Callaway
Joel L. Gevirtz
Southwest Center for Urban Research

Design thinking

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002029273 / 1987-02-13
Date of Publication:
January 1, 1987
Date of Creation:
1985
Title:
Design thinking / Peter G. Rowe.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
229 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Peter G. Rowe
Massachusetts Institute of Technology (1284 documents)
example document: The Computer age

Copyrights records by Massachusetts Institute of Technology

Classical architecture

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002030413 / 1987-03-30
Date of Publication:
November 24, 1986
Date of Creation:
1985
Title:
Classical architecture : the poetics of order / Alexander Tzonis and Liane Lefaivre.
Imprint:
Cambridge, Mass. : MIT Press, c1986.
Description:
306 p.
Variant title:
Classical architecture : the poetics of order
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Alexander Tzonis

Copyrights records by Tzonis, Alexander

Liane Lefaivre
Massachusetts Institute of Technology (1284 documents)
example document: John VonNeumann and the origins of modern computing

Cerebral lateralization

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002035736 / 1987-03-30
Date of Publication:
January 8, 1987
Date of Creation:
1986
Title:
Cerebral lateralization : biological mechanisms, associations, pathology / Norman Geschwind, Albert M. Galaburda.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
283 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Norman Geschwind (5 documents)
example document: Sex differences in dyslexia

Copyrights records by Geschwind, Norman

Albert M. Galaburda 1948-
Massachusetts Institute of Technology (1284 documents)
example document: Handbook of regular patterns

Actors

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002037420 / 1987-03-30
Date of Publication:
December 10, 1986
Date of Creation:
1985
Title:
Actors : a model of concurrent computation in distributed systems / Gul A. Agha.
Imprint:
Cambridge, Mass. : MIT Press, c1986.
Description:
144 p.
Variant title:
Actors : a model of concurrent computation in distributed systems
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Gul A. Agha
Massachusetts Institute of Technology (1284 documents)
example document: The Economics of uncertainty and information

Sigurd Lewerentz, architect, 1885-1975

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002096315 / 1987-06-19
Date of Publication:
May 10, 1987
Date of Creation:
1986
Title:
Sigurd Lewerentz, architect, 1885-1975 / Janne Ahlin ; [translation Kerstin Westerlund].
Basis of Claim:
New Matter: "English translation of text."
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
191 p.
Other Title:
Sigurd Lewerentz, arkitekt
Copyright Claimant:
Massachusetts Institute of Technology
Notes:
Translation of Sigurd Lewerentz, arkitekt.
Authorship on Application:
English translation of entire text: the Massachusetts Institute of Technology, employer for hire.
Names:
Janne Ahlin
Kerstin Westerlund
Massachusetts Institute of Technology (1284 documents)
example document: International trade and trade policy

Computational complexity and natural language

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002117789 / 1987-07-27
Date of Publication:
March 24, 1987
Date of Creation:
1986
Title:
Computational complexity and natural language / G. Edward Barton, Jr., Robert C. Berwick, Eric Sven Ristad.
Series:
Computational models of cognition and perception
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
335 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Barton, G. Edward, Jr.
Robert C. Berwick
Eric Sven Ristad
Massachusetts Institute of Technology (1284 documents)
example document: Studies in business-cycle theory

Production system models of learning and development

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002118050 / 1987-07-24
Date of Publication:
February 16, 1987
Date of Creation:
1986
Title:
Production system models of learning and development / edited by David Klahr, Pat Langley, and Robert Neches.
Series:
Computational models of cognition and perception
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
466 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
David Klahr (1 documents)
example document: Exploring science
Pat Langley
Robert Neches
Massachusetts Institute of Technology (1284 documents)
example document: Interactive music systems CD-ROM

Language and reality

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002118815 / 1987-07-27
Date of Publication:
March 15, 1987
Date of Creation:
1986
Title:
Language and reality : an introduction to the philosophy of language / Michael Devitt and Kim Sterelny.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
274 p.
Variant title:
Language and reality : an introduction to the philosophy of language
Copyright Claimant:
Massachusetts Institute of Technology
Authorship on Application:
Basil Blackwell, Ltd., employer for hire.
Names:
Kim Sterelny
Michael Devitt 1938-
Massachusetts Institute of Technology (1284 documents)
example document: Neural networks for vision and image processing
Basil Blackwell, Ltd.

Computational limitations of small-depth circuits

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002121475 / 1987-07-27
Date of Publication:
March 13, 1987
Date of Creation:
1986
Title:
Computational limitations of small-depth circuits / Johan Haastad.
Series:
ACM doctoral dissertation award ; 1986
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
82 p.
Other Title:
A C M doctoral dissertation award ; 1986
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Johan Torkel Haastad
Massachusetts Institute of Technology (1284 documents)
example document: Dyslexia

The Harvard Jerusalem Studio

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002121820 / 1987-07-24
Date of Publication:
December 20, 1986
Date of Creation:
1985
Title:
The Harvard Jerusalem Studio : urban designs for the Holy City / Moshe Safdie ; assistant editors, Rudy Barton, Uri Shetrit ; art editor & design Chava Mordohovich.
Imprint:
Cambridge, Mass. : MIT Press, c1986.
Description:
326 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Rudy Barton
Uri Shetrit
Chava Mordohovich
Moshe Safdie 1938-
Massachusetts Institute of Technology (1284 documents)
example document: HANDEY

Theory of deductive systems and its application

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002125400 / 1987-08-14
Date of Publication:
May 21, 1987
Date of Creation:
1986
Title:
Theory of deductive systems and its application / S. Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz.
Basis of Claim:
New Matter: "English translation."
Previous Registration:
Prev. pub. in Russian as Teoriya deduktivnykh system i yeyo primeneniya.
Imprint:
Cambridge, Mass : MIT Press, c1987.
Description:
151 p.
Other Title:
Teoriya deduktivnykh system i yeyo primeneniya
Copyright Claimant:
Massachusetts Institute of Technology
Authorship on Application:
English translation: the Massachusetts Institute of Technology, employer for hire.
Names:
Michael Gelfond
Vladimir Lifschitz (1 documents)
example document: Artificial intelligence and mathematical theory of computation
Sergei Iur'evich Maslov
S. Yu. Maslov
Massachusetts Institute of Technology (1284 documents)
example document: Dyslexia

The Harriet Lane handbook

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002130463 / 1987-08-10
Date of Publication:
June 30, 1987
Date of Creation:
1987
Title:
The Harriet Lane handbook : a manual for pediatric house officers : the Harriet Lane Service, Children's Medical and Surgical Center of the Johns Hopkins Hospital / editor, Peter C. Rowe.
Edition:
11th ed.
Basis of Claim:
New Matter: additions & revisions.
Previous Registration:
Prev. reg. 1984, TX 1-417-392.
Imprint:
Chicago : Year Book Medical Publishers, c1987.
Description:
375 p.
Variant title:
The Harriet Lane handbook : a manual for pediatric house officers
Copyright Claimant:
Year Book Medical Publishers, Inc.
Authorship on Application:
Johns Hopkins Hospital, employer for hire.
Names:
Peter C. Rowe
Year Book Medical Publishers, Inc. (426 documents)
example document: Intradiscal therapy

Copyrights records by Year Book Medical Publishers, Inc.

Johns Hopkins Hospital, Baltimore (4 documents)
example document: Occupational therapy task observation scale (OTTOS)

Copyrights records by Johns Hopkins Hospital, Baltimore

The New industrial organization

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002132200 / 1987-08-17
Date of Publication:
April 6, 1987
Date of Creation:
1986
Title:
The New industrial organization : market forces and strategic behavior / Alexis Jacquemin ; translated by Fatemeh Mehta.
Language:
Originally pub. in French as Selection et pouvoir dans la nouvelle economie industrielle.
Basis of Claim:
New Matter: "English translation."
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
217 p.
Variant title:
The New industrial organization : market forces and strategic behavior
Other Title:
Selection et pouvoir dans la nouvelle economie industrielle
Copyright Claimant:
Massachusetts Institute of Technology
Authorship on Application:
English translation: Massachusetts Institute of Technology, employer for hire.
Names:
Alexis Jacquemin
Fatemeh Mehta
Massachusetts Institute of Technology (1284 documents)
example document: The Rational consumer

What the hands reveal about the brain

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002132434 / 1987-08-17
Date of Publication:
May 30, 1987
Date of Creation:
1986
Title:
What the hands reveal about the brain / Howard Poizner, Edward S. Klima, and Ursula Bellugi.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
236 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Howard Poizner
Edward S. Klima 1931-
Ursula Bellugi 1931-
Massachusetts Institute of Technology (1284 documents)
example document: HANDEY

Asymmetries in time

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002132578 / 1987-08-14
Date of Publication:
April 18, 1987
Date of Creation:
1986
Title:
Asymmetries in time : problems in the philosophy of science / Paul Horwich.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
218 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Paul Horwich
Massachusetts Institute of Technology (1284 documents)
example document: Food for war--food for peace

Microprogrammable parallel computer

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002133480 / 1987-08-17
Date of Publication:
May 23, 1987
Date of Creation:
1986
Title:
Microprogrammable parallel computer : MUNAP and its applications / Takanobu Baba.
Series:
Computer systems series
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
290 p.
Variant title:
Microprogrammable parallel computer : MUNAP and its applications
Other Title:
Computer systems series
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Takanobu Baba 1947-
Massachusetts Institute of Technology (1284 documents)
example document: Language

Cognitive Science

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002141222 / 1987-06-19
Date of Publication:
April 17, 1987
Date of Creation:
1986
Title:
Cognitive Science : an introduction / Neil A. Stillings, Mark H. Feinstein, Jay L. Garfield ... [et al.].
Copyright Note:
C.O. correspondence.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
533 p.
Variant title:
Cognitive Science : an introduction
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Neil A. Stillings
Mark H. Feinstein
Jay L. Garfield

Copyrights records by Garfield, Jay L.

Massachusetts Institute of Technology (1284 documents)
example document: Dyslexia

Direct-drive robots

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002148030 / 1987-08-28
Date of Publication:
July 10, 1987
Date of Creation:
1986
Title:
Direct-drive robots : theory and practice / Haruhiko Asada, Kamal Youcef-Toumi.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
262 p.
Variant title:
Direct-drive robots : theory and practice
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Haruhiko Asada
Kamal Youcef-Toumi (1 documents)
example document: Robotics
Kamal Youcef Toumi (1 documents)
example document: Robotics
Massachusetts Institute of Technology (1284 documents)
example document: Heckscher-Ohlin trade theory

The Modern Dutch poster

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002167783 / 1987-07-27
Date of Publication:
February 15, 1987
Date of Creation:
1986
Title:
The Modern Dutch poster : the first fifty years, 1890-1940 / text by Marcel Franciscono ; edited by Stephen S. Prokopoff.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
156 p.
Variant title:
The Modern Dutch poster : the first fifty years, 1890-1940
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Marcel Franciscono
Stephen S. Prokopoff
Massachusetts Institute of Technology (1284 documents)
example document: The Robotics review 2

The Probabilistic revolution

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002181864 / 1987-12-03
Date of Publication:
July 23, 1987
Date of Creation:
1986
Title:
The Probabilistic revolution : v. 1, ideas in history / edited by Lorenz Krueger, Lorraine J. Daston, and Michael Heidelberger.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
449 p.
Variant title:
The Probabilistic revolution : v. 1
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Lorenz Krueger
Lorraine J. Daston
Michael Heidelberger
Massachusetts Institute of Technology (1284 documents)
example document: Cities by contract

Digital halftoning

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002188464 / 1987-12-03
Date of Publication:
July 25, 1987
Date of Creation:
1986
Title:
Digital halftoning / Robert Ulichney.
Imprint:
Cambridge, Mass. : MIT Press, c1987.
Description:
362 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Robert Ulichney
Massachusetts Institute of Technology (1284 documents)
example document: Language

Theory of recursive functions and effective computability

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002188504 / 1987-12-03
Date of Publication:
May 10, 1987
Date of Creation:
1986
Title:
Theory of recursive functions and effective computability / Hartley Rogers, Jr.
Basis of Claim:
New Matter: "preface to paperback edition."
Previous Registration:
Prev. reg. Appl. identifies 1967 ed. as preexisting material.
Imprint:
Cambridge, Mass. : MIT Press, 1987.
Description:
482 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Rogers, Hartley, Jr., 1926-
Massachusetts Institute of Technology (1284 documents)
example document: Interpretations of poetry and religion

Rodolfo Machado and Jorge Silvetti

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002670554 / 1989-10-11
Date of Publication:
August 23, 1989
Date of Creation:
1989
Title:
Rodolfo Machado and Jorge Silvetti : buildings for cities / Peter G. Rowe, editor ; with a translation into Italian.
Basis of Claim:
New Matter: "text."
Previous Registration:
Preexisting material: art.
Imprint:
Cambridge, Mass. : Harvard University Graduate School of Design, 1989.
Description:
111 p.
Variant title:
Rodolfo Machado and Jorge Silvetti : buildings for cities
Copyright Claimant:
Peter G. Rowe
Names:
Peter G. Rowe

Making a middle landscape

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003065536 / 1991-05-09
Date of Publication:
March 22, 1991
Date of Creation:
1991
Title:
Making a middle landscape / Peter G. Rowe.
Description:
1 v.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Peter G. Rowe (9 documents)
example document: Reflections on architectural practices in the nineties
Massachusetts Institute of Technology (1284 documents)
example document: A Century of D N A

Modernity and housing

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003632512 / 1993-11-29
Date of Publication:
November 8, 1993
Date of Creation:
1993
Title:
Modernity and housing / Peter G. Rowe.
Imprint:
Cambridge, MA : MIT Press, c1993.
Description:
408 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Peter G. Rowe
Massachusetts Institute of Technology (1284 documents)
example document: Pattern recognition by self-organizing neural networks

Civic realism

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004666857 / 1997-11-05
Date of Publication:
June 25, 1997
Date of Creation:
1997
Title:
Civic realism / Peter G. Rowe.
Imprint:
Cambridge, MA : MIT Press, 1997.
Description:
255 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Peter G. Rowe
Massachusetts Institute of Technology (1284 documents)
example document: Images of development

Architectural encounters with essence and form in modern China

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005572562 / 2002-07-22
Date of Publication:
May 31, 2002
Date of Creation:
2002
Title:
Architectural encounters with essence and form in modern China / Peter G. Rowe & Seng Kuan.
Imprint:
Cambridge, MA : MIT Press, c2002.
Description:
287 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Seng Kuan
Peter G. Rowe
Massachusetts Institute of Technology (1284 documents)
example document: IBM's 360 and early 370 systems

Ephemeral City

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005943197 / 2003-12-09
Date of Publication:
November 4, 2003
Date of Creation:
2003
Title:
Ephemeral City : cite looks at Houston / edited by Barrie Scardino, William F. Stern and Bruce C. Webb ; foreword by Peter G. Rowe.
Edition:
1st ed.
Basis of Claim:
New Matter: compilation of essays, pt. introd., foreword & pref.
Previous Registration:
Essays & photos preexisting.
Copyright Note:
C.O. correspondence.
Imprint:
Austin : University of Texas Press, c2003.
Description:
315 p.
Variant title:
Ephemeral City : cite looks at Houston
Copyright Claimant:
Rice Design Alliance
Names:
Barrie Scardino
William F. Stern
Bruce C. Webb
Peter G. Rowe
Rice Design Alliance

Khronos

Type of Work:
Machine-readable work or computer program
Registration Number / Date:
TXu001061516 / 2002-08-23
Date of Creation:
2002
Title:
Khronos.
Application Title:
Time and motion.
Description:
2 CD-ROMs.
Copyright Claimant:
Peter Rene Rowe, 1961-
Notes:
Printout also deposited.
Names:
Peter Rene Rowe 1961-
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.