|
261 |
Ordnungen und Verbände Berghammer, Rudolf. - Wiesbaden : Springer Vieweg, 2013
|
|
|
262 |
Packing a trunk Werth, Kai, 2013
|
|
|
263 |
Proof-checking mathematical texts in controlled natural language Cramer, Marcos, 2013
|
|
|
264 |
Proofs of the Cantor-Bernstein Theorem Hinkis, Arie. - Basel : Birkhäuser, 2013
|
|
|
265 |
Prosa oder Beweis? Berlin : H-E-Verl., 2013, Neuaufl.
|
|
|
266 |
Quasi-Interpolanten zu genuinen Baskakov-Durrmeyer-Typ-Operatoren Wagner, Martin. - Aachen : Shaker, 2013
|
|
|
267 |
Randomized approximation for the matching and vertex cover problem in hypergraphs Ouali, Mourad el, 2013
|
|
|
268 |
Reachability problems Heidelberg : Springer, 2013
|
|
|
269 |
Reaction-diffusion automata Adamatzky, Andrew. - Berlin : Springer, 2013
|
|
|
270 |
Reconstruction of graphs from images Zidan, Hamdy, 2013
|
|