|
361 |
Algebraic properties of sets of terms Sarasit, Napaporn, 2011
|
|
|
362 |
Algebraic structure of endomorphism monoids of finite graphs Apirat Wanichsombat, 2011
|
|
|
363 |
Algorithms for symbolic computation and their applications Wienand, Oliver. - Frankfurt, M. : Otto-A.-Wipprecht-Stiftung, 2011
|
|
|
364 |
Alternative finestructural and computational approaches to constructibility Carl, Merlin, 2011
|
|
|
365 |
Analysis of methods for extraction of programs from non-constructive proofs Trifonov, Trifon, 2011
|
|
|
366 |
Apartness and uniformity Bridges, Douglas S.. - Berlin : Springer, 2011
|
|
|
367 |
Approximation algorithms for complex systems Berlin : Springer, 2011
|
|
|
368 |
Approximation, randomization, and combinatorial optimization Berlin : Springer, 2011
|
|
|
369 |
Average time complexity of decision trees Chikalov, Igor. - Berlin : Springer, 2011
|
|
|
370 |
Beyond sets Rescher, Nicholas. - Frankfurt, M. [i.e. Heusenstamm] : Ontos-Verl., 2011
|
|