- Weitere Titel
-
Effizientes Constraintlösen in dynamischen Sprachen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Technische Universtität Berlin, Diss., 2011
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Universitätsbibliothek der Technischen Universität Berlin
- (wann)
-
2011
- Urheber
-
Frank, Stephan
- Beteiligte Personen und Organisationen
-
Pepper, Peter
- URN
-
urn:nbn:de:kobv:83-opus-30685
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Frank, Stephan
- Pepper, Peter
- Universitätsbibliothek der Technischen Universität Berlin
Entstanden
- 2011
Ähnliche Objekte (12)
Constraint solving for verification
Solving linear graphical constraint expressions
Geometric constraint solving and applications
Modern constraint answer set solving
Multiparadigm constraint programming languages
Parallel constraint solving for combinatorial problems
Logic-based 0-1 constraint solving in constraint logic programming
Preference based problem solving for constraint programming
Solving timetable problem with constraint satisfaction method
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming
Validation Framework for RDF-based Constraint Languages
Constraint solving for verification
Solving linear graphical constraint expressions
Geometric constraint solving and applications
Modern constraint answer set solving
Multiparadigm constraint programming languages
Parallel constraint solving for combinatorial problems
Logic-based 0-1 constraint solving in constraint logic programming
Preference based problem solving for constraint programming
Solving timetable problem with constraint satisfaction method
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming
Validation Framework for RDF-based Constraint Languages
Constraint solving for verification
Solving linear graphical constraint expressions
Geometric constraint solving and applications
Modern constraint answer set solving
Multiparadigm constraint programming languages
Parallel constraint solving for combinatorial problems
Logic-based 0-1 constraint solving in constraint logic programming
Preference based problem solving for constraint programming
Solving timetable problem with constraint satisfaction method
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming