𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Theoretical Foundations of Computer Science

✍ Scribed by Mandrioli D., Ghezzi C.

Publisher
John Wiley and Sons Ltd
Year
1987
Tongue
English
Leaves
254
Edition
International Ed
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects

Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ° ΠΈ Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅Π»ΡŒΠ½Π°Ρ Ρ‚Π΅Ρ…Π½ΠΈΠΊΠ°;Π£ΡΡ‚Π°Ρ€Π΅Π²ΡˆΠΈΠ΅ ΠΌΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π»Ρ‹;

πŸ“œ SIMILAR VOLUMES

Theoretical Foundations of Computer Scie
πŸ“ Theoretical Foundations of Computer Science
✍ 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
πŸ“ Theoretical foundations of computer science
✍ 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.

Theoretical Foundations of Computer Visi
πŸ“ Theoretical Foundations of Computer Vision
✍ Dr. K. Daniilidis (auth.), Prof. Dr. W. Kropatsch, Prof. Dr. R. Klette, Prof. Dr πŸ“‚ Library πŸ“… 1996 πŸ› Springer-Verlag Wien 🌐 English

<p>Computer Vision is a rapidly growing field of research investigating computational and algorithmic issues associated with image acquisition, processing, and understanding. It serves tasks like manipulation, recognition, mobility, and communication in diverse application areas such as manufacturin

Logic for computer science: foundations
πŸ“ Logic for computer science: foundations of automatic theorem proving
✍ Jean H. Gallier πŸ“‚ Library πŸ“… 1986 πŸ› Longman Higher Education 🌐 English

"Logic for Computer Science" provides an introduction to mathematical logic, with emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. It is designed primarily for students, computer scientists, and, more generally, for mathematically inclined readers i