|
121 |
Regular antichains Böhm, Matthias, 2012
|
|
|
122 |
Symmetries and bifurcations in timed continuous Petri nets Meyer, Anna-Lena, 2012
|
|
|
123 |
The strength of PFA(ʾ2) [PFAaleph2] plus a precipitous ideal on ω1 [Omega1] and Namba-like forcings Adolf, Dominik Thomas, 2012
|
|
|
124 |
Topological set theories and hyperuniverses Fackler, Andreas, 2012
|
|
|
125 |
Trivariate local lagrange interpolation and macro-elements of arbitrary smoothness Matt, Michael A.. - Wiesbaden : Springer Spektrum, 2012
|
|
|
126 |
Understanding the development of the proving process Nguyen, Danh-Nam. - Hamburg : Kovač, 2012
|
|
|
127 |
Algebraic properties of sets of terms Sarasit, Napaporn, 2011
|
|
|
128 |
Algebraic structure of endomorphism monoids of finite graphs Apirat Wanichsombat, 2011
|
|
|
129 |
Algorithms for symbolic computation and their applications Wienand, Oliver. - Frankfurt, M. : Otto-A.-Wipprecht-Stiftung, 2011
|
|
|
130 |
Alternative finestructural and computational approaches to constructibility Carl, Merlin, 2011
|
|