Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)
Martin Davis,Ron Sigal,Elaine J. Weyuker | 1994-02-17 00:00:00 | Morgan Kaufmann | 609 | Information Theory
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.

* Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page.
* The number of exercises included has more than tripled.
* Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.

Download this book!

Free Ebooks Download

HANDBOOK OF COMBINATORICS VOLUME 1, Volume Volume I

HANDBOOK OF COMBINATORICS VOLUME 1, Volume Volume I
Jeffrey M. Lemm | 1995-12-25 00:00:00 | North Holland | 1120 | Information Theory
Hardbound.
Reviews
An handbook is usually a little fact book with just the facts

presented in as understandable a fashion as possible.

You have to look at this book from a price to benefit point of view.

Most of these research / survey papers are just not presented in a teaching mode: more of a theorem and proof mode with references.

The price tag per volume is over 200 dollars.

My bet is that libraries and the authors are the main market,

with most poor graduate students and post grads not being able to afford

the volumes at a price for both at of $400.

The material is dense and not presented in enough detail that

the result is very useful to a student.

Here we have more ego than scholarship as a result?
Reviews
This is a collection of survey articles by various top class mathematicians about combinatorics, and the links the subject has with other branches of knowledge, from topology to biology. I have only read a couple of chapters in any detail and they were very useful. If you are in combinatorics, you must have access to this. The expense is worth it.

Download this book!

Free Ebooks Download

Theoretical Computer Science: Proceedings of the 10th Italian Conference on Ictcs '07

Theoretical Computer Science: Proceedings of the 10th Italian Conference on Ictcs '07
Guiseppe F. Italiano,Eugenio Moggi,Luigi Laura | 2007-09-06 00:00:00 | World Scientific Publishing Company | 199 | Information Theory
Many researchers from different countries converged at the 10th Italian Conference on Theoretical Computer Science (ICTCS 2007) to discuss recent developments in theoretical computer science. The volume contains all contributed papers selected for presentation with the invited lectures delivered. The subjects of this book range from logical and mathematical aspects of computing, design and analysis of algorithms, to semantics of programming languages.

Download this book!

Free Ebooks Download

Block Error-Correcting Codes: A Computational Primer (Universitext)

Block Error-Correcting Codes: A Computational Primer (Universitext)
Sebastian Xambo-Descamps | 2003-07-29 00:00:00 | Springer | 266 | Information Theory
Error-correcting codes have been incorporated in numerous working communication and memory systems. This book covers the mathematical aspects of the theory of block error-correcting codes together, in mutual reinforcement, with computational discussions, implementations and examples of all relevant concepts, functions and algorithms. This combined approach facilitates the reading and understanding of the subject.

The digital companion of the book is a non-printable .pdf document with hyperlinks. The examples included in the book can be run with just a mouse click and modified and saved by users for their own purpose.

Download this book!

Free Ebooks Download

Advances in Cryptology - CRYPTO '93: 13th Annual International Cryptology Conference, Santa Barbara, California, USA, August 22-26, 1993. Proceedings (Lecture Notes in Computer Science)

Advances in Cryptology - CRYPTO '93: 13th Annual International Cryptology Conference, Santa Barbara, California, USA, August 22-26, 1993. Proceedings (Lecture Notes in Computer Science)
Douglas R. Stinson | 1994-02-28 00:00:00 | Springer | 492 | Information Theory
This volume contains the papers presented at the CRYPTO '93 conference. The conference was sponsored by the International Association for Cryptologic Research (IACR) and Bell-Northern Research (a subsidiary of Northern Telecom) and held in cooperation with the IEEE Computer Society. These proceedings contain revised versions of the 38 contributed talks, as well as two talks from the rump session. The papers are grouped into parts on: cryptosystems, stream ciphers and cryptographic functions, proof systems and zero-knowledge, secret sharing, number theory and algorithms, differential cryptanalysis, complexity theory, applications, authentication codes, hash functions, cryptanalysis, and key distribution.

Download this book!

Free Ebooks Download