This book constitutes the thoroughly refereed proceedings of the SPEC International Performance Evaluation Workshop, SIPEW 2008, held in Darmstadt, Germany, in June 2008 . The 17 revised full papers presented were carefully selected out of 39 submissions for inclusion in the book. The papers are organized in topical sections on models for software performance engineering; benchmarks and workload characterization; Web services and service-oriented architectures; power and performance; and profiling, monitoring and optimization.

33,748円

Performance Evaluation: Metr…

This book constitutes the refereed proceedings of the 11th Scandinavian Workshop on Algorithm Theory, SWAT 2008, held in Gothenborg, Sweden, in July 2008. The 36 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 111 submissions. Papers were solicited for original research on algorithms and data structures in all areas, including but not limited to: approximation algorithms, computational biology, computational geometry, distributed algorithms, external-memory algorithms, graph algorithms, online algorithms, optimization algorithms, parallel algorithms, randomized algorithms, string algorithms and algorithmic game theory.

43,978円

Algorithm Theory - Swat 2008…

This book constitutes the refereed proceedings of the 6th International Conference on Computers and Games, CG 2008, held in Beijing, China, in September/October 2008 co-located with the 13th Computer Olympiad and the 16th World Computer-Chess Championship. The 24 revised full papers presented were carefully reviewed and selected from 40 submissions. The papers cover all aspects of artificial intelligence in computer-game playing dealing with many different research topics, such as cognition, combinatorial game theory, search, knowledge representation, and optimization.

33,748円

Computers and Games

This book constitutes the refereed proceedings of the 6th International Conference on Security and Cryptology for Networks, SCN 2008, held in Amalfi, Italy, in September 2008. The book contains one invited talk and 26 revised full papers which were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on Implementations, Protocols, Encryption, Primitives, Signatures, Hardware and Cryptanalysis, and Key Exchange.

40,568円

Security and Cryptography fo…

This book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint Programming, CP 2008, Sydney, Australia, September, 2008. The 27 revised full papers and 23 revised short papers presented together with 6 application papers and the abstracts of one invited lecture were carefully reviewed and selected from 120 submissions. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects - using algorithms, environments, languages, models and systems - to solving real-world problems in various application fields.

44,330円

Principles and Practice of C…

This book constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010.The 13 revised full papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on termination and narrowing; tools; the K framework; applications and semantics; maude model checking and debugging; and rewrite engines.

18,744円

Rewriting Logic and Its Appl…

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind applicational development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolvement of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability.This, the second issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, consists of journal versions of selected papers from the 11th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2009). In addition, it contains a special section focusing on the challenging domain of patent retrieval.

18,744円

Transactions on Large-Scale …

The three volume set LNCS 5994, LNCS 5995, and LNCS 5996 constitutes the thoroughly refereed post-conference proceedings of the 9th Asian Conference on Computer Vision, ACCV 2009, held in Xi'an, China, inSeptember 2009. The 35 revised full papers and 130 revised poster papers of the three volumes were carefully reviewed and seleceted from 670 submissions. The papers are organized in topical sections on multiple view and stereo, face and pose analysis, motion analysis and tracking, segmentation, feature extraction and object detection, image enhancement and visual attention, machine learning algorithms for vision, object categorization and face recognition, biometrics and surveillance, stereo, motion analysis, and tracking, segmentation, detection, color and texture, as well as machine learning, recognition, biometrics and surveillance.

37,510円

Computer Vision: ACCV 2009

This volume constitutes the selected papers of the fourth internationalconference on Metadata and Semantic Research, MTSR 2010, held in Alcal de Henares, Spain, in October 2010.The 28 full papers presented together with 3 invited lectures werecarefully reviewed and selected from numerous submissions. The papersfocus on theoretical and practical aspects of metadata research in abroad sense: models, languages, standards, applications, etc. and alsoon the application of Semantic Web technologies or any other kind ofadvanced metadata expression language to Web applications. They cover awide range, from formal papers to empirical studies, including differentkind of application and technology reports as well as user studies.

18,744円

Metadata and Semantic Resear…

This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Metaheuristics, HM 2010, held in Vienna, Austria, in October 2010.The 14 revised full papers presented were carefully reviewed and selected from 29 submissions.

18,744円

Hybrid Metaheuristics: 7th I…

This book constitutes the refereed proceedings of the 7th International XML Database Symposium, XSym 2010, held in Singapore, in September 2010.The 11 papers were carefully reviewed and selected from 20 submissions. The papers are organized in topical sections on XML query processing; XML update and applications; and XML modeling.

18,744円

Database and XML Technologie…

This book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held in Saint-Malo, France, in September 2008. The 21 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 36 submissions. The topics of the papers presented vary from theoretical results of learning algorithms to innovative applications of grammatical inference, and from learning several interesting classes of formal grammars to applications to natural language processing.

33,748円

Grammatical Inference: Algor…

BlogTalk, the International Conference on Social Software, brings together different groups of people using and advancing the Internet and its usage: technical and conceptual developers, researchers with interdisciplinary backgrounds, and practitioners alike. The focus is on social software as an expression of a culture that is based on the exchange of information, ideas and knowledge.The present volume includes 6 papers from BlogTalk 2008 as well as 11 papers from BlogTalk 2009. The areas discussed include: forms and consequences of emerging social software practices; social software in enterprise and educational environments; the political impact of social software; applications, prototypes, concepts and standards.

18,744円

Recent Trends and Developmen…

An invaluable work that will help dentists and oral surgeons to recognize and diagnose gross dental abnormalities. This book provides practically applicable knowledge on histology and histopathology of the changes that are seen in diseases of the dental and periodontal tissues. It includes the disturbances in tooth formation, acquired dental diseases including caries and its sequelae for the tooth-surrounding tissues, periodontal disease and odontogenic tumours. Also, attention is paid to the histological alterations induced by dental treatment.

43,978円

Dental Pathology: A Practica…

This book constitutes the refereed proceedings of the 7th International Conference on Autonomic and Trusted Computing, ATC 2010, held in Xi'an, China, in October 2010.The 20 revised full papers presented together with 3 invited papers and 2 keynote abstracts were carefully reviewed and selected from 68 submissions. The papers address all current issues in autonomic, organic, and trusted computing, with special focus on theory and models, architectures and systems, components and modules, communication and services, as well as on tools and interfaces. They also feature actual research on trust models and specifications, trust-related security and privacy, trusted reliable and dependable systems, trustworthy services and applications, plus trust standards and non-technical issues.

18,744円

Autonomic and Trusted Comput…

This is the first book to discuss current and future applications of waveform diversity and design in subjects such as radar and sonar, communications systems, passive sensing, and many other technologies. Waveform diversity allows researchers and system designers to optimize electromagnetic and acoustic systems for sensing, communications, electronic warfare or combinations thereof. This book enables solutions to problems with how each system performs its own particular function as well as how it is affected by other systems and how those other systems may likewise be affected. It is an excellent standalone introduction to waveform diversity and design, which takes a high potential technology area and makes it visible to other researchers, as well as young engineers.

72,864円

Principles of Waveform Diver…

This book constitutes the refereed proceedings of the 17th InternationalSPIN workshop on Model Checking Software, SPIN 2010, held at theUniversity of Twente, in Enschede, The Netherlands, in September 2010.The 13 revised full papers presented together with 2 tool papers and 3invited talks were carefully reviewed and selected from 33 submissions.The papers are organized in topical sections on satisfiability modulotheories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and B chi automata, extensions to infinite-state systems, and concurrentsoftware.

18,744円

Model Checking Software: 17t…

Primarily aimed a clinical audience this book should provide a comprehensive review and useful insight into ALA-PDT.

75,922円

Photodynamic Therapy with AL…

This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007. The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.

33,748円

Implementation and Applicati…

This book constitutes the refereed proceedings of the 13th International Conference on Discovery Science, DS 2010, held in Canberra, Australia, in October 2010.The 25 revised full papers presented were carefully selected from 43 submissions and include the first part of the book. In a second part invited talks of ALT 2010 and DS 2010 are presented.The scope of the conference is the exchange of new ideas and information among researchers working in the area of automatic scientific discovery or working on tools for supporting the human process of discovery in science.

18,744円

Discovery Science: 13th Inte…

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification, program and shape analysis, security and program analysis, hardware verification, model checking, space efficient algorithms, and model checking.

47,388円

Computer Aided Verification:…

In Plant Gene Transfer and Expression Protocols, leading experts present the latest step-by-step recipes for introducing genes into model and agricultural plants and for studying gene activity using reporter enzyme assays, RNA techniques, and immunological methods. The book contains not only a complete collection of "mainstream" methods, but also methods for studying gene expression and genetic manipulation in chloroplasts and mitochondria. There are also methods for introducing and analyzing plant genes in Xenopus and heterologous yeast hosts. Plant Gene Transfer and Expression Protocols is an indispensable tool for scientists working in both fundamental (biochemical, physiological, and genetic) and applied aspects of plant biotechnology, plant breeding, agriculture, and horticulture. It provides concise practical help that produces the desired results even for beginners and opens the doors to new research possibilities.

57,970円

Plant Gene Transfer and Expr…

The Microelectronics Packaging Handbook continues to be the standard reference in the field, providing the latest in microelectronics design methods, modeling tools, simulation techniques, and manufacturing processes. Now available on CD-ROM for the first time, it discusses state-of-the-art packages that meet the power, cooling, protection, and interconnection requirements of increasingly dense and fast microcircuitry. The CD-ROM version includes a navigational scheme for easy access to content, hypertext links for glossary terms, references, footnotes and graphics, and full text search capabilities for more powerful querying of the information.

139,458円

Microelectronics Packaging H…

This book provides an introduction to the "problem of scale," and presents information that will allow for improved design and interpretation of enclosed experimental aquatic ecosystems. The results of a 10-year research project are integrated into the book.

18,744円

Enclosed Experimental Ecosys…

74,668円

Computational Science - Iccs…

18,744円

Advances in Computer Games: …

18,744円

Testing Software and Systems…

61,028円

Computational Science - Iccs…

61,028円

Computational Science - Iccs…

Bellos has traveled all around the globe and has plunged into history to uncover fascinating stories of mathematical achievement, from the breakthroughs of Euclid, the greatest mathematician of all time, to the creations of the Zen master of origami, one of the hottest areas of mathematical work today.

3,960円

Here's Looking at Euclid: Fr…

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