|
71 |
A change-oriented architecture for mathematical authoring assistance Wagner, Marc. - [Amsterdam] : IOS Press, 2011
|
|
|
72 |
Engineering coordination Schumann, René. - [Amsterdam] : IOS Press, 2011
|
|
|
73 |
Granularity analysis for tutoring mathematical proofs Schiller, Marvin. - [Amsterdam] : IOS Press, 2011
|
|
|
74 |
Heuristics and metaheuristics for heavily constrained hybrid flowshop problems Urlings, Thijs. - Heidelberg : AKA, 2011
|
|
|
75 |
Logic and games on automatic structures Kaiser, Łukasz. - Berlin : Springer, 2011
|
|
|
76 |
Dependency structures and lexicalized grammars Kuhlmann, Marco. - Berlin : Springer, 2010
|
|
|
77 |
Interactive concept description with bayesian partition models Müller, Markus. - Heidelberg : AKA, 2010
|
|
|
78 |
Knowledge acquisition from a collaboratively generated encyclopedia Ponzetto, Simone Paolo. - Heidelberg : AKA, 2010
|
|
|
79 |
Learning and modeling with probabilistic conditional logic Fisseler, Jens. - Heidelberg : AKA, 2010
|
|
|
80 |
Model-based failure-modes-and-effects analysis and its application to aircraft subsystems Fraracci, Alessandro. - [Amsterdam] : IOS Press, 2010
|
|