Showing 1 - 20
of 98
for search: '',
query time: 0.10s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
32
Software engineering
25
System analysis
22
System design
17
Computer software Verification
15
Computer programming
14
Programming languages (Electronic computers)
more ...
13
Computer software
10
Compilers (Computer programs)
8
Computer security
7
Data encryption (Computer science)
6
Computer software Development
4
Computer logic
4
Computer science Mathematics
4
Computer software Mathematics
4
Logic, Symbolic and mathematical
3
Computer science
3
Formal languages
2
Computer networks Security measures
1
Artificial intelligence
1
Computer programs
1
Computer software Testing
1
Computer systems
see all ...
less ...
Author
ETAPS (Conference)
98
SpringerLink (Online service)
22
TACAS (Conference)
16
FOSSACS (Conference)
15
European Symposium on Programming
11
FASE (Conference)
more ...
10
CC (Conference)
6
POST (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, D. C.
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
Abadi, Martín,
1
Abdulla, Parosh Aziz
1
Aceto, Luca
see all ...
less ...
Language
Genre
Literary Form
Call Number
Year of Publication