Bemærk: Kan ikke leveres før jul.
This book covers the latest advances in playful user interfaces – interfaces that invite social and physical... Læs mere
Bemærk: Kan ikke leveres før jul.
The aim of thesymposium was to provide a unique venue where various issues in computergraphics (CG) application fields could be discussed by mathematicians, CGresearchers, and practitioners.
Bemærk: Kan ikke leveres før jul.
This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers.
Bemærk: Kan ikke leveres før jul.
This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their... Læs mere
Bemærk: Kan ikke leveres før jul.
Taking inspiration from self-awareness in humans, this book introduces the new notion of computational self-awareness as a fundamental concept for designing and operating computing systems.
Bemærk: Kan ikke leveres før jul.
Recent results on non-convex multi-objective optimization problems and methods are presented in this book, with particular attention to expensive black-box objective functions.
Bemærk: Kan ikke leveres før jul.
This textbook gives a systematized and compact summary, providing the most essential types of modern models for languages and computation together with their properties and applications.
Bemærk: Kan ikke leveres før jul.
The book constitutes the proceedings of the 24th International Conference... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 6th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2015, held in Warsaw, Poland, in June/July 2015. image processing; image retrieval; image tracking; data mining techniques for large scale data;
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This book presents classical computability theory from... Læs mere