*sublabel_Solr*
*custom_text_above_search_result**custom_text_above_search_result_Solr*
*Showing* 1 - 20
*of* 970
*custom_text_below_search_result*
*Narrow Search*
*facet_department*
*facet_classification_rvk*
*s200*
703
*a100*
344
*s100*
107
*q100*
93
*e200*
50
*NIL*
39
*more* ...
*z250*
37
*z230*
36
*z220*
28
*w100*
27
*u100*
25
*c200*
21
*v100*
17
*z200*
15
*w200*
13
*m200*
10
*z280*
10
*r100*
7
*t100*
7
*z260*
6
*z100*
5
*a200*
4
*d100*
4
*t200*
4
*c100*
3
*z300*
3
*a500*
2
*g100*
2
*h100*
2
*l300*
2
*less* ...
*facet_topic_facet*
Konferenzschrift
383
Programmiersprache
69
Compiler
53
Softwareentwicklung
52
Parallelverarbeitung
48
Logische Programmierung
43
*more* ...
Programmierung
35
Formale Methode
32
Programmverifikation
31
Programmanalyse
25
Computerarchitektur
23
Künstliche Intelligenz
21
Übersetzerbau
20
Aufsatzsammlung
19
Objektorientierte Programmierung
19
Verifikation
19
C++
18
Eingebettetes System
18
Software Engineering
18
Lehrbuch
17
Funktionale Programmiersprache
16
Funktionale Programmierung
15
Supercomputer
15
Model Checking
14
Systementwurf
14
Datenbanksystem
13
Informatik
13
Verteiltes System
13
Automatisches Beweisverfahren
12
Wissenschaftliches Rechnen
12
*less* ...
*facet_material_brief*
*facet_author_facet*
Margaria, Tiziana
7
Steffen, Bernhard
7
Meyer, Bertrand
6
Aho, Alfred V.
4
Bishop, Matt
4
Deitel, Harvey M.
4
*more* ...
Deitel, Paul J.
4
Díaz, Josep
4
Ungerer, Theo
4
Abramsky, Samson
3
Banerjee, Utpal
3
Bauer, Friedrich L.
3
Deransart, Pierre
3
Ehrig, Hartmut
3
Elmasri, Ramez
3
Gray, Jim
3
Grune, Dick
3
Kelton, W. David
3
Leeuwen, Jan van
3
Martin, James
3
Navathe, Sham
3
Pradhan, Dhiraj K.
3
Reuter, Andreas
3
Sadowski, Randall P.
3
Sethi, Ravi
3
Siekmann, Jörg
3
Sloot, Peter
3
Stenström, Per
3
Ullman, Jeffrey D.
3
Valero, Mateo
3
*less* ...
*facet_publish_date*
*Filter*