36,410円

International Medical Guide …

This volume presents a critical analysis and timely synthesis of the past two decades of intensive research, development and demonstrations on the in situ remediation of chlorinated solvent plumes.

40,920円

In Situ Remediation of Chlor…

For more than 50 years, the Springer VDI Heat Atlas has been an indispensable working means for engineers dealing with questions of heat transfer. Featuring 50% more content, this new edition covers most fields of heat transfer in industrial and engineering applications. It presents the interrelationships between basic scientific methods, experimental techniques, model-based analysis and their transfer to technical applications.

375,100円

VDI Heat Atlas

The two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, held in Bordeaux, France, in July 2010.The 106 revised full papers (60 papers for track A, 30 for track B, and 16 for track C) presented together with 6 invited talks were carefully reviewed and selected from a total of 389 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management. LNCS 6198 contains 60 contributions of track A selected from 222 submissions as well as 2 invited talks.

37,510円

Automata, Languages and Prog…

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010.The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include connections preferences, deontic logic and contrary-to-duties, the use of input/output logic, the study of norm dynamics, models of agents and institutions, argumentation, compliance, and various alternative analyses of deontic notions.

18,744円

Deontic Logic in Computer Sc…

18,744円

Theory and Applications of S…

37,510円

Automated Reasoning: 5th Int…

18,744円

Detection of Intrusions and …

37,510円

Case-Based Reasoning: 18th I…

Examining the astrology, historical context and life science of the Vredefort crater, this volume presents a rare view into the early stages of planet Earth. The geological, archaeological and cultural heritage of the region is also discussed in this overview.

37,158円

Meteorite Impact!: The Dange…

57,970円

Advances in Wireless Sensors…

Differential evolution is a simple, yet very powerful, stochastic global optimizer. This book focuses on applications of differential evolution in electromagnetics, showcasing its effectiveness in solving synthesis and design problems in electromagnetics.

37,510円

Differential Evolution in El…

37,510円

Computing and Combinatorics:…

37,510円

Interactive Theorem Proving:…

37,510円

Information Processing and M…

18,744円

Articulated Motion and Defor…

This book constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations, held in Amsterdam, Netherlands in July 2010.

18,744円

Haptics: Generating and Perc…

This book constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations, held in Amsterdam, Netherlands in July 2010.

18,744円

Haptics: Generating and Perc…

This book constitutes the joint refereed proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, the 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2010, and the 9th International Conference on Mathematical Knowledge Management, MKM 2010.All submissions passed through a rigorous review process. From the 25 papers submitted to AISC 2010, 9 were selected for presentation at the conference and inclusion in the proceedings volume. A total of 14 papers were submitted to Calculemus, of which 7 were accepted. MKM 2010 received 27 submissions, of which 16 were accepted for presentation and publication.The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.

18,744円

Intelligent Computer Mathema…

18,744円

Artificial Evolution: 9th In…

The two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, held in Bordeaux, France, in July 2010.The 106 revised full papers (60 papers for track A, 30 for track B, and 16 for track C) presented together with 6 invited talks were carefully reviewed and selected from a total of 389 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management. LNCS 6199 contains 46 contributions of track B and C selected from 167 submissions as well as 4 invited talks.

37,510円

Automata, Languages and Prog…

37,510円

Networked Digital Technologi…

37,510円

Computer Aided Verification:…

Data hiding has been proposed as an enabling technology for securing multimedia communication. This book publishes both original and archival research results from these emerging fields. It contains a section on forensic image analysis for crime prevention.

18,744円

Transactions on Data Hiding …

18,744円

Algorithmic Number Theory: 9…

18,744円

Frontiers in Algorithms: 4th…

3,982円

The Organization of Inquiry

This masterwork presents biographies of scientists, engineers, explorers and inventors who left their mark on science, and includes 380 articles summarizing the time-line of ideas, plus tables, figures and photos and more.

1,193,500円

Historical Encyclopedia of N…

6,336円

Honeybee Democracy

18,744円

Conceptual Structures: From …

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