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:…

74,668円

Computational Science - Iccs…

61,028円

Computational Science - Iccs…

61,028円

Computational Science - Iccs…

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

18,744円

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.

33,748円

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.

33,748円

Logic, Language, Information…

This book constitutes the proceedings of the Second World Summit on the Knowledge Society Primer held in Corfu, Greece, in September 2010.

37,510円

Organizational, Business, an…

This book constitutes the proceedings of the 4th provable security conference held in Malacca, Malaysia in October 2010. The 17 papers presented were carefully reviewed and selected from 47 submissions. The papers are divided in topical sections on identification, auto proofs, signature, hash function, protocol, encryption, and signcryption.

18,744円

Provable Security: 4th Inter…

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during two rounds of reviewing and improvement from 65 submissions. The papers are organized in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic.

37,158円

Computer Mathematics: 8th As…

This book constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2006, held in Guilin, China in August 2006. The book presents 81 revised full papers and 87 revised short papers together with 3 keynote talks. The papers are organized in topical sections on intelligent agents, automated reasoning, machine learning and data mining, natural language processing and speech recognition, computer vision, perception and animation, and more.

81,488円

Pricai 2006: Trends in Artif…

18,744円

Post-Quantum Cryptography: T…

This book constitutes the refereed proceedings of the InternationalConference on Logic, Information, Control and Computation, ICLICC 2011, held in Gandhigram, India, in February 2011.The 52 revised full papers presented were carefully reviewed andselected from 278 submissions. The papers are organized in topicalsections on control theory and its real time applications, computationalmathematics and its application to various fields, and informationsciences focusing on image processing and neural networks.

18,744円

Control, Computation and Inf…

This book constitutes the refereed proceedings of the 10th International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2011, held in Kyoto, Japan, in March 2011. A total of 13 full and 3 short papers plus 2 short keynote papers presented were carefully reviewed and selected from 36 submissions. The papers cover a wide range of topics including geographic information retrieval on the web, geo-spatial semantic and sensor web, location-based services, advanced GIS visualization techniques, personalization and adjustment for mobile GIS applications, and geo-spatial data quality and context processing.

18,744円

Web and Wireless Geographica…

This book constitutes the thoroughly refereed post-conferenceproceedings of the First International Joint Conference on KnowledgeDiscovery, Knowledge Engineering, and Knowledge Management, IC3K 2009, held in Funchal, Madeira, Portugal, in October 2009.This book includes revised and extended versions of a strict selectionof the best papers presented at the conference; 27 revised full paperstogether with 3 invited lectures were carefully reviewed and selectedfrom 369 submissions. According to the three covered conferences KDIR2009, KEOD 2009, and KMIS 2009, the papers are organized in topicalsections on on knowledge discovery and information retrieval, knowledgeengineering and ontology development, and on knowledge management andinformation sharing.

37,510円

Knowledge Discovery, Knowled…

18,744円

WALCOM: Algorithms and Compu…

67,848円

Automata, Languages and Prog…

Flash MX 2004 Games Most Wanted presents a definitive selection of game design techniques using the latest version of Macromedia Flash - now the industry standard for creating multimedia applications, used by over one million professionals. Each chapter covers a distinct area of online gaming, describing the design and development of a finished Flash game. The book delivers as many complete example games as possible and is packed full of the most wanted tips, tricks, and techniques to demonstrate exactly how to produce exciting and interactive games. This is an inspiring sample of all the very best techniques that professional Flash game designers are using today.

7,920円

Flash MX 2004 Games Most Wan…

This book constitutes the refereed proceedings of the 5th International Conference on Rough Set and Knowledge Technology, RSKT 2010, held in Beijing, China, in October 2010. The 98 revised full papers papers presented were carefully reviewed and selected from 175 initial submissions. The papers are organized in topical sections on rough sets and computing theory, fuzzy sets, knowledge technology, intelligent information processing, health informatics and biometrics authentication, neural networks, complex networks, granular computing, metaheuristic, cloud model and its application, data mining in cloud computing, decision-theoretic rough set model, and quotient space theory research and application.

37,510円

Rough Set and Knowledge Tech…

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award.

47,388円

Computer Science Logic: 22nd…

This book constitutes the refereed proceedings of the 22nd International Symposium on Distributed Computing, DISC 2008, held in Arcachon, France, in September 2008. The 33 revised full papers, selected from 101 submissions, are presented together with 11 brief announcements of ongoing works; all of them were carefully reviewed and selected for inclusion in the book. The papers address all aspects of distributed computing, including the theory, design, implementation and applications of distributed algorithms, systems and networks - ranging from foundational and theoretical topics to algorithms and systems issues and to applications in various fields.

37,510円

Distributed Computing: 22nd …

18,744円

Public Key Cryptography: PKC…

18,744円

Human Aspects of Visualizati…

This book constitutes the proceedings of the 20th Brazilian Symposium on Artificial Intelligence, SBIA 2010, held in S o Bernardo do Campo, Brazil, in October 2010. The 31 papers presented were carefully reviewed and selected from 91 submissions. The topics covered are: ontologies, knowledge representation and reasoning; machine learning; autonomous agents and multiagent systems; natural language processing; planning and scheduling; constraints and search; and logics for AI.

18,744円

Advances in Artificial Intel…

The two-volume set LNCS 6593 and 6594 constitutes the refereed proceedings of the 10th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2010, held in Ljubljana, Slovenia, in April 2010. The 83 revised full papers presented were carefully reviewed and selected from a total of 144 submissions. The first volume includes 42 papers and a plenary lecture and is organized in topical sections on neural networks and evolutionary computation.

18,744円

Adaptive and Natural Computi…

The two-volume set LNCS 6593 and 6594 constitutes the refereed proceedings of the 10th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2010, held in Ljubljana, Slovenia, in April 2010. The 83 revised full papers presented were carefully reviewed and selected from a total of 144 submissions. The second volume includes 41 papers organized in topical sections on pattern recognition and learning, soft computing, systems theory, support vector machines, and bioinformatics.

18,744円

Adaptive and Natural Computi…

18,744円

Agent-Oriented Software Engi…

18,744円

Transactions on High-Perform…

18,744円

E-Business and Telecommunica…

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