Showing 1 - 11
of 11
for search: '',
query time: 0.30s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Call Number: Q - Science
Institution: Colorado Mesa University
Author: SpringerLink (Online service)
Author: FACS (Symposium)
Subject: Formal methods (Computer science)
Institution
Collection
Format
Author
FACS (Symposium)
SpringerLink (Online service)
2
Arbab, F.
2
FACS (Symposium) Online)
2
Salaün, G.
2
Ölveczky, Peter Csaba,
more ...
1
Bae, Kyungmin,
1
Braga, Christiano (Computer scientist)
1
FACS (Symposium) Amsterdam, The Netherlands)
1
FACS (Symposium) Bertinoro, Italy)
1
FACS (Symposium) Besançon, France)
1
FACS (Symposium) Braga, Portugal)
1
FACS (Symposium) Mountain View, Calif.)
1
FACS (Symposium) Nanchang, China)
1
FACS (Symposium) Niterói, Brazil)
1
FACS (Symposium) Oslo, Norway)
1
FACS (Symposium) P'ohang-si, Korea)
1
Fiadeiro, José Luiz, 1961-
1
Jongmans, Sung-Shik,
1
Khosravi, Ramtin,
1
Kouchnarenko, Olga,
1
Lanese, Ivan,
1
Liu, Zhiming, 1961-
1
Lumpe, Markus,
1
Madelaine, Eric,
1
Proença, José (Post doc researcher)
1
Proença, José (Post doc researcher),
1
Păsăreanu, Corina S.
1
Tapia Tarifa, Silvia Lizeth,
1
Wijs, Anton
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication