๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

Essentials of Theoretical Computer Science

โœ Scribed by F. D. Lewis


Tongue
English
Leaves
287
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Theoretical Computer Science for the Wor
โœ Noson S. Yanofsky ๐Ÿ“‚ Library ๐Ÿ“… 2022 ๐Ÿ› Cambridge University Press ๐ŸŒ English

<span>Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer sc

Gems of Theoretical Computer Science
โœ Uwe Schoning, Randall J. Pruim ๐Ÿ“‚ Library ๐Ÿ“… 1998 ๐Ÿ› Springer ๐ŸŒ English

This book introduces some of the most important results in theoretical computer science. The "gems" are central problems and their solutions from the areas of computability, logic, circuit theory, and complexity. The text presents complete proofs in understandable form, as well as previously open pr

Gems of theoretical computer science
โœ Schoning U. ๐Ÿ“‚ Library ๐Ÿ“… 1998 ๐Ÿ› Springer ๐ŸŒ English

This book introduces some of the most important results in theoretical computer science. The "gems" are central problems and their solutions from the areas of computability, logic, circuit theory, and complexity. The text presents complete proofs in understandable form, as well as previously open pr

Theoretical Foundations of Computer Scie
โœ Dino Mandrioli, Carlo Ghezzi ๐Ÿ“‚ Library ๐Ÿ“… 1988 ๐Ÿ› John Wiley and Sons (WIE) ๐ŸŒ English

Explores basic concepts of theoretical computer science and shows how they apply to current programming practice. Coverage ranges from classical topics, such as formal languages, automata, and compatibility, to formal semantics, models for concurrent computation, and program semantics.

Theoretical foundations of computer scie
โœ Dino Mandrioli, Carlo Ghezzi ๐Ÿ“‚ Library ๐Ÿ“… 1987 ๐Ÿ› Wiley ๐ŸŒ English

Explores basic concepts of theoretical computer science and shows how they apply to current programming practice. Coverage ranges from classical topics, such as formal languages, automata, and compatibility, to formal semantics, models for concurrent computation, and program semantics.