Modeling, Simulation and Optimization for Science and Technology
EAN: 9789402406740
Leo Esakia on Duality in Modal and Intuitionistic Logics
EAN: 9789402403381
Cloud Computing Patterns
This book provides a toolbox to structure cloud computing strategies and design cloud application...
EAN: 9783709119532
From Requirements to Java in a Snap
This book provides a coherent methodology for Model-Driven Requirements Engineering which...
EAN: 9783319357195
Mathematics, Computer Science and Logic - A Never Ending Story
This book presents four mathematical essays which explore the foundations of mathematics and...
EAN: 9783319346823
Ramsey Theory for Discrete Structures
This monograph covers the most important developments in Ramsey theory from its beginning in the...
EAN: 9783319344867
Modeling and Tools for Network Simulation
The parts dealing with modeling and models for network simulations are split into a wireless...
EAN: 9783662506240
Proceedings of the European Computing Conference
The European Computing Conference offers a unique forum for establishing new collaborations...
EAN: 9781489977694
Algorithmic Randomness and Complexity
The theory of algorithmic randomness uses tools from computability theory and algorithmic...
EAN: 9781493938209
Handbook of Spatial Logics
A spatial logic is a formal language interpreted over any class of structures featuring...
EAN: 9789402404708
Handbook on Information Technology in Finance
Why do we need a handbook on Information Technology (IT) and Finance? The profound transformation...
EAN: 9783662518274
Ontologies
These include the Chemicals ontology in the chemistry area, the TOVE and Enterprise ontologies...
EAN: 9781489977304
Proceedings of the European Computing Conference
Software testing has been considered so important that organizations can assign teams only for...
EAN: 9781489979247
Introduction to Cryptography
In the second edition the authors added a complete description of the AES, an extended section on...
EAN: 9783662479735
Condition
The exposition's level increases along the book, starting in the context of linear algebra at an...
EAN: 9783642440120
Ernst Zermelo - Collected Works/Gesammelte Werke II
However, his papers also include pioneering work in applied mathematics and mathematical physics....
EAN: 9783642432316
Refinement in Z and Object-Z
This book covers data refinement and its application to Z; generalisations of refinement that...
EAN: 9781447161677
Mathematical Introduction to Compressive Sensing
At the intersection of mathematics, engineering, and computer science sits the thriving field of...
EAN: 9781493900633
Fundamentals of Matrix-Analytic Methods
Fundamentals of Matrix-Analytic Methods targets advanced-level students in mathematics,...
EAN: 9781489990020
Logics in Computer Science
In this monograph we introduce and examine four new temporal logic formalisms that can be used as...
EAN: 9789462390560
Benchmarking Transaction and Analytical Processing Systems
Research and industry have reacted and prototypes of hybrid database systems are now...
EAN: 9783642429941
Mastering the Discrete Fourier Transform in One, Two or Several Dimensions
The discrete Fourier transform (DFT) is an extremely useful tool that finds application in many...
EAN: 9781447161318
Proceedings of the 20th International Meshing Roundtable
This volume contains the articles presented at the 20th International Meshing Roundtable (IMR)...
EAN: 9783662520932
