Showing 1 - 20
of 85
for search: '"Computers"',
query time: 0.21s
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
24
System analysis
23
System design
20
Computer software Verification
17
Computer programming
16
Programming languages (Electronic computers)
16
Software engineering
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
Computer science
3
Computer systems
2
Artificial intelligence
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)
83
SpringerLink (Online service)
23
TACAS (Conference)
17
European Symposium on Programming
16
FOSSACS (Conference)
10
CC (Conference)
more ...
6
POST (Conference)
5
Workshop on Coalgebraic Methods in Computer Science
4
WRLA (Conference)
3
Beyer, Dirk, 1972-
3
Huisman, Marieke,
3
Legay, Axel,
3
TACAS (Conference) Prague, Czech Republic)
2
Baier, Christel,
2
Biere, Armin,
2
Fisman, Dana
2
Groote, J. F. 1965-
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
SpringerLink (Online Service)
2
TACAS (Conference) Dublin, Ireland)
2
TACAS (Conference) Munich, Germany)
2
TACAS (Conference) Online)
2
TACAS (Conference) Paris, France)
2
TACAS (Conference) Thessalonikē, Greece)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication