This book presents archival papers on Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. Includes a selection of the best papers from workshops and tutorials at annual Petri net conferences.

18,744円

Transactions on Petri Nets a…

Based on the readings of SCIAMACHY -- a passive remote sensing spectrometer observing backscattered, reflected, transmitted or emitted radiation from the atmosphere and Earth's surface -- this volume presents a global measurement of various trace gases in the troposphere and stratosphere.

37,510円

Sciamachy - Exploring the Ch…

Here is a state-of-the-art survey, which serves to harmonise the practice of trauma surgery across the European Union, and helps readers prepare for the exam of the U.E.M.S. This third volume presents head, thoracic, abdominal and peripheral vascular injuries.

47,388円

Head, Thoracic, Abdominal, a…

The two volume set LNCS 6443 and LNCS 6444 constitutes the proceedings of the 17th International Conference on Neural Information Processing, ICONIP 2010, held in Sydney, Australia, in November 2010.The 146 regular session papers presented were carefully reviewed and selected from 470 submissions. The papers of part I are organized in topical sections on neurodynamics, computational neuroscience and cognitive science, data and text processing, adaptive algorithms, bio-inspired algorithms, and hierarchical methods. The second volume is structured in topical sections on brain computer interface, kernel methods, computational advance in bioinformatics, self-organizing maps and their applications, machine learning applications to image analysis, and applications.

37,510円

Neural Information Processin…

The two volume set LNCS 6443 and LNCS 6444 constitutes the proceedings of the 17th International Conference on Neural Information Processing, ICONIP 2010, held in Sydney, Australia, in November 2010.The 146 regular session papers presented were carefully reviewed and selected from 470 submissions. The papers of part I are organized in topical sections on neurodynamics, computational neuroscience and cognitive science, data and text processing, adaptive algorithms, bio-inspired algorithms, and hierarchical methods. The second volume is structured in topical sections on brain computer interface, kernel methods, computational advance in bioinformatics, self-organizing maps and their applications, machine learning applications to image analysis, and applications.

37,510円

Neural Information Processin…

This book constitutes the refereed proceedings of the 12th International Conference on Distributed Computing and Networking, ICDCN 2011, held in Bangalore, India, during January 2-5, 2011.The 31 revised full papers and 3 revised short papers presented together with 3 invited lectures were carefully reviewed and selected from 140 submissions. The papers address all current issues in the field of distributed computing and networking. Being a leading forum for researchers and practitioners to exchange ideas and share best practices, ICDCN also serves as a forum for PhD students to share their research ideas and get quality feedback from the well-renowned experts in the field.

18,744円

Distributed Computing and Ne…

This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on Security Protocols, held in Brno, Czech Republic, in April 2007.The 15 revised full papers presented together with edited transcriptions of some of the discussions following the presentations have passed through multiple rounds of reviewing, revision, and selection. The topics addressed reflect the question "When is a Protocol Broken?" and how can it degrade gracefully in the face of partially broken assumptions, or how can it work under un(der)specified assumptions.

18,744円

Security Protocols: 15th Int…

From harvesting to eating, this book will show you how to identify morels and distinguish them from false morels and other mushrooms. Information is also included to help you determine where to hunt and find the most morels in season. Basic and special cooking techniques show how to enjoy morels.

3,366円

Morel Hunting

This book constitutes the refereed proceedings of the 7th International Conference on Computers and Games, CG 2010, held in Kanazawa, Japan, in September 2010.The 24 papers presented were carefully reviewed and selected for inclusion in this book. They cover a wide range of topics such as monte-carlo tree search, proof-number search, UCT algorithm, scalability, parallelization, opening books, knowledge abstraction, solving games, consultation of players, multi-player games, extraversion, and combinatorial game theory. In addition a wide range of computer games is dealt with, such as Chinese Checkers, Chinese Chess, Connect6, Go, Havannah, Lines of Action, Pckomino, Shogi, Surakarta, and Yahtzee.

18,744円

Computers and Games: 7th Int…

This volume represents the state of the art of the science covered by the International Association of Geomagnetism and Aeronomy (IAGA) Division IV: Solar Wind and Interplanetary Field. It contains a collection of contributions by top experts addressing and reviewing a variety of topics included under the umbrella of the division. It covers subjects that extend from the interior of the Sun to the heliopause, and from the study of physical processes in the Sun and the solar wind plasma to space weather forecasts.The book is organized in 6 parts: the solar interior, the solar atmosphere, the heliosphere, heliophysical processes, radio emissions, and coordinated science in the Sun-Earth system. In addition, we highlight some of the results presented during the IAGA Division IV symposia in the 11th Scientific Assembly of IAGA in Sopron, Hungary, on 23-30 August 2009, which was planned simultaneously with this book.

37,510円

The Sun, the Solar Wind, and…

This book constitutes the refereed proceedings of the 6th International Conference on Advanced Data Mining and Applications, ADMA 2010, held in Chongqing, China, in November 2010.63 carefully reviewed regular papers and 55 revised short papers were presented. The papers are organized in topical sections on data mining foundations; data mining in specific areas; data mining methodologies and processes; and data mining applications and systems.

37,510円

Advanced Data Mining and App…

Six lectures, all regarding the most revolutionary discovery in twentieth-century physics: Einstein's Theory of Relativity. No one--not even Einstein himself--explained these difficult, anti-intuitive concepts more clearly, or with more verve and gusto, than Feynman.

3,564円

Six Not-So-Easy Pieces: Eins…

Tissue engineering is becoming one of the most promising treatment options for patients suffering from tissue failure. This heavily-illustrated guide is aimed at all clinicians and researchers confronting tissue engineering issues in their daily practice.

57,970円

Tissue Engineering: From Lab…

This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010.The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.

18,744円

Algebraic Methodology and So…

This book constitutes the thoroughly refereed post-conference proceedings of the 5th Conference on Theory of Quantum Computation, Communication, and Cryptography, TQC 2010, held in Leeds, UK, in April 2010.The 15 revised papers presented were carefully selected during two rounds of reviewing and improvement. Focussing on theoretical aspects of quantum computation, quantum communication, and quantum cryptography - part of a larger interdisciplinary field embedding information science in a quantum mechanical framework - the papers present current original research. Topics addressed include quantum algorithms, models of quantum computation, quantum complexity theory, simulation of quantum systems, quantum cryptography, quantum communication, quantum estimation and measurement, quantum noise, quantum coding theory, fault-tolerant quantum computing, and entanglement theory.

18,744円

Theory of Quantum Computatio…

18,744円

Towards Autonomous, Adaptive…

18,744円

Transactions on Rough Sets X…

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.

18,744円

Formal Verification of Objec…

This book constitutes the refereed proceedings of the International Workshops on the Applications of Evolutionary Computation, EvoApplications 2010, held in Istanbul, Turkey, in April 2010 colocated with the Evo* 2010 events. Thanks to the large number of submissions received, the proceedings for EvoApplications 2010 are divided across two volumes (LNCS 6024 and 6025). The present volume contains contributions for EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG.The 47 revised full papers presented were carefully reviewed and selected from a total of 86 submissions. This volume presents a careful selection of relevant EC examples combined with a thorough examination of the techniques used in EC. The papers in the volume illustrate the current state of the art in the application of EC and should help and inspire researchers and professionals to develop efficient EC methods for design and problem solving.

37,510円

Applications of Evolutionary…

27,280円

Pocket Guide to Biomolecular…

18,744円

Formal Methods for Component…

18,744円

Transactions on Computationa…

18,744円

Recognizing Patterns in Sign…

88,308円

Advanced Microsystems for Au…

This book constitutes the post-conference proceedings of the CAiSE Forum from the 22nd International Conference on Advanced Information Systems Engineering (CAiSE 2010), held in Hammamet, Tunisia, June 9, 2010.While the CAiSE conference itself focuses on papers that report on matured research, the CAiSE forum was created specifically as a platform to present fresh ideas, new concepts, and new and innovative systems, tools, and applications.The 22 papers presented in this volume were carefully reviewed and selected from 32 submissions. The reworked and extended versions of the original presentations cover topics such as business process management, enterprise architecture and modeling, service-oriented architectures, and requirements engineering.

18,744円

Information Systems Evolutio…

This book constitutes the refereed proceedings of the 11th International Workshop on Information Security Applications, WISA 2010, held in Jeju Island, Korea, in August 2010.The 25 revised full papers presented were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on cryptosystem, implementation, mobile security/secure coding, attack, biometrics, and secure protocol.

18,744円

Information Security Applica…

This book constitutes the refereed proceedings of the 7th International Workshop on Algorithms and Models for the Web-Graph, WAW 2010, held in Stanford, CA, USA, in December 2010, which was co-located with the 6th International Workshop on Internet and Network Economics (WINE 2010).The 13 revised full papers and the invited paper presented were carefully reviewed and selected from 19 submissions.

18,744円

Algorithms and Models for th…

This volume constitutes the first of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011.The 59 revised full papers presented in this volume were carefully reviewed and selected. The papers are organized in topical sections on distributed and parallel systems and algorithms; DSP, image processing, pattern recognition, and multimedia; software engineering; database and data Mining; as well as soft computing, such as AI, neural networks, fuzzy systems, etc.

61,028円

Advances in Computer Science…

18,744円

Clinical Aspects and Laborat…

18,744円

Logic and Its Applications: …

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