Showing 1 - 20
of 49
for search: '"Science."',
query time: 0.17s
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
Software engineering
41
Computer science
22
Artificial intelligence
21
Logic, Symbolic and mathematical
16
Programming languages (Electronic computers)
more ...
13
Computer science Mathematics
12
Algorithms
11
Computers, Special purpose
9
Computer programming
9
Computer simulation
9
Management information systems
7
Computer networks
5
Computer software Verification
5
Computer system failures
5
Formal methods (Computer science)
5
Mathematical statistics
4
Computer organization
4
Electronic data processing
3
Computer programs Verification
3
Database management
3
Logic design
2
Computer software Testing
2
Computers
2
Natural computation
2
Reversible computing
2
Stochastic processes
1
Application software
1
Automatic control
1
Computation by Abstract Devices
see all ...
less ...
Author
49
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
Blass, Andreas, 1947-
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
RC (Workshop : Reversible computation)
2
Sadykov, Timur M.
2
UCNC (Conference)
2
Voronkov, Andrei, 1959-
2
Zeller, Marc
1
ASYDE (Workshop)
1
Abate, Alessandro,
1
Ahrendt, Wolfgang,
1
Antonucci, Alessandro,
1
Arbel, Eli,
1
Aslansefat, Koorosh,
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication