*sublabel_Solr*
*custom_text_above_search_result**custom_text_above_search_result_Solr*
*Showing* 1 - 20
*of* 4*number_thousands_separator*802
*custom_text_below_search_result*
*Narrow Search*
*facet_department*
*facet_classification_rvk*
*s200*
3*number_thousands_separator*841
*a100*
1*number_thousands_separator*908
*s100*
466
*q100*
438
*z230*
254
*e200*
235
*more* ...
*z250*
232
*z220*
218
*NIL*
174
*z280*
84
*d100*
81
*u100*
76
*z200*
73
*w100*
72
*m200*
55
*c200*
52
*w200*
36
*v100*
33
*r100*
28
*t100*
28
*a200*
25
*z100*
22
*z260*
22
*t200*
16
*c100*
11
*m100*
10
*g100*
9
*l300*
9
*z210*
9
*n100*
8
*less* ...
*facet_topic_facet*
Konferenzschrift
1*number_thousands_separator*695
Softwareentwicklung
487
Programmierung
426
Objektorientierte Programmierung
244
Formale Methode
219
Programmiersprache
202
*more* ...
Software Engineering
173
Programmverifikation
156
Software
146
Parallelverarbeitung
131
Verteiltes System
129
Model Checking
114
Aufsatzsammlung
111
Eingebettetes System
105
Objektorientierung
98
Programmanalyse
96
Zuverlässigkeit
95
Java Programmiersprache
94
Theoretische Informatik
92
Informatik
91
API
89
Systementwicklung
87
Verifikation
84
Künstliche Intelligenz
82
Hochschulschrift
79
Logische Programmierung
79
Komponente Software
77
Softwaretest
77
Anwendungssystem
73
Computerarchitektur
71
*less* ...
*facet_material_brief*
*facet_author_facet*
Margaria, Tiziana
21
Gamma, Erich
19
Meyer, Bertrand
19
Steffen, Bernhard
18
Dongarra, Jack
15
Liu, Zhiming
15
*more* ...
Bernardo, Marco
13
Bjørner, Dines
13
Bitsch, Friedemann
11
Broy, Manfred
11
Tanenbaum, Andrew S.
11
Berger, Hans
10
Bonsangue, Marcello M
10
Deitel, Harvey M.
10
Langtangen, Hans Petter
10
Voronkov, Andrei
10
Nerode, Anil
9
Sloot, Peter
9
Sommerville, Ian
9
Woodcock, Jim
9
Bauer, Friedrich L.
8
Booch, Grady
8
Ehrig, Hartmut
8
Kernighan, Brian W.
8
Kobayashi, Naoki
8
Müller, Peter
8
Sloot, Peter M.A
8
Stallings, William
8
Abramsky, Samson
7
Artemov, Sergei
7
*less* ...
*facet_language*
*facet_publish_date*
*Filter*