Showing 1 - 20
of 72
for search: '"LNCS sublibrary. Theoretical computer science and general issues."',
query time: 0.93s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: ETAPS (Conference)
Institution
Collection
Format
Subject
25
Software engineering
21
System analysis
19
System design
16
Computer software Verification
11
Computer programming
11
Computer software
more ...
10
Programming languages (Electronic computers)
7
Compilers (Computer programs)
4
Computer logic
4
Computer science Mathematics
4
Computer software Mathematics
3
Artificial intelligence
3
Computer science
3
Computer systems
1
Computer programs
1
Computer programs Validation
1
Computer software Development
1
Computer software Testing
1
Computer software Validation
1
Formal languages
1
Logic
1
Logic, Symbolic and mathematical
see all ...
less ...
Author
ETAPS (Conference)
70
SpringerLink (Online service)
19
TACAS (Conference)
13
FOSSACS (Conference)
11
European Symposium on Programming
10
FASE (Conference)
more ...
7
CC (Conference)
4
Huisman, Marieke,
4
WRLA (Conference)
4
Workshop on Coalgebraic Methods in Computer Science
3
Beyer, Dirk, 1972-
3
Legay, Axel,
3
TACAS (Conference) Prague, Czech Republic)
2
Baier, Christel,
2
Biere, Armin,
2
Groote, J. F. 1965-
2
Larsen, K. G. 1957-
2
Margaria-Steffen, Tiziana, 1964-
2
Parker, David,
2
SpringerLink (Online Service)
2
TACAS (Conference) Dublin, Ireland)
2
TACAS (Conference) Online)
2
TACAS (Conference) Thessalonikē, Greece)
2
TACAS (Conference) Uppsala, Sweden)
2
Vojnar, Tomáš,
2
Zhang, Lijun, 1979-
1
Aalst, Wil van der,
1
Abdulla, Parosh Aziz
1
Ahmed, Amal,
1
Amadio, Roberto M.
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication