Power optimization and synthesis at behavioral and system levels using formal methods part 3





Economics of the US commercial airline industry

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004991836 / 1999-05-18
Date of Publication:
April 13, 1999
Date of Creation:
1999
Title:
Economics of the US commercial airline industry : productivity, technology, and deregulation / by Ivan L. Pitt, John R. Norsworthy.
Series:
Transportation research, economics, and policy ; vol. 8
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
190 p.
Other Title:
Transportation research, economics, and policy ; vol. 8
Copyright Claimant:
Kluwer Academic Publishers
Names:
Ivan L. Pitt
John R. Norsworthy
Kluwer Academic Publishers (2873 documents)
example document: Genetic influences on human fertility and sexuality

Copyrights records by Kluwer Academic Publishers



Constraints on language

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005002977 / 1999-06-24
Date of Publication:
April 28, 1999
Date of Creation:
1999
Title:
Constraints on language : aging, grammar, and memory / edited by Susan Kemper and Reinhold Kliegl.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
324 p.
Variant title:
Constraints on language : aging, grammar, and memory
Copyright Claimant:
Kluwer Academic Publishers
Names:
Susan Kemper (2 documents)
example document: Comprehension and the interpretation of proverbs
Reinhold Kliegl
Kluwer Academic Publishers (2873 documents)
example document: International handbook of pancreas transplantation

The green element method

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005007455 / 1999-06-24
Date of Publication:
April 26, 1999
Date of Creation:
1999
Title:
The green element method / by Akpofure E. Taigbenu.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
354 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Akpofure E. Taigbenu
Kluwer Academic Publishers (2873 documents)
example document: The economics of postal service

Power optimization and synthesis at behavioral and system levels using formal methods

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005012663 / 1999-08-24
Date of Publication:
June 8, 1999
Date of Creation:
1999
Title:
Power optimization and synthesis at behavioral and system levels using formal methods / by Jui-Ming Chang, Massoud Pedram.
Imprint:
Boston : Kluwer Academic, c1999.
Description:
163 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Jui-Ming Chang
Massoud Pedram

Copyrights records by Pedram, Massoud


Kluwer Academic Publishers (2873 documents)
example document: Optimization of stochastic models

Educating professionals for network-centric organisations

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005012667 / 1999-08-24
Date of Publication:
June 3, 1999
Date of Creation:
1999
Title:
Educating professionals for network-centric organisations / edited by Peter Juliff, Tsurayuki Kado, Ben-zion Barta.
Series:
International Federation for Information Processing
Imprint:
Boston : Kluwer Academic, c1999.
Description:
215 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Peter Juliff
Tsurayuki Kado
Ben-zion Barta
Kluwer Academic Publishers (2873 documents)
example document: To see the world

Information infrastructure systems for manufacturing II

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005012738 / 1999-08-24
Date of Publication:
May 20, 1999
Date of Creation:
1999
Title:
Information infrastructure systems for manufacturing II / edited by John J. Mills, Fumihiko Kimura.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
390 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
John J. Mills
Fumihiko Kimura
Kluwer Academic Publishers (2873 documents)
example document: Interpretation of cardiac arrhythmias

Male reproductive function

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005019416 / 1999-08-24
Date of Publication:
May 17, 1999
Date of Creation:
1999
Title:
Male reproductive function / edited by Christina Wang.
Series:
Endocrine updates ; no. 5
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
343 p.
Other Title:
Endocrine updates ; no. 5
Copyright Claimant:
Kluwer Academic Publishers
Names:
Christina Wang (1 documents)
example document: Pharmacology, biology, and clinical applications of androgens

Copyrights records by Wang, Christina


Kluwer Academic Publishers (2873 documents)
example document: International finance and financial crises

Computational techniques for modelling learning in economics

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005019468 / 1999-08-24
Date of Publication:
May 12, 1999
Date of Creation:
1999
Title:
Computational techniques for modelling learning in economics / edited by Thomas Brenner.
Series:
Advances in computational economics ; vol. 11
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
390 p.
Other Title:
Advances in computational economics ; vol. 11
Copyright Claimant:
Kluwer Academic Publishers
Names:
Thomas Brenner 1968-
Kluwer Academic Publishers (2873 documents)
example document: Crime and justice at the millennium

Machining impossible shapes

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005019470 / 1999-08-24
Date of Publication:
June 9, 1999
Date of Creation:
1999
Title:
Machining impossible shapes : IFIP TC5 WG5.3 International conference on sculptured surface machining (SSM98), November 9-11, 1998, Chrysler Technology Center, Michigan, USA / edited by Gustav J. Olling, Byoung K. Choi, Robert B. Jerard.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
386 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Gustav J. Olling (2 documents)
example document: Globalization of manufacturing in the digital communications era of the 21st century

Copyrights records by Olling, Gustav J.


Byoung K. Choi
Robert B. Jerard
Kluwer Academic Publishers (2873 documents)
example document: Taiwan's development experience

Geostatistics for engineers and earth scientists

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005019491 / 1999-08-24
Date of Publication:
May 18, 1999
Date of Creation:
1999
Title:
Geostatistics for engineers and earth scientists / by Ricardo A. Olea.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
303 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Ricardo A. Olea

Copyrights records by Olea, Ricardo A.


Kluwer Academic Publishers (2873 documents)
example document: 3-D audio using loudspeakers

Computers in building

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005031492 / 1999-08-24
Date of Publication:
May 18, 1999
Date of Creation:
1999
Title:
Computers in building : proceedings of the CAADfutures '99 conference / edited by Godfried Augenbroe, Charles Eastman.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
398 p.
Other Title:
CAADFutures '99 conference
Copyright Claimant:
Kluwer Academic Publishers
Names:
Godfried Augenbroe
Charles Eastman (10 documents)
example document: Wanna

Copyrights records by Eastman, Charles


Kluwer Academic Publishers (2873 documents)
example document: The Semantic foundations of logic

Verilog quickstart

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005032960 / 1999-09-02
Date of Publication:
June 9, 1999
Date of Creation:
1999
Title:
Verilog quickstart : a practical guide to simulation and synthesis in Verilog / James M. Lee.
Edition:
2nd ed.
Previous Registration:
Appl. states authorship excludes material on CD-ROM.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
324 p. + CD-ROM.
Number of similar titles:
2
Copyright Claimant:
Kluwer Academic Publishers
Names:
James M. Lee (9 documents)
example document: Consumers' participation orientation in a service encounter

Copyrights records by Lee, James M.


Kluwer Academic Publishers (2873 documents)
example document: Boolean reasoning

Fuzzy models and algorithms for pattern recognition and image processing

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005035445 / 1999-08-24
Date of Publication:
August 9, 1999
Date of Creation:
1999
Title:
Fuzzy models and algorithms for pattern recognition and image processing / James C. Bezdek, James Keller, Raghu Krisnapuram, Nikhil R. Pal
Series:
The handbooks of fuzzy sets series
Imprint:
Boston : Kluwer, c1999.
Description:
776 p.
Number of similar titles:
1
Copyright Claimant:
Kluwer Academic Publishers
Names:
James Keller (180 documents)
example document: Somedays

Copyrights records by Keller, James


Raghu Krisnapuram
Nikhil R. Pal
James C. Bezdek 1939-
Kluwer Academic Publishers (2873 documents)
example document: Source coding theory

Handbook of platelet physiology and pharmacology

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005036963 / 1999-09-02
Date of Publication:
June 2, 1999
Date of Creation:
1999
Title:
Handbook of platelet physiology and pharmacology / edited by Gundu H. R. Rao.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
553 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Gundu H. R. Rao
Kluwer Academic Publishers (2873 documents)
example document: Parallel algorithms for linear models

The ortho side of PCBs

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005036965 / 1999-09-02
Date of Publication:
June 29, 1999
Date of Creation:
1999
Title:
The ortho side of PCBs : occurrence and disposition / by Larry G. Hansen.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
269 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Larry G. Hansen
Kluwer Academic Publishers (2873 documents)
example document: Neural mechanisms of color vision

Claim, intent, and persuasion

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005036968 / 1999-09-02
Date of Publication:
July 7, 1999
Date of Creation:
1999
Title:
Claim, intent, and persuasion : organizational legitimacy and the rhetoric of corporate mission statements / by Carmelo Mazza.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
200 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Carmelo Mazza
Kluwer Academic Publishers (2873 documents)
example document: Equilibrium exchange rates

Polyamines in health and nutrition

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005036989 / 1999-09-02
Date of Publication:
June 15, 1999
Date of Creation:
1999
Title:
Polyamines in health and nutrition / edited by Susan Bardocz and Ann White.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
335 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Ann White (31 documents)
example document: Soft sculpture playthings

Copyrights records by White, Ann


Susan Bardocz
Kluwer Academic Publishers (2873 documents)
example document: The design of low noise oscillators

Microscale heat conduction in integrated circuits and their constituent films

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005036990 / 1999-09-02
Date of Publication:
July 29, 1999
Date of Creation:
1999
Title:
Microscale heat conduction in integrated circuits and their constituent films / by Y. Sungtaek Ju, Kenneth E. Goodson.
Series:
Microsystems ; no. 6
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
102 p.
Other Title:
Microsystems ; no. 6
Copyright Claimant:
Kluwer Academic Publishers
Names:
Y. Sungtaek Ju
Kenneth E. Goodson
Kluwer Academic Publishers (2873 documents)
example document: The modern era of coronary thrombolysis

Advanced ASIC chip synthesis

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005040932 / 1999-09-24
Date of Publication:
May 19, 1999
Date of Creation:
1999
Title:
Advanced ASIC chip synthesis : using Synopsys Design Compiler and PrimeTime / Himanhsu Bhathnager.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
284 p.
Number of similar titles:
1
Copyright Claimant:
Kluwer Academic Publishers
Names:
Himanhsu Bhathnager
Kluwer Academic Publishers (2873 documents)
example document: Next generation optical Network design and modelling

Quantitative feedback design of linear and nonlinear control systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005042199 / 1999-09-02
Date of Publication:
June 3, 1999
Date of Creation:
1999
Title:
Quantitative feedback design of linear and nonlinear control systems / Oded Yaniv ; foreword by Isaac Horowitz.
Series:
The Kluwer interntaional series in engineering and computer science
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
369 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Oded Yaniv
Isaac Horowitz
Kluwer Academic Publishers (2873 documents)
example document: The ordered weighted averaging operators

Frontier emerging equity markets securities price behavior and valuation

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005047543 / 1999-09-02
Date of Publication:
August 6, 1999
Date of Creation:
1999
Title:
Frontier emerging equity markets securities price behavior and valuation / by Oliver S. Kratz.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
201 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Oliver S. Kratz 1971-
Kluwer Academic Publishers (2873 documents)
example document: The synthesis approach to digital system design

Reuse methodology manual

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005047547 / 1999-09-02
Date of Publication:
June 8, 1999
Date of Creation:
1999
Title:
Reuse methodology manual : for system-on-a-chip designs / by Michael Keating, Pierre Bricaud.
Edition:
2nd ed.
Basis of Claim:
New Matter: new & rev. text & ill.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
286 p.
Number of similar titles:
2
Copyright Claimant:
Kluwer Academic Publishers
Names:
Michael Keating (21 documents)
example document: Almost changed my mind

Copyrights records by Keating, Michael


Pierre Bricaud

Copyrights records by Bricaud, Pierre


Kluwer Academic Publishers (2873 documents)
example document: Handbook of multimodal and spoken dialogue systems

Microfabrication in tissue engineering and bioartificial organs

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005047720 / 1999-09-16
Date of Publication:
July 29, 1999
Date of Creation:
1999
Title:
Microfabrication in tissue engineering and bioartificial organs / Sangeeta Bhatia.
Series:
Microsystems
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
145 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Sangeeta Bhatia (1 documents)
example document: Tissue engineering
Kluwer Academic Publishers (2873 documents)
example document: Climate in human perspective

Optical networks

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005047808 / 1999-09-16
Date of Publication:
July 6, 1999
Date of Creation:
1999
Title:
Optical networks : design and modelling : IFIP TC6 second international working conference on optical network design and modelling (ONDM '98), February 9-11, 1998, Rome, Italy / edited by Giancarlo DeMarchis, Roberto Sabella.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
186 p.
Number of similar titles:
6
Variant title:
Optical networks : design and modelling
Other Title:
IFIP TC6 second international working conference on optical network design and modelling (ONDM '98)
Copyright Claimant:
Kluwer Academic Publishers
Names:
Giancarlo DeMarchis
Roberto Sabella
Kluwer Academic Publishers (2873 documents)
example document: Satisfying reason

Testing of communicating systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005047865 / 1999-09-16
Date of Publication:
July 12, 1999
Date of Creation:
1999
Title:
Testing of communicating systems : methods and applications : IFIP TC6 12th international workshop on testing of communicating systems, September 1-3, 1999, Budapest, Hungary / edited by Gyula Csopaki, Sarolta Dibuz, Katalin Tarnay.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
397 p.
Number of similar titles:
3
Variant title:
Testing of communicating systems : methods and applications
Other Title:
International workshop on testing of communicating systems
Copyright Claimant:
Kluwer Academic Publishers
Names:
Gyula Csopaki
Sarolta Dibuz
Katalin Tarnay
Kluwer Academic Publishers (2873 documents)
example document: Regulatory mechanisms in breast cancer

Flash memories

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005047866 / 1999-09-16
Date of Publication:
June 22, 1999
Date of Creation:
1999
Title:
Flash memories / by Paulo Cappelletti, Carla Golla, Piero Olivo, Enrico Zanoni.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
540 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Paulo Cappelletti
Carla Golla
Piero Olivo
Enrico Zanoni
Kluwer Academic Publishers (2873 documents)
example document: CAPD/CCPD in children

Engineering for human-computer interaction

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005050846 / 1999-09-16
Date of Publication:
July 29, 1999
Date of Creation:
1999
Title:
Engineering for human-computer interaction : IFIP TC2/TC13 WG2.7/WG13.4 Seventh working conference on engineering for human-computer interaction, September 14-18, 1998, Heraklion, Crete, Greece / edited by Stephane Chatty, Prasun Dewan.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
376 p.
Number of similar titles:
1
Other Title:
Seventh working conference on engineering for human-computer interaction
Working conference on engineering for human-computer interaction
Copyright Claimant:
Kluwer Academic Publishers
Names:
Stephane Chatty
Prasun Dewan
Kluwer Academic Publishers (2873 documents)
example document: Telecommunications network planning

Optical properties of crystalline and amorphous semiconductors

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005050854 / 1999-09-16
Date of Publication:
July 22, 1999
Date of Creation:
1999
Title:
Optical properties of crystalline and amorphous semiconductors : materials and fundamental principles / by Sadao Adachi.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
261 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Sadao Adachi 1950-
Kluwer Academic Publishers (2873 documents)
example document: Kant's theory of natural science

Financial ethics

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005055719 / 1999-09-16
Date of Publication:
August 16, 1999
Date of Creation:
1999
Title:
Financial ethics / by Andrew M. McCosh.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
164 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Andrew M. McCosh (3 documents)
example document: Practical controllership
Kluwer Academic Publishers (2873 documents)
example document: Quantitative methods in bone densitometry

An introduction to environmental biotechnology

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005055720 / 1999-09-16
Date of Publication:
July 23, 1999
Date of Creation:
1999
Title:
An introduction to environmental biotechnology / by Milton Wainwright.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
171 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Milton Wainwright
Kluwer Academic Publishers (2873 documents)
example document: Deregulation of electric utilities

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.