*sublabel_Solr*
*custom_text_above_search_result**custom_text_above_search_result_Solr*
*Showing* 1 - 20
*of* 322
*custom_text_below_search_result*
*Narrow Search*
*facet_department*
*facet_classification_rvk*
*facet_topic_facet*
Konferenzschrift
120
Theoretische Informatik
29
Programmierung
16
Logische Programmierung
15
Künstliche Intelligenz
14
Mathematische Logik
13
*more* ...
Formale Methode
11
Programmierlogik
11
Aufsatzsammlung
10
Automatisches Beweisverfahren
10
Constraint-Programmierung
10
Programmiersprache
10
Logik
8
Software Engineering
8
Informatik
7
Komplexitätstheorie
7
Model Checking
7
Optimierung
7
Programmverifikation
7
Softwareentwicklung
7
Verifikation
7
Berechnungskomplexität
6
Kombinatorische Optimierung
6
Algorithmus
5
Anwendung
5
CAD
5
Computerarchitektur
5
Entwurfsautomation
5
Lineare Optimierung
5
Maschinelles Lernen
5
*less* ...
*facet_material_brief*
*facet_author_facet*
Williams, Hilary P.
4
Hooker, John
3
Tanenbaum, Andrew S.
3
Walsh, Toby
3
Abiteboul, Serge
2
Aceto, Luca
2
*more* ...
Apt, Krzysztof R.
2
Ashenden, Peter J.
2
Bacchus, Fahiem
2
Beasley, John E.
2
Beckert, Bernhard
2
Biegler, Lorenz T.
2
Blum, Lenore
2
Bryant, Randal E.
2
Cheng, Runwei
2
Ciletti, Michael D.
2
Crandall, Richard E.
2
Damgaard, Ivan
2
Deitel, Harvey M.
2
Deitel, Paul J.
2
Enjalbert, Patrice
2
Gajski, Daniel D.
2
Gelbukh, Alexander
2
Gen, Mitsuo
2
Goldberg, Leslie Ann
2
Halldorsson, Magnus M
2
Herbst, Anthony F.
2
Ingolfsdottir, Anna
2
Jenkyns, Tom
2
Larsen, Kim Guldstrand
2
*less* ...
*facet_publish_date*
*Filter*