![](/p.gif) | ![](/p.gif) | ![](/p.gif) | ![](/p.gif) | ![](/p.gif) |
| Bild | | | |
![](/p.gif) |
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z (1 Angebot) 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings |
Springer Verlag 9783319912707 |
€ 49,99* pro Stück |
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z (1 Angebot) This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The ... |
Springer Verlag 9783662436516 |
€ 49,99* pro Stück |
|
|
Abstract State Machines, Alloy, B, VDM, and Z (1 Angebot) This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented to... |
Springer Verlag 9783642308840 |
€ 49,99* pro Stück |
|
|
Abstract State Machines, B and Z (1 Angebot) This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneou... |
Springer Verlag 9783540876021 |
€ 49,99* pro Stück |
|
|
Abstraction, Reformulation and Approximation (1 Angebot) Full Papers.- Verifying the Incorrectness of Programs and Automata.- Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains.- Synthesizing Plans for Multiple Domains.- Abs... |
Springer Verlag 9783540278726 |
€ 49,99* pro Stück |
|
|
Abstraction, Reformulation, and Approximation (1 Angebot) It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and probl... |
Springer Verlag 9783540439417 |
€ 49,99* pro Stück |
|
|
Abstraction, Reformulation, and Approximation (1 Angebot) This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club... |
Springer Verlag 9783540678397 |
€ 49,99* pro Stück |
|
|
Abstraction, Reformulation, and Approximation (1 Angebot) Invited Talks (Abstracts).- State Abstraction in Real-Time Heuristic Search.- Abstraction and Reformulation in the Generation of Constraint Models.- A Framework for Integrating Optimization and Con... |
Springer Verlag 9783540735793 |
€ 49,99* pro Stück |
|
|
Accelerating Digital Transformation (1 Angebot) This book mainly aims at researchers and advanced professionals in the areas of software engineering who would like to get an overview about the achievement made in various topics relevant for indu... |
Springer Verlag 9783031108723 |
€ 149,99* pro Stück |
|
|
Accelerating Digital Transformation (1 Angebot) This book mainly aims at researchers and advanced professionals in the areas of software engineering who would like to get an overview about the achievement made in various topics relevant for indu... |
Springer Verlag 9783031108754 |
€ 149,99* pro Stück |
|
|
|
Springer Verlag 9783031236051 |
€ 89,99* pro Stück |
|
|
Access Control Management in Cloud Environments (1 Angebot) This textbook provides new direction for access control management and online business, with new challenges within Blockchain technology that may arise in cloud environments. One is related to the ... |
Springer Verlag 9783030317287 |
€ 49,99* pro Stück |
|
|
Access Control Management in Cloud Environments (1 Angebot) This textbook provides new direction for access control management and online business, with new challenges within Blockchain technology that may arise in cloud environments. One is related to the ... |
Springer Verlag 9783030317317 |
€ 49,99* pro Stück |
|
|
|
Springer Verlag 9783030810887 |
€ 149,99* pro Stück |
|
|
|
Springer Verlag 9783030810917 |
€ 149,99* pro Stück |
|