Electronic Books

Total Books: 81 - 100 /116

Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...

Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...

Natural Language and Information Systems : 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings

This volume contains the papers presented at NLDB 2008, the 13th Inter- tional Conference on Natural Language and Information ...

New Computational Paradigms

This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...

New Computational Paradigms : Changing Conceptions of What is Computable

This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...

New Developments in Formal Languages and Applications

The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics ...

Passione per Trilli : Alcune idee dalla matematica = Passion for Tinker Bell: Some ideas from mathematics

It is a general belief that mathematics is a difficult subject to understand, that uses esoteric symbols and an incomprehensible ...

Paul Lorenzen -- Mathematician and Logician

This book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...

Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

This festschrift volume is dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. For over half a century, ...

Principles and Practice of Constraint Programming : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint ...

Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...

Propositional and Predicate Calculus: A Model of Argument

The topics in the book include: - the representation of mathematical statements by formulas in a formal language. - the interpretation ...

Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

This book is organized in topical sections on Encryption, Signature, Analysis, Application of Hash Functions, Universal Composability, ...

Recent Advances in Formal Languages and Applications

This volume contains areas, mainly applications, which have not appeared in any collection of this type. The book representing ...

Relations and Kleene Algebra in Computer Science

This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...

Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...

Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...

Rough Sets and Current Trends in Computing : 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings

This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...

Rough Sets and Knowledge Technology : Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings

This book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...

Scalable Uncertainty Management : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings

The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...

Total Books: 81 - 100 /116