Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Author
Sort
Result Count
Alphabetical
Havelund, Klaus
4
SpringerLink (online služba)
2
Roşu, Grigore
1
Barringer, Howard
1
Bobaru, Mihaela
1
Falcone, Ylies
1
Finkbeiner, Bernd
1
Holzmann, Gerard J
1
Joshi, Rajeev
1
Lee, Insup
1
Majumdar, Rupak
1
Núñez, Manuel
1
Pace, Gordon J.
1
Palsberg, Jens
1
Sokolsky, Oleg
1
Tillmann, Nikolai
1
Wolff, Burkhart
close
×
Loading...