Showing 1 - 20
of 21
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
Genre: Conference papers and proceedings
Literary Form: Non fiction
Subject: Computer science
Subject: Logic design
Institution
Collection
Format
Subject
Computer science
Logic design
14
Software engineering
8
Artificial intelligence
6
Programming languages (Electronic computers)
4
Operating systems (Computers)
more ...
3
Algorithms
3
Computational complexity
3
Computer logic
2
Algebra Data processing
2
Computer architecture
2
Computers, Special purpose
2
Education
2
Educational technology
2
Electronic data processing
2
Formal methods (Computer science)
2
Management information systems
2
Optical pattern recognition
1
Biocomputers
1
Computer industry
1
Computer network architectures
1
Computer programming
1
Computer programs Verification
1
Computer science Mathematics
1
Computer security
1
Computer systems
1
Computers
1
Data protection
1
Data structures (Computer science)
1
Declarative programming languages
see all ...
less ...
Author
21
SpringerLink (Online service)
3
SSBSE (Symposium)
2
Ermolayev, Vadim,
2
ICTERI (Conference)
2
ICTERI (Conference) Kherson, Ukraine)
2
Nikitchenko, Mykola,
more ...
2
Spivakovsky, Aleksander,
2
Zholtkevych, Grygoriy,
1
AADIOS (Meeting)
1
AADIOS (Meeting) Sofia, Bulgaria)
1
Alhazov, Artiom,
1
Applications of Computer Algebra Conference
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
Chapman, Barbara, 1954-
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
De Supinski, Bronis R.,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication