|
231 |
Neue Verfahren zur Approximation mit radialen Basisfunktionen und numerische Untersuchung der Dagum-Funktionen Hofmann, René. - Gießen : Universitätsbibliothek, 2013
|
|
|
232 |
Ordnungen und Verbände Wiesbaden : Springer Fachmedien Wiesbaden, 2013, Aufl. 2013
|
|
|
233 |
Packing a trunk Werth, Kai. - Mainz : Universitätsbibliothek Mainz, 2013
|
|
|
234 |
Proof-checking mathematical texts in controlled natural language Cramer, Marcos. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
|
|
|
235 |
Proofs of the Cantor-Bernstein Theorem Hinkis, Arie. - Basel : Springer Basel, 2013
|
|
|
236 |
Quasi-Interpolanten zu genuinen Baskakov-Durrmeyer-Typ Operatoren Wagner, Martin. - Aachen : Shaker, 2013, 1. Aufl., neue Ausg.
|
|
|
237 |
Randomized Approximation for the Matching and Vertex Cover Problem in Hypergraphs: Complexity and Algorithms Ouali, Mourad el. - Kiel : Universitätsbibliothek Kiel, 2013
|
|
|
238 |
Reachability Problems Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
|
|
|
239 |
Relational Structure Theory Behrisch, Mike. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
240 |
Searching for many defective edges in hypergraphs Emonts, Jessica. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|