14,995円

Public Key Infrastructures, …

14,995円

The Practice of Enterprise M…

This book constitutes the proceedings of the International Conference on Information Computing and Applications, held in Tangshan, China, in October 2010.

30,008円

Information Computing and Ap…

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010.The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.

30,008円

Logic for Programming, Artif…

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.

26,998円

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.

35,182円

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.

26,998円

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.

32,454円

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.

35,464円

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.

14,995円

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.

14,995円

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.

30,008円

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.

14,995円

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.

14,995円

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.

14,995円

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.

26,998円

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.

14,995円

Recent Trends and Developmen…

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.

14,995円

Autonomic and Trusted Comput…

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.

14,995円

Model Checking Software: 17t…

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.

26,998円

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.

14,995円

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.

37,910円

Computer Aided Verification:…

59,734円

Computational Science - Iccs…

14,995円

Advances in Computer Games: …

14,995円

Testing Software and Systems…

48,822円

Computational Science - Iccs…

48,822円

Computational Science - Iccs…

This book constitutes the proceedings of the 8th German Conference on Multiagent System Technologies held in Leipzig, Germany, in September 2010.

14,995円

Multiagent System Technologi…

This book constitutes the refereed proceedings of the 9th International Symposium on Smart Graphics, SG 2008, held in Rennes, France in August 2008. The 17 revised full papers together with 9 short papers and 3 demonstrations presented were carefully reviewed and selected. The papers are organized in topical sections on sketching, navigation and selection, studies and evaluation, camera planning, as well as visualization.

26,998円

Smart Graphics: 9th Internat…

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.

26,998円

Logic, Language, Information…

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