𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

A basis for theoretical computer science

✍ Scribed by M.A. Arbib, A.J. Kfoury, R.N. Moll


Publisher
Springer
Year
1981
Tongue
English
Leaves
114
Series
Texts and Monographs in Computer Science
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects


ДискрСтная ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ°


πŸ“œ SIMILAR VOLUMES


A Basis for Theoretical Computer Science
✍ Michael A. Arbib, A. J. Kfoury, Robert N. Moll πŸ“‚ Library πŸ“… 1981 πŸ› Springer 🌐 English

<p>Computer science seeks to provide a scientific basis for the study of inform aΒ­ tion processing, the solution of problems by algorithms, and the design and programming of computers. The last forty years have seen increasing sophistication in the science, in the microelectronics which has made mac

A basis for theoretical computer science
✍ Kfoury, A. J.; Arbib, Michael A.; Moll, Robert N πŸ“‚ Library πŸ“… 1981 πŸ› Springer New York 🌐 English

Computer science seeks to provide a scientific basis for the study of inform aΒ­ tion processing, the solution of problems by algorithms, and the design and programming of computers. The last forty years have seen increasing sophistication in the science, in the microelectronics which has made machin

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

Theoretical Computer Science
✍ R. E. Mille (auth.), F. Preparata (eds.) πŸ“‚ Library πŸ“… 2011 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>R.E. Miller: Parallel program schemata.- D.E. Muller: Theory of automata.- R. Karp: Computational complexity of combinatorial and graph-theoretic problems.</p>

Theoretical Computer Science
✍ R. E. Mille (auth.), F. Preparata (eds.) πŸ“‚ Library πŸ“… 2011 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>R.E. Miller: Parallel program schemata.- D.E. Muller: Theory of automata.- R. Karp: Computational complexity of combinatorial and graph-theoretic problems.</p>