Search Results - "Texts and monographs in computer science"
Suggested Topics within your search.
Suggested Topics within your search.
- Electronic digital computers 3
- Data processing 2
- Mathematics 2
- Programming 2
- Algebra 1
- Calculators 1
- Computer algorithms 1
- Computer science 1
- Computer software 1
- Development 1
- Geometry 1
- History 1
- Kolmogorov complexity 1
- Larch (Computer program language) 1
- Logic pprogramming 1
- Logic, Symbolic and mathematical 1
- Predicate calculus 1
- Programming (Electronic computers) 1
- Programming languages (Electronic computers) 1
- Rewriting systems (Computer science 1
- Semantics 1
-
1
String-rewriting systems
Published 1993“…Texts and monographs in computer science…”
Click Here to View Status and Holdings.
Unknown -
2
Algorithmic Algebra
Published 1993“…Texts and monographs in computer science…”
Click Here to View Status and Holdings.
Unknown -
3
A logical approach to discrete math
Published 1993“…Texts and monographs in computer science…”
Click Here to View Status and Holdings.
Unknown -
4
Logic for applications
Published 1993“…Texts and monographs in computer science…”
Click Here to View Status and Holdings.
Unknown -
5
Larch languages and tools for formal specification
Published 1993“…Texts and monographs in computer science…”
Click Here to View Status and Holdings.
Unknown -
6
Computational geometry an introduction
Published 1985“…Texts and monographs in computer science…”
Click Here to View Status and Holdings.
Unknown -
7
The Design and analysis of algorithms
Published 1992“…Texts and monographs in computer science…”
Click Here to View Status and Holdings.
Unknown -
8
Mathematical foundations of computer science
Published 1991“…Texts and monographs in computer science…”
Click Here to View Status and Holdings.
Unknown -
9
The science of programming
Published 1981“…Texts and monographs in computer science…”
Click Here to View Status and Holdings.
Unknown -
10
The origins of digital computers selected papers
Published 1975“…Texts and monographs in computer science…”
Click Here to View Status and Holdings.
Unknown -
11
Predicate calculus and program semantics
Published 1990“…Texts and monographs in computer science…”
Click Here to View Status and Holdings.
Book -
12
An introduction to Kolmogorov complexity and its applications
Published 1993“…Texts and monographs in computer science…”
Click Here to View Status and Holdings.
Unknown -
13
A practical theory of programming
Published 1993“…Texts and monographs in computer science…”
Click Here to View Status and Holdings.
Unknown