Theoretical foundations of computer science

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 Scie

📁 Theoretical Foundations of Computer Science

✍ Mandrioli D., Ghezzi C. 📂 Library 📅 1987 🏛 John Wiley and Sons Ltd 🌐 English

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 📅 2015 🏛 Dover Publications 🌐 English

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