18,744円

Detection of Intrusions and …

37,510円

Case-Based Reasoning: 18th I…

57,970円

Advances in Wireless Sensors…

37,510円

Computing and Combinatorics:…

37,510円

Interactive Theorem Proving:…

37,510円

Information Processing and M…

18,744円

Articulated Motion and Defor…

This book constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations, held in Amsterdam, Netherlands in July 2010.

18,744円

Haptics: Generating and Perc…

This book constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations, held in Amsterdam, Netherlands in July 2010.

18,744円

Haptics: Generating and Perc…

This book constitutes the joint refereed proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, the 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2010, and the 9th International Conference on Mathematical Knowledge Management, MKM 2010.All submissions passed through a rigorous review process. From the 25 papers submitted to AISC 2010, 9 were selected for presentation at the conference and inclusion in the proceedings volume. A total of 14 papers were submitted to Calculemus, of which 7 were accepted. MKM 2010 received 27 submissions, of which 16 were accepted for presentation and publication.The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.

18,744円

Intelligent Computer Mathema…

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…

18,744円

Conceptual Structures: From …

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…

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…

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference, SENSAPPEAL 2009, held in Athens, Greece, in September 2009. The 12 revised full papers were carefully reviewed and selected from 24 submissions. The papers cover various topics such as WSN for fire hazard detection and monitoring, WSN for precision horticulture, a nephelometric turbidity system for monitoring residential drinking water quality, deployment of a wireless ultrasonic sensor array for psychological monitoring, WISEBED: an open large-scale wireless sensor network testbed, SmartEN: a Marie Curie research framework for WSN in smart management of the human environment, embedded web server for the AVR butterfly enabling immediate access to wireless sensor node readings, as well as TinySPOTComm: facilitating communication over IEEE 802.15.4 between Sun SPOTs and TinyOS-based motes.

18,744円

Sensor Applications, Experim…

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 book constitutes the thoroughly refereed post-conference proceedings of the Second Russia-Taiwan Symposium on Methods and Tools of Parallel Programming, MTPP 2010, held in Vladivostok, Russia in May 2010. The 33 revised full papers were carefully selected from a large number of submissions and cover the many dimensions of methods and tools of parallel programming, algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental approaches as well as commercial components and systems.

18,744円

Methods and Tools of Paralle…

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…

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