Electronic Books

Total Books: 301 - 320 /686

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 ...

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 ...

This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...

This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...

The 16th European Conference of Fracture (ECF16) was held in Greece, July, 2006. Emphasis was given to the failure of nanostructured ...

Exploring the concept of fragmentation, the ecological processes interrupted by fragmentation, and the social consequences ...

This book constitutes the refereed proceedings of the First Annual International Frontiers of Algorithmics Workshop, FAW ...

Total Books: 301 - 320 /686