Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers ... Computer Science and General Issues)

Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers ... Computer Science and General Issues) Review

See more picture

Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers ... Computer Science and General Issues) Feature

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008.

The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

Check price now

Rerate Products

Customer Review

Algorithms and Computation: 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Algorithms and Computation: 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Review

See more picture

Algorithms and Computation: 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Feature

This book constitutes the refereed proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC 2007, held in Sendai, Japan, in December 2007.

The 77 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 220 submissions. The papers are organized in topical sections on graph algorithms, computational geometry, complexity, graph drawing, distributed algorithms, optimization, data structure, game theory, database applications, online algorithms, I/O algorithms, networks, geometric applications, and string.

Check price now

Rerate Products

Customer Review

Global Regulatory Issues for the Cosmetics Industry (Personal Care and Cosmetic Technology)

Global Regulatory Issues for the Cosmetics Industry (Personal Care and Cosmetic Technology) Review

See more picture

Global Regulatory Issues for the Cosmetics Industry (Personal Care and Cosmetic Technology) Feature

This second volume examines regulatory issues of ingredients, manufacturing, and finished products, as well as claim substantiation, packaging, and advertising. A chapter on Chinese regulations will be one of the first about this country to be published in book form.

. Includes a regulatory map of India and China
. Global IP protection strategies
. REACH and European Regulatory standards
. "Green chemistry" in relation to cosmetics and regulation

* Simplifies global regulations for anyone exporting cosmetics.
* Excellent reference not only for manufacturing and marketing, but for legal departments and packaging as well.
* Describes how to develop a global regulatory strategy.

Check price now

Rerate Products

Customer Review

Network and Parallel Computing: IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Network and Parallel Computing: IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Review

See more picture

Network and Parallel Computing: IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Feature

This book constitutes the refereed proceedings of the IFIP International Conference on Network and Parallel Computing, NPC 2008, held in Shanghai, China in October 2008.

The 32 revised full papers presented were carefully selected from over 140 submissions. The papers are organized in topical sections on network technologies; network applications; network and parallel architectures; parallel and distributed software.

Check price now

Rerate Products

Customer Review

The evolution of environmental legislation: a strategic transaction approach.(Environmental policy): An article from: Journal of Economic Issues

The evolution of environmental legislation: a strategic transaction approach.(Environmental policy): An article from: Journal of Economic Issues Review

See more picture

The evolution of environmental legislation: a strategic transaction approach.(Environmental policy): An article from: Journal of Economic Issues Feature

This digital document is an article from Journal of Economic Issues, published by Association for Evolutionary Economics on June 1, 2004. The length of the article is 3548 words. The page length shown above is based on a typical 300-word page. The article is delivered in HTML format and is available in your Amazon.com Digital Locker immediately after purchase. You can view it with any web browser.

Citation Details
Title: The evolution of environmental legislation: a strategic transaction approach.(Environmental policy)
Author: Paul J. Thomassin
Publication: Journal of Economic Issues (Refereed)
Date: June 1, 2004
Publisher: Association for Evolutionary Economics
Volume: 38 Issue: 2 Page: 493(10)

Distributed by Thomson Gale

Check price now

Rerate Products

Customer Review

Combinatorial Algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers ... Computer Science and General Issues)

Combinatorial Algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers ... Computer Science and General Issues) Review

See more picture

Combinatorial Algorithms: 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28--July 2, 2009, Revised Selected Papers ... Computer Science and General Issues) Feature

This book constitutes the revised selected papers of the 20th International Workshop on Combinatorial Algorithms, held in June/July 2009 in the castle of Hradec nad Moravicí, Czech Republic.

The 41 papers included in this volume together with 5 invited papers were carefully reviewed and selected from over 100 submissions. The topics dealt with are algorithms and data structures, applications, combinatorial enumeration, combinatorial optimization, complexity theory, computational biology, databases, decompositions and combinatorial designs, discrete and computational geometry, including graph drawing, and graph theory and combinatorics.

Check price now

Rerate Products

Customer Review

Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Review

See more picture

Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Feature

Scheduled transportation networks give rise to very complex and large-scale networkoptimization problems requiring innovative solution techniques and ideas from mathematical optimization and theoretical computer science. Examples of scheduled transportation include bus, ferry, airline, and railway networks, with the latter being a prime application domain that provides a fair amount of the most complex and largest instances of such optimization problems. Scheduled transport optimization deals with planning and scheduling problems over several time horizons, and substantial progress has been made for strategic planning and scheduling problems in all transportation domains.

This state-of-the-art survey presents the outcome of an open call for contributions asking for either research papers or state-of-the-art survey articles. We received 24 submissions that underwent two rounds of the standard peer-review process, out of which 18 were finally accepted for publication.

The volume is organized in four parts: Robustness and Recoverability, Robust Timetabling and Route Planning, Robust Planning Under Scarce Resources, and Online Planning: Delay and Disruption Management.

Check price now

Rerate Products

Customer Review

Software Quality Management VI: Quality Improvement Issues (v. 6)

Software Quality Management VI: Quality Improvement Issues (v. 6) Review

See more picture

Software Quality Management VI: Quality Improvement Issues (v. 6) Feature

This volume contains the edited proceedings of the sixth International Conference on Software Quality Management, SQM '98 held in April 1998 in Amsterdam, organised by the Quality Special Interest Group of the British Computer Society. These conferences attract over one hundred delegates equally from industry and academia and also equally from the UK and abroad. The objective of this series of annual conferences is to promote international co-operation among those concerned with software quality and process improvement, by creating a greater understanding of software quality issues and by sharing current research and industrial experience. The papers cover a broad spectrum of practical experience and research. The topic areas include process improvement, maintaining a quality management system, quality metrics, human factors, project management issues, software tools and approaches to systems development.

Check price now

Rerate Products

Customer Review

Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Review

See more picture

Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) Feature

This book constitutes the refereed proceedings of the Second Latin-American Symposium on Dependable Computing, LADC 2005, held in Salvador, Brazil, in October 2005. The 16 revised full papers presented together with 3 invited talks, and outlines of 2 workshops and 3 tutorials, were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.

Check price now

Rerate Products

Customer Review

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Computer Science and General Issues)

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Computer Science and General Issues) Review

See more picture

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Computer Science and General Issues) Feature

This book constitutes the refereed proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 33 revised full research papers and 8 revised tool demonstration papers presented together with an invited paper were carefully reviewed and selected from a total of 161 submissions. The papers are organized in topical sections on regular model-checking, infinite state machines, abstract interpretation, automata and logics, probabilistic systems and probabilistic model checking, satisfiability, testing, abstraction and reduction, specification and program synthesis, and model-checking.

Check price now

Rerate Products

Customer Review