18,744円

Artificial Evolution: 9th In…

The two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, held in Bordeaux, France, in July 2010.The 106 revised full papers (60 papers for track A, 30 for track B, and 16 for track C) presented together with 6 invited talks were carefully reviewed and selected from a total of 389 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. LNCS 6199 contains 46 contributions of track B and C selected from 167 submissions as well as 4 invited talks.

37,510円

Automata, Languages and Prog…

37,510円

Networked Digital Technologi…

37,510円

Computer Aided Verification:…

Data hiding has been proposed as an enabling technology for securing multimedia communication. This book publishes both original and archival research results from these emerging fields. It contains a section on forensic image analysis for crime prevention.

18,744円

Transactions on Data Hiding …

18,744円

Algorithmic Number Theory: 9…

37,510円

Web-Age Information Manageme…

This book constitutes the refereed proceedings of the 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, held in Salamanca, Spain, in November 2009, in conjunction with the Workshop on Artificial Intelligence Technology Transfer, TTIA 2009.The 31 revised full papers presented were carefully selected from 125 submissions. The papers address the following topics: machine learning, multiagents, natural language, planning, diagnosis, evolutive algorithms and neural networks, knowledge representation and engineering, tutoring systems, uncertainty bayesian networks, vision, and applications.

18,744円

Current Topics in Artificial…

18,744円

Privacy Enhancing Technologi…

Examining the emerging standards of security, addressing such topics as authentication, access control and authorization, attacks, privacy and trust, encryption, key management, identity management, DoS attacks, and more, this text also presents numerous case studies as well as various applications.

57,420円

Security in Wireless Mesh Ne…

A creative look at the fundamentals of PHP programming, this manual shows practical but atypical examples of PHP code. Theories, considerations, and varying options--such as binary protocols, sharing data, extending PHP with Java, and scaling PHP applications with messaging--are presented as new approaches to solving problems. Taking into consideration operating system level options, this programming reference goes beyond the basics to offer more advanced and innovative options for building PHP applications.

15,928円

You Want to Do What with Php…

This book constitutes the proceedings of the 14th International Conference on Developments in Language Theory, DLT 2010, held in London, Ontario, Canada, in August 2010. The 32 regular papers presented were carefully reviewed and selected from numerous submissions. The volume also contains the papers or abstracts of 6 invited speakers, as well as a 2-page abstract for each of the 6 poster papers. The topics addressed are formal languages, automata theory, computability, complexity, logic, petri nets and related areas.

18,744円

Developments in Language The…

This book constitutes the refereed proceedings of the First International Workshop on Human Behavior Understanding, HBU 2010, a satellite workshop of the International Conference on Pattern Recognition in Istanbul, Turkey, on August 22, 2010. The 13 revised full papers presented were carefully reviewed and selected from 29 submissions.The papers are organized in topical sections on analysis of human activities; non-verbal action dynamics; visual action recognition; and social signals.

18,744円

Human Behavior Understanding

This book constitutes the proceedings of the 6th International Conference on Advanced Intelligent Computing, held in Changsha, China, in August 2010.

37,510円

Advanced Intelligent Computi…

This volume constitutes the refereed proceedings of the Joint IAPR International Workshop, SSPR & SPR 2010, held in Cesme, Izmir, Turkey, in August 2010.

37,510円

Structural, Syntactic, and S…

Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation.

18,744円

Specification and Verificati…

This book constitutes the proceedings of the First International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2010, held in Puebla, Mexico, on August 8-11, 2010. The 19 papers presented together with four invited talks were carefully reviewed and selected from 62 submissions. The topics covered are encryption, elliptic curves, implementation of pairings, implementation of cryptographic algorithms, cryptographic protocols and foundations, cryptanalysis of symmetric primitives, post-quantum cryptography, and side-channel attacks.

18,744円

Progress in Cryptology - LAT…

This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007.The 8 contributions are the thoroughly revised versions of the papers presented by the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school 's attendees. The courses cover a wide spectrum of topics in software engineering with a special focus on testing - a key activity for assuring software quality. Apart from foundational issues, languages and techniques, the courses also cover the semantic underpinnings of refinement, as well as industrial applications and refinement tools.

18,744円

Testing Techniques in Softwa…

This book constitutes the refereed proceedings of the 6th International Conference on Theory and Application of Diagrams, Diagrams 2010, held in Portland, OR, USA, , in August 2010. The 22 revised papers and 23 poster papers presented together with 3 invited talks and 2 tutorial papers were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on Euler and Venn diagrams, formal aspects of diagrams, reasoning with diagrams, interacting with diagrams, constructing diagrams, and understanding diagrams and text.

18,744円

Diagrammatic Representation …

Data compression is vital to modern computing, and this comprehensive reference covers the many different types and methods of compression. It includes a detailed taxonomy, analysis of the most common methods, and detailed descriptions of how to use them.

67,848円

Handbook of Data Compression

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Business Intelligence for the Real-Time Enterprise, BIRTE 2009, held in Lyon, France, in August 2009, in conjunction with VLDB 2009, the International Conference on Very Large Data Bases.The volume contains the carefully reviewed selected papers from the workshop, including one of the two keynotes, the six research, two industrial, and one experimental paper, and also the basic statements from the panel discussion on Merging OLTP and OLAP . The topical focus is on models and concepts, architectures, case-studies, and applications of technologies for real-time enterprise business intelligence.

18,744円

Enabling Real-Time Business …

This book constitutes the thoroughly refereed post-conferenceproceedings of the 2nd International Conference on Object Databases, ICOODB 2009, held in Zurich, Switzerland, in July 2009.The 6 revised full papers presented together with 3 invited papers werecarefully reviewed and selected from the presentations at the researchtrack during two rounds of reviewing and improvement. These papersaddress a wide range of issues related to object databases, includingtopics such as applications, methodologies, design tools, frameworks andstandards as well as core object database technologies.

18,744円

Object Databases

Under the auspices of the Association of Logic, Language and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) is organized every year in a different European country. It takes place during two weeks in the European summer and hosts approximately 50 different courses at both introductory and advanced level. With its focus on the large interdisciplinary area where linguistics, logic and computation converge, it has become very popular since it started in 1989, attracting large numbers of students.ESSLLI Student Sessions were first held in 1996; they are organized along the lines of a conference. Their intention is to provide a forum where promising work by Master or PhD students can be presented.This book constitutes 12 selected contributions from the Student Sessions held in 2008 and 2009. The papers are organized in four sections: semantics and pragmatics, mathematical linguistics, applied computational linguistics, and logic and computation.

18,744円

Interfaces: Explorations in …

37,510円

Advanced Intelligent Computi…

18,744円

Unifying Theories of Program…

Since the dawn of the age of computers, researchers have been pushing the limits of available processing power to tackle the formidable challenge of developing software that can understand ordinary human language. At the forefront of this quest for the past fifty years, Martin Kay has been a constant source of new algorithms which have proven fundamental to progress in computational linguistics. "Collected Papers of Martin Kay," the first comprehensive collection of his works to date, opens a window into the growth of an increasingly important field of scientific research and development.

16,830円

Collected Papers of Martin K…

98,890円

Enterprise-Scale Agile Softw…

This volume constitutes the refereed proceedings of the 6th International Workshop on Adaptive Multimedia Retrieval, AMR 2008, held in Berlin, Germany, in June 2008.

18,744円

Adaptive Multimedia Retrieva…

This book constitutes the refereed proceedings of 4 workshops held at the JSAI International Symposia on Artificial Intelligence 2010, in Tokyo, Japan, in November 2009.The 24 revised full papers presented were carefully reviewed and selected from 61 submissions. The papers are organized in the workshop sections Logic and Engineering of Natural Language Semantics (LENLS), Juris-Informatics (JURISIN), Knowledge Collaboration in Software Development (KCSD), and Learning with Logics and Logics for Learning (LLLL).

18,744円

New Frontiers in Artificial …

This work constitutes the proceedings of the Second International Workshop on Advances in Social Network and Analysis, held in Las Vegas, NV, USA in August 2008.

18,744円

Advances in Social Network M…

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