Showing 1 - 20
of 57
for search: '',
query time: 0.10s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer logic
Computer science
41
Software engineering
21
Logic, Symbolic and mathematical
19
Artificial intelligence
15
Programming languages (Electronic computers)
more ...
12
Algorithms
12
Computer science Mathematics
11
Computers, Special purpose
10
Computer programming
9
Management information systems
8
Computer simulation
6
Computer networks
5
Computer system failures
5
Electronic data processing
5
Mathematical statistics
4
Computer software Verification
3
Computer multitasking
3
Computer organization
3
Computer programs Verification
3
Computers
3
Database management
3
Formal methods (Computer science)
3
Logic
3
Logic design
2
Computer security
2
Formal languages
2
Natural computation
2
Stochastic processes
2
Uncertainty (Information theory)
see all ...
less ...
Author
56
SpringerLink (Online service)
5
EPEW (Workshop)
5
Nerode, Anil, 1932-
5
Vorozhtsov, E. V. 1946-
4
IMBSA (Symposium)
4
International Workshop on Computer Algebra in Scientific Computing
more ...
4
LFCS (Symposium)
4
LFCS (Symposium) Deerfield Beach, Fla.)
3
Iacono, Mauro, 1975-
3
Koepf, Wolfram,
3
Seiler, Werner M.
2
ASMTA (Conference)
2
Artemov, S. N.
2
Artemov, S. N.,
2
Ballarini, Paolo,
2
Boulier, François
2
Bozzano, Marco,
2
Durand-Lose, Jérôme,
2
England, Matthew
2
Gerdt, V. P.,
2
ICTAC (Colloquium)
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
2
JELIA (Conference)
2
MCU (Conference)
2
Papadopoulos, Yiannis (Professor of Computer Science)
2
Sadykov, Timur M.
2
UCNC (Conference)
2
Verlan, Sergey,
2
Voronkov, Andrei, 1959-
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication