Maths for computer scientists books

Es beweist bestechend logisch, dass selbst die größten, schnellsten, intelligentesten und teuersten Computer der...  Read More >>

This book constitutes the refereed proceedings of the 4th Western European Workshop on Research in Cryptology, WEWoRC...  Read More >>

Offers a mathematical approach to information retrieval (IR) without which no implementation is possible, and sheds...  Read More >>

Logic provides a set of tools and techniques to address the questions of how to represent, query and reason about...  Read More >>

It is known that for such organisms the rate of adaptation does not steadily increase with the - creasing rate of...  Read More >>

The central subject of the book is the generalization of Loewy's decomposition - originally introduced by him for...  Read More >>

This monograph covers a method of parallel computing which uses VLSI technology in an efficient manner: data are...  Read More >>

The papers are organized in topical sections on invited talk abstracts, model-driven engineering, graph transformation...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on...  Read More >>

 Read More >>

This text is a systematic treatment of algorithms and complexity in the related areas of matrix and polynomial computations....  Read More >>

The study of the full abstraction problem for PCF and extensions of it has been enriched with a new full abstraction...  Read More >>

Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name...  Read More >>

'Et moi, ..., si j' avait su comment en revenir, One service mathematics has rendered the human race. It has put...  Read More >>

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

In a world of almost permanent and rapidly increasing electronic data availability, techniques of filtering, compressing,...  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on Theoretic Foundations...  Read More >>

Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the...  Read More >>

This book contains the lectures given at the Conference on Dynamics and Randomness held at the Centro de Modelamiento...  Read More >>

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major classical topics in...  Read More >>

This book constitutes the refereed proceedings of the 5th International Symposium on Algorithmic Game Theory, SAGT...  Read More >>

In January 2012 an Oberwolfach workshop took place on the topic of  recent developments in the numerics of partial...  Read More >>

Constitutes the refereed proceedings of the Third International Conference on Information Computing and Applications,...  Read More >>

This volume contains the articles presented at the 21st International Meshing Roundtable (IMR) organized, in part,...  Read More >>

 Read More >>