Showing 1 - 20
of 109
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)
Author: *-*
Format: eBook
Genre: Conference papers and proceedings
Literary Form: Non fiction
Institution
Collection
Format
Subject
35
Software engineering
29
System analysis
26
System design
20
Computer software Verification
17
Computer programming
16
Programming languages (Electronic computers)
more ...
15
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)
26
TACAS (Conference)
18
FOSSACS (Conference)
17
European Symposium on Programming
12
FASE (Conference)
more ...
10
CC (Conference)
6
POST (Conference)
5
Workshop on Coalgebraic Methods in Computer Science
4
Huisman, Marieke,
4
WRLA (Conference)
3
Beyer, Dirk, 1972-
3
Legay, Axel,
3
TACAS (Conference) Prague, Czech Republic)
2
Baier, Christel,
2
Biere, Armin,
2
Fisman, Dana
2
Groote, J. F. 1965-
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
2
Sankaranarayanan, Sriram
2
Schröder, Lutz
2
Sharygina, Natasha
2
TACAS (Conference) Dublin, Ireland)
2
TACAS (Conference) Munich, Germany)
2
TACAS (Conference) Online)
2
TACAS (Conference) Paris, France)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication