Guidelines for developing a comprehensive workplace safety program, Mechanizing proof theory



Mechanizing proof theory

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003118835 / 1991-07-12
Date of Publication:
February 15, 1991
Date of Creation:
1990
Date in Notice:
notice: 1990
Title:
Mechanizing proof theory : resource-aware logics and ... / Gianluigi Bellin.
Description:
microfiche.
Copyright Claimant:
Gianluigi Bellin
Names:
Gianluigi Bellin 1947-

Guidelines for developing a comprehensive workplace safety program

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004018401 / 1995-01-24
Date of Publication:
November 29, 1994
Date of Creation:
1994
Title:
Guidelines for developing a comprehensive workplace safety program.
Basis of Claim:
New Matter: text, compilation, editing.
Copyright Note:
C.O. correspondence.
Description:
1 v.
Copyright Claimant:
Donald A. MacKenzie, 1935-
Names:
Donald A. MacKenzie 1935-

Mechanizing proof

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005811666 / 2002-06-11
Date of Publication:
October 19, 2001
Date of Creation:
2001
Title:
Mechanizing proof : computing, risk, and trust / Donald MacKenzie.
Basis of Claim:
New Matter: revisions & additions.
Series:
Inside technology
Imprint:
Cambridge, MA : MIT Press, c2001.
Description:
427 p.
Number of similar titles:
1
Other Title:
Inside technology
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Donald MacKenzie (36 documents)
example document: A Savage state of grace

Copyrights records by MacKenzie, Donald

Massachusetts Institute of Technology (3583 documents)
example document: Ancient Greek

Copyrights records by Massachusetts Institute of Technology

Going alone

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005821104 / 2002-10-03
Date of Publication:
September 6, 2002
Date of Creation:
2002
Title:
Going alone : the case for relaxed reciprocity in freeing trade / edited by Jagdish Bhagwati.
Basis of Claim:
New Matter: compilation, editing & some text.
Previous Registration:
Preexisting material: essays presented at a conference held in Washington, DC on October 24-25, 1997.
Imprint:
Cambridge, MA : MIT Press, c2002.
Description:
586 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Jagdish Bhagwati (26 documents)
example document: International trade

Copyrights records by Bhagwati, Jagdish

Massachusetts Institute of Technology (3583 documents)
example document: International taxation in an integrated world

Workflow management

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005821200 / 2002-07-10
Date of Publication:
February 15, 2002
Date of Creation:
2002
Title:
Workflow management : models, methods, and systems / Wil VanDerAalst and Kees VanHee.
Basis of Claim:
New Matter: translation and additions.
Imprint:
Cambridge, MA : MIT Press, c2002.
Description:
368 p.
Number of similar titles:
1
Variant title:
Workflow management : models, methods, and systems
Copyright Claimant:
Massachusetts Institute of Technology (Cambridge, MA)
Names:
Wil VanDerAalst
Kees VanHee
Wil Va DerAalst
Kees Va Hee
Wil VanDe Aalst
Massachusetts Institute of Technology (Cambridge, MA)

Czech photographic avant-garde

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005823837 / 2003-06-19
Date of Publication:
July 25, 2002
Date of Creation:
2002
Title:
Czech photographic avant-garde : 1918-1948 : concept and selection of photographs / Vladimir Birgus ; texts Vladimir Birgus, Pierre Bonhomme, Antonin Dufek ... [et al.]
Basis of Claim:
New Matter: translation to English.
Copyright Note:
C.O. correspondence.
Imprint:
Cambridge, MA : MIT Press, c2002.
Description:
311 p.
Variant title:
Czech photographic avant-garde : 1918-1948
Other Title:
Ceska fotograficka avantgarda, 1918-1948
Copyright Claimant:
Massachusetts Institute of Technology
Notes:
Originally pub. under ti.: Ceska fotograficka avantgarda, 1918-1948.
Authorship on Application:
translation: KANT, employer for hire.
Names:
Vladimir Birgus
Pierre Bonhomme
Antonin Dufek
Massachusetts Institute of Technology (3583 documents)
example document: The Last Puritan
KANT

Where the action is

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005852985 / 2002-04-12
Date of Publication:
September 28, 2001
Date of Creation:
2001
Title:
Where the action is : the foundations of embodied interaction / Paul Dourish.
Basis of Claim:
New Matter: text.
Previous Registration:
Preexisting material: photos by others.
Copyright Note:
C.O. correspondence.
Imprint:
Cambridge, MA : MIT Press, c2001.
Description:
233 p.
Number of similar titles:
60
Similar Title:
Where the action is
Variant title:
Where the action is : the foundations of embodied interaction
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Paul Dourish
Massachusetts Institute of Technology (3583 documents)
example document: Secrets of nature

The cognition of basic musical structures

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005852986 / 2002-06-18
Date of Publication:
December 14, 2001
Date of Creation:
2001
Title:
The cognition of basic musical structures / David Temperley.
Basis of Claim:
New Matter: text.
Previous Registration:
Preexisting material: music by others.
Copyright Note:
C.O. correspondence.
Imprint:
Cambridge, MA : MIT Press, c2001.
Description:
404 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
David Temperley

Copyrights records by Temperley, David

Massachusetts Institute of Technology (3583 documents)
example document: The analogical mind

ISIS programming language

Type of Work:
Machine-readable work or computer program
Registration Number / Date:
TX0005853615 / 2003-10-29
Date of Publication:
February 1, 1996
Date of Creation:
1996
Title:
ISIS programming language.
Description:
Computer program.
Copyright Claimant:
Massachusetts Institute of Technology & Media Lab Europe
Notes:
Printout only deposited.
Names:
Massachusetts Institute of Technology (3583 documents)
example document: Looking into pictures
Media Lab Europe

The intact and sliced brain

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005892997 / 2002-06-11
Date of Publication:
October 19, 2001
Date of Creation:
2001
Title:
The intact and sliced brain / Mircea Steriade.
Basis of Claim:
New Matter: additional text & ill. & compilation.
Copyright Note:
C.O. correspondence.
Imprint:
Cambridge, MA : MIT Press, c2001.
Description:
366 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Mircea Steriade (2 documents)
example document: Thalamic oscillations and signaling
Massachusetts Institute of Technology (3583 documents)
example document: Neurocomputing

The glass state

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005956231 / 2004-05-07
Date of Publication:
April 12, 2003
Date of Creation:
2003
Title:
The glass state : the technology of the spectacle : Paris, 1981-1998 / Annette Fierro.
Previous Registration:
Some photos & ill. by other authors.
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
320 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Annette Fierro
Massachusetts Institute of Technology (3583 documents)
example document: Long-term potentiation

Vitruvius

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005958817 / 2004-05-07
Date of Publication:
April 14, 2003
Date of Creation:
2003
Title:
Vitruvius : writing the body of architecture / Indra Kagis McEwen.
Previous Registration:
Some material from other sources.
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
493 p.
Variant title:
Vitruvius : writing the body of architecture
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Indra Kagis McEwen (2 documents)
example document: Paper palaces

Copyrights records by McEwen, Indra Kagis

Massachusetts Institute of Technology (3583 documents)
example document: Unemployment and macroeconomics

Bringing society back in

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005958818 / 2004-03-07
Date of Publication:
March 20, 2003
Date of Creation:
2003
Title:
Bringing society back in : grassroots ecosystem management, accountability and sustainable communities / Edward P. Weber.
Series:
American and comparative environmental policy
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
317 p.
Variant title:
Bringing society back in : grassroots ecosystem management, accountability and sustainable communities
Other Title:
American and comparative environmental policy
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Edward P. Weber
Massachusetts Institute of Technology (3583 documents)
example document: The role of annuity markets in financing retirement

Language in mind

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005958819 / 2004-03-07
Date of Publication:
April 24, 2003
Date of Creation:
2003
Title:
Language in mind : advances in the study of language and thought / edited by Dedre Gentner and Susan Goldin-Meadow.
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
528 p.
Variant title:
Language in mind : advances in the study of language and thought
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Dedre Gentner (1 documents)
example document: The analogical mind
Susan Goldin-Meadow
Susan Goldin Meadow
Massachusetts Institute of Technology (3583 documents)
example document: Exploration and contestation in the study of world politics

The enterprise of science in Islam

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005958820 / 2004-05-07
Date of Publication:
May 1, 2003
Date of Creation:
2003
Title:
The enterprise of science in Islam : new perspectives / edited by Jan P. Hogendijk and Abdelhamid I. Sabra.
Series:
Dibner Institute for the history of science and technology
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
386 p.
Variant title:
The enterprise of science in Islam : new perspectives
Other Title:
Dibner Institute for the history of science and technology
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Jan P. Hogendijk
Abdelhamid I. Sabra
Massachusetts Institute of Technology (3583 documents)
example document: Long-term potentiation

Emotions in humans and artifacts

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005958825 / 2004-05-07
Date of Publication:
May 14, 2002
Date of Creation:
2002
Title:
Emotions in humans and artifacts / edited by Robert Trappl, Paolo Petta and Sabine Payr.
Imprint:
Cambridge, MA : MIT Press, c2002.
Description:
390 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Robert Trappl (11 documents)
example document: Progress in cybernetics and systems research

Copyrights records by Trappl, Robert

Paolo Petta
Sabine Payr
Massachusetts Institute of Technology (3583 documents)
example document: ARACC

Affinity, that elusive dream

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005958843 / 2004-05-07
Date of Publication:
March 26, 2003
Date of Creation:
2003
Title:
Affinity, that elusive dream : a genealogy of the chemical revolution / Mi Gyung Kim.
Series:
Transformations. Studies in the history of science and technology
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
267 p.
Variant title:
Affinity, that elusive dream : a genealogy of the chemical revolution
Other Title:
Transformations : Studies in the history of science and technology
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Mi Gyung Kim
Massachusetts Institute of Technology (3583 documents)
example document: The Soviet Union and S A L T

Abel's proof

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005960172 / 2004-05-18
Date of Publication:
May 16, 2003
Date of Creation:
2003
Title:
Abel's proof : an essay on the sources and meaning of mathematical unsolvability / Peter Pesic.
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
213 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Peter Pesic

Copyrights records by Pesic, Peter

Massachusetts Institute of Technology (3583 documents)
example document: Market structure and foreign trade

The economics of transition

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005960540 / 2004-05-18
Date of Publication:
May 23, 2003
Date of Creation:
2003
Title:
The economics of transition / edited by Yegor Gaidar.
Application Title:
The economics of Russian transition.
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
1030 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Yegor Gaidar (3 documents)
example document: Days of defeat and victory

Copyrights records by Gaidar, Yegor

Massachusetts Institute of Technology (3583 documents)
example document: Restoring the American dream

Artificial love

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005960553 / 2004-05-18
Date of Publication:
June 6, 2003
Date of Creation:
2003
Title:
Artificial love : a story of machines and architecture / Paul Shepheard.
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
296 p.
Number of similar titles:
12
Similar Title:
Artificial love
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Paul Shepheard

Copyrights records by Shepheard, Paul

Massachusetts Institute of Technology (3583 documents)
example document: Communication complexity

New essays on semantic externalism and self-knowledge

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005960554 / 2004-05-18
Date of Publication:
May 30, 2003
Date of Creation:
2003
Title:
New essays on semantic externalism and self-knowledge / edited by Susana Nuccetelli.
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
317 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Susana Nuccetelli
Massachusetts Institute of Technology (3583 documents)
example document: Becoming animal

Democracy's dilemma

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005961505 / 2004-05-18
Date of Publication:
May 16, 2003
Date of Creation:
2003
Title:
Democracy's dilemma : environment, social equity, and the global economy / Robert C. Paehlke.
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
306 p.
Number of similar titles:
1
Similar Title:
Democracy's dilemma; the totalitarian party in a free society. By Benjamin E. Lippincott
Variant title:
Democracy's dilemma : environment, social equity, and the global economy
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Robert C. Paehlke (2 documents)
example document: Conservation and environmentalism
Massachusetts Institute of Technology (3583 documents)
example document: Dollar and yen

Computational developmental psychology

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005962037 / 2004-05-18
Date of Publication:
May 9, 2003
Date of Creation:
2003
Title:
Computational developmental psychology / Thomas R. Shultz.
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
322 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Thomas R. Shultz
Massachusetts Institute of Technology (3583 documents)
example document: Reasoning about rational agents

A history of modern computing

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005963728 / 2004-05-18
Date of Publication:
April 25, 2003
Date of Creation:
2003
Title:
A history of modern computing / Paul E. Ceruzzi.
Edition:
2nd ed.
Basis of Claim:
New Matter: revisions & additions.
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
445 p.
Number of similar titles:
2
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Paul E. Ceruzzi

Copyrights records by Ceruzzi, Paul E.

Massachusetts Institute of Technology (3583 documents)
example document: The calculating machines = Die Rechenmaschinen

Biomedical platforms

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005968912 / 2004-06-01
Date of Publication:
September 26, 2003
Date of Creation:
2003
Title:
Biomedical platforms : realigning the normal and the pathological in late-twentieth-century medicine / Peter Keating and Alberto Cambrosio.
Series:
Inside technology
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
544 p.
Other Title:
Inside technology
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Peter Keating 1953-
Alberto Cambrosio 1950-
Massachusetts Institute of Technology (3583 documents)
example document: Architecture from without

Everyday engineering

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005975993 / 2004-05-18
Date of Publication:
May 2, 2003
Date of Creation:
2003
Title:
Everyday engineering : an ethnography of design and innovation / edited by Dominique Vinck.
Basis of Claim:
New Matter: English translation.
Series:
Inside technology
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
247 p.
Other Title:
Inside technology
Ingenieurs au quotidien : ethnographie de l'activite de conception et d'innovation
Copyright Claimant:
Massachusetts Institute of Technology
Notes:
Originally appeared as Ingenieurs au quotidien : ethnographie de l'activite de conception et d'innovation.
Names:
Dominique Vinck
Massachusetts Institute of Technology (3583 documents)
example document: Indirect perception

How users matter

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005996759 / 2004-06-28
Date of Publication:
October 31, 2003
Date of Creation:
2003
Title:
How users matter : the co-construction of users and technology / edited by Nelly Oudshoorn and Trevor Pinch.
Series:
Inside technology
Imprint:
Cambridge, MA : MIT Press, c2003.
Description:
340 p.
Other Title:
Inside technology
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Nelly Oudshoorn
Trevor Pinch (7 documents)
example document: Handbook of science and technology studies

Copyrights records by Pinch, Trevor

Massachusetts Institute of Technology (3583 documents)
example document: Approximation and weak convergence methods for random processes, with applications to stochastic systems theory

Digitizing the news

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006004955 / 2004-07-26
Date of Publication:
April 2, 2004
Date of Creation:
2004
Title:
Digitizing the news : innovation in online newspapers / Pablo J. Boczkowski.
Series:
Inside technology
Imprint:
Cambridge, MA : MIT Press, c2004.
Description:
243 p.
Other Title:
Inside technology
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Pablo J. Boczkowski
Massachusetts Institute of Technology (3583 documents)
example document: Parallel programming using C++

An engine, not a camera

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006420000 / 2006-08-11
Date of Publication:
May 26, 2006
Date of Creation:
2006
Title:
An engine, not a camera : how financial models shape markets.
Basis of Claim:
New Matter: compilation, text, index & some ill.
Previous Registration:
Graphs and some ill. preexisting.
Copyright Note:
Cataloged from appl. only.
Copyright Claimant:
Massachusetts Institute of Technology
Authorship on Application:
Donald MacKenzie.
Names:
Donald MacKenzie (36 documents)
example document: Such men are dangerous. By Donald MacKenzie
Massachusetts Institute of Technology (3583 documents)
example document: The digital divide

Libertad

Type of Work:
Art work
Registration Number / Date:
VAu000485308 / 2000-03-06
Date of Creation:
2000
Title:
Libertad.
Description:
Art original.
Copyright Claimant:
Donald A. MacKenzie, 1935-
Notes:
Flag design.
Names:
Donald A. MacKenzie 1935-
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.