This book constitutes the refereed proceedings of the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010, held in New York, USA, in September 2010. The 39 revised full papers were carefully reviewed and selected from 90 submissions. The papers address all safety and security-related aspects of self-stabilizing systems in various areas. The most topics related to self-* systems. The tracks were: self-stabilization; self-organization; ad-hoc, sensor, and dynamic networks; peer to peer; fault-tolerance and dependable systems; safety and verification; swarm, amorphous, spatial, and complex systems; security; cryptography, and discrete distributed algorithms.

30,008円

Stabilization, Safety, and S…

This book constitutes the proceedings of the 33rd Annual German Conference on Advances in Artificial Intelligence, held in Karlsruhe, Germany, in September 2010.

14,995円

KI 2010: Advances in Artific…

This book constitutes the proceedings of the 5th International Symposium on Computational Intelligence and Intelligent Systems held in Wuhan, China, in October 2010.

14,995円

Computational Intelligence a…

This book constitutes the proceedings of the International Conference on ENTERprise information systems, held Viana do Castelo, Portugal, in October 2010.

30,008円

ENTERprise Information Syste…

This book contains the refereed proceedings of the 1st International Conference on Lean Enterprise Software and Systems, LESS 2010, held in Helsinki, Finland, in October 2010. LESS 2010 is the first scientific conference dedicated to advance the body of knowledge for lean enterprise software and systems development. To achieve this goal, it offers a unique platform by bringing together leading researchers and industry practitioners in fact, more than 60% of the conference speakers come from industry. The 24 papers selected for this book represent a diverse range of experiences, studies, and theoretical achievements. They are organized in three tracks on Scaling Agile to Lean, Lean Product Development and Innovation, and Beyond Budgeting. The volume is completed by two invited talks and the summary of the panel on Why Agile, Why Lean.

14,995円

Lean Enterprise Software and…

From his childhood fascination with the gigantic Natural History Museum model of a blue whale, to his abiding love of "Moby-Dick," to his adult encounters with the living animals in the Atlantic Ocean, the acclaimed writer Philip Hoare has been obsessed with whales. "The Whale" is his unforgettable and moving attempt to explain why these strange and beautiful animals exert such a powerful hold on our imagination.

2,692円

The Whale: In Search of the …

In this intellectual history, science writer Timothy Ferris makes a case for science as the inspiration behind the rise of liberalism and democracy.

2,534円

The Science of Liberty: Demo…

Written by physicists for physics students, this text assumes no detailed background in topology or geometry. Topics include differential forms, homotopy, homology, cohomology, fiber bundles, connection and covariant derivatives, and Morse theory. 1983 edition.

2,692円

Topology and Geometry for Ph…

By way of her adventures with seven birds--wild, tame, exotic, and common--the beloved author of "The Good Good Pig" weaves new scientific insights and narrative to reveal seven kernels of bird wisdom.

3,009円

Birdology: Adventures with H…

39,547円

Welding and Metal Fabricatio…

Get this perfect bird watcher's companion, and record all of your favorite birding moments. Organized by month and with plenty of tips and tidbits, the Birding Journal allows you to track when and where you first see each species of bird in a given season, while also providing plenty of room for general notes and more!

1,930円

Birding Journal: Through the…

A great get-well gift for kids with boo-boos, friends on the mend, and anyone who needs a little love and healing inspiration. Julia Segal follows a menagerie of absolutely adorable pets as they recover from their injuries--with stories about the "uh-oh" moments that led to the casts and follow-up visits with the fully recovered patients.

2,059円

FEEL BETTER LITTLE BUDDY(P)

26,998円

Advances in Databases and In…

46,376円

Autoimmune Diseases of the S…

190,960円

Pediatric Allergy, Asthma an…

46,376円

Cardiovascular Medicine

Modern biological understanding is the basis for a multimodality treatment of a tumor. 'Anatomic Basis of Tumor Surgery' is the only book that provides an anatomic basis and description of tumor surgery based on an understanding of both the anatomy and biology of tumor progression. It presents the regional anatomy to allow tailoring of the operation as demanded.

76,384円

Anatomic Basis of Tumor Surg…

Colorectal Surgery: Living Pathology in the Operating Room is two books in one. First, it is an atlas in the classic definition: each chapter is a two-page spread discussing one case. Functionally, each chapter is a case study with both the surgical and pathological perspectives beautifully rendered and fully explained.Visually, every chapter presents the reader with operative and/or diagnostic photos, and anatomic line drawings by the author. The text, more extensive than in many atlases, provides a concise yet complete operative record: patient history/work up, anatomic anomalies, the procedure itself, pathologic findings, and follow up.Key teaching points emphasize the most important and unique aspects of every case. Residents, fellows, and even seasoned practitioners will gain valuable diagnostic and therapeutic insights from this material. The case study presentation provides an excellent review tool for the American Board of Colon and Rectal Surgery exam.

32,736円

Colorectal Surgery: Living P…

38,192円

Lumbar Spinal Imaging in Rad…

The book provides an authoritative source of knowledge about these problematic disorders. Aimed primarily at clinicians and graduate researchers, this essential text bridges the gap between clinical recognition and the new molecular medicine. Many relevant diseases are described here for the first time.

136,400円

Neurocutaneous Disorders: Ph…

In this 3rd Edition, Multimedia in the accompanying DVD is used to more fully explain how lax suspensory ligaments may cause multiple pelvic floor dysfunctions, how to diagnose which structures are causing the problem, and how to perform 'simulated' or 'virtual' operations. New insights into the pathogenesis of pelvic organ prolapse, pelvic pain, vulvodynia, and Interstitial Cystitis are presented. The tensioned minisling as used for cystocoele, uterine prolapse, rectocoele stress incontinence and other symptoms is described in the book and demonstrated in the DVD.

46,094円

The Female Pelvic Floor: Fun…

This Asian adaptation of the Dual Source CT (DSCT) imaging protocol book is a comprehensive source of scan and contrast protocols for the first generation DSCT scanner. The book offers cases and adapted protocols especially tailored for the Asian population.

2,710円

Dual Source CT Imaging: Asia…

This book constitutes the refereed proceedings of the 11th International Conference on Cryptology in India, INDOCRYPT 2010, held in Hyderabad, India, in December 2010.The 22 revised full papers were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on security of RSA and multivariate schemes; security analysis, pseudorandom permutations and applications; hash functions; attacks on block ciphers and stream ciphers; fast cryptographic computation; cryptanalysis of AES; and efficient implementation.

14,995円

Progress in Cryptology - IND…

This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.

17,723円

Automated Reasoning for Secu…

Property Testing is the study of super-fast algorithms for approximate decision making. This volume features work presented at a mini-workshop on property testing that took place January 2010 at the Institute for Computer Science, Tsinghua University, China.

14,995円

Property Testing: Current Re…

This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010.The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.

30,008円

Formal Methods and Software …

This book constitutes the thoroughly refereed post-conference proceedings of the 36th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2010, held in Zar s, Crete, Greece, in June 2010. The 28 revised full papers presented together with two invited papers were carefully reviewed and selected from 94 initial submissions. The papers feature original results on all aspects of graph-theoretic concepts in Computer Science, e.g. structural graph theory, sequential, parallel, randomized, parameterized, and distributed graph and network algorithms and their complexity, graph grammars and graph rewriting systems, graph-based modeling, graph-drawing and layout, random graphs, diagram methods, and support of these concepts by suitable implementations - as well as applications of graph-theoretic concepts in Computer Science.

14,995円

Graph-Theoretic Concepts in …

This book explores new research on innate immunity in the ovary, exploring processes in detail, summarizing current research, and predicting new therapies for such ovarian disorders as anovulations, luteal phase insufficiency, and autoimmune failures.

48,822円

Footmarks of Innate Immunity…

The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.

14,995円

Programming Languages and Sy…

This book constitutes the refereed best selected papers of the 5th International Symposium on Parameterized and Exact Computation, IPEC 2010, held in Chennai, India, in December 2010.The 19 revised full papers presented were carefully reviewed and selected from 32 submissions. The topics addressed cover research in all aspects of parameterized and exact computation and complexity, including but not limited to new techniques for the design and analysis of parameterized and exact algorithms; parameterized complexity theory; relationship between parameterized complexity and traditional complexity classifications; applications of parameterized and exact computation; implementation issues of parameterized and exact algorithms; fixed-parameter approximation; fast approximation in exponential time; kernelization lower and upper bounds.

14,995円

Parameterized and Exact Comp…

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