Suggested Topics within your search.
Suggested Topics within your search.
Congresses
191
Computer programming
83
Programming languages (Electronic computers)
66
Logic programming
44
Computer programs
31
Computer software
22
Data processing
21
Formal languages
19
Parallel processing (Electronic computers)
19
Semantics
19
Object-oriented programming (Computer science)
18
Development
17
Machine theory
17
Parallel programming (Computer science)
17
Computational complexity
14
Artificial intelligence
13
Ada (Computer program language)
12
Computer architecture
10
Computer science
10
Data structures (Computer science)
10
Logic, Symbolic and mathematical
10
Database management
9
Electronic data processing
9
Mathematics
9
Automatic theorem proving
8
Compilers (Computer programs)
8
Mathematical optimization
8
Rewriting systems (Computer science)
8
Trees (Graph theory)
8
Algorithms
7
-
461BookPublished 2003Table of Contents: “…Machine derived contents note: Introduction -- Timothy Lane, Nina Oding and Paul J.J. Welfens -- A…”
Table of contents
Publisher description
-
462Bookby Woodward, John LowellTable of Contents: “…Machine derived contents note: Preface. -- Acknowledgments. -- Glossary. -- Nomenclature. -- 1…”
Published 1998
Publisher description
Table of contents only
-
463