|
221 |
Exact and heuristic solutions to the bandwidth minimization problem
Tan, Khoa-Vo, 2011
|
|
|
222 |
Extremal hypergraph theory and algorithmic regularity lemma for sparse graphs
Hạ̀n, Hiêp. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2011
|
|
|
|
223 |
First-Order Model Checking on Generalisations of Pushdown Graphs
Kartzow, Alexander. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
|
|
|
|
224 |
First-order model checking on generalisations of pushdown graphs
Kartzow, Alexander, 2011
|
|
|
|
225 |
Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel-, Transitions-Netzen
Chong, Dennis, 2011
|
|
|
|
226 |
Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel-, Transitions-Netzen
Chong, Dennis, 2011
|
|
|
|
227 |
Fuzzy arithmetical modeling and analysis for mechanical and geotechnical systems with epistemic uncertainties
Turrin, Simone. - Uelvesbüll : Der Andere Verl., 2011
|
|
|
|
228 |
Granularity analysis for tutoring mathematical proofs
Schiller, Marvin. - [Amsterdam] : IOS Press, 2011
|
|
|
|
229 |
Investigations on the structural properties of Carlson's _4261-relation
García Cornejo, Parménides, 2011
|
|
|
|
230 |
Learning description logic knowledge bases from data using methods from formal concept analysis
Distel, Felix, 2011
|
|
Administration
