Showing 1 - 20
of 341
for search: '',
query time: 0.09s
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
59
Computer science
41
Algorithms
39
Artificial intelligence
32
Computer logic
25
Software engineering
more ...
21
Mathematics
18
Computer networks
18
Formal methods (Computer science)
17
Data structures (Computer science)
16
Computable functions
15
Computer programming
15
Logic, Symbolic and mathematical
14
Computer algorithms
13
Mathematical optimization
12
Artificial intelligence Mathematics
12
Computational complexity
12
Computers
12
Reversible computing
11
Computer security
11
Computer systems Verification
11
Decidability (Mathematical logic)
10
Computer software Development
10
Numerical analysis
9
Algebraic logic
9
Cellular automata
9
Data encryption (Computer science)
9
Mathematical statistics
8
Management information systems
8
Mathematical models
see all ...
less ...
Author
287
SpringerLink (Online service)
47
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
Potapov, Igor,
10
TAMC (Conference)
9
CALDAM (Conference)
9
International Conference on Mathematics and Computing
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)
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- )
5
ETAPS (Conference)
see all ...
less ...
Language
Genre
Literary Form
Era
Call Number
Year of Publication