Monografie
A survey on container processing in railway yards: Decision problems, optimization procedures and research challenges
- Sprache
-
Deutsch
- ISBN
-
1864-3108
- Identifier
-
1024383393
- Reihe
-
Jena Research Papers in Business and Economics; 2011,01
- Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 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
- Monografie
Beteiligte
Ähnliche Objekte (12)
Railway Timetable Optimization
Hierarchic decision procedures for verification
Decision procedures for loop detection
Decision procedures for linear arithmetic
Multicriteria design optimization : procedures and applications
Simple decision procedures: an expository paper
Executive summary : [deduction and decision procedures]
Formalizing Symbolic Decision Procedures for Regular Languages
Superposition and decision procedures back and forth
Automata-based decision procedures for weak arithmetics
Decision procedures : an algorithmic point of view
Modeling and Solving of Railway Optimization Problems
Railway Timetable Optimization
Hierarchic decision procedures for verification
Decision procedures for loop detection
Decision procedures for linear arithmetic
Multicriteria design optimization : procedures and applications
Simple decision procedures: an expository paper
Executive summary : [deduction and decision procedures]
Formalizing Symbolic Decision Procedures for Regular Languages
Superposition and decision procedures back and forth
Automata-based decision procedures for weak arithmetics
Decision procedures : an algorithmic point of view
Modeling and Solving of Railway Optimization Problems
Railway Timetable Optimization
Hierarchic decision procedures for verification
Decision procedures for loop detection
Decision procedures for linear arithmetic
Multicriteria design optimization : procedures and applications
Simple decision procedures: an expository paper
Executive summary : [deduction and decision procedures]
Formalizing Symbolic Decision Procedures for Regular Languages
Superposition and decision procedures back and forth
Automata-based decision procedures for weak arithmetics
Decision procedures : an algorithmic point of view