An invaluable work that will help dentists and oral surgeons to recognize and diagnose gross dental abnormalities. This book provides practically applicable knowledge on histology and histopathology of the changes that are seen in diseases of the dental and periodontal tissues. It includes the disturbances in tooth formation, acquired dental diseases including caries and its sequelae for the tooth-surrounding tissues, periodontal disease and odontogenic tumours. Also, attention is paid to the histological alterations induced by dental treatment.

43,978円

Dental Pathology: A Practica…

This book constitutes the refereed proceedings of the 7th International Conference on Autonomic and Trusted Computing, ATC 2010, held in Xi'an, China, in October 2010.The 20 revised full papers presented together with 3 invited papers and 2 keynote abstracts were carefully reviewed and selected from 68 submissions. The papers address all current issues in autonomic, organic, and trusted computing, with special focus on theory and models, architectures and systems, components and modules, communication and services, as well as on tools and interfaces. They also feature actual research on trust models and specifications, trust-related security and privacy, trusted reliable and dependable systems, trustworthy services and applications, plus trust standards and non-technical issues.

18,744円

Autonomic and Trusted Comput…

This is the first book to discuss current and future applications of waveform diversity and design in subjects such as radar and sonar, communications systems, passive sensing, and many other technologies. Waveform diversity allows researchers and system designers to optimize electromagnetic and acoustic systems for sensing, communications, electronic warfare or combinations thereof. This book enables solutions to problems with how each system performs its own particular function as well as how it is affected by other systems and how those other systems may likewise be affected. It is an excellent standalone introduction to waveform diversity and design, which takes a high potential technology area and makes it visible to other researchers, as well as young engineers.

72,864円

Principles of Waveform Diver…

This book constitutes the refereed proceedings of the 17th InternationalSPIN workshop on Model Checking Software, SPIN 2010, held at theUniversity of Twente, in Enschede, The Netherlands, in September 2010.The 13 revised full papers presented together with 2 tool papers and 3invited talks were carefully reviewed and selected from 33 submissions.The papers are organized in topical sections on satisfiability modulotheories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and B chi automata, extensions to infinite-state systems, and concurrentsoftware.

18,744円

Model Checking Software: 17t…

Primarily aimed a clinical audience this book should provide a comprehensive review and useful insight into ALA-PDT.

75,922円

Photodynamic Therapy with AL…

This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007. The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.

33,748円

Implementation and Applicati…

This book constitutes the refereed proceedings of the 13th International Conference on Discovery Science, DS 2010, held in Canberra, Australia, in October 2010.The 25 revised full papers presented were carefully selected from 43 submissions and include the first part of the book. In a second part invited talks of ALT 2010 and DS 2010 are presented.The scope of the conference is the exchange of new ideas and information among researchers working in the area of automatic scientific discovery or working on tools for supporting the human process of discovery in science.

18,744円

Discovery Science: 13th Inte…

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification, program and shape analysis, security and program analysis, hardware verification, model checking, space efficient algorithms, and model checking.

47,388円

Computer Aided Verification:…

In Plant Gene Transfer and Expression Protocols, leading experts present the latest step-by-step recipes for introducing genes into model and agricultural plants and for studying gene activity using reporter enzyme assays, RNA techniques, and immunological methods. The book contains not only a complete collection of "mainstream" methods, but also methods for studying gene expression and genetic manipulation in chloroplasts and mitochondria. There are also methods for introducing and analyzing plant genes in Xenopus and heterologous yeast hosts. Plant Gene Transfer and Expression Protocols is an indispensable tool for scientists working in both fundamental (biochemical, physiological, and genetic) and applied aspects of plant biotechnology, plant breeding, agriculture, and horticulture. It provides concise practical help that produces the desired results even for beginners and opens the doors to new research possibilities.

57,970円

Plant Gene Transfer and Expr…

The Microelectronics Packaging Handbook continues to be the standard reference in the field, providing the latest in microelectronics design methods, modeling tools, simulation techniques, and manufacturing processes. Now available on CD-ROM for the first time, it discusses state-of-the-art packages that meet the power, cooling, protection, and interconnection requirements of increasingly dense and fast microcircuitry. The CD-ROM version includes a navigational scheme for easy access to content, hypertext links for glossary terms, references, footnotes and graphics, and full text search capabilities for more powerful querying of the information.

139,458円

Microelectronics Packaging H…

This book provides an introduction to the "problem of scale," and presents information that will allow for improved design and interpretation of enclosed experimental aquatic ecosystems. The results of a 10-year research project are integrated into the book.

18,744円

Enclosed Experimental Ecosys…

74,668円

Computational Science - Iccs…

18,744円

Advances in Computer Games: …

18,744円

Testing Software and Systems…

61,028円

Computational Science - Iccs…

61,028円

Computational Science - Iccs…

Bellos has traveled all around the globe and has plunged into history to uncover fascinating stories of mathematical achievement, from the breakthroughs of Euclid, the greatest mathematician of all time, to the creations of the Zen master of origami, one of the hottest areas of mathematical work today.

3,960円

Here's Looking at Euclid: Fr…

Haupt, a trained naturalist, uses science, scholarly research, myth, and personal observation to draw readers into the "crow stories" that unfold around us every day, culminating in a book that transforms the way we experience our neighborhoods and our world.

3,762円

Crow Planet: Essential Wisdo…

57,970円

Insect Nicotinic Acetylcholi…

This book constitutes the proceedings of the 8th German Conference on Multiagent System Technologies held in Leipzig, Germany, in September 2010.

18,744円

Multiagent System Technologi…

This book constitutes the refereed proceedings of the 9th International Symposium on Smart Graphics, SG 2008, held in Rennes, France in August 2008. The 17 revised full papers together with 9 short papers and 3 demonstrations presented were carefully reviewed and selected. The papers are organized in topical sections on sketching, navigation and selection, studies and evaluation, camera planning, as well as visualization.

33,748円

Smart Graphics: 9th Internat…

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.

33,748円

Logic, Language, Information…

This book constitutes the proceedings of the Second World Summit on the Knowledge Society Primer held in Corfu, Greece, in September 2010.

37,510円

Organizational, Business, an…

This book constitutes the proceedings of the 4th provable security conference held in Malacca, Malaysia in October 2010. The 17 papers presented were carefully reviewed and selected from 47 submissions. The papers are divided in topical sections on identification, auto proofs, signature, hash function, protocol, encryption, and signcryption.

18,744円

Provable Security: 4th Inter…

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during two rounds of reviewing and improvement from 65 submissions. The papers are organized in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic.

37,158円

Computer Mathematics: 8th As…

This Landolt-B rnstein volume IV/17 is a supplement to the volume IV/6 "Static Dielectric Constants of Pure Liquids and Binary Liquid Mixtures" and provides dielectric constant data published in the years 1991-2006. Included in this volume are static dielectric constants of pure liquids and binary liquid mixtures at different temperatures and saturation vapor pressures including liquid elements, inorganic liquids, organic liquids and their mixtures. Not all published data could be included in the printed version, but the electronic version contains all available data and references.

205,700円

Static Dielectric Constants …

In the tradition of the acclaimed Methods in Molecular Biology series, this collection of more than 500 tried-and-tested PCR protocols will become the standard PCR reference set in all biological science laboratories. Comprehensive in scope, yet easily searchable, these protocols will enable PCR labs to have access to the widest array of PCR protocols available and thus be able to complete any kind of PCR experiment with ease. The protocols are presented in a step-by-step fashion and cover every aspect of PCR, making this an essential reference for all biological scientists.

61,028円

PCR Protocols on CD (Persona…

First published in German as Sepp Holzers Permakultur by Leopold Stocker Verlag.

5,940円

Sepp Holzer's Permaculture: …

A state-of-the art overview of the ever widening technological applications of colour chemistry, fully illustrated with colour for scientific clarification.

54,538円

Chromic Phenomena: Technolog…

This book constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2006, held in Guilin, China in August 2006. The book presents 81 revised full papers and 87 revised short papers together with 3 keynote talks. The papers are organized in topical sections on intelligent agents, automated reasoning, machine learning and data mining, natural language processing and speech recognition, computer vision, perception and animation, and more.

81,488円

Pricai 2006: Trends in Artif…

このサイトのデータは 2026/01/19 03:53:04 に楽天APIから取得しました。このサイトで掲載されている情報は shopping.ago-go.org の作成者により運営されています。 価格、販売可能情報は、変更される場合があります。購入時に楽天市場店舗（www.rakuten.co.jp）に表示されている価格が、その商品の販売に適用されます。