Showing 1 - 8
of 8
for search: '"Computer networks Security measures Congresses."',
query time: 0.32s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Computer software Verification
Institution
Collection
Format
Subject
Author
8
SpringerLink (Online service)
5
TGC (Symposium)
1
Abadi, Martín,
1
Barthe, Gilles, 1967-
1
Bruni, Roberto
1
De Nicola, Rocco
more ...
1
Fournet, Cédric
1
Ganty, Pierre,
1
Hofmann, Martin
1
Lluch Lafuente, Alberto,
1
Loreti, Michele,
1
Maffei, Matteo,
1
Palamidessi, Catuscia,
1
Rauschmayer, Axel, 1972-
1
Ryan, Mark, 1962-
1
Sangiorgi, Davide
1
Sassone, Vladimiro
1
TGC (Symposium) Aachen, Germany)
1
TGC (Symposium) Buenos Aires, Argentina)
1
TGC (Symposium) Madrid, Spain)
1
TGC (Symposium) Newcastle upon Tyne, England)
1
TGC (Symposium) Rome, Italy)
1
TGC 2005
1
TGC 2005 Edinburgh, Scotland)
1
TGC 2007
1
TGC 2007 Sophia-Antipolis, France)
1
TGC 2010
1
TGC 2010 Munich, Germany)
1
Tuosto, Emilio,
1
Wirsing, M.
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication