Showing 1 - 20
of 533
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
Format
Subject
Computer science Mathematics
74
Computer science
61
Mathematics
55
Algorithms
39
Artificial intelligence
37
Computer logic
more ...
30
Software engineering
25
Computer algorithms
23
Logic, Symbolic and mathematical
21
Formal methods (Computer science)
20
Computable functions
20
Computer programming
20
Mathematical optimization
20
Numerical analysis
17
Combinatorial analysis
17
Computational complexity
17
Data structures (Computer science)
16
Computer networks
14
Computers
13
Mathematical analysis
12
Artificial intelligence Mathematics
12
Differential equations, Partial
12
Mathematical models
12
Reversible computing
11
Computer software Development
11
Computer systems Verification
11
Decidability (Mathematical logic)
11
Mathematical statistics
10
Computer security
10
Data mining
see all ...
less ...
Author
385
SpringerLink (Online service)
120
SpringerLink (Online Service)
13
Conference on Computability in Europe
12
CICM (Conference)
12
RC (Workshop : Reversible computation)
11
COCOA (Conference)
more ...
11
Symposium on Mathematical Foundations of Computer Science (1972- )
10
International Conference on Formal Concept Analysis
10
International Conference on Mathematics and Computing
10
Potapov, Igor,
10
TAMC (Conference)
9
CALDAM (Conference)
9
Vorozhtsov, E. V. 1946-
8
Giri, Debasis,
7
AUTOMATA (Workshop)
7
International Workshop on Computer Algebra in Scientific Computing
7
Koepf, Wolfram,
7
Malkova, Vlasta,
7
RAMiCS (Conference)
7
RP (Workshop)
7
ScienceDirect (Online service)
6
Evtushenko, I{u0361}U. G.
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- )
see all ...
less ...
Genre
Literary Form
Region
Call Number
Year of Publication