Maths for computer scientists books

Die Grundidee des vorliegenden Lehrbuchs ist, wesentliche Elemente der diskreten Mathematik zu vermitteln, um die...  Read More >>

Bei diskreten algebraischen Methoden handelt es sich um ein zukunftsweisendes Gebiet, dessen Grundlagen weiter an...  Read More >>

The cryptosystems based on the Integer Factorization Problem (IFP), the Discrete Logarithm Problem (DLP) and the...  Read More >>

Graph Separators with Applications is devoted to techniques for obtaining upper and lower bounds on the sizes of...  Read More >>

Coded Modulation Systems is an introduction to the subject of coded modulation in digital communication. In coded...  Read More >>

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of...  Read More >>

3 Applications of Block Turbo Codes. 1 Input Data Quantization for DVB-RCS Turbo Codes 155 8. 3 Effect of Channel...  Read More >>

 Read More >>

Part II studies some special ciphers including the security of mobile phones, RC4 and related ciphers, the eStream...  Read More >>

This volume is a compilation of the research program of the 10th International Conference on the Integration of...  Read More >>

This book constitutes the thoroughly refereed post workshop proceedings of the 10th International Workshop on Approximation...  Read More >>

 Read More >>

This book discusses state estimation of stochastic dynamic systems from noisy measurements, specifically sequential...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on...  Read More >>

 Read More >>

Optimization Theory is becoming a more and more important mathematical as well as interdisciplinary area, especially...  Read More >>

It then presents a thorough development of modern computational algorithms for such problems as multivariate polynomial...  Read More >>

Although rigidity has been studied since the time of Lagrange (1788) and Maxwell (1864), it is only in the last...  Read More >>

The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of...  Read More >>

Introductory courses in partial di?erential equations are given all over the world in various forms. Students who...  Read More >>

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification,...  Read More >>

Designed to accompany one- or two-semester courses for advanced undergraduate or graduate students, this textbook...  Read More >>

This volume is dedicated to the memory of Rudolf Ahlswede, who passed away in December 2010. The Festschrift contains...  Read More >>

Starting from the basic physical assumptions, this book methodically develops both the strong and weak forms of...  Read More >>

To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to...  Read More >>