Verification and modeling of mass transfer in single and multi-element nanofiltration arrays for pilot and full-scale operation



Verificationism reconsidered

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003523981 / 1993-02-16
Date of Publication:
December 15, 1992
Date of Creation:
1992
Title:
Verificationism reconsidered.
Description:
Microfiche.
Copyright Claimant:
Ann Owens Forster, 1961-
Names:
Ann Owens Forster 1961-

Verification and validation of complex systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003887070 / 1994-09-06
Date of Publication:
June 1, 1993
Date of Creation:
1993
Title:
Verification and validation of complex systems : additional human factors issues / edited by John A. Wise, V. David Hopkin, Paul Stager.
Basis of Claim:
New Matter: compilation, revisions & additions.
Imprint:
Daytona Beach, FL : Embry-Riddle Aeronautical University Press, c1993.
Description:
229 p.
Copyright Claimant:
Embry-Riddle Aeronautical University Press
Names:
Paul Stager
V. David Hopkin
John A. Wise
Embry-Riddle Aeronautical University Press

Verification 1994

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003939530 / 1994-09-29
Date of Publication:
July 13, 1994
Date of Creation:
1994
Title:
Verification 1994 : arms control, peacekeeping and the environment / edited by J. B. Poole and R. Guthrie.
Edition:
1st English ed.
Copyright Note:
C.O. correspondence.
Imprint:
London : Brassey's (UK), 1994.
Description:
340 p.
Variant title:
Verification 1994 : arms control, peacekeeping and the environment
Copyright Claimant:
Verification Technology Information Centre (Vertic)
Names:
R. Guthrie

Copyrights records by Guthrie, R.

J. B. Poole

Copyrights records by Poole, J. B.

Vertic
Verification Technology Information Centre

Verification of the number of factors in the MMPI-A with adolescent females

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004107535 / 1995-09-07
Date of Publication:
March 15, 1995
Date of Creation:
1994
Title:
Verification of the number of factors in the MMPI-A with adolescent females.
Description:
Microfiche.
Copyright Claimant:
Kristina M. Kays, 1965-
Names:
Kristina M. Kays 1965-

Verification of geotechnical grouting

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004122335 / 1995-10-18
Date of Publication:
October 1, 1995
Date of Creation:
1995
Title:
Verification of geotechnical grouting / edited by Michael J. Byle and Roy H. Borden.
Series:
Geotechnical special publication ;
Imprint:
New York : The Society, c1995.
Description:
177 p.
Other Title:
Geotechnical special publication ; no. 57
Copyright Claimant:
American Society of Civil Engineers (employer for hire)
Names:
Roy H. Borden

Copyrights records by Borden, Roy H.

Michael J. Byle
American Society of Civil Engineers (1144 documents)
example document: Advancements in aerodynamics, fluid mechanics, and hydraulics

Copyrights records by American Society of Civil Engineers

Verification of attention-deficit/hyperactivity disorder characteristics according to the DSM-IV criteria

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004142897 / 1995-09-29
Date of Publication:
September 21, 1995
Date of Creation:
1995
Title:
Verification of attention-deficit/hyperactivity disorder characteristics according to the DSM-IV criteria.
Application Title:
ECADDES/DSM-IV form.
Description:
2 p.
Number of similar titles:
2
Copyright Claimant:
Hawthorne Educational Services
Authorship on Application:
text: Stephen B. McCarney, 1948-.
Names:
Stephen B. McCarney 1948-
Hawthorne Educational Services (144 documents)
example document: Attention deficit disorders evaluation scale

Copyrights records by Hawthorne Educational Services

Verification

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004197188 / 1995-12-08
Date of Publication:
February 13, 1995
Date of Creation:
1995
Title:
Verification : course 3.
Application Title:
Hazard analysis and critical control point (HAACP) (course 3 slide presentation)
Description:
Sheets.
Number of similar titles:
80
Similar Title:
Verification and arms control
Variant title:
Verification : course 3
Other Title:
Hazard analysis and critical control point (HAACP) (course 3 slide presentation)
Copyright Claimant:
Technical Food Information Spectrum, Inc.
Names:
Technical Food Information Spectrum, Inc.

Verification of controllers for incompletely-known chemical plants

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004372655 / 1996-07-26
Date of Publication:
June 20, 1996
Date of Creation:
1995
Title:
Verification of controllers for incompletely-known chemical plants.
Description:
Microfiche.
Copyright Claimant:
Evangelia Gazi
Names:
Evangelia Gazi

Verification of sequential and concurrent programs

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004564208 / 1997-06-13
Date of Publication:
May 13, 1997
Date of Creation:
1997
Title:
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rudiger Olderog.
Edition:
2nd ed.
Basis of Claim:
New Matter: revision of material, and editorial changes.
Previous Registration:
Prev. reg.
Series:
Graduate texts in computer science
Imprint:
New York : Springer, c1997.
Description:
364 p.
Number of similar titles:
3
Copyright Claimant:
Springer-Verlag New York, Inc.
Names:
Ernst-Rudiger Olderog
Krzysztof R. Apt
Springer-Verlag New York, Inc. (1557 documents)
example document: Leukocyte typing II

Copyrights records by Springer-Verlag New York, Inc.

Verification of parallel discrete-event simulation engines

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004670607 / 1998-03-25
Date of Publication:
October 25, 1997
Date of Creation:
1997
Title:
Verification of parallel discrete-event simulation engines.
Description:
Microfiche.
Copyright Claimant:
Matthew Todd Presley
Names:
Matthew Todd Presley

Verification of combinational circuits using conjunctively decomposed implications

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004693501 / 1998-05-21
Date of Publication:
March 2, 1998
Date of Creation:
1997
Title:
Verification of combinational circuits using conjunctively decomposed implications.
Description:
Microfiche.
Copyright Claimant:
Hyongkyoon Shin
Names:
Hyongkyoon Shin

Verification of coverage

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004791553 / 1998-06-02
Date of Publication:
February 28, 1998
Date of Creation:
1998
Title:
Verification of coverage.
Application Title:
GRPMINIVOC.
Description:
2 p.
Copyright Claimant:
the Medical Escrow Society, Inc.
Names:
Medical Escrow Society, Inc.

Copyrights records by Medical Escrow Society, Inc.

Verification and validation in computational science and engineering

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004847632 / 1998-09-09
Date of Publication:
July 8, 1998
Date of Creation:
1998
Title:
Verification and validation in computational science and engineering / by Patrick J. Roache.
Imprint:
Albuquerque : Hermosa Publishers, c1998.
Description:
446 p.
Copyright Claimant:
Patrick J. Roache, 1938-
Names:
Patrick J. Roache 1938-

Verification 1993

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004855667 / 1994-08-15
Date of Publication:
October 15, 1993
Date of Creation:
1993
Title:
Verification 1993 : peacekeeping, arms control and the environment / edited by J. B. Poole and R. Guthrie.
Edition:
1st English ed.
Copyright Note:
C.O. correspondence.
Imprint:
London : Brassey's (UK), 1993.
Description:
340 p.
Variant title:
Verification 1993 : peacekeeping, arms control and the environment
Copyright Claimant:
Verification Technology Information Centre
Names:
R. Guthrie
J. B. Poole
Verification Technology Information Centre

Verification and modeling of mass transfer in single and multi-element nanofiltration arrays for pilot and full-scale operation

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005118311 / 2000-07-07
Date of Publication:
March 21, 2000
Date of Creation:
1999
Title:
Verification and modeling of mass transfer in single and multi-element nanofiltration arrays for pilot and full-scale operation.
Rights and Permissions:
Rights and permissions info. on CORDS appl. in CO.
Description:
Computer text data.
Variant title:
Verification and modeling of mass transfer in single and multi-element nanofiltration arrays for pilot and full-scale
Copyright Claimant:
Luke A. Mulford
Notes:
Electronic registration.
Authorship on Application:
entire text: Luke A. Mulford.
Names:
Luke A. Mulford

Verification and validation of TRAF-NETSIM model through actual field observations in Amman, Jordan

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005167076 / 2000-10-20
Date of Publication:
June 16, 2000
Date of Creation:
1999
Title:
Verification and validation of TRAF-NETSIM model through actual field observations in Amman, Jordan.
Rights and Permissions:
Rights and permissions info. on CORDS appl. in CO.
Description:
Computer text data.
Copyright Claimant:
Sami Said Ghezawi
Notes:
Electronic registration.
Authorship on Application:
entire text: Sami Said Ghezawi.
Names:
Sami Said Ghezawi

Verification and validation of modern software-intensive systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005183004 / 2000-10-25
Date of Publication:
September 22, 2000
Date of Creation:
2000
Title:
Verification and validation of modern software-intensive systems / G. Gordon Schulmeyer, Garth R. MacKenzie.
Imprint:
Upper Saddle River, NJ : Prentice-Hall, c2000.
Description:
493 p.
Copyright Claimant:
Prentice Hall PTR
Names:
Garth R. MacKenzie
G. Gordon Schulmeyer

Copyrights records by Schulmeyer, G. Gordon

Prentice Hall PTR (130 documents)
example document: Next generation optical networks

Copyrights records by Prentice Hall PTR

Verification protocols

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005471287 / 2002-01-03
Date of Publication:
March 11, 1998
Date of Creation:
1998
Title:
Verification protocols.
Description:
1 v.
Copyright Claimant:
National Disease Research Interchange
Names:
National Disease Research Interchange

Copyrights records by National Disease Research Interchange

Verification of computer codes in computational science and engineering

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005615909 / 2002-11-21
Date of Publication:
October 29, 2002
Date of Creation:
2002
Title:
Verification of computer codes in computational science and engineering / Patrick Knupp, Kambiz Salari.
Imprint:
Boca Raton, FL : Chapman & Hall/CRC, c2003.
Description:
144 p.
Copyright Claimant:
CRC Press, LLC (employer for hire)
Names:
Kambiz Salari
Patrick Knupp
CRC Press, LLC (642 documents)
example document: Modeling carbon and nitrogen dynamics for soil management

Copyrights records by CRC Press, LLC

Verification algorithms based on alternating automata

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005761612 / 2003-07-29
Date of Publication:
July 15, 2003
Date of Creation:
2002
Title:
Verification algorithms based on alternating automata.
Rights and Permissions:
Rights and permissions info. on CORDS appl. in CO.
Description:
Computer text data.
Copyright Claimant:
Bernd Erhard Finkbeiner
Notes:
Electronic registration.
Authorship on Application:
entire text: Bernd Erhard Finkbeiner.
Names:
Bernd Erhard Finkbeiner

Verification of property condition (buyer final inspection)

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005827352 / 2003-06-23
Date of Publication:
April 1, 2002
Date of Creation:
2002
Title:
Verification of property condition (buyer final inspection) : form VP-11.
Basis of Claim:
New Matter: additional & rev. text.
Previous Registration:
Prev. reg. 2001, TX 5-643-153.
Copyright Claimant:
California Association of Realtors, Inc.
Names:
California Association of Realtors, Inc. (40 documents)
example document: Real estate purchase contract and receipt for deposit

Copyrights records by California Association of Realtors, Inc.

Verification and control of pressure transients and intrusion in distribution systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006000998 / 2004-07-30
Date of Publication:
June 25, 2004
Date of Creation:
2004
Title:
Verification and control of pressure transients and intrusion in distribution systems.
Imprint:
Denver : Awwa Research Foundation, c2004.
Description:
125 p.
Copyright Claimant:
Awwa Research Foundation
Names:
Awwa Research Foundation (41 documents)
example document: Feedback control of booster chlorination systems

Copyrights records by Awwa Research Foundation

Verification and measurement of software component testability

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006048990 / 2005-04-11
Date of Publication:
April 1, 2005
Date of Creation:
2004
Title:
Verification and measurement of software component testability.
Rights and Permissions:
Rights and permissions info. on CORDS appl. in CO.
Copyright Note:
Electronic registration.
Description:
Computer text data.
Copyright Claimant:
Ming-chih Shih
Authorship on Application:
entire text: Ming-chih Shih.
Names:
Ming-chih Shih

Verification and validation module

Type of Work:
Machine-readable work or computer program
Registration Number / Date:
TX0006188831 / 2005-05-23
Date of Publication:
February 3, 2005
Date of Creation:
2004
Title:
Verification and validation module.
Copyright Note:
Cataloged from appl. only.
Copyright Claimant:
Arcadia Consulting, Inc.
Notes:
Printout only deposited.
Names:
Arcadia Consulting, Inc.

Copyrights records by Arcadia Consulting, Inc.

Verification and validation for qualtity of uml 2.0 models

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006213356 / 2005-08-25
Date of Publication:
July 6, 2005
Date of Creation:
2004
Title:
Verification and validation for qualtity of uml 2.0 models / Bhuvan Unhelkar.
Previous Registration:
Preexisting material: some material previously published.
Imprint:
Hoboken, John Wiley. c2005. NJ :
Description:
271 p.
Copyright Claimant:
John Wiley & Sons, Inc. (employer for hire)
Names:
Bhuvan Unhelkar

Copyrights records by Unhelkar, Bhuvan

John Wiley & Sons, Inc. (9150 documents)
example document: Fundamentals of general, organic, and biological chemistry

Copyrights records by John Wiley & Sons, Inc.

Verification methodology manual for system verilog

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006309306 / 2006-02-17
Date of Publication:
September 28, 2005
Date of Creation:
2005
Title:
Verification methodology manual for system verilog / by Janick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale.
Imprint:
New York : Springer, c2005.
Description:
503 p.
Copyright Claimant:
Springer Science+Business Media, Inc.
Names:
Andrew Nightingale
Alan Hunter (11 documents)
example document: How can it be?

Copyrights records by Hunter, Alan

Eduard Cerny
Janick Bergeron

Copyrights records by Bergeron, Janick

Springer Science+Business Media, Inc. (190 documents)
example document: Energy and environment

Copyrights records by Springer Science+Business Media, Inc.

Verification methodology manual for System Verilog

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006346475 / 2006-02-13
Date of Publication:
September 28, 2005
Date of Creation:
2005
Title:
Verification methodology manual for System Verilog.
Copyright Note:
Cataloged from appl. only.
Copyright Claimant:
Springer Science+Business Media, Inc.
Authorship on Application:
co-authors: Janick Bergeron, Eduard Cerny & Alan Hunter.
Names:
Alan Hunter (11 documents)
example document: How can it be?
Eduard Cerny
Janick Bergeron
Springer Science+Business Media, Inc. (190 documents)
example document: Field theory

Verification documents re., financing

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000336581 / 1988-06-17
Date of Creation:
1988
Title:
Verification documents re., financing.
Copyright Note:
C.O. correspondence.
Description:
sheets.
Copyright Claimant:
Colorado Jockey Club, Inc.
Names:
Colorado Jockey Club, Inc., Fort Collins

Verification and investigation for consumer credit

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000420686 / 1990-03-09
Date of Creation:
1990
Title:
Verification and investigation for consumer credit.
Description:
1 v.
Copyright Claimant:
Neil Jan Gale
Authorship on Application:
Neil Jan Gale.
Names:
Neil Jan Gale 1960-

Verification of installed prices (VIP)

Type of Work:
Machine-readable work or computer program
Registration Number / Date:
TXu000429953 / 1990-04-02
Date of Creation:
1990
Title:
Verification of installed prices (VIP)
Basis of Claim:
New Matter: "additional program text."
Copyright Note:
C.O. correspondence.
Description:
printout + magnetic disk.
Copyright Claimant:
Windshields America, Inc.
Notes:
Computer program.
Names:
Windshields America, 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.