Theory and Practice of Model Transformations
5,834円
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully ...
5,834円
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully ...
Computer Aided Verification
6,076円
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.
The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed...
6,076円
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.
The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed...
Introduction To Pattern Recognition And M...
8,457円
This book adopts a detailed and methodological algorithmic approach to explain the concepts of pattern recognition. While the text provides a systematic account of its major topics such as pattern representation and nearest neighbour based classifiers, current topics ー neural networks, support v...
8,457円
This book adopts a detailed and methodological algorithmic approach to explain the concepts of pattern recognition. While the text provides a systematic account of its major topics such as pattern representation and nearest neighbour based classifiers, current topics ー neural networks, support v...
Behavior Modeling -- Foundations and Appl...
6,076円
This book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations and Applications, BM-FA, which took place annually between 2009 and 2014.
The 9 papers presented in this volume were carefully reviewed and selected from a total of 58 papers pre...
6,076円
This book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations and Applications, BM-FA, which took place annually between 2009 and 2014.
The 9 papers presented in this volume were carefully reviewed and selected from a total of 58 papers pre...
Reasoning Web. Web Logic Rules
6,076円
This volume contains the lecture notes of the 11th Reasoning Web Summer School 2015, held in Berlin, Germany, in July/August 2015.
In 2015, the theme of the school was Web Logic Rules. This Summer School is devoted to this perspective, and provides insight into the semantic Web, linked data, onto...
6,076円
This volume contains the lecture notes of the 11th Reasoning Web Summer School 2015, held in Berlin, Germany, in July/August 2015.
In 2015, the theme of the school was Web Logic Rules. This Summer School is devoted to this perspective, and provides insight into the semantic Web, linked data, onto...
Constructive Side-Channel Analysis and Se...
6,076円
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop, COSADE 2015, held in Berlin, Germany, in April 2015. The 17 revised full papers presented were carefully selected from 48 submissions. the focus of this workshop was on following topics: s...
6,076円
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop, COSADE 2015, held in Berlin, Germany, in April 2015. The 17 revised full papers presented were carefully selected from 48 submissions. the focus of this workshop was on following topics: s...
Graph Transformation
5,834円
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are or...
5,834円
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are or...
Discontinuous Galerkin Method
17,016円
The subject of the book is the mathematical theory of the discontinuous Galerkin method (DGM), which is a relatively new technique for the numerical solution of partial differential equations. The book is concerned with the DGM developed for elliptic and parabolic equations and its applications t...
17,016円
The subject of the book is the mathematical theory of the discontinuous Galerkin method (DGM), which is a relatively new technique for the numerical solution of partial differential equations. The book is concerned with the DGM developed for elliptic and parabolic equations and its applications t...
Automated Deduction in Geometry
4,862円
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The pa...
4,862円
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The pa...
Engineering Psychology and Cognitive Ergo...
6,076円
This book constitutes the refereed proceedings of the 12th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015.
The total of...
6,076円
This book constitutes the refereed proceedings of the 12th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015.
The total of...
DNA Computing and Molecular Programming
6,076円
This book constitutes the refereed proceedings of the 21st International Conference on DNA Computing and Molecular Programming, DNA 21, held in Boston and Cambridge, MA, USA, in August 2015.
The 13 full papers presented were carefully selected from 63 submissions. The papers address all current i...
6,076円
This book constitutes the refereed proceedings of the 21st International Conference on DNA Computing and Molecular Programming, DNA 21, held in Boston and Cambridge, MA, USA, in August 2015.
The 13 full papers presented were carefully selected from 63 submissions. The papers address all current i...
Human Aspects of Information Security, Pr...
6,076円
This book constitutes the proceedings of the Third International Conference on Human Aspects of Information Security, Privacy, and Trust, HAS 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015 and received...
6,076円
This book constitutes the proceedings of the Third International Conference on Human Aspects of Information Security, Privacy, and Trust, HAS 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015 and received...