Showing 1 - 4
of 4
for search: '',
query time: 0.04s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer logic
Computers
3
Computer science
2
Computer simulation
2
Formal methods (Computer science)
2
Logic, Symbolic and mathematical
more ...
2
Software engineering
1
Algorithms
1
Artificial intelligence
1
Computation by Abstract Devices
1
Computer organization
1
Computer software Verification
1
Database management
1
Logic design
1
Machine learning
1
Programming languages (Electronic computers)
1
Quantum computers
1
Reversible computing
1
Robots Programming
see all ...
less ...
Author
4
SpringerLink (Online service)
1
Bojańczyk, Mikołaj,
1
Devitt, Simon,
1
ISoLA (Symposium)
1
ISoLA (Symposium) Kerkyra, Greece)
1
Lamprecht, Anna-Lena,
more ...
1
Lanese, Ivan,
1
Lasota, Sławomir,
1
Pang, Jun (Computer scientist)
1
Potapov, Igor,
1
RC (Workshop : Reversible computation)
1
RC (Workshop : Reversible computation) Bologna, Italy)
1
RP (Workshop)
1
RP (Workshop) Warsaw, Poland)
1
SETTA (Symposium)
1
SETTA (Symposium) Guangzhou, China)
1
Zhang, Lijun, 1979-
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication