Mathematical theory of computation books

 Read More >>

 Read More >>

Hierarchical design methods were originally introduced for the design of digital ICs, and they appeared to provide...  Read More >>

As electronic technology reaches the point where complex systems can be integrated on a single chip, and higher...  Read More >>

Finite model theory is an area of mathematical logic that grew out of computer science applications. The birth of...  Read More >>

Contains the proceedings of the 12th International Conference on Information Systems Development, held in Melbourne,...  Read More >>

The response to the first edition strongly supports the idea that the main function of this book should be educational,...  Read More >>

Find a polynomial of degree n with eoeffieients in the set { + 1, -I} that has smallest possible supremum norm on...  Read More >>

FDL'OI was held in Lyon, France, around seven interrelated workshops, Hardware Description Languages, Analog and...  Read More >>

Preface to Second Edition From the time that the original edition was published in 1985, multidimensional systems...  Read More >>

A basic problem for the interconnection of communications media is to design interconnection networks for specific...  Read More >>

Efficient parallel solutions have been found to many problems. However, there is a large class of problems - irregular...  Read More >>

System-on-Chip Methodologies & Design Languages brings together a selection of the best papers from three international...  Read More >>

The protection approach preas­ signs spare capacity to protect each element of the network independently, while...  Read More >>

This book provides a comprehensive and up-to-date overview of the fast developing area of retargetable compilers...  Read More >>

Electronic Chips & Systems Design Languagesoutlines and describes the latest advances in design languages. System...  Read More >>

Towards a Quarter-Century of Public Key Cryptography brings together in one place important contributions and up-to-date...  Read More >>

His main areas of research are represented in the three sections, `Numbers and Combinations', `Information Theory...  Read More >>

Offers tools for making decisions in an environment of uncertainty. This book explains aspects of the concept of...  Read More >>

Furthermore, combinatorial optimization problems occur in many diverse areas such as linear and integer programming,...  Read More >>

Covers the implications of interior techniques for the field of mathematical programming. This book provides theoretical...  Read More >>

Optical media are now widely used in the telecommunication networks, and the evolution of optical and optoelectronic...  Read More >>

 Read More >>

Communications, Information and Network Security is an excellent reference for both professional and academic researchers...  Read More >>

Constitutes the refereed proceedings of the 21st International Symposium on Algorithms and Computation, ISAAC 2010,...  Read More >>