Encyclopedia of Computer Science and Technology
Encyclopedia of Computer Science and Technology

Author: Jack Belzer

Publisher: CRC Press

Published: 1977-05-01

Total Pages: 512

ISBN-13: 9780824722579

DOWNLOAD EBOOK

"This comprehensive reference work provides immediate, fingertip access to state-of-the-art technology in nearly 700 self-contained articles written by over 900 international authorities. Each article in the Encyclopedia features current developments and trends in computers, software, vendors, and applications...extensive bibliographies of leading figures in the field, such as Samuel Alexander, John von Neumann, and Norbert Wiener...and in-depth analysis of future directions."

Automata, Languages and Programming
Automata, Languages and Programming

Author: Kim G. Larsen

Publisher: Springer Science & Business Media

Published: 1998-07-06

Total Pages: 956

ISBN-13: 9783540647812

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98, held in Aalborg, Denmark, in July 1998. The 70 revised full papers presented together with eight invited contributions were carefully selected from a total of 182 submissions. The book is divided in topical sections on complexitiy, verification, data structures, concurrency, computational geometry, automata and temporal logic, algorithms, infinite state systems, semantics, approximation, thorem proving, formal languages, pi-calculus, automata and BSP, rewriting, networking and routing, zero-knowledge, quantum computing, etc..