Verification of attention-deficit/hyperactivity disorder characteristics according to the DSM-IV criteria using the work, home, and self-report versions of the adult attention deficit disorders evaluation scale



Verification of sequential and concurrent programs

Document number:
V3505D372
Date of Recordation:
December 3, 2003
Entire Copyright Document:
V3505 D364-397 P1-641
Registration Number Not Verified:
TX 4-564-208.
Title:
Verification of sequential and concurrent programs / By Krzysztof R. Apt. & Ernst-Rudiger Olderberg. TX 4-564-208.
Title appears in Document:
Marine biotechnology, vol. 1, no. 1, Jan./Feb. 1999 & 6845 other titles. (Part 008 of 033)

Verification of sequential and concurrent programs

Document number:
V3505D378
Date of Recordation:
December 3, 2003
Entire Copyright Document:
V3505 D364-397 P1-641
Registration Number Not Verified:
TX 3-118-763.
Title:
Verification of sequential and concurrent programs / By Krzysztof R. Apt & Ernst-Ruediger Olderberg. TX 3-118-763.
Title appears in Document:
Marine biotechnology, vol. 1, no. 1, Jan./Feb. 1999 & 6845 other titles. (Part 014 of 033)

Verification suite 2.2.0

Document number:
V3433D196
Date of Recordation:
April 15, 1999
Entire Copyright Document:
V3433 D196 P1-9
Title:
Verification suite 2.2.0.
Title appears in Document:
Image capture suite 2.2.0 & 1 other title.

Verification of the career maturity inventory attitude scale for use with Oregon twelfth ...

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000246969 / 1979-03-28
Date of Publication:
December 15, 1978
Date of Creation:
1978
Title:
Verification of the career maturity inventory attitude scale for use with Oregon twelfth ... / Sonya L. McDowell.
Imprint:
Ann Arbor : University Microfilms International, 1978.
Description:
Microfiche.
Copyright Claimant:
Sonya Lea McDowell
Notes:
Order no. 78-22130.
Names:
Sonya Lea McDowell 1940-

Verification and qualification of TMRPIPE computer program

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000276357 / 1979-06-26
Date of Publication:
February 21, 1979
Date of Creation:
1979
Title:
Verification and qualification of TMRPIPE computer program / prepared by P. P. Raju, A. G. Beardsley, P. T. Rahme, J. H. Baker.
Imprint:
Waltham, Mass. : Teledyne Engineering Services, 1979.
Description:
131 p.
Copyright Claimant:
Teledyne Engineering Services
Authorship on Application:
Teledyne Engineering Services, employer for hire.
Names:
P. P. Raju
A. G. Beardsley
P. T. Rahme
J. H. Baker
Teledyne Engineering Services

Verification of encapsulated implementations of algebraically specified data types

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000462338 / 1979-12-28
Date of Publication:
December 14, 1979
Date of Creation:
1979
Title:
Verification of encapsulated implementations of algebraically specified data types / Patrick K. Orr.
Copyright Note:
C.O. correspondence.
Imprint:
Ann Arbor : University Microfilms International, 1979.
Description:
Microfiche.
Copyright Claimant:
Patrick Kirkpatrick Orr
Notes:
Order no. 79-26942.
Names:
Patrick Kirkpatrick Orr 1949-

Verification sheet

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000538147 / 1979-10-10
Date of Publication:
January 5, 1978
Date of Creation:
1978
Title:
Verification sheet.
Application Title:
Verification sheet-letter.
Copyright Note:
C.O. correspondence.
Imprint:
LosAngeles : Group Legal Services, c1978.
Description:
2 p.
Copyright Claimant:
Robert E. Canny & Blair B. Melvin
Copyright Notice:
notice: A W S, Inc.
Authorship on Application:
Robert E. Canny & Blair B. Melvin.
Names:
Robert E. Canny 1936-
Blair B. Melvin 1935-
AWS, Inc.

Verification of timing constraints on large digital systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000611471 / 1981-01-09
Date of Publication:
November 14, 1980
Date of Creation:
1980
Title:
Verification of timing constraints on large digital systems / Thomas M. McWilliams.
Copyright Note:
Special relief granted under 202.20(d) of the C.O. regulations
Imprint:
Ann Arbor : University Microfilms International, 1980.
Description:
Microfiche.
Copyright Claimant:
Thomas Melvin McWilliams
Notes:
Order no. 80-24710.
Names:
Thomas Melvin McWilliams 1952-

Verification and S A L T

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000635874 / 1980-11-17
Date of Publication:
March 7, 1979
Date of Creation:
1979
Title:
Verification and S A L T : the state of the art and the art of the state / Amrom H. Katz.
Copyright Note:
C.O. correspondence.
Series:
Critical issues, ISSN 0363-6283
Imprint:
Washington, D. C. : The Foundation, c1979.
Description:
45 p.
Variant title:
Verification and S A L T : the state of the art and the art of the state
Other Title:
Critical issues, ISSN 0363-6283
Copyright Claimant:
The Heritage Foundation
Authorship on Application:
The Heritage Foundation, employer for hire of Amrom H. Katz.
Names:
Amrom H. Katz
Heritage Foundation (11 documents)
example document: China and the abrogation of treaties

Copyrights records by Heritage Foundation

Verification connector (03097-67908) operating and service manual

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000674098 / 1981-03-03
Date of Publication:
January 1, 1981
Date of Creation:
1980
Title:
Verification connector (03097-67908) operating and service manual.
Application Title:
Model 3497A verification connector operating and service manual.
Copyright Note:
C.O. correspondence.
Copyright Claimant:
Hewlett-Packard Company
Authorship on Application:
Hewlett-Packard Company, employer for Conrad R. Proft "work for hire."
Names:
Conrad R. Proft
Hewlett-Packard Company (440 documents)
example document: 7240A plotter/printer

Copyrights records by Hewlett-Packard Company

Verification of concurrency control algorithms for distributed ...

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0000952552 / 1982-08-10
Date of Publication:
July 15, 1982
Date of Creation:
1981
Title:
Verification of concurrency control algorithms for distributed ... / Cecil Tren-min Hua.
Description:
Microfiche.
Copyright Claimant:
Cecil Tren-min Hua
Names:
Cecil Tren-min Hua 1954-

Verification of communications protocols and abstract process ...

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001063057 / 1983-02-16
Date of Publication:
January 14, 1983
Date of Creation:
1982
Date in Notice:
notice: 1982
Title:
Verification of communications protocols and abstract process ... / Benedetto Lorenzo DiVito.
Imprint:
Ann Arbor : University Microfilms International, 1982 [i.e. 1983]
Description:
Microfiche.
Copyright Claimant:
Benedetto Lorenzo DiVito
Names:
Benedetto Lorenzo DiVito 1951-

Verification of economics and marketing competencies as ... Philip Apel Weatherford

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001250935 / 1983-12-07
Date of Publication:
August 15, 1983
Date of Creation:
1983
Title:
Verification of economics and marketing competencies as ... Philip Apel Weatherford.
Imprint:
Ann Arbor : University Microfilms International, 1983.
Description:
Microfiche.
Variant title:
Verification of economics and marketing competencies as ...
Copyright Claimant:
Philip Apel Weatherford
Names:
Philip Apel Weatherford 1930-

Verification of hardware design correctness

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001330203 / 1984-04-16
Date of Publication:
November 15, 1983
Date of Creation:
1983
Title:
Verification of hardware design correctness : symbolic execution ... / Warren Eugene Cory.
Imprint:
Ann Arbor : University Microfilms International, 1983.
Description:
Microfiche.
Variant title:
Verification of hardware design correctness : symbolic execution ...
Copyright Claimant:
Warren Eugene Cory
Names:
Warren Eugene Cory 1953-

Verification of internal dose calculations

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001355186 / 1984-05-23
Date of Publication:
December 15, 1983
Date of Creation:
1983
Title:
Verification of internal dose calculations / Abdelmadjid Aissi.
Imprint:
Ann Arbor : University Microfilms International, 1983.
Description:
Microfiche.
Copyright Claimant:
Abdelmadjid Aissi
Names:
Abdelmadjid Aissi 1952-

Verification of DNA predicted protein sequences by enzyme hydrolysis ...

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001367197 / 1984-06-11
Date of Publication:
February 15, 1984
Date of Creation:
1983
Date in Notice:
notice: 1983
Title:
Verification of DNA predicted protein sequences by enzyme hydrolysis ... / Carl Frederic Beckner.
Imprint:
Ann Arbor : University Microfilms International, 1984.
Description:
Microfiche.
Copyright Claimant:
Carl Frederic Beckner
Names:
Carl Frederic Beckner 1955-

Verification software

Type of Work:
Machine-readable work or computer program
Registration Number / Date:
TX0001534254 / 1985-01-31
Date of Publication:
October 15, 1984
Date of Creation:
1984
Title:
Verification software.
Copyright Note:
C.O. correspondence.
Description:
Printout.
Copyright Claimant:
R C A Corporation
Names:
RCA Corporation

Copyrights records by RCA Corporation

Verification of hierarchically structured V L S I systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001554710 / 1985-04-10
Date of Publication:
January 15, 1985
Date of Creation:
1984
Date in Notice:
notice: 1984
Title:
Verification of hierarchically structured V L S I systems / Hossein Modarres.
Imprint:
Ann Arbor : University Microfilms International, 1985.
Description:
Microfiche.
Copyright Claimant:
Hossein Modarres
Names:
Hossein Modarres 1954-

Verification of communication in distributed software systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001847879 / 1986-07-07
Date of Publication:
May 15, 1986
Date of Creation:
1985
Date in Notice:
notice: 1985
Title:
Verification of communication in distributed software systems / Ruenn-sheng Wang.
Imprint:
Ann Arbor : University Microfilms International, 1986.
Description:
microfiche.
Copyright Claimant:
Ruenn-sheng Wang
Names:
Ruenn-sheng Wang 1954-

Verification

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001850889 / 1986-07-07
Date of Publication:
June 6, 1986
Date of Creation:
1986
Date in Notice:
notice: 1985
Title:
Verification : how much is enough? / Allan S. Krass.
Imprint:
Lexington, Mass. : Lexington Books, c1985.
Description:
271 p.
Variant title:
Verification : how much is enough?
Copyright Claimant:
Stockholm International Peace Research Institute
Authorship on Application:
Stockholm International Peace Research Institute, employer for hire.
Names:
Allan S. Krass
Stockholm International Peace Research Institute
SIPRI.

Verification

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001872623 / 1986-08-05
Date of Publication:
July 15, 1986
Date of Creation:
1985
Date in Notice:
notice: 1985
Title:
Verification : S A L T II's sine qua non or nemesis? / Archer Evans Lackey.
Imprint:
Ann Arbor : University Microfilms International, 1986.
Description:
microfiche.
Variant title:
Verification : S A L T II's sine qua non or nemesis?
Copyright Claimant:
Archer Evans Lackey
Names:
Archer Evans Lackey 1916-

Verification, distribution, demography, and causality of ...

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002082434 / 1987-06-05
Date of Publication:
March 13, 1987
Date of Creation:
1986
Title:
Verification, distribution, demography, and causality of ... / William Joseph Waugh.
Imprint:
Ann Arbor : University Microfilms International, 1987.
Description:
microfiche.
Copyright Claimant:
William Joseph Waugh
Names:
William Joseph Waugh 1956-

Verification and translation of distributed computing system ...

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002181517 / 1987-11-16
Date of Publication:
July 15, 1987
Date of Creation:
1986
Title:
Verification and translation of distributed computing system ... / Jenn-nan Chen.
Imprint:
Ann Arbor : University Microfilms International, 1987.
Description:
microfiche.
Copyright Claimant:
Jenn-nan Chen
Names:
Jenn-nan Chen 1949-

Verification script

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002779904 / 1990-03-15
Date of Publication:
August 25, 1989
Date of Creation:
1989
Title:
Verification script : (version 2.2)
Description:
3 p.
Copyright Claimant:
Commercial Dynamics, Inc.
Names:
Commercial Dynamics, Inc.

Verification of three-dimensional model parameters from ...

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002783870 / 1990-02-22
Date of Publication:
October 16, 1989
Date of Creation:
1989
Title:
Verification of three-dimensional model parameters from ... / Robert Raphael Goldberg.
Description:
microfiche.
Copyright Claimant:
Robert Raphael Goldberg
Names:
Robert Raphael Goldberg 1965-

Verification of enhanced sintering concepts using iron compacts alloyed ...

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002784360 / 1990-04-02
Date of Publication:
November 15, 1989
Date of Creation:
1988
Date in Notice:
notice: 1988
Title:
Verification of enhanced sintering concepts using iron compacts alloyed ... / Deepak S. Madan.
Imprint:
Ann Arbor : University Microfilms International, 1989.
Description:
microfiche.
Copyright Claimant:
Deepak S. Madan
Names:
Deepak S. Madan 1959-

Verification of Meta-Lax stress relief

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002809277 / 1990-04-23
Date of Publication:
April 18, 1990
Date of Creation:
1990
Title:
Verification of Meta-Lax stress relief.
Description:
2 p.
Copyright Claimant:
Bonal Technologies, Inc.
Names:
Bonal Technologies, Inc. (66 documents)
example document: Confidential analysis of the real cost of stress relief at average fab shop

Copyrights records by Bonal Technologies, Inc.

Verification of sequential and concurrent programs

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003118763 / 1991-07-19
Date of Publication:
July 9, 1991
Date of Creation:
1991
Title:
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Ruediger Olderog.
Series:
Texts and monographs in computer science
Description:
1 v.
Copyright Claimant:
Springer-Verlag New York
Names:
Ernst-Ruediger Olderog
Krzysztof R. Apt 1949-
Springer-Verlag New York, Inc. (1785 documents)
example document: Learning disabilities

Copyrights records by Springer-Verlag New York, Inc.

Verification of shrinkage/warpage predicting software

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003189002 / 1991-10-23
Date of Publication:
September 16, 1991
Date of Creation:
1991
Title:
Verification of shrinkage/warpage predicting software / Wililam Robert DiScipio, Jr.
Description:
microfiche.
Copyright Claimant:
William Robert DiScipio, Jr.
Names:
DiScipio, William Robert, Jr.

Verification

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003294974 / 1992-04-21
Date of Publication:
March 16, 1992
Date of Creation:
1992
Title:
Verification : the key to arms control in the 1990s / edited by John G. Tower, James Brown and William K. Cheek.
Copyright Claimant:
Brassey's (US), Inc.
Authorship on Application:
Brassey's (US), Inc., employer for hire.
Names:
John G. Tower
William K. Cheek
James Brown 1934-
Brassey's (US), Inc. (11 documents)
example document: International military & defense encyclopedia

Copyrights records by Brassey's (US), Inc.

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.