- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783899638929
- Maße
-
24 cm, 853 gr.
- Umfang
-
XIV, 412 S.
- Sprache
-
Englisch
- Anmerkungen
-
Teilw. zugl.: Berlin, Techn. Univ., Diss., 2007
- Schlagwort
-
Constraint-Programmierung
Gemischt-ganzzahlige Optimierung
Entwurfsautomation
Verifikation
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:34 MESZ
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
- Achterberg, Tobias
- Verl. Dr. Hut
Entstanden
- 2008
Ähnliche Objekte (12)
Constraint integer programming
Solution methods for bilevel programming problems
New integer-valued autoregressive and regression models with state-dependent parameters
Decomposition in multistage stochastic programming and a constraint integer programming approach to mixed-integer nonlinear programming
Decomposition in multistage stochastic programming and a constraint integer programming approach to mixed-integer nonlinear programming
A unifying logical framework for integer linear programming and finite domain constraint programming
Dynamic thermal modeling for moving objects on the moon
Strukturdynamische Fehlermodellierung mikromechanischer Drehratensensoren für den Einsatz in der inertialen Navigation
Identifizierung und Nachweis pflanzlicher Substanzen über ITS-Sequenzen und Fingerprint-Analyse des Metaboloms
Synthese und Analytik von Furanfettsäuren
PORTNEUF - a framework for continuous user involvement
Regioselektive, Pd(0)-katalysierte Kreuzkupplungen und deren Anwendung in der Totalsynthese von (+)-Rubifolid
Constraint integer programming
Solution methods for bilevel programming problems
New integer-valued autoregressive and regression models with state-dependent parameters
Decomposition in multistage stochastic programming and a constraint integer programming approach to mixed-integer nonlinear programming
Decomposition in multistage stochastic programming and a constraint integer programming approach to mixed-integer nonlinear programming
A unifying logical framework for integer linear programming and finite domain constraint programming
Dynamic thermal modeling for moving objects on the moon
Strukturdynamische Fehlermodellierung mikromechanischer Drehratensensoren für den Einsatz in der inertialen Navigation
Identifizierung und Nachweis pflanzlicher Substanzen über ITS-Sequenzen und Fingerprint-Analyse des Metaboloms
Synthese und Analytik von Furanfettsäuren
PORTNEUF - a framework for continuous user involvement
Regioselektive, Pd(0)-katalysierte Kreuzkupplungen und deren Anwendung in der Totalsynthese von (+)-Rubifolid
Constraint integer programming
Solution methods for bilevel programming problems
New integer-valued autoregressive and regression models with state-dependent parameters
Decomposition in multistage stochastic programming and a constraint integer programming approach to mixed-integer nonlinear programming
Decomposition in multistage stochastic programming and a constraint integer programming approach to mixed-integer nonlinear programming
A unifying logical framework for integer linear programming and finite domain constraint programming
Dynamic thermal modeling for moving objects on the moon
Strukturdynamische Fehlermodellierung mikromechanischer Drehratensensoren für den Einsatz in der inertialen Navigation
Identifizierung und Nachweis pflanzlicher Substanzen über ITS-Sequenzen und Fingerprint-Analyse des Metaboloms
Synthese und Analytik von Furanfettsäuren
PORTNEUF - a framework for continuous user involvement