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.

3,388円

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.

18,744円

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.

22,154円

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.

18,744円

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.

37,510円

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.

18,744円

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.

61,028円

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.

18,744円

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.

18,744円

Parameterized and Exact Comp…

This volume constitutes the refereed proceedings of the 4th International Symposium on Sanskrit Computational Linguistics, held in New Delhi, India, in December 2010.The 18 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers can be categorized under following broad areas such as phonology and speech technology; morphology and shallow parsing; syntax, semantics and parsing; lexical resources, annotation and search; machine translation and ambiguity resolution.

18,744円

Sanskrit Computational Lingu…

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This second TCCI issue contains a collection of 10 articles selected from high-quality submissions addressing advances in the foundations and applications of computational collective intelligence.

18,744円

Transactions on Computationa…

This Festschrift volume, published in honor of Christoph Walther, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthdays of Alejandro P. Buchmann, Sorin A. Huss and Christoph Walther, a colloquium was held on November 19th, 2010 in Darmstadt, Germany. The articles collected herein cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis. Together they give a good overall perspective on the formal verification of the correctness of software systems.

18,744円

Verification, Induction, Ter…

This book constitutes the refereed proceedings of the 23rd Australasian Joint Conference on Artificial Intelligence, AI 2010, held in Adelaide, Australia, in December 2010. The 52 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on knowledge representation and reasoning; data mining and knowledge discovery; machine learning; statistical learning; evolutionary computation; particle swarm optimization; intelligent agent; search and planning; natural language processing; and AI applications.

18,744円

AI 2010: Advances in Artific…

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

37,510円

Enterprise Information Syste…

This book constitutes the refereed proceedings of the 8th International Conference, ICSOC 2010, held in San Francisco, CA, USA, in December 2010.The 33 revised full papers and three full industry papers, presented together with 18 short papers, three PhD symposium posters and four regular posters, were carefully reviewed and selected from 238 submissions. The papers are organized in topical sections on Service and Business Process Modeling; Service Management; Quality of Service; Service Science and Design; Service Development and Run-time Management; High-level Description Languages; Service Level Agreements; Service Engineering Methodologies; Service Security, Privacy, and Trust; Business Service Modeling; Formal Methods; and Service Applications.

54,208円

Service-Oriented Computing: …

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010.The 12 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 25 submissions. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this Symposium series are to continue to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of such a unifying theoretical framework among the wider computer science and software engineering communities.

18,744円

Unifying Theories of Program…

This book constitutes the proceedings of the International Conference on Research and Education in Robotics held in La Fert -Bernard, France, in May 2009.

18,744円

Research and Education in Ro…

The updated edition of this multidisciplinary text, now in four-color format, covers all areas of pulmonary medicine. It contains hundreds of images, each with its own explanation, and also offers the latest advances in diagnosis and treatment.

57,970円

Atlas of Pulmonary Medicine

37,510円

Intelligent Robotics and App…

37,510円

Intelligent Robotics and App…

37,510円

Transport Systems Telematics…

This book constitutes the refereed proceedings of the 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, held in Ascoli Piceno, Italy, in September 2010.The first part of the volume contains 39 revised papers that were carefully reviewed and selected from the main conference; they are organized according to six main topics: theoretical results on cellular automata, modeling and simulation with cellular automata, CA dynamics, control and synchronization, codes and cryptography with cellular automata, cellular automata and networks, as well as CA-based hardware. The second part of the volume comprises 35 revised papers dedicated to contributions presented during ACRI 2010 workshops on theoretical advances, specifically asynchronous cellular automata, and challenging application contexts for cellular automata: crowds and CA, traffic and CA, and the international workshop of natural computing.

37,510円

Cellular Automata: 9th Inter…

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Information Security and Cryptology, Inscrypt 2009, held in Beijing, China, in December 2009. The 22 revised full papers and 10 short papers presented were carefully reviewed and selected from 147 submissions. The papers are organized in topical sections on cryptanalysis; signature and signcryption; key exchange; private computations; cipher design and analysis; public key cryptography; network and system security; hardware security; and web security.

18,744円

Information Security and Cry…

This book constitutes the refereed proceedings of the FirstInternational Conference on Decision and Game Theory for Security, GameSec 2010, held in Berlin, Germany, in November 2010.The 12 revised full papers and 6 revised short papers presented werecarefully reviewed and selected from numerous submissions and focus onanalytical models based on game, information, communication, optimization, decision, and control theories that are applied to diversesecurity topics. The papers are organized in topical sections onsecurity investments and planning, privacy and anonymity, adversarialand robust control, network security and botnets, authorization andauthentication, as well as theory and algorithms for security.

18,744円

Decision and Game Theory for…

Data management has evolved over the years from being strictly associated with database systems, through active databases, to become a topic that has grown beyond the scope of a single field encompassing a large range of subjects, such as distributed systems, event-driven systems, and peer-to-peer and streaming systems.The present collection of works, which sheds light on various facets of data management, is dedicated to Prof. Alejandro Buchmann on the occasion of his 60th birthday.His scientific path looks back on more than thirty years of successful academic life and high-impact research. With this book we celebrate Prof. Buchmann's vision and achievements.

18,744円

From Active Data Management …

This volume constitutes the proceedings of the 8th International Conference on Simulated Evolution and Learning, SEAL 2010, held in Kanpur, India, in December 2010. The 61full papers and 19 short papers presented were carefully reviewed and selected from 141 submissions. The papers are organized in topical sections on theoretical development, evolutionary algorithms and applications, learning methodologies, multi-objective evolutionary algorithms and applications, hybrid algorithms, and industrial applications.

37,510円

Simulated Evolution and Lear…

18,744円

E-Infrastructures and E-Serv…

This book constitutes the refereed proceedings of the 4th International Workshop on Real-World Wireless Sensor Networks, REALWSN 2010, held in Colombo, Sri Lanka, in December 2010.The 11 full papers and the 5 short papers presented were carefully reviewed and selected from 34 submissions. The papers are organized in topical sections on applications; OS support and programming; communication & MAC; and poster and demonstration abstracts.

18,744円

Real-World Wireless Sensor N…

This book constitutes the refereed proceedings of the First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, held in Chennai, India, in December 2010.The 86 revised full papers presented were carefully reviewed and selected from 225 submissions.

54,208円

Swarm, Evolutionary, and Mem…

18,744円

Hci in Work and Learning, Li…

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