Showing 1 - 20
of 567
for search: '',
query time: 0.35s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer science Mathematics
79
Computer science
69
Mathematics
58
Algorithms
42
Artificial intelligence
37
Computer logic
more ...
30
Software engineering
25
Computer algorithms
25
Mathematical optimization
22
Numerical analysis
21
Formal methods (Computer science)
21
Logic, Symbolic and mathematical
20
Computable functions
20
Computer programming
19
Data structures (Computer science)
18
Computer networks
18
Mathematical models
17
Computational complexity
17
Computers
16
Combinatorial analysis
15
Engineering mathematics
13
Mathematical analysis
12
Artificial intelligence Mathematics
12
Differential equations, Partial
12
Mathematical statistics
12
Reversible computing
11
Computer graphics
11
Computer security
11
Computer software Development
11
Computer systems Verification
see all ...
less ...
Author
549
SpringerLink (Online service)
13
Conference on Computability in Europe
12
CICM (Conference)
12
RC (Workshop : Reversible computation)
11
COCOA (Conference)
11
Symposium on Mathematical Foundations of Computer Science (1972- )
more ...
10
International Conference on Formal Concept Analysis
10
International Conference on Mathematics and Computing
10
Potapov, Igor,
10
ScienceDirect (Online service)
10
TAMC (Conference)
9
CALDAM (Conference)
9
Vorozhtsov, E. V. 1946-
8
Giri, Debasis,
7
AUTOMATA (Workshop)
7
Evtushenko, I{u0361}U. G.
7
International Workshop on Computer Algebra in Scientific Computing
7
Koepf, Wolfram,
7
Malkova, Vlasta,
7
RAMiCS (Conference)
7
RP (Workshop)
6
Gerdt, V. P.,
6
International Workshop WG
6
Mohapatra, Ram N.,
6
Seiler, Werner M.
6
WADT (Workshop)
6
Workshop on Coalgebraic Methods in Computer Science
5
CALCO (Conference)
5
CASC (Workshop : 2001- )
5
ETAPS (Conference)
see all ...
less ...
Genre
Literary Form
Call Number
Year of Publication