Showing 1 - 20
of 385
for search: '',
query time: 0.11s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Call Number: Q - Science
Author: SpringerLink (Online service)
Subject: Computer science Mathematics
Institution
Collection
Format
Subject
Computer science Mathematics
66
Computer science
47
Algorithms
37
Artificial intelligence
36
Computer logic
27
Software engineering
more ...
21
Formal methods (Computer science)
20
Computer algorithms
20
Logic, Symbolic and mathematical
20
Mathematics
19
Computable functions
18
Computer programming
16
Data structures (Computer science)
15
Computational complexity
14
Computer networks
12
Artificial intelligence Mathematics
12
Mathematical optimization
12
Reversible computing
11
Computer software Development
11
Computer systems Verification
11
Decidability (Mathematical logic)
10
Computers
10
Data mining
9
Algebraic logic
9
Cellular automata
9
Computer security
8
Data encryption (Computer science)
8
Management information systems
8
Mathematical statistics
8
Relation algebras
see all ...
less ...
Author
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
Potapov, Igor,
10
TAMC (Conference)
9
CALDAM (Conference)
9
Vorozhtsov, E. V. 1946-
7
AUTOMATA (Workshop)
7
International Workshop on Computer Algebra in Scientific Computing
7
Koepf, Wolfram,
7
RAMiCS (Conference)
7
RP (Workshop)
6
Evtushenko, I{u0361}U. G.
6
Gerdt, V. P.,
6
International Workshop WG
6
Malkova, Vlasta,
6
Seiler, Werner M.
6
WADT (Workshop)
5
CALCO (Conference)
5
CASC (Workshop : 2001- )
5
European Summer School in Logic, Language, and Information
5
O'Regan, Gerard
5
Workshop on Coalgebraic Methods in Computer Science
4
Barbaresco, Frédéric,
4
ETAPS (Conference)
4
FCT (Symposium)
see all ...
less ...
Language
Genre
Literary Form
Call Number
Year of Publication