Food properties and computer-aided engineering of food processing systems, Cross-talk noise immune VLSI design using regular layout fabrics





Logic minimization algorithms for V L S I synthesis

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001417892 / 1984-09-18
Date of Publication:
August 30, 1984
Date of Creation:
1984
Title:
Logic minimization algorithms for V L S I synthesis / by Robert K. Brayton [i.e. Robert King Brayton], Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli.
Imprint:
Boston : Kluwer Academic Publishers, c1984.
Description:
193 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Robert King Brayton
Gary D. Hachtel

Copyrights records by Hachtel, Gary D.


Curtis T. McMullen (2 documents)
example document: Renormalization and 3-manifolds which fiber over the circle

Copyrights records by McMullen, Curtis T.


Alberto L. Sangiovanni-Vincentelli (2 documents)
example document: Selected papers on computer-aided design of very large scale integrated circuits

Copyrights records by Sangiovanni-Vincentelli, Alberto L.


Alberto L. Sangiovanni Vincentelli (2 documents)
example document: Selected papers on computer-aided design of very large scale integrated circuits

Copyrights records by Vincentelli, Alberto L. Sangiovanni


Kluwer Academic Publishers (2873 documents)
example document: Wireless personal communications

Copyrights records by Kluwer Academic Publishers



Advances in C A D/C A M

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001451260 / 1984-10-29
Date of Publication:
September 1, 1984
Date of Creation:
1984
Title:
Advances in C A D/C A M : case studies / edited by Peter C. C. Wang [i.e. Peter Cheng-Chao Wang].
Imprint:
Boston : Kluwer Academic Publishers, c1984.
Description:
209 p.
Copyright Claimant:
Kluwer Academic Publishers
Performer:
Papers presented at the Fifth Automation Technology Conference held in Monterey, Calif. in 1983.
Names:
Peter Cheng-Chao Wang
Kluwer Academic Publishers (2873 documents)
example document: Analysis and evaluation of fuzzy systems
Automated Technology Conference, 5th, Monterey, Calif., 1983

Efficient parsing for natural language

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001690990 / 1985-11-12
Date of Publication:
October 17, 1985
Date of Creation:
1985
Title:
Efficient parsing for natural language : a fast algorithm for practical systems / by Masaru Tomita.
Imprint:
Boston : Kluwer Academic Publishers, c1986.
Description:
201 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Masaru Tomita (2 documents)
example document: Current issues in parsing technology

Copyrights records by Tomita, Masaru


Kluwer Academic Publishers (2873 documents)
example document: Parking structures

An Artificial intelligence approach to VLSI routing

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001692895 / 1985-11-12
Date of Publication:
November 1, 1985
Date of Creation:
1985
Title:
An Artificial intelligence approach to VLSI routing / Rostam Joobbani.
Imprint:
Boston : Kluwer Academic Publishers, c1986.
Description:
159 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Rostam Joobbani
Kluwer Academic Publishers (2873 documents)
example document: System design with SystemC

Digital filters and signal processing

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001709354 / 1985-11-25
Date of Publication:
November 12, 1985
Date of Creation:
1985
Title:
Digital filters and signal processing / Leland B. Jackson.
Imprint:
Boston : Kluwer Academic Publishers, c1986.
Description:
259 p.
Number of similar titles:
3
Copyright Claimant:
Kluwer Academic Publishers
Names:
Leland B. Jackson

Copyrights records by Jackson, Leland B.


Kluwer Academic Publishers (2873 documents)
example document: The modern era of coronary thrombolysis

Families of rational maps and iterative root-finding algorithms

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001780004 / 1986-03-25
Date of Publication:
January 15, 1986
Date of Creation:
1985
Date in Notice:
notice: 1985
Title:
Families of rational maps and iterative root-finding algorithms / Curtis Tracy McMullen.
Imprint:
Ann Arbor : University Microfilms International, 1985 [i.e. 1986]
Description:
microfiche.
Copyright Claimant:
Curtis Tracy McMullen
Names:
Curtis Tracy McMullen 1958-

Latchup in CMOS technology

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001806087 / 1986-04-18
Date of Publication:
April 11, 1986
Date of Creation:
1986
Title:
Latchup in CMOS technology : the problem and its cure / by Ronald R. Troutman.
Imprint:
Boston : Kluwer Academic Publishers, c1986.
Description:
242 p.
Variant title:
Latchup in CMOS technology : the problem and its cure
Copyright Claimant:
Kluwer Academic Publishers
Names:
Ronald R. Troutman
Kluwer Academic Publishers (2873 documents)
example document: Mechanisms of heart failure

Digital CMOS circuit design

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001877540 / 1986-07-31
Date of Publication:
June 20, 1986
Date of Creation:
1986
Title:
Digital CMOS circuit design / by Marco Annaratone.
Imprint:
Boston : Kluwer Academic Publishers, c1986.
Description:
344 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Marco Annaratone
Kluwer Academic Publishers (2873 documents)
example document: Pond aquaculture water quality management

Finite fields for computer scientists and engineers

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001953044 / 1986-11-17
Date of Publication:
November 7, 1986
Date of Creation:
1986
Title:
Finite fields for computer scientists and engineers / by Robert J. McEliece.
Imprint:
Boston : Kluwer Academic Publishers, c1987.
Description:
207 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Robert J. McEliece (1 documents)
example document: Introduction to discrete mathematics
Kluwer Academic Publishers (2873 documents)
example document: Genetic algorithms and fuzzy multiobjective optimization

Parallel execution of logic programs

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001963905 / 1986-12-23
Date of Publication:
December 12, 1986
Date of Creation:
1986
Title:
Parallel execution of logic programs / by John S. Conery.
Imprint:
Boston : Kluwer Academic Publishers, c1987.
Description:
146 p.
Number of similar titles:
1
Copyright Claimant:
Kluwer Academic Publishers
Names:
John S. Conery
Kluwer Academic Publishers (2873 documents)
example document: Tubulo-interstitial nephropathies

Pre-classical economic thought

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002025907 / 1987-03-16
Date of Publication:
March 6, 1987
Date of Creation:
1987
Title:
Pre-classical economic thought : from the Greeks to the Scottish enlightenment / edited by S. Todd Lowry.
Imprint:
Boston : Kluwer Academic Publishers, c1987.
Description:
271 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
S. Todd Lowry
Kluwer Academic Publishers (2873 documents)
example document: Theory and practice of insurance

Alternative approaches to the assessment of achievement

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002027081 / 1987-03-05
Date of Publication:
February 27, 1987
Date of Creation:
1987
Title:
Alternative approaches to the assessment of achievement / edited by David L. McArthur.
Imprint:
Boston : Kluwer Academic Publishers, c1987.
Description:
268 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
David L. McArthur
Kluwer Academic Publishers (2873 documents)
example document: Conservation laws and symmetry

Three-dimensional machine vision

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002032754 / 1987-03-20
Date of Publication:
March 13, 1987
Date of Creation:
1987
Title:
Three-dimensional machine vision / edited by Takeo Kanade.
Imprint:
Boston : Kluwer Academic Publishers, c1987.
Description:
609 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Takeo Kanade

Copyrights records by Kanade, Takeo


Kluwer Academic Publishers (2873 documents)
example document: Satellite communications

The Services economy

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002045942 / 1987-04-08
Date of Publication:
March 30, 1987
Date of Creation:
1987
Title:
The Services economy : lever to growth / Jacques Nusbaumer ; translated from the French, Les Services, nouvelle donne de l'economie, by the author.
Basis of Claim:
New Matter: translation.
Imprint:
Boston : Kluwer Academic Publishers, c1987.
Description:
116 p.
Variant title:
The Services economy : lever to growth
Other Title:
Les Services, nouvelle donne de l'economie
Copyright Claimant:
Kluwer Academic Publishers
Names:
Jacques Nusbaumer
Kluwer Academic Publishers (2873 documents)
example document: Definitions and definability

Lisp lore

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002093935 / 1987-06-15
Date of Publication:
June 5, 1987
Date of Creation:
1987
Title:
Lisp lore : a guide to programming the lisp machine / by Hank Bromley and Richard Lamson.
Edition:
2nd ed.
Basis of Claim:
New Matter: "new and revised text."
Imprint:
Boston : Kluwer Academic Publishers, c1987.
Description:
337 p.
Variant title:
Lisp lore : a guide to programming the lisp machine
Copyright Claimant:
Kluwer Academic Publishers
Names:
Hank Bromley (1 documents)
example document: Education/technology/power

Copyrights records by Bromley, Hank


Richard Lamson
Kluwer Academic Publishers (2873 documents)
example document: The new investment theory of real options and its implication for telecommunications economics

Yield simulation for integrated circuits

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002140423 / 1987-08-26
Date of Publication:
August 7, 1987
Date of Creation:
1987
Title:
Yield simulation for integrated circuits / by Duncan Moore Henry Walker.
Imprint:
Boston : Kluwer Academic Publishers, c1987.
Description:
209 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Duncan Moore Henry Walker
Kluwer Academic Publishers (2873 documents)
example document: Equilibrium and advanced transportation modelling

Controlling the growth of monetary aggregates

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002156203 / 1987-09-18
Date of Publication:
September 5, 1987
Date of Creation:
1987
Title:
Controlling the growth of monetary aggregates / Robert H. Rasche, James M. Johannes ; with a foreword by Karl Brunner.
Imprint:
Boston : Kluwer Academic Publishers, c1987.
Description:
212 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Robert H. Rasche
James M. Johannes
Karl Brunner (11 documents)
example document: The Structure of monetarism

Copyrights records by Brunner, Karl


Kluwer Academic Publishers (2873 documents)
example document: Machine learning of robot assembly plans

The Internationalization of the Japanese economy

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002156235 / 1987-09-18
Date of Publication:
July 10, 1987
Date of Creation:
1987
Title:
The Internationalization of the Japanese economy / Chikara Higashi, G. Peter Lauter.
Imprint:
Boston : Kluwer Academic Publishers, c1987.
Description:
273 p.
Number of similar titles:
1
Copyright Claimant:
Kluwer Academic Publishers
Names:
Chikara Higashi

Copyrights records by Higashi, Chikara


Geza Peter Lauter
G. Peter Lauter
Kluwer Academic Publishers (2873 documents)
example document: Synchronization design for digital systems

Services in the global market

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002187429 / 1987-10-27
Date of Publication:
October 16, 1987
Date of Creation:
1987
Title:
Services in the global market / edited by Jacques Nusbaumer.
Imprint:
Boston : Kluwer Academic Publishers, c1987.
Description:
245 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Jacques Nusbaumer
Kluwer Academic Publishers (2873 documents)
example document: Advances in radiation therapy

Applications of modern production theory

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002212207 / 1987-12-22
Date of Publication:
December 17, 1987
Date of Creation:
1987
Title:
Applications of modern production theory / edited by Ali Dogramaci and Rolf Faere.
Imprint:
Boston : Kluwer Academic Publishers, c1988.
Description:
275 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Ali Dogramaci (8 documents)
example document: Measurement issues and behavior of productivity variables

Copyrights records by Dogramaci, Ali


Rolf Faere
Kluwer Academic Publishers (2873 documents)
example document: Regionalism versus multilateralism

Database machines and knowledge base machines

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002217565 / 1988-01-07
Date of Publication:
December 31, 1987
Date of Creation:
1987
Title:
Database machines and knowledge base machines / edited by Masaru Kitsuregawa, Hidehiko Tanaka.
Imprint:
Boston : Kluwer Academic Publishers, c1988.
Description:
687 p.
Copyright Claimant:
Kluwer Academic Publishers
Performer:
Contains papers presented at the Fifth International Workshop on Database Machines, Tokyo, 1987.
Names:
Masaru Kitsuregawa
Hidehiko Tanaka
Kluwer Academic Publishers (2873 documents)
example document: Encyclopedia of operations research and management science
International Workshop on Database Machines, 5th, Tokyo, 1987

Platinum and other metal coordination compounds in cancer chemotherapy

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002225205 / 1988-02-01
Date of Publication:
January 14, 1988
Date of Creation:
1988
Title:
Platinum and other metal coordination compounds in cancer chemotherapy : proceedings of the Fifth International Symposium on Platinum and Other Metal Coordination Compounds in Cancer Chemotherapy, Abana, Padua, Italy, June 29-July 2, 1987 / edited by Marino Nicolini.
Series:
Developments in oncology
Imprint:
Boston : M. Nijhoff Pub., c1988.
Description:
775 p.
Other Title:
Developments in oncology
Copyright Claimant:
Kluwer Academic Publishers
Names:
Marino Nicolini
Kluwer Academic Publishers (2873 documents)
example document: Source coding theory
International Symposium on Platinum and other Metal ... in Cancer Chemotherapy, 5th, Abano, Padua, Italy, 1987

Clinical use of antiviral drugs

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002225360 / 1988-02-01
Date of Publication:
January 15, 1988
Date of Creation:
1988
Title:
Clinical use of antiviral drugs / edited by Erik DeClercq.
Imprint:
Boston : M. Nijhoff Pub., c1988.
Description:
413 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Erik D Clercq (1 documents)
example document: Nucleoside analogues
Erik DeClercq (3 documents)
example document: Nucleoside analogues

Copyrights records by DeClercq, Erik


Kluwer Academic Publishers (2873 documents)
example document: Strategic organizational diagnosis and design

Polycrystalline silicon for integrated circuit applications

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002225361 / 1988-02-01
Date of Publication:
January 19, 1988
Date of Creation:
1988
Title:
Polycrystalline silicon for integrated circuit applications / by Ted Kamins.
Imprint:
Boston : Kluwer Academic Publishers, c1988.
Description:
290 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Theodore I. Kamins (2 documents)
example document: Device electronics for integrated circuits

Copyrights records by Kamins, Theodore I.


Ted Kamins
Kluwer Academic Publishers (2873 documents)
example document: Wireless infrared communications

Motion understanding

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002228022 / 1988-02-01
Date of Publication:
January 18, 1988
Date of Creation:
1988
Title:
Motion understanding : robot and human vision / edited by Worthy N. Martin, J. K. Aggarwal.
Imprint:
Boston : Kluwer Academic Publishers, c1988.
Description:
432 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Worthy N. Martin
J. K. Aggarwal (3 documents)
example document: Image sequence analysis

Copyrights records by Aggarwal, J. K.


Kluwer Academic Publishers (2873 documents)
example document: The Economics of special privilege and rent seeking

Basics of magnetic resonance imaging

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002238494 / 1988-02-01
Date of Publication:
January 13, 1988
Date of Creation:
1988
Title:
Basics of magnetic resonance imaging / by William Oldendorf and William Oldendorf, Jr.
Imprint:
Boston : M. Nijhoff Pub., c1988.
Description:
159 p.
Copyright Claimant:
Kluwer Academic Publishers
Copyright Notice:
notice: Martinus Nijhoff Publishing
Names:
William Oldendorf
Oldendorf, William, Jr.
Kluwer Academic Publishers (2873 documents)
example document: Artificial neural networks
Martinus Nijhoff Publishing (161 documents)
example document: Monoclonal antibodies and breast cancer

Copyrights records by Martinus Nijhoff Publishing



Complex dynamics and renormalization

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004052635 / 1995-05-31
Date of Publication:
February 28, 1995
Date of Creation:
1994
Title:
Complex dynamics and renormalization / by Curtis T. McMullen.
Imprint:
Princeton, NJ : Princeton University Press, 1994.
Description:
214 p.
Copyright Claimant:
Princeton University Press
Names:
Curtis T. McMullen (2 documents)
example document: Renormalization and 3-manifolds which fiber over the circle
Princeton University Press (5673 documents)
example document: The Struggle for equality: abolitionists and the Negro in the Civil War Reconstruction

Copyrights records by Princeton University Press



Logic synthesis and verification algorithms

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004358494 / 1996-08-16
Date of Publication:
May 29, 1996
Date of Creation:
1996
Title:
Logic synthesis and verification algorithms / by Gary D. Hachtel, Fabio Somenzi.
Imprint:
Boston : Kluwer Academic Publishers, c1996.
Description:
564 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Gary D. Hachtel
Fabio Somenzi
Kluwer Academic Publishers (2873 documents)
example document: Next generation wireless networks

Cross-talk noise immune VLSI design using regular layout fabrics

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005411079 / 2001-07-12
Date of Publication:
June 4, 2001
Date of Creation:
2001
Title:
Cross-talk noise immune VLSI design using regular layout fabrics / Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli.
Imprint:
Boston : Kluwer Academic Publishers, c2001.
Description:
112 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Alberto L. Sangiovanni-Vincentelli (2 documents)
example document: Selected papers on computer-aided design of very large scale integrated circuits
Sunil P. Khatri 1965-
Robert King Brayton
Alberto L. Sangiovanni Vincentelli (2 documents)
example document: Selected papers on computer-aided design of very large scale integrated circuits
Kluwer Academic Publishers (2873 documents)
example document: Image segmentation and compession using hidden Markov models

Abstraction refinement for large scale model checking

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006578414 / 2006-11-24
Date of Publication:
July 20, 2006
Date of Creation:
2006
Title:
Abstraction refinement for large scale model checking.
Copyright Note:
Cataloged from appl. only.
Copyright Claimant:
Springer Science+Business Media, LLC
Authorship on Application:
Chao Wang, Gary D. Hachtel & Fabio Somenzi.
Names:
Chao Wang
Gary D. Hachtel
Fabio Somenzi
Springer Science+Business Media, LLC (805 documents)
example document: In the presence of English

Copyrights records by Springer Science+Business Media, LLC



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.