Showing 1 - 20
of 117
for search: '',
query time: 0.09s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: ETAPS (Conference)
Call Number: Q - Science
Language: English
Literary Form: Non fiction
Institution
Collection
Format
Subject
38
Software engineering
32
System analysis
29
System design
23
Computer software Verification
19
Computer programming
18
Programming languages (Electronic computers)
more ...
17
Computer software
10
Compilers (Computer programs)
8
Computer security
7
Data encryption (Computer science)
5
Computer science Mathematics
5
Computer software Development
5
Computer software Mathematics
4
Computer logic
3
Artificial intelligence
3
Computer science
3
Computer systems
2
Computer networks Security measures
2
Logic, Symbolic and mathematical
1
Computer networks
1
Computer programs
1
Computer programs Validation
1
Computer software Testing
1
Computer software Validation
1
Formal languages
1
Logic
see all ...
less ...
Author
ETAPS (Conference)
109
SpringerLink (Online service)
29
TACAS (Conference)
20
FOSSACS (Conference)
19
European Symposium on Programming
13
FASE (Conference)
more ...
10
CC (Conference)
8
SpringerLink (Online Service)
6
POST (Conference)
5
Workshop on Coalgebraic Methods in Computer Science
4
Beyer, Dirk, 1972-
4
Huisman, Marieke,
4
WRLA (Conference)
3
Finkbeiner, Bernd,
3
Kovács, Laura,
3
Legay, Axel,
3
TACAS (Conference) Luxembourg, Luxembourg)
3
TACAS (Conference) Prague, Czech Republic)
2
Baier, Christel,
2
Biere, Armin,
2
European Symposium on Programming Luxembourg, Luxembourg)
2
FOSSACS (Conference) Luxembourg, Luxembourg)
2
Fisman, Dana
2
Groote, J. F. 1965-
2
Kobayashi, Naoki,
2
König, Barbara (Professor of Information Engineering)
2
Larsen, K. G. 1957-
2
Margaria-Steffen, Tiziana, 1964-
2
Parker, David,
2
Roşu, Grigore
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication