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
Curtis T. McMullen (2 documents)
example document: Renormalization and 3-manifolds which fiber over the circle
Alberto L. Sangiovanni-Vincentelli (2 documents)
example document: Selected papers on computer-aided design of very large scale integrated circuits
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: Wireless personal communications
Gary D. Hachtel
|
Curtis T. McMullen (2 documents)
example document: Renormalization and 3-manifolds which fiber over the circle
|
Alberto L. Sangiovanni-Vincentelli (2 documents)
example document: Selected papers on computer-aided design of very large scale integrated circuits
|
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: Wireless personal communications
|
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
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
Kluwer Academic Publishers (2873 documents)
example document: Parking structures
example document: Current issues in parsing technology
|
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
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
Kluwer Academic Publishers (2873 documents)
example document: The modern era of coronary thrombolysis
|
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
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
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
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
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
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
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
Kluwer Academic Publishers (2873 documents)
example document: Satellite communications
|
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
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
Richard Lamson
Kluwer Academic Publishers (2873 documents)
example document: The new investment theory of real options and its implication for telecommunications economics
example document: Education/technology/power
|
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
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
Kluwer Academic Publishers (2873 documents)
example document: Machine learning of robot assembly plans
James M. Johannes
Karl Brunner (11 documents)
example document: The Structure of monetarism
|
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
Geza Peter Lauter
G. Peter Lauter
Kluwer Academic Publishers (2873 documents)
example document: Synchronization design for digital systems
|
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
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
Rolf Faere
Kluwer Academic Publishers (2873 documents)
example document: Regionalism versus multilateralism
example document: Measurement issues and behavior of productivity variables
|
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
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
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
Kluwer Academic Publishers (2873 documents)
example document: Strategic organizational diagnosis and design
example document: Nucleoside analogues
Erik DeClercq (3 documents)
example document: Nucleoside analogues
|
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
Ted Kamins
Kluwer Academic Publishers (2873 documents)
example document: Wireless infrared communications
example document: Device electronics for integrated circuits
|
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
Kluwer Academic Publishers (2873 documents)
example document: The Economics of special privilege and rent seeking
J. K. Aggarwal (3 documents)
example document: Image sequence analysis
|
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
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
|
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
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
|
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
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
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
Gary D. Hachtel
Fabio Somenzi
Springer Science+Business Media, LLC (805 documents)
example document: In the presence of English
|
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.