Showing 1 - 20
of 346
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
Remove Filters
Author: *-*
Format: eBook
Genre: Conference papers and proceedings
Literary Form: Non fiction
Subject: Computer science Mathematics
Institution
Collection
Format
Subject
Computer science Mathematics
59
Computer science
41
Algorithms
39
Artificial intelligence
33
Computer logic
25
Software engineering
more ...
23
Mathematics
19
Computer networks
18
Formal methods (Computer science)
17
Data structures (Computer science)
16
Computable functions
16
Computer algorithms
15
Computer programming
15
Logic, Symbolic and mathematical
15
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
337
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
CALDAM (Conference)
10
International Conference on Formal Concept Analysis
10
International Conference on Mathematics and Computing
10
Potapov, Igor,
10
TAMC (Conference)
9
Vorozhtsov, E. V. 1946-
8
Giri, Debasis,
8
Malkova, Vlasta,
7
AUTOMATA (Workshop)
7
Evtushenko, I{u0361}U. G.
7
International Workshop on Computer Algebra in Scientific Computing
7
Koepf, Wolfram,
7
RAMiCS (Conference)
7
RP (Workshop)
6
European Summer School in Logic, Language, and Information
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