141 resultater (0,29663 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Automated Deduction – CADE 26 - - Bog - Springer International Publishing AG - Plusbog.dk

Automated Deduction – CADE 26 - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. The chapter ''Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems'' is published open access under a CC BY 4.0 license.

DKK 634.00
1

Advances in Optimization and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

Advances in Optimization and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 13th International Conference on Advances in Optimization and Applications, OPTIMA 2022, held in Petrovac, Montenegro, during September 26-30, 2022. The 13 full papers included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: ​mathematical programming; global optimization; discrete and combinatorial optimization; optimization and data analysis; game theory and mathematical economics; and applications.

DKK 519.00
1

Structured Object-Oriented Formal Language and Method - - Bog - Springer International Publishing AG - Plusbog.dk

Structured Object-Oriented Formal Language and Method - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking.

DKK 426.00
1

Games and Learning Alliance - - Bog - Springer International Publishing AG - Plusbog.dk

Games and Learning Alliance - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the Third International Conference on Games and Learning Alliance, GALA 2014, held in Bucharest, Romania, in July 2014. The 15 revised papers presented were carefully reviewed and selected from 26 submissions. The papers presented cover a variety of aspects and knowledge fields. They are grouped into four sessions: pedagogy, technology, design, and applications.

DKK 335.00
1

Artificial Intelligence Research - - Bog - Springer International Publishing AG - Plusbog.dk

Artificial Intelligence Research - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the Third Southern African Conference on Artificial Intelligence Research, SACAIR 2022, held in Stellenbosch, South Africa, in December 2022. The 26 papers presented were thoroughly reviewed and selected from the 73 submissions. They are organized on the topical sections on​ algorithmic, data driven and symbolic AI; socio-technical and human-centered AI; responsible and ethical AI.

DKK 646.00
1