Handbook of Theoretical Computer Science, Vol. A: Algorithms and Complexity

van Leeuwen, Jan

ISBN 10: 0262220385 / ISBN 13: 9780262220385

Published by Mit Pr, 1990

About this Item

Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority!

Seller Inventory # S_396002362

Bibliographic Details

• Title: Handbook of Theoretical Computer Science, Vol. A: Algorithms and Complexity
• Publisher: Mit Pr
• Publication Date: 1990
• Language: English
• ISBN 10: 0262220385
• ISBN 13: 9780262220385
• Binding: hardcover
• Condition: Acceptable

About this title

Synopsis

Theoretical computer science provides the foundations for understanding and exploiting the concepts and mechanisms in computing and information processing. This handbook will provide professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. It consists of thirty-seven chapters in two volumes, all addressing core areas of theoretical computer science as it is practiced today. The material is written by leading American and European researchers, and each volume may be used independently.

Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B presents a choice of material on the theory of automata and rewriting systems, the foundations of modem programming languages, logics for program specification and verification, and several chapters on the theoretic modeling of advanced information processing. The organization of each volume reflects the development of theoretical computer science from its classical roots to the modem theoretical approaches in parallel and distributed computing. Extensive bibliographies, a subject index, and list of contributors are included in each volume.

About the Author

Matthew Paterson is Senior Lecturer in International Relations at Keele University. He is author of Global Warming and Global Politics (1996) and Understanding Global Environmental Politics (2003), as well as many articles and book chapters on these subjects. He is currently working on cars and global environmental politics. He is Associate Editor of Global Environmental Politics.