Logical Foundations of Cyber-Physical Systems
Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication,...
EAN: 9783319635873
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Semantic Representationalism, Logical Dialogues, Knowledge and Epistemic logic are among some of...
EAN: 9783319628639
Willmore Energy and Willmore Conjecture
This book is the first monograph dedicated wholly to Willmore energy and surfaces as contemporary...
EAN: 9781498744638
Essentials of Mathematical Thinking
This title may be thought of as a book for nonmathematicians taking an undergraduate mathematics...
EAN: 9781138042575
Eigenvalues, Multiplicities and Graphs
This book gives a unified development of how the graph of a symmetric matrix influences the...
EAN: 9781107095458
Algorithms and Theory of Computation Handbook, Volume 1
EAN: 9781138113930
Scientific Computing with Multicore and Accelerators
EAN: 9781138113329
Introduction to Proof through Real Analysis
EAN: 9781119314721
Exploring Mathematics
The transition from predominantly computational courses to upper-level math requires the...
EAN: 9781107128989
Elements of Mathematics
Elements of Mathematics takes readers on a fascinating tour that begins in elementary...
EAN: 9780691178547
Problemlosen und Mathematiklernen
Anna-Christin Söhling beschreibt die Erkenntnisgewinnung während des Problemlöseprozesses durch...
EAN: 9783658175894
Logic
Graham Priest shows that formal logic is a powerful, exciting part of modern philosophy -- a tool...
EAN: 9780198811701
Visual Cryptography and Secret Image Sharing
EAN: 9781138076044
Multilevel Modeling of Secure Systems in QoP-ML
EAN: 9781138894594
Groups, Languages and Automata
Many connections exist between group theory and automata theory, and a wide variety of them are...
EAN: 9781107152359
God and Abstract Objects
This book is an exploration and defense of the coherence of classical theism’s doctrine of divine...
EAN: 9783319553832
Groups, Languages and Automata
Many connections exist between group theory and automata theory, and a wide variety of them are...
EAN: 9781316606520
