This book constitutes the refereed proceedings of the 5th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2008, held in CalviA, Mallorca, Spain, in September 2008. The 45 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers cover all current issues in cooperative design, visualization, and engineering, ranging from theoretical and methodological topics to various systems and frameworks to applications in a variety of fields. The papers are organized in topical segments on cooperative design, cooperative visualization, cooperative engineering, cooperative applications, as well as basic theories, methods and technologies that support CDVE.

33,748円

Cooperative Design, Visualiz…

This book constitutes the refereed proceedings of the Second European Conference on Software Architecture, ECSA 2008, held in Paphos, Cyprus, in September/October 2008. The 12 revised full papers presented together with 2 keynote abstracts, 4 experience papers, 7 emerging research papers, and 12 research challenge poster papers were carefully reviewed and selected from 83 submissions. The papers focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, and evolving software systems. Topics include architecture modeling, architecture description languages, architectural aspects, architecture analysis, transformation and synthesis, architecture evolution, quality attributes, model-driven engineering, built-in testing and architecture-based support for component-based and service-oriented systems.

37,158円

Software Architecture

This volume constitutes the published proceedings of the 17th International Conference on Information Systems Development. They present the latest and greatest concepts, approaches, and techniques of systems development - a notoriously transitional field.

112,530円

Information Systems Developm…

18,744円

Human Error, Safety and Syst…

33,748円

Transactions on Aspect-Orien…

This book details methods for analyzing, processing and reconstructing complex signals. It presents a newly developed method for the calculation of basic parameters of the processed voltage and current signals.

37,510円

Digital Processing and Recon…

This book constitutes the refereed proceedings of the 4th International Conference on Scalable Uncertainty Management, SUM 2010, held in Toulouse, France, in September 2010. The 26 revised full papers presented together with the abstracts of 2 invited talks and 6 discussant contributions were carefully reviewed and selected from 32 submissions. The papers cover all areas of managing substantial and complex kinds of uncertainty and inconsistency in data and knowledge, including applications in decision-support systems, negotiation technologies, semantic web applications, search engines, ontology systems, information retrieval, natural language processing, information extraction, image recognition, vision systems, text mining, and data mining, and consideration of issues such as provenance, trust, heterogeneity, and complexity of data and knowledge.

18,744円

Scalable Uncertainty Managem…

9,900円

Sharepoint 2010 Six-In-One

Veteran technology reporter Kirkpatrick chronicles Facebook's successes and missteps, and gives readers the most complete assessment anywhere of founder and CEO Mark Zuckerberg, the central figure in the company's remarkable ascent.

3,960円

The Facebook Effect: The Ins…

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. The 35 revised full papers were carefully reviewed and selected from 107 submissions. The topics include: - Basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, and Petri nets. - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics. - Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems. - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking and run-time verification.

37,510円

CONCUR 2010 - Concurrency Th…

This book constitutes the refereed proceedings of workshops, held at the 29th International Conference on Conceptual Modeling, ER 2010, in Vancouver, Canada, in November 2010. The 31 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers are organized in sections on the workshops Semantic and Conceptual Issues in GIS (SeCoGIS); Conceptual Modeling of Life Sciences Applications (CMLSA); Conceptual Modelling of Services (CMS); Active Conceptual Modeling of Learning (ACM-L); Web Information Systems Modeling (WISM); Domain Engineering (DE@ER); and Foundations and Practices of UML (FP-UML).

18,744円

Advances in Conceptual Model…

This book constitutes the proceedings of the 11th Pacific Rim Conference on Advances in Multimedia Information Processing, held in Shanghai in September 2010.

37,510円

Advances in Multimedia Infor…

This book constitutes the proceedings of the 11th Pacific Rim Conference on Advances in Multimedia Information Processing, held in Shanghai in September 2010.

37,510円

Advances in Multimedia Infor…

This book constitutes the refereed proceedings of the 11th symposium of the Cross-Language Evaluation Forum, CLEF 2010, held in Padua, Italy, in September 2010 as the First International Conference on Multilingual and Multimodal Information Access Evaluation - in continuation of the popular CLEF campaigns and workshops that have run for the last decade.The 12 revised full papers presented together with 2 keynote talks and 2 panel presentations were carefully reviewed and selected from numerous submissions. The papers include advanced research into the evaluation of complex multimodal and multilingual information systems in order to support individuals, organizations, and communities who design, develop, employ, and improve such systems. The papers are organized in topical sections on resources, tools, and methods; experimental collections and datasets, and evaluation methodologies.

18,744円

Multilingual and Multimodal …

This book constitutes the refereed proceedings of the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010, held in New York, USA, in September 2010. The 39 revised full papers were carefully reviewed and selected from 90 submissions. The papers address all safety and security-related aspects of self-stabilizing systems in various areas. The most topics related to self-* systems. The tracks were: self-stabilization; self-organization; ad-hoc, sensor, and dynamic networks; peer to peer; fault-tolerance and dependable systems; safety and verification; swarm, amorphous, spatial, and complex systems; security; cryptography, and discrete distributed algorithms.

37,510円

Stabilization, Safety, and S…

This book constitutes the proceedings of the 5th International Symposium on Computational Intelligence and Intelligent Systems held in Wuhan, China, in October 2010.

18,744円

Computational Intelligence a…

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 contains the refereed proceedings of the 1st International Conference on Lean Enterprise Software and Systems, LESS 2010, held in Helsinki, Finland, in October 2010. LESS 2010 is the first scientific conference dedicated to advance the body of knowledge for lean enterprise software and systems development. To achieve this goal, it offers a unique platform by bringing together leading researchers and industry practitioners in fact, more than 60% of the conference speakers come from industry. The 24 papers selected for this book represent a diverse range of experiences, studies, and theoretical achievements. They are organized in three tracks on Scaling Agile to Lean, Lean Product Development and Innovation, and Beyond Budgeting. The volume is completed by two invited talks and the summary of the panel on Why Agile, Why Lean.

18,744円

Lean Enterprise Software and…

33,748円

Advances in Databases and In…

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…

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 …

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

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