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
-
81Conference Proceeding BookPublished 1979Subjects: “…Programming languages (Electronic computers) Congresses.…”
-
82Conference Proceeding BookPublished 1982Subjects: “…Computer programming Congresses.…”
-
83Conference Proceeding BookPublished 1982Subjects: “…Programming languages (Electronic computers) Congresses.…”
-
84Conference Proceeding BookPublished 1981Subjects: “…Computer programming Congresses.…”
-
85BookPublished 1983Subjects: “…Computer programming.…”
-
86Conference Proceeding BookPublished 1990Subjects: “…Logic programming Congresses.…”
-
87Conference ProceedingPublished 1986Subjects: “…Computer programming Congresses.…”
-
88BookPublished 1988Subjects: “…Logic programming Congresses.…”
-
89
-
90BookPublished 1992Subjects: “…Logic programming Congresses.…”
-
91Bookby Bekič, H. (Hans), 1936-1982Subjects: “…Programming languages (Electronic computers)…”
Published 1984
-
92
-
93
-
94Conference Proceeding BookPublished 1986“…Lecture notes in computer science ;…”
-
95BookPublished 1979Subjects: “…Programming (Mathematics) Congresses.…”
-
96Bookby Northrup, Charles J., 1962-Table of Contents: “…Machine derived contents note: The UNIX Threads Model. -- The UNIX Process Model. -- The UNIX…”
Published 1996
Table of Contents
Contributor biographical information
Publisher description
-
97
-
98Conference Proceeding BookPublished 1992Subjects: “…Logic programming Congresses.…”
-
99
-
100Conference Proceeding BookPublished 1994Subjects: “…Logic programming Congresses.…”