Showing 1 - 8
of 8
for search: '',
query time: 0.06s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Call Number: Q - Science
Subject: Computer programming
Author: Voronkov, Andrei, 1959-
Institution
Collection
Format
Subject
Computer programming
7
Computer science
5
Systems engineering
3
Artificial intelligence
3
Software engineering
2
Computer logic
more ...
2
Logic, Symbolic and mathematical
2
Programming languages (Electronic computers)
1
Algorithms
1
Computer graphics
1
Computer systems
1
Engineering
1
Rewriting systems (Computer science)
see all ...
less ...
Author
8
SpringerLink (Online service)
Voronkov, Andrei, 1959-
5
International Andrei Ershov Memorial Conference
4
International Andrei Ershov Memorial Conference Novosibirsk, Russia)
4
Virbitskaite, Irina
1
Björner, Nikolaj
more ...
1
Clarke, Edmund M., Jr. 1945-2020
1
Davis, Martin,
1
Fehnker, Ansgar,
1
International Andrei Ershov Memorial Conference Moscow, Russia)
1
International Conference on Rewriting Techniques and Applications
1
International Conference on Rewriting Techniques and Applications Hagenberg im Müḧlkreis, Austria)
1
LPAR (Conference)
1
LPAR (Conference) Suva, Fiji)
1
McIver, Annabelle,
1
McMillan, Ken,
1
Middeldorp, Aart, 1963-
1
Petrenko, Alexander K. 1951-
1
Pnueli, Amir, 1941-2009
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication