Showing 1 - 20
of 41
for search: '',
query time: 0.08s
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
Software engineering
19
Logic, Symbolic and mathematical
17
Artificial intelligence
14
Programming languages (Electronic computers)
more ...
11
Algorithms
11
Computers, Special purpose
9
Computer science Mathematics
9
Management information systems
8
Computer programming
8
Computer simulation
6
Computer networks
5
Computer system failures
5
Mathematical statistics
4
Computer software Verification
4
Electronic data processing
3
Computer organization
3
Computer programs Verification
3
Database management
2
Formal methods (Computer science)
2
Logic design
2
Natural computation
2
Stochastic processes
1
Application software
1
Computation by Abstract Devices
1
Computer industry
1
Computer programs
1
Computer security
1
Computer software Testing
see all ...
less ...
Author
41
SpringerLink (Online service)
5
EPEW (Workshop)
5
Vorozhtsov, E. V. 1946-
4
IMBSA (Symposium)
4
International Workshop on Computer Algebra in Scientific Computing
3
Iacono, Mauro, 1975-
more ...
3
Koepf, Wolfram,
3
Seiler, Werner M.
2
ASMTA (Conference)
2
Ballarini, Paolo,
2
Boulier, François
2
Bozzano, Marco,
2
England, Matthew
2
Gerdt, V. P.,
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
2
JELIA (Conference)
2
Papadopoulos, Yiannis (Professor of Computer Science)
2
Sadykov, Timur M.
2
UCNC (Conference)
2
Voronkov, Andrei, 1959-
2
Zeller, Marc
1
Abate, Alessandro,
1
Ahrendt, Wolfgang,
1
Antonucci, Alessandro,
1
Arbel, Eli,
1
Aslansefat, Koorosh,
1
Bakhshi, Rena,
1
Barbierato, Enrico,
1
Barbot, Benoît,
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication