*sublabel_Solr*
*custom_text_above_search_result**custom_text_above_search_result_Solr*
*Showing* 1 - 20
*of* 2*number_thousands_separator*418
*custom_text_below_search_result*
*Narrow Search*
*facet_material_access*
*facet_department*
*facet_classification_rvk*
*s200*
1*number_thousands_separator*882
*a100*
1*number_thousands_separator*093
*s100*
430
*e200*
289
*q100*
205
*NIL*
134
*more* ...
*w100*
63
*c100*
57
*c200*
50
*z250*
45
*z230*
39
*z220*
32
*m200*
26
*a200*
23
*u100*
17
*z200*
16
*d100*
15
*h100*
14
*m100*
14
*w200*
14
*n100*
12
*r100*
12
*g100*
11
*v100*
11
*p100*
9
*t100*
8
*z100*
7
*z280*
7
*X500*
6
*b100*
6
*less* ...
*facet_author_facet*
Voronkov, Andrei
21
Gabbay, Dov M.
11
Nerode, Anil
11
Bjørner, Dines
10
Dix, Jürgen
10
Beyer, Dirk
9
*more* ...
Campesato, Oswald
9
Huisman, Marieke
9
Hanus, Michael
8
Kobayashi, Naoki
8
Kovács, Laura
8
Kuchen, Herbert
8
Manna, Zohar
8
Baldoni, Matteo
7
Leite, João
7
Meseguer, José
7
Rozenberg, Grzegorz
7
Schöning, Uwe
7
Torroni, Paolo
7
Apt, Krzysztof R.
6
Bauer, Friedrich L.
6
Bramer, Max
6
Deransart, Pierre
6
Finkbeiner, Bernd
6
Kirchner, Hélène
6
Liu, Zhiming
6
Rossi, Francesca
6
Son, Tran Cao
6
Wolf, Armin
6
Aceto, Luca
5
*less* ...
*facet_material_brief*
*facet_language*
*facet_publish_year*
*Filter*