Showing 1 - 14
of 14
for search: '',
query time: 0.07s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Algorithms
Computer logic
12
Computer science
12
Software engineering
9
Computers, Special purpose
6
Logic, Symbolic and mathematical
more ...
5
Computer science Mathematics
5
Management information systems
5
Programming languages (Electronic computers)
2
Computer programming
2
Logic design
1
Artificial intelligence
1
Computer networks
1
Computer simulation
1
Computer software Testing
1
Computer software Verification
1
Computers
1
Data structures (Computer science)
1
Formal methods (Computer science)
1
Quantum computers
1
Reversible computing
see all ...
less ...
Author
14
SpringerLink (Online service)
5
Vorozhtsov, E. V. 1946-
4
IMBSA (Symposium)
4
International Workshop on Computer Algebra in Scientific Computing
3
Koepf, Wolfram,
3
Seiler, Werner M.
more ...
2
Boulier, François
2
Bozzano, Marco,
2
England, Matthew
2
Gerdt, V. P.,
2
Papadopoulos, Yiannis (Professor of Computer Science)
2
Sadykov, Timur M.
2
Zeller, Marc
1
Abate, Alessandro,
1
Aslansefat, Koorosh,
1
Bodei, Chiara,
1
CASC (Workshop : 2001- )
1
CASC (Workshop : 2001- ) Beijing, China)
1
Deshmukh, Jyotirmoy,
1
Devitt, Simon,
1
England, Matthew,
1
FORMATS (Conference)
1
FORMATS (Conference) Berlin, Germany)
1
Ferrari, Gian-Luigi,
1
Geeraerts, Gilles,
1
Höfig, Kai
1
IMBSA (Symposium) Munich, Germany)
1
IMBSA (Symposium) Online)
1
IMBSA (Symposium) Thessalonikē, Greece)
1
IMBSA (Symposium) Trento, Italy)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication