|
| The long-awaited second edition of Norman Bigg's best-selling Discrete Mathematics, includes new chapters on statements and proof, logical... This new edition of the hacker's own phenomenally successful lexicon includes more than 100 new entries and updates or revises 200 more....
A new edition of an introductory text in machine learning that gives a unified treatment of machine learning problems and solutions. A comprehensive review of an area of machine learning that deals with the use of unlabeled data in classification problems: state-of-the-art...
Category theory has, in recent years, become increasingly important and popular in computer science, and many universities now have... Presents basic tools from probability theory used in algorithmic applications, with concrete examples.
"When, in 1984-86, Richard P. Feynman gave his famous course on computation at the California Institute of Technology, he asked Tony Hey to... The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on Computational...
This book constitutes the refereed proceedings of the 8th Annual European Symposium on Algorithms, ESA 2000, held in Saarbr cken, Germany in... This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in...
This book is based on the author's Ph.D. thesis which was selected as the winning thesis of the 1999 ACM Doctoral Dissertation Competition.... This book constitutes the joint refereed proceedings of the 4th International Workshop on Approximation Algorithms for Optimization...
Traditionally, models and methods for the analysis of the functional correctness of reactive systems and those for the analysis of their... This book constitutes the refereed proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS...
This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics,... This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl...
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, and verification in higher-order logic,... This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku,...
This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002,... This book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science, MFCS...
This book constitutes the refereed proceedings of the 5th International Workshop on Approximation Algorithms for Combinatorial Optimization... The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the...
|
Top Libri Inglesi |
1. | 2. | 3. | 4. | 5. | 6. | 7. | 8. | 9. | 10. |
|
|
Carrello
![English Grammar in Use with Answers: A Self-Study Reference and Practice Book for Intermediate Learners of English [With CDROM]](http://img4.libreriauniversitaria.it/BUS/100/939/9780521189392.jpg "English Grammar in Use with Answers: A Self-Study Reference and Practice Book for Intermediate Learners of English [With CDROM]")
![The Rhythm Bible [With CD]](http://img4.libreriauniversitaria.it/BUS/100/677/9780739026779.jpg "The Rhythm Bible [With CD]")
