Maths for computer scientists books

This book constitutes the refereed proceedings of the 23rd International Symposium on Algorithms and Computation,...  Read More >>

Types can be consid­ ered as weak specifications of programs and checking that a program is of a certain type provides...  Read More >>

The study of lattices, specifically from a computational point of view, was marked by two major breakthroughs: the...  Read More >>

Die Sicherheit einer IT-Komponente hängt meist direkt von einer oder mehreren anderen Komponenten ab, wobei diese...  Read More >>

"Contains the lectures given at the NATO Advanced Study Institute on ""Cellular Automata and Cooperative Systems"",...  Read More >>

'Et moi, ...* si j'avait su comment en revenir. je One service mathematics bas rendemI !be n'y semis point a1J6.'...  Read More >>

 Read More >>

This technique has the advantage of enhancing the essential unity of all processes of approxi- tion used in the...  Read More >>

'Et moi, ..., si j'avait su comment en revenir, One service methematics has rendered the je n'y serais point aile.'...  Read More >>

Practical Asymptotics is an effective tool for reducing the complexity of large-scale applied-mathematical models...  Read More >>

Non-Functional Requirements in Software Engineering demonstrates the applicability of the NFR Framework to a variety...  Read More >>

Foreword by Dieter Jungnickel Finite Commutative Rings and their Applications answers a need for an introductory...  Read More >>

Object-Oriented Computer Simulation of Discrete-Event Systems offers a comprehensive presentation of a wide repertoire...  Read More >>

Recent rapid developments in computing power, such as parallel processing and neural networks, have stimulated new...  Read More >>

The theory of Laplace transformation is an important part of the mathematical background required for engineers,...  Read More >>

Supervision of Petri Nets presents supervisory control theory for Petri nets with a legal set as the control goal....  Read More >>

Structured matrices serve as a natural bridge between the areas...  Read More >>

Databaseprogrammingis the process ofdeveloping data-intensiveapplications which demand the access to large amounts...  Read More >>

This volume contains 22 contributions by scientists in many areas of probability theory and its applications. Together...  Read More >>

Logic is, and should be, the core subject area of modern mathemat­ ics. There is need for a book that introduces...  Read More >>

'Et moi *...* si j'avait su comment en revenir. je One service mathematics bas rendered the n'y serais point a116.'...  Read More >>

Jaynes and Myron Tribus initiated a series of workshops to exchange ideas and recent developments in technical aspects...  Read More >>

Details an array of computing applications that researchers in the humanities have recourse to, including the dissemination...  Read More >>

This book addresses three areas : the theory which goes beyond the orthodox theory, the computational methods necessary...  Read More >>

This book constitutes the refereed proceedings of the First Mediterranean Conference on Algorithms, MedAlg 2012,...  Read More >>