This book constitutes the proceedings of the First InternationalConference on Advances in Computing and Information Technology, ACITY2011, held in Chennai, India, in July 2011.The 55 revised full papers presented were carefully reviewed andselected from numerous submissions. The papers feature significantcontributions to all major fields of the Computer Science andInformation Technology in theoretical and practical aspects.

30,008円

Advances in Computing and In…

The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Z rich, Switzerland, in July 2011. The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with 4 invited talks, 3 best student papers, and 3 best papers were carefully reviewed and selected from a total of 398 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management.

30,008円

Automata, Languages and Prog…

This book constitutes the refereed proceedings of the 19th International Symposium on Methodologies for Intelligent Systems, ISMIS 2011, held in Warsaw, Poland, in June 2011. The 71 revised papers presented together with 3 invited papers were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections on rough sets - in memoriam Zdzis aw Pawlik, challenges in knowledge discovery and data mining - in memoriam Jan ytkov, social networks, multi-agent systems, theoretical backgrounds of AI, machine learning, data mining, mining in databases and warehouses, text mining, theoretical issues and applications of intelligent web, application of intelligent systems in sound processing, intelligent applications in biology and medicine, fuzzy sets theory and applications, intelligent systems, tools and applications, and contest on music information retrieval.

30,008円

Foundations of Intelligent S…

This book constitutes the thoroughly reviewed post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2010, held in Toronto, Canada in May 2010 as a satellite workshop of AAMAS 2010.The 14 revised full papers taken from ArgMAS 2010 were carefully reviewed and improved during two rounds of revision. Also included are 4 invited papers based on presentations on argumentation at the AAMAS 2010 main conference. All together the 18 papers included in the book give a representative overview on current research on argumentation in multi-agent systems. The papers are organized in topical sections on practical reasoning and argument about action, applications, and theoretical aspects.

14,995円

Argumentation in Multi-Agent…

This book constitutes the refereed proceedings of the 4th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2011, held in Dakar, Senegal, in July 2011. The 23 papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 76 submissions. They are organized in topical sections on protocols, cryptanalysis, secret-key cryptography, efficient implementations, cryptographic schemes, algorithmic problems, elliptic curves, fault analysis, and security proofs.

14,995円

Progress in Cryptology - AFR…

14,995円

System Analysis and Modeling…

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.

14,995円

Automated Reasoning with Ana…

This book constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. The 19 revised full papers presented together with the abstracts of 2 invited papers were carefully reviewed and selected from a total of 68 submissions. The papers discuss all aspects of object technology and related fields, in particular model-based development, component-based development, language implementation and patterns, in a holistic way. The conference has a strong practical bias, without losing sight of the importance of correctness and performance.

14,995円

Objects, Models, Components,…

14,995円

Logical Aspects of Computati…

14,995円

Systems, Software and Servic…

14,995円

Tests and Proofs: 5th Intern…

This book constitutes the refereed proceedings of the 25th IFIP WG 11.3 International Conference on Data and Applications Security and Privacy, DBSec 2011, held in Richmond, VA, USA, in July 2011. The 14 revised full papers and 9 short papers presented together with 3 invited lectures were carefully reviewed and selected from 37 submissions. The topics of these papers include access control, privacy-preserving data applications, data confidentiality and query verification, query and data privacy, authentication and secret sharing.

14,995円

Data and Applications Securi…

This book contains the refereed proceedings of the 10th International Symposium on Mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011. It is a collection of 39 revised full papers, from which 27 were selected for oral and 12 for poster presentation, from a total of 49 submissions. Moreover, the book features two invited contributions in the fields of remote sensing, image analysis and scientific visualization. The papers are organized in thematic sections on theory, lattices and order, connectivity, image analysis, processing and segmentation, adaptive morphology, algorithms, remote sensing, visualization, and applications.

14,995円

Mathematical Morphology and …

8,236円

The Web Application Hacker's…

10,560円

CCNA Voice 640-461 Official …

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2010, held in Karlsruhe, Germany in October 2010.The 10 revised full papers presented together with one invited keynote paper and three panel statements were carefully reviewed and selected from initially 17 submissions. The papers present innovative cross-disciplinary ideas, concepts, methods, tools and results in foundational and applied research as well as studies on the realization of such innovations in the real world - all based on the promising new paradigm of subject-oriented business process management.

14,995円

Subject-Oriented Business Pr…

14,995円

Critical Information Infrast…

30,008円

Human Centered Design: Secon…

14,995円

Digital Human Modeling: Thir…

14,995円

Integrated Computing Technol…

14,995円

Structural Information and C…

14,995円

Detection of Intrusions and …

14,995円

Ad-Hoc, Mobile, and Wireless…

19,096円

Advances in Bioinformatics a…

14,995円

Information Security and Cry…

This book constitutes the refereed proceedings of the Second International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2011, held in Toulouse, France, in August/September 2011. The 30 revised full papers presented were carefully reviewed and selected from numerous submissions. Among the topics addressed are aspects of security, reliability, privacy and anonymity of e-government systems, knowledge processing, service-oriented computing, and case studies of e-government systems in several countries.

14,995円

Electronic Government and th…

This book constitutes the refereed proceedings of the 33rd Symposium of the German Association for Pattern Recognition, DAGM 2011, held in Frankfurt/Main, Germany, in August/September 2011. The 20 revised full papers and 22 revised poster papers were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on object recognition, adverse vision conditions challenge, shape and matching, segmentation and early vision, robot vision, machine learning, and motion. The volume also includes the young researcher's forum, a section where a carefully jury-selected ensemble of young researchers present their Master thesis work.

14,995円

Pattern Recognition: 33rd DA…

7,040円

Beginning Flash, Flex, and A…

19,096円

Theoretical Aspects of Compu…

This book constitutes the refereed proceedings of the Second International Workshop on Systems and Frameworks for Computational Morphology, SFCM 2011, held in Zurich, Switzerland in August 2011.The eight revised full papers presented together with one invited paper were carefully reviewed and selected from 13 submissions. The papers address various topics in computational morphology and the relevance of morphology to computational linguistics more broadly.

14,995円

Systems and Frameworks for C…

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