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





The Theory and practice of international economic policy coordination

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003031135 / 1991-04-01
Date of Publication:
January 15, 1991
Date of Creation:
1990
Date in Notice:
notice: 1990
Title:
The Theory and practice of international economic policy coordination.
Copyright Claimant:
Keisuke Iida
Notes:
Cataloged from appl.
Authorship on Application:
Keisuke Iida.
Names:
Keisuke Iida 1960-

International monetary cooperation among the United States, Japan, and Germany

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004955594 / 1999-04-12
Date of Publication:
February 24, 1999
Date of Creation:
1998
Title:
International monetary cooperation among the United States, Japan, and Germany / by Keisuke Iida.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
110 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Keisuke Iida
Kluwer Academic Publishers (2873 documents)
example document: The electronic call auction

Copyrights records by Kluwer Academic Publishers



Control of distributed parameter and stochastic systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004955597 / 1999-04-12
Date of Publication:
March 9, 1999
Date of Creation:
1999
Title:
Control of distributed parameter and stochastic systems : proceedings of the IFIP WG 7.2. international conference, June 19-22, 1998, Hangzhou, China / edited by Shuping Chen, Xunjing Li, Jiongmin Yong, Xun Yu Zhou.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
330 p.
Other Title:
IFIP WG 7.2. international conference
Copyright Claimant:
Kluwer Academic Publishers
Names:
Shuping Chen
Xunjing Li (1 documents)
example document: Optimal control theory for infinite dimensional systems
Jiongmin Yong (2 documents)
example document: Optimal control theory for infinite dimensional systems
Xun Yu Zhou (2 documents)
example document: Stochastic modeling and optimization
Kluwer Academic Publishers (2873 documents)
example document: Learning to serve

Competition, innovation, and the Microsoft monopoly

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004955598 / 1999-04-12
Date of Publication:
February 26, 1999
Date of Creation:
1998
Title:
Competition, innovation, and the Microsoft monopoly : antitrust in the digital marketplace : proceedings of a conference held by the Progress & Freedom Foundation in Washington, DC, February 5, 1998 / edited by Jeffrey A. Eisenach and Thomas M. Lenard.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
297 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Jeffrey A. Eisenach (4 documents)
example document: The people's budget

Copyrights records by Eisenach, Jeffrey A.


Thomas M. Lenard

Copyrights records by Lenard, Thomas M.


Kluwer Academic Publishers (2873 documents)
example document: Intelligent broadband multimedia networks

Decision science and technology

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004955599 / 1999-04-12
Date of Publication:
February 16, 1999
Date of Creation:
1999
Title:
Decision science and technology : reflections on the contributions of Ward Edwards / edited by James Shanteau, Barbara A. Mellers, David A. Schum.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
434 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
James Shanteau (2 documents)
example document: Organ donation and transplantation
Barbara A. Mellers
David A. Schum
Kluwer Academic Publishers (2873 documents)
example document: Teacher evaluation

Highly linear integrated wideband amplifiers

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004955724 / 1999-03-15
Date of Publication:
January 10, 1999
Date of Creation:
1998
Title:
Highly linear integrated wideband amplifiers : design and analysis techniques for frequencies from audio to RF / by Henrik Sjoland.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
163 p.
Variant title:
Highly linear integrated wideband amplifiers : design and analysis techniques for frequencies from audio to RF
Copyright Claimant:
Kluwer Academic Publishers
Names:
Henrik Sjoland
Kluwer Academic Publishers (2873 documents)
example document: Data envelopment analysis

Direct digital control systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004955726 / 1999-03-15
Date of Publication:
February 11, 1999
Date of Creation:
1998
Title:
Direct digital control systems : application, commissioning / by Mary S. Nardone.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
252 p.
Variant title:
Direct digital control systems : application, commissioning
Copyright Claimant:
Kluwer Academic Publishers
Names:
Mary S. Nardone
Kluwer Academic Publishers (2873 documents)
example document: Nervous system actions and interactions

Formal methods for open object-based distributed systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004955727 / 1999-03-15
Date of Publication:
February 2, 1999
Date of Creation:
1998
Title:
Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 3rd International conference on formal methods for open object-based distributed systems (FMOODS), February 15-18, 1999, Florence, Italy / edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
436 p.
Number of similar titles:
2
Other Title:
International conference on formal methods for open object-based distributed systems
FMOODS
Copyright Claimant:
Kluwer Academic Publishers
Names:
Paolo Ciancarini
Alessandro Fantechi
Robert Gorrieri
Kluwer Academic Publishers (2873 documents)
example document: Artificial neural networks

The economics, technology and content of digital TV

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004955729 / 1999-03-15
Date of Publication:
December 31, 1998
Date of Creation:
1998
Title:
The economics, technology and content of digital TV / edited by Darcy Gerbarg.
Series:
Economics of science, technology and innovation ; vol. 15
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
330 p.
Other Title:
Economics of science, technology and innovation ; vol. 15
Copyright Claimant:
Kluwer Academic Publishers
Names:
Darcy Gerbarg
Kluwer Academic Publishers (2873 documents)
example document: Subcellular basis of contractile failure

Nonlinear time series analysis of economic and financial data

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004955732 / 1999-03-15
Date of Publication:
December 22, 1998
Date of Creation:
1998
Title:
Nonlinear time series analysis of economic and financial data / edited by Philip Rothman.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
373 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Philip Rothman (7 documents)
example document: Blood of the lamb

Copyrights records by Rothman, Philip


Kluwer Academic Publishers (2873 documents)
example document: Causation, chance, and credence

Principles of Verilog PLI

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004955886 / 1999-04-12
Date of Publication:
March 1, 1999
Date of Creation:
1999
Title:
Principles of Verilog PLI / Swapnajit Mittra ; foreword by Yatin Trivedi.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
372 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Swapnajit Mittra
Yatin Trivedi (1 documents)
example document: Digital design with Verilog HDL
Kluwer Academic Publishers (2873 documents)
example document: Science, technology, and the military

Fulfilling the export potential of small and medium firms

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004955888 / 1999-04-12
Date of Publication:
February 18, 1999
Date of Creation:
1998
Title:
Fulfilling the export potential of small and medium firms / by Brian Levy, Albert Berry, Jeffrey B. Nugent, with Jose Francisco Escandon, Motoshige Itoh, Linsu Kim, Shujiro Urata.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
290 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Brian Levy (2 documents)
example document: The oyster

Copyrights records by Levy, Brian


Albert Berry (15 documents)
example document: Time is being wasted

Copyrights records by Berry, Albert


Jeffrey B. Nugent
Jose Francisco Escandon
Motoshige Itoh (2 documents)
example document: Economic analysis of industrial policy
Linsu Kim
Shujiro Urata
Kluwer Academic Publishers (2873 documents)
example document: Atherosclerosis, hypertension and diabetes

CMOS current amplifiers

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004956402 / 1999-03-15
Date of Publication:
February 11, 1999
Date of Creation:
1998
Title:
CMOS current amplifiers / by Giuseppe Palmisano, Gaetano Palumbo, Salvatore Pennisi.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
159 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Giuseppe Palmisano
Gaetano Palumbo
Salvatore Pennisi
Kluwer Academic Publishers (2873 documents)
example document: Wildlife conservation by sustainable use

Decision criteria and optimal inventory processes

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004956403 / 1999-03-15
Date of Publication:
February 12, 1999
Date of Creation:
1998
Title:
Decision criteria and optimal inventory processes / by Baoding Liu and Augustine O. Esogbue.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
210 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Baoding Liu
Augustine O. Esogbue (1 documents)
example document: Dynamic programming for optimal water resources systems analysis

Copyrights records by Esogbue, Augustine O.


Kluwer Academic Publishers (2873 documents)
example document: Case studies in infrastructure delivery

Biometrics

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004956531 / 1999-03-15
Date of Publication:
January 19, 1999
Date of Creation:
1998
Title:
Biometrics : personal identification in networked society / edited by Anil K. Jain & Ruud Bolle.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
405 p.
Variant title:
Biometrics : personal identification in networked society
Copyright Claimant:
Kluwer Academic Publishers
Names:
Anil K. Jain (11 documents)
example document: Artificial neural networks and statistical pattern recognition

Copyrights records by Jain, Anil K.


Ruud Bolle
Kluwer Academic Publishers (2873 documents)
example document: Subcellular basis of contractile failure

Software architecture

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004956541 / 1999-03-15
Date of Publication:
February 11, 1999
Date of Creation:
1998
Title:
Software architecture : TC2 first working conference on software architecture (WICSA1), 22-24 February 1999, San Antonio, Texas, USA / edited by Patrick Donohoe.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
601 p.
Number of similar titles:
9
Similar Title:
Copyright Claimant:
Kluwer Academic Publishers
Names:
Patrick Donohoe
Kluwer Academic Publishers (2873 documents)
example document: Political economy and American capitalism

Switching theory for logic synthesis

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004958476 / 1999-04-12
Date of Publication:
February 18, 1999
Date of Creation:
1998
Title:
Switching theory for logic synthesis / Tsutomu Sasao.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
362 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Tsutomu Sasao

Copyrights records by Sasao, Tsutomu


Kluwer Academic Publishers (2873 documents)
example document: The Political economy of rent-seeking

Cost structure and the measurement of economic performance

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004959426 / 1999-03-15
Date of Publication:
February 12, 1999
Date of Creation:
1998
Title:
Cost structure and the measurement of economic performance : productivity, utilization, cost economics, and related performance indicators / by Catherine J. Morrison Paul.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
363 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Catherine J. Morrison Paul
Kluwer Academic Publishers (2873 documents)
example document: Palliative care and rehabilitation of cancer patients

Lexical semantics and knowledge representation in multilingual text generation

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004959597 / 1999-03-15
Date of Publication:
January 19, 1999
Date of Creation:
1998
Title:
Lexical semantics and knowledge representation in multilingual text generation / by Manfred Stede.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
219 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Manfred Stede
Kluwer Academic Publishers (2873 documents)
example document: The Regulation of motor vehicle and traffic safety

Applications of antisense therapies to restenosis

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004959621 / 1999-03-15
Date of Publication:
February 11, 1999
Date of Creation:
1998
Title:
Applications of antisense therapies to restenosis / edited by LeRoy E. Rabbani.
Series:
Perspectives in antisense science
Imprint:
Boston : KLuwer Academic Publishers, c1999.
Description:
184 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
LeRoy E. Rabbani
Kluwer Academic Publishers (2873 documents)
example document: Principles of forecasting

CMOS logic circuit design

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004962146 / 1999-04-12
Date of Publication:
January 29, 1999
Date of Creation:
1998
Title:
CMOS logic circuit design / John P. Uyemura.
Imprint:
Boston : Kluwer, c1999.
Description:
528 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
John P. Uyemura

Copyrights records by Uyemura, John P.


Kluwer Academic Publishers (2873 documents)
example document: Rabies

The Verilog PLI handbook

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004967645 / 1999-05-18
Date of Publication:
March 18, 1999
Date of Creation:
1999
Title:
The Verilog PLI handbook : a user's guide and comprehensive reference on the Verilog programming language interface / Stuart Sutherland.
Imprint:
Boston : Kluwer Academic Publihers, c1999.
Description:
785 p.
Number of similar titles:
2
Copyright Claimant:
Kluwer Academic Publishers
Names:
Stuart Sutherland (6 documents)
example document: The international dictionary of psychology

Copyrights records by Sutherland, Stuart


Kluwer Academic Publishers (2873 documents)
example document: Information hiding

Micromachined ultrasound-based proximity sensors

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004980862 / 1999-05-18
Date of Publication:
April 6, 1999
Date of Creation:
1999
Title:
Micromachined ultrasound-based proximity sensors / Mark R. Hornung, Oliver Brand.
Series:
Microsystems
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
120 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Mark R. Hornung
Oliver Brand
Kluwer Academic Publishers (2873 documents)
example document: Marketing management support systems

Enterprise resource planning (ERP)

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004980863 / 1999-05-18
Date of Publication:
April 9, 1999
Date of Creation:
1998
Title:
Enterprise resource planning (ERP) : the dynamics of operations management / by Avraham Shtub.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
146 p.
Number of similar titles:
1
Copyright Claimant:
Kluwer Academic Publishers
Names:
Avraham Shtub
Kluwer Academic Publishers (2873 documents)
example document: Communications, computation, control and signal processing

Physical models of semiconductor quantum devices

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004980865 / 1999-05-18
Date of Publication:
April 1, 1999
Date of Creation:
1998
Title:
Physical models of semiconductor quantum devices / by Ying Fu, Magnus Willander.
Series:
Electronic material series ; no. 5
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
263 p.
Other Title:
Electronic material series ; no. 5
Copyright Claimant:
Kluwer Academic Publishers
Names:
Ying Fu
Magnus Willander
Kluwer Academic Publishers (2873 documents)
example document: Information systems analysis and modeling

Database security XII

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004983824 / 1999-05-18
Date of Publication:
March 24, 1999
Date of Creation:
1999
Title:
Database security XII : status and prospects : IFIP TC11 WG11.3 12th international working conference on database security, July 15-17, 1998, Chalkidiki, Greece / edited by Sushil Jajodia.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
296 p.
Variant title:
Database security XII : status and prospects
Other Title:
international working conference on database security
Copyright Claimant:
Kluwer Academic Publishers
Names:
Sushil Jajodia (12 documents)
example document: Proceedings of the 1993 ACM SIGMOD international conference on management of data

Copyrights records by Jajodia, Sushil


Kluwer Academic Publishers (2873 documents)
example document: Strategic risk

Analysis and design of structural bonded joints

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004985932 / 1999-05-18
Date of Publication:
April 1, 1999
Date of Creation:
1999
Title:
Analysis and design of structural bonded joints / by Liyong Tong, Grant P. Steven.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
288 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Liyong Tong
Grant P. Steven
Kluwer Academic Publishers (2873 documents)
example document: Ecstasy

Computational subsurface hydrology

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004985940 / 1999-05-18
Date of Publication:
April 12, 1999
Date of Creation:
1999
Title:
Computational subsurface hydrology : fluid flows / by Gour-Tsyh (George) Yeh.
Imprint:
Norwell, MA : Kluwer Academic Publishers, c1999.
Description:
277 p.
Variant title:
Computational subsurface hydrology : fluid flows
Copyright Claimant:
Kluwer Academic Publishers
Names:
Gour-Tsyh Yeh
George Yeh
Kluwer Academic Publishers (2873 documents)
example document: Explaining metals prices

Database support for workflow management

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004985941 / 1999-05-18
Date of Publication:
March 17, 1999
Date of Creation:
1998
Title:
Database support for workflow management : the wide project / editors, Paul Grefen, Barbara Pernici, Gabriel Sanchez ; assistant editors, Jochem Vonk, Erik Boertjes.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
278 p.
Variant title:
Database support for workflow management : the wide project
Copyright Claimant:
Kluwer Academic Publishers
Names:
Paul Grefen
Barbara Pernici
Gabriel Sanchez (21 documents)
example document: Padrecito, Padrecito
Jochem Vonk
Erik Boertjes
Kluwer Academic Publishers (2873 documents)
example document: Directed sonar sensing for mobile robot navigation

Wavelet, subband, and block transforms in communications and multimedia

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004985946 / 1999-05-18
Date of Publication:
April 9, 1999
Date of Creation:
1999
Title:
Wavelet, subband, and block transforms in communications and multimedia / edited by Ali N. Akansu, Michael J. Medley.
Imprint:
Boston : Kluwer Academic Publishers, c1999.
Description:
408 p.
Copyright Claimant:
Kluwer Academic Publishers
Names:
Ali N. Akansu (3 documents)
example document: Subband and wavelet transforms

Copyrights records by Akansu, Ali N.


Michael J. Medley
Kluwer Academic Publishers (2873 documents)
example document: Fundamentals of power electronics

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.