Electronic Books

Total Books: 381 - 400 /918

The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...

This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...

This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...

This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...

Fast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored ...

Constitutes the thoroughly refereed proceedings of the 15th International Workshop on Fast Software Encryption, FSE 2008, ...

Feasibility and Infeasibility in Optimization is a timely expository book that summarizes the state of the art in both classical ...

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Financial ...

The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...

The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of ...

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one ...

This book presents an introduction to selected research topics in the broad field of flowing matter, including the dynamics ...

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...

This book contains all you need to understand and make use of ActionScript, and to have some fun while learning. The Foundation ...

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...

This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...

This volume brings together recent theoretical work in Learning Classifier Systems (LCS), which is a Machine Learning technique ...

Total Books: 381 - 400 /918