Showing 1 - 20
of 23
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer science
Logic design
14
Software engineering
7
Artificial intelligence
5
Computational complexity
5
Programming languages (Electronic computers)
more ...
4
Operating systems (Computers)
3
Algebra Data processing
3
Algorithms
3
Computer logic
3
Electronic data processing
2
Formal methods (Computer science)
2
Management information systems
2
Optical pattern recognition
2
Reversible computing
1
Automatic theorem proving
1
Big data
1
Biocomputers
1
Computer architecture
1
Computer industry
1
Computer network architectures
1
Computer programs Verification
1
Computer science Mathematics
1
Computer security
1
Computer systems
1
Computers
1
Computers, Special purpose
1
Data protection
1
Data structures (Computer science)
1
Database management
see all ...
less ...
Author
23
SpringerLink (Online service)
3
SSBSE (Symposium)
1
AADIOS (Meeting)
1
AADIOS (Meeting) Sofia, Bulgaria)
1
Alhazov, Artiom,
1
Applications of Computer Algebra Conference
more ...
1
Barkatou, Moulay,
1
Beierle, Christoph, 1954-
1
Bhatele, Abhinav
1
Boehme, David
1
Brand, Mark van den,
1
CAV (Conference)
1
CAV (Conference) New York, N.Y.)
1
CMC (Conference : Membrane computing)
1
CMC (Conference : Membrane computing) Chişinău, Moldova)
1
Cluzeau, Thomas,
1
Cojocaru, Svetlana,
1
Colanzi, Thelma Elita,
1
Conference on Developments in Language Theory
1
Conference on Developments in Language Theory Warsaw, Poland)
1
DCFS (Workshop)
1
DCFS (Workshop) Košice, Slovakia.)
1
Devitt, Simon,
1
Dillig, Isil,
1
Dongarra, J. J.,
1
Duan, Zhenhua,
1
FoIKS (Symposium)
1
FoIKS (Symposium) Bordeaux, Nouvelle-Aquitaine, France)
1
Fu, Haohuan,
1
Futatsugi, Kokichi,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication