Turing Computability
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing...
EAN: 9783662568583
Compression-Based Methods of Statistical Analysis and Prediction of Time Series
In the meantime, it was realized that they can be used for solving important problems of...
EAN: 9783319812342
Topics in Grammatical Inference
This book explains advanced theoretical andapplication-related issues in grammatical inference, a...
EAN: 9783662569207
Mathematical Progress in Expressive Image Synthesis III
The aim of thesymposium was to provide a unique venue where various issues in computergraphics...
EAN: 9789811093227
Numerical Methods and Modelling for Engineering
Each method presented addresses a specific type of problem, namely root-finding, optimization,...
EAN: 9783319793313
Enterprise Architecture at Work
Lankhorst and his co-authors present ArchiMate® 3.0, enterprise modelling language that captures...
EAN: 9783662571699
Semantics of the Probabilistic Typed Lambda Calculus
EAN: 9783662568729
Evolutionary Computer Vision
This book explains the theory and application of evolutionary computer vision, a new paradigm...
EAN: 9783662568743
Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks
EAN: 9783319835914
Matrix-Based Introduction to Multivariate Data Analysis
EAN: 9789811095955
Guide to Discrete Mathematics
explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding...
EAN: 9783319830803
Cool Math for Hot Music
This textbook is a first introduction to mathematics for music theorists, covering basic topics...
EAN: 9783319826981
Fuzziness in Information Systems
The book examines theoretical and practical approaches to fuzziness in information systems based...
EAN: 9783319825984
Self-aware Computing Systems
Taking inspiration from self-awareness in humans, this book introduces the new notion of...
EAN: 9783319819372
New Trends in Applied Harmonic Analysis
This volume is a selection of written notes corresponding to courses taught at the CIMPA School:...
EAN: 9783319802329
Directed Algebraic Topology and Concurrency
This monograph presents an application of concepts and methods from algebraic topology to models...
EAN: 9783319792170
Boolean Functions and Their Applications in Cryptography
This book focuses on the different representations and cryptographic properties of Booleans...
EAN: 9783662569603
More Playful User Interfaces
This book covers the latest advances in playful user interfaces – interfaces that invite social...
EAN: 9789811012648
Models, Algorithms, Logics and Tools
During the last three decades, Kim Guldstrand Larsen has given major contributions across a...
EAN: 9783319631202
COMPSTAT 2006 - Proceedings in Computational Statistics
International Association for Statistical Computing The International Association for Statistical...
EAN: 9783790817089
Semigroups, Algebras and Operator Theory
This book discusses recent developments in semigroup theory and its applications in areas such as...
EAN: 9788132229834
Bridging Constraint Satisfaction and Boolean Satisfiability
This book provides a significant step towards bridging the areas of Boolean satisfiability and...
EAN: 9783319373645
