Maths for computer scientists books

CiE 2009: Mathematical Theory and Computational Practice Heidelberg, Germany, July 19-24, 2009 After several years...  Read More >>

A state-of-the-art survey that reports on the progress made in selected areas of this important and growing field,...  Read More >>

This year, the ICALP program consisted of the established track A (focusing on algorithms, complexity and games)...  Read More >>

This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The...  Read More >>

The papers in this volume were selected for presentation at the 15th Annual InternationalComputing and CombinatoricsConference...  Read More >>

ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on...  Read More >>

The purpose of this book is to provide the reader with a solid background and understanding of the basic results...  Read More >>

Focuses on connections between algebra, algebraic geometry, number...  Read More >>

 Read More >>

These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES...  Read More >>

Constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications,...  Read More >>

Once the model has been introduced it is used to generate synthetic data, using R code, and these generated data...  Read More >>

This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of...  Read More >>

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications,...  Read More >>

This book constitutes the refereed proceedings of the Second International Conference on Mathematics and Computation...  Read More >>

This book constitutes the refereed proceedings of the Third International Conference on Combinatorial Optimization...  Read More >>

This book constitutes the refereed proceedings of the 18th International...  Read More >>

Constitutes the refereed proceedings of the 8th International Symposium on Experimental and Efficient Algorithms,...  Read More >>

The mathematical theory of control became a ?eld of study half a century ago in attempts to clarify and organize...  Read More >>

The problem of counting the number of self-avoiding polygons on a square grid, - therbytheirperimeterortheirenclosedarea,is...  Read More >>

This book constitutes the refereed proceedings of the 6th International Conference on Integration of AI and OR Techniques...  Read More >>

Prominent examples of metaheuristics are evolutionary algorithms, simulated annealing, tabu search, scatter search,...  Read More >>

The year 2009 celebrates the bicentenary of Darwin’s birth and the 150th - niversary of the publication of his seminal...  Read More >>

Linear algebra relies heavily on coordinates, however, which can make many geometric programming tasks very specific...  Read More >>

A special focus is given to numerical approximation and computational geometry, numerical linear algebra and numerical...  Read More >>