Showing 1 - 3
of 3
for search: '',
query time: 0.05s
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
Genre: Conference papers and proceedings
Genre: Software
Literary Form: Non fiction
Institution
Collection
Format
Subject
1
Compilers (Computer programs)
1
Computer networks Security measures
1
Computer programs Validation
1
Computer security
1
Computer software Validation
1
Computer software Verification
more ...
1
Computer systems
1
Data encryption (Computer science)
1
System analysis
1
System design
see all ...
less ...
Author
ETAPS (Conference)
3
SpringerLink (Online service)
1
CC (Conference)
1
CC (Conference) Tallinn, Estonia)
1
Degano, Pierpaolo, 1950-
1
Guttman, Joshua D.
more ...
1
O'Boyle, M.
1
POST 2012
1
POST 2012 Tallinn, Estonia)
1
Piterman, Nir
1
Smolka, Scott A.
1
TACAS (Conference)
1
TACAS (Conference) Rome, Italy)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication