This book constitutes the refereed proceedings of the 37th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2011, held in Nov, Smokovec, Slovakia in January 2011.The 41 revised full papers, presented together with 5 invited contributions, were carefully reviewed and selected from 122 submissions. SOFSEM 2011 was organized around the following four tracks: foundations of computer science; software, systems, and services; processing large datasets; and cryptography, security, and trust.

14,995円

Sofsem 2011: Theory and Prac…

In response to significant new structural information on soluble forms of pore-forming proteins, this book shows how important pore-forming toxin families achieve membrane binding and which structural elements are used for formation of transmembrane pores.

60,016円

Proteins: Membrane Binding a…

This book constitutes the thoroughly refereed post workshop proceedings of the 8th International Workshop on Approximation and Online Algorithms, WAOA 2010, held in Liverpool, UK, in September 2010 as part of the ALGO 2010 conference event.The 23 revised full papers presented were carefully reviewed and selected from 58 submissions. The workshop covered areas such as algorithmic game theory, approximation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, inapproximability results, echanism design, network design, packing and covering, paradigms for design and analysis of approximation and online algorithms, parameterized complexity, randomization techniques, real-world applications, and scheduling problems.

14,995円

Approximation and Online Alg…

This book constitutes the refereed proceedings of the 12th InternationalConference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located withthe Symposium on Principles of Programming Languages, POPL 2011.The 24 revised full papers presented together with 4 invited talks werecarefully reviewed and selected from 71 initial submissions. The papersshowcases state-of-the-art research in areas such as verification, modelchecking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic andobject-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstractdomains, type systems, and optimization.

14,995円

Verification, Model Checking…

This rigorous book explores the current capabilities of the most prominent process modeling grammar BPMN. The book is a landmark for an empirical technology assessment that analyzes how design flaws in technology influence usage behavior.

14,995円

Evaluations of Process Model…

10,912円

Equator: A Function Calculat…

10,753円

Principles and Practice of V…

This book is based on a selection of thoroughly revised and extended best papers from the 8th Workshop on E-Business (WEB 2009) held in Phoenix, AZ, USA, on December 15th, 2009. The 29 papers, which were selected from 70 presentations at the workshop, highlight the enormous developments and potential of e-business at a time when new technologies like cloud computing, collective intelligence, and multi-sided platforms are burgeoning. Among the topics covered are Web-based information systems, RFID and supply chain management, process modeling and standardization, security and privacy issues, social networking and mobility, e-services and market mechanisms, IT portfolio management, and other special topics in e-business such as electronic invoicing.

14,995円

Exploring the Grand Challeng…

This book constitutes the refereed proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in Madrid, Italy, in February 2011. The 18 revised full papers presented together with 3 idea papers were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on model-based security, tools and mechanisms, Web security, security requirements engineering, and authorization.

14,995円

Engineering Secure Software …

This book constitutes the refereed proceedings of the First International Workshop on Human-Computer Interaction, Tourism and Cultural Heritage, HCITOCH 2010, held in Brescello, Italy, in September 2010. The 17 revised papers presented were carefully reviewed and selected from numerous submissions. Providing strategies for a creative future with computer science, quality design and communicability, the papers discuss the latest advances in the areas of augmented realities, computer art, computer graphics, e-commerce, eco-design, emerging technologies, dynamic and static media (2D & 3D), HCI, interactive systems, mixed reality, networking, simulation languages, tourism, usability, video games, virtual classroom and virtual museum.

14,995円

Human-Computer Interaction, …

This book constitutes the proceedings of the International Workshop on Vagueness in Communication, VIC 2009, held as part of ESSLLI 2009, in Bordeaux, France, July 20-24, 2009.The 11 contributions presented shed a light on new aspects in the area of vagueness in natural language communication. In contrast to the classical instruments of dealing with vagueness - like multi-valued logics, truth value gaps or gluts, or supervaluations - this volume presents new approaches like context-sensitivity of vagueness, the sharpening of vague predicates in context, and the modeling of precision levels.

14,995円

Vagueness in Communication: …

This concise and well-illustrated handbook captures the salient points of the most common problems in bone and soft-tissue pathology. The volume includes the most important diagnostic features of common musculoskeletal lesions.

14,995円

Essentials in Bone and Soft-…

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Circuit and System Design, PATMOS 2010, held in Grenoble, France, in September 2010.The 24 revised full papers presented and the 9 extended abstracts were carefully reviewed and are organized in topical sections on design flows; circuit techniques; low power circuits; self-timed circuits; process variation; high-level modeling of poweraware heterogeneous designs in SystemC-AMS; and minalogic.

14,995円

Integrated Circuit and Syste…

Here is a practical guide with all the scientific and clinical information needed to help practitioners make informed decisions about the applications of brain PET to improve the care of patients with symptoms of Alzheimer's disease and related disorders.

46,376円

Pet in the Evaluation of Alz…

This book presents the state of the art in high performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general and specifically the future of vector-based systems and heterogeneous architectures. The application contributions cover computational fluid dynamics, material science, medical applications and climate research. Innovative fields like coupled multi-physics or multi-scale simulations are presented. All papers were chosen from presentations given at the 11th Teraflop Workshop held in October 2009 at Tohoku University, Japan, and the 12th Teraflop Workshop held in March 2010 at the Hochstleistungsrechenzentrum Stuttgart (HLRS), Germany

38,192円

High Performance Computing o…

Ferrets continue to be popular pets and research models. This Second Edition is thoroughly revised, and emphasizes the clinical component of veterinary medicine particular to the ferret, reflecting recent advancements of knowledge and the author's work at MIT. New techniques for routine diagnostic and surgical procedures are covered, as well as discussion of eosinophilic gastroenteritis; hormone-dependent cystitis; lymphomas; rabies vaccines, Aleutian disease; insulinoma; alopecia; adrenal neoplasia; bleeding disorders; and anesthesia protocols.

23,337円

Biology and Diseases of the …

60,016円

Pathology of Solid Organ Tra…

This portable 8-fold guide is the perfect companion to Phillipa Hudsons easy-to-use Coastal Flowers of the Pacific Northwest, and features 112 spectacular photos of flowers found from the mid to alpine elevations on Vancouver Island and the Coast Mountains of the Pacific Northwest. Organized into a two-sided colour coded chart with a ruler printed on the back cover, this handy guide will aid in the quick identification of almost any flower one is likely to encounter in the higher realms of the Pacific Northwest, from exquisite yellow glacier lilies to elusive alpine pussy-toes. Labelled with both English and Latin names with descriptions of each species distribution range and average plant height and flower size, this full-colour pamphlet is useful to budding botanists as well as more accomplished flower enthusiasts.

1,188円

A Field Guide to Alpine Flow…

This comprehensive account of the last ten years scientific results on high-redshift galaxies summarizes and critically discusses the wealth of observational data as well as the methods which made it possible to study these distant and faint objects.

30,008円

High-Redshift Galaxies: Ligh…

12,267円

The Great Sperm Whale: A Nat…

This volume constitutes the second 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 66 revised full papers presented in this volume were carefully reviewed and selected. The papers are organized in topical sections on networks and communications; network and communications security; wireless and mobile networks.

38,192円

Advances in Networks and Com…

3,326円

Hawks at a Distance: Identif…

2,376円

Field Journal: The Explore t…

3,643円

Mathematical Tools for Physi…

This volume explores, from a mathematical and a philosophical perspective, the virtuous circle connecting logic and rationality. While logic lends its methods, techniques and ideas to the investigation of rationality, the practical problems which arise in modelling rational behaviour, especially in the social sciences, motivate logicians to develop more refined logical formalisms. This is why non classical logics - a unifying theme of this volume - play a fundamental role in the construction of formal models of rationality.

10,894円

Probability, Uncertainty and…

36,379円

Chemically Reacting Flow: Th…

This book emphasizes the principles of digital transmission rather than modern technologies. Each topic is addressed theoretically and by simulation. Topics include notions of probability and stochastic processes, spread spectrum, channel coding, and more.

76,384円

Digital Transmission: A Simu…

This book constitutes the refereed proceedings of the Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008, held in Bremen, Germany, in June 2008, under the auspices of IFIP. The 13 revised full papers presented together with 8 papers of the AIMS PhD workshop were carefully reviewed and selected from 33 submissions to the main conference and 12 papers for the PhD workshop respectively. The papers are discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault recovery, network traffic engineering and analysis, and convergent behavior of distributed systems.

26,998円

Resilient Networks and Servi…

This field guide serves as an introduction to the wildflowers and plant communities of the southern Appalachians and the adjoining piedmont. Rather than organizing plants, including trees, shrubs, and herbaceous plants, by flower color or family characteristics, as is done in most guidebooks, botanist Tim Spira takes a holistic, ecological approach that enables the reader to identify and learn about plants in their natural communities.

4,752円

Wildflowers and Plant Commun…

This practical, well-illustrated atlas covers areas ranging from neuroimaging, the use of crush and touch preps during introperative consultation, classic histological features of brain tumors, tumor variants, and a miscellaneous group of challenging tumors.

70,646円

Atlas of Pediatric Brain Tum…

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