This book constitutes the proceedings of the 17th International Workshop on Fast Software Encryption, held in Seoul, Korea, in February 2010.

14,995円

Fast Software Encryption: 17…

This volume constitutes the proceedings of the International Conference on Algorithmic Aspects in Information and Management, AAIM 2010, held in Weihai, China, in July 2010.

14,995円

Algorithmic Aspects in Infor…

This book constitutes the refereed proceedings of the 10th IndustrialConference on Data Mining, ICDM 2010, held in Berlin, Germany in July2010.The 48 revised full papers presented together with two invited paperswere carefully reviewed and selected from 175 submissions. The papersare organized in topical sections on theoretical aspects of data mining, multimedia data mining, data mining in marketing, data mining inindustrial processes, data mining in medicine, data mining inagriculture, Webmining, data mining in finance, aspects of data mining, and data mining for network performance monitoring.

30,008円

Advances in Data Mining: App…

This book constitutes the refereed proceedings of the4th International Workshop on Biomedical Image Registration, WBIR2010, held in L beck, Germany, in July 2010.The 17 revised full papers and 7 revised poster papers presented werecarefully reviewed and selected for inclusion in the book. The paperscover all areas of biomedical image registration and are organized intopical sections on biomedical applications, evaluation, methods ofregistration, and model based registration.

14,995円

Biomedical Image Registratio…

This book constitutes the proceedings of the 8th International Conference on Parallel Processing and Applied Mathematics, PPAM 2009, held in Wroclaw, Poland, in September 2009.

30,008円

Parallel Processing and Appl…

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Learning and Intelligent Optimization, LION 4, held in Venice, Italy, in January 2010.The 23 regular and 12 short papers were carefully reviewed and selected from 87 submissions. Topics covered include metaheuristics (tabu search, iterated local search, evolutionary algorithms, memetic algorithms, ant colony optmization, particle swarm optimization); hybridizations of metaheuristics with other techniques for optimization; supervised, unsupervised and reinforcement learning applied to heuristic search, reactive search optimization; self-adaptive algorithms; hyperheuristics; algorithms for dynamic, stochastic and multi-objective problems; interfaces between discrete and continuous optimization; experimental analysis and modeling of algorithms; parallelization of optimization algorithms; memory-based optimization; and software engineering of learning and intelligent optimization methods.

14,995円

Learning and Intelligent Opt…

This book constitutes the proceedings of the 4th International Workshop on Critical Information Infrastructures Security, CRITIS 2009, held in Bonn, Germany, during September 30 to October 2, 2009.

14,995円

Critical Information Infrast…

This book constitutes the thoroughly refereed post-workshop proceedingsof the Workshop on Controlled Natural Language, CNL 2009, held inMarettimo Island, Italy, in June 2009.The 16 revised full papers presented together with 1 invited lecturewere carefully reviewed and selected during two rounds of reviewing andimprovement from 31 initial submissions. The papers are roughly dividedinto the two groups language aspects and tools and applications. Notethat some papers fall actually into both groups: using a controllednatural language in an application domain often requires domain-specificlanguage features.

14,995円

Controlled Natural Language:…

This book constitutes the proceedings of the 12th International Conference on Information Security and Cryptology, held in Seoul, Korea, in December 2009.

14,995円

Information Security and Cry…

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Financial Cryptography and Data Security, FC 2010, held in Tenerife, Canary Islands, Spain in January 2010. The 19 revised full papers and 15 revised short papers presented together with 1 panel report and 7 poster papers were carefully reviewed and selected from 130 submissions. The papers cover all aspects ofsecuring transactions and systems and feature current research focusing on both fundamental and applied real-world deployments on all aspects surrounding commerce security.

14,995円

Financial Cryptography and D…

This book constitutes the proceedings of the International Conference on Trusted Systems, held in Beijing, China, in December 2009.

14,995円

Trusted Systems: First Inter…

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 6198 contains 60 contributions of track A selected from 222 submissions as well as 2 invited talks.

30,008円

Automata, Languages and Prog…

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010.The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include connections preferences, deontic logic and contrary-to-duties, the use of input/output logic, the study of norm dynamics, models of agents and institutions, argumentation, compliance, and various alternative analyses of deontic notions.

14,995円

Deontic Logic in Computer Sc…

14,995円

Theory and Applications of S…

30,008円

Automated Reasoning: 5th Int…

14,995円

Detection of Intrusions and …

30,008円

Case-Based Reasoning: 18th I…

46,376円

Advances in Wireless Sensors…

30,008円

Computing and Combinatorics:…

30,008円

Interactive Theorem Proving:…

30,008円

Information Processing and M…

14,995円

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.

14,995円

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.

14,995円

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.

14,995円

Intelligent Computer Mathema…

14,995円

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.

30,008円

Automata, Languages and Prog…

30,008円

Networked Digital Technologi…

30,008円

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.

14,995円

Transactions on Data Hiding …

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