| 150809 |
|
Judson T. |
Abstract Algebra: Theory and Applications |
2009 | •• |
| 176762 |
|
Judson T. |
Abstract algebra: Theory and applications |
1997 | •• |
| 35148 |
|
Barbey K. |
Abstract Analytic Function Theory And Hardy Algebras |
2008 | •• |
| 197828 |
|
Barbey K. |
Abstract analytic function theory and Hardy algebras |
1977 | •• |
| 34355 |
|
Knopfmacher J. |
Abstract Analytic Number Theory |
1976 | •• |
| 198037 |
|
Chuong N.M., Nirenberg L., Tutschke W. |
Abstract and applied analysis |
2004 | •• |
| 2510 |
|
Adamek J., Herrlich H., Stecker G.E. |
Abstract and Concrete Categories - The Joy of Cats |
2004 | •• |
| 35844 |
|
Melnikova I.V. |
Abstract Cauchy Problems: Three Approaches |
2001 | •• |
| 197565 |
|
Melnikova I.V., Filinkov A. |
Abstract Cauchy problems: three approaches |
2001 | •• |
| 141156 |
|
Geurts F. |
Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems |
1998 | •• |
| 27809 |
|
Kluge W. |
Abstract Computing Machines |
2005 | •• |
| 168320 |
|
Azmoodeh M. |
Abstract Data Types Algorithms |
1988 | •• |
| 1632 |
|
Hewitt E., Ross K.A. |
Abstract Harmonic Analysis (Vol. 1) |
1979 • | •• |
| 1634 |
|
Hewitt E., Ross K.A. |
Abstract Harmonic Analysis (Vol. 2) |
1970 | •• |
| 5212 |
|
Fuhr H. |
Abstract harmonic analysis of continuous wavelet transforms |
2005 | •• |
| 127943 |
|
Edwin Hewitt, Kenneth A. Ross |
Abstract harmonic analysis. Structure and analysis for compact groups |
1994 | •• |
| 157667 |
|
Hewitt E., Ross K. |
Abstract harmonic analysis. Structure of topological groups. Integration theory |
1979 • | •• |
| 160324 |
|
Hewitt E., Ross K. |
Abstract Harmonic Analysis: Structure and Analysis for Compact Groups. Analysis on Locally Compact Abelian Groups: Structure and Analysis ... Der Mathematischen Wissenschaften) |
1994 | •• |
| 172336 |
|
Hewitt E., Ross K. |
Abstract Harmonic Analysis: Volume 1: Structure of Topological Groups. Integration Theory. Group Representations (Grundlehren der mathematischen Wissenschaften) |
1979 • | •• |
| 176084 |
|
Grenander U. |
Abstract Inference (Probability & Mathematical Statistics) |
1981 | •• |
| 54744 |
|
Curtis M.L. |
Abstract Linear Algebra |
1990 | •• |
| 194174 |
|
Savitch W. |
Abstract machines and grammars |
1982 | •• |
| 34433 |
|
Reed M. |
Abstract Non Linear Wave Equations |
2008 | •• |
| 59438 |
|
Reed M., Eckmann B. |
Abstract Non Linear Wave Equations |
1976 | •• |
| 141561 |
|
Yagi A. |
Abstract Parabolic Evolution Equations and their Applications |
2010 | •• |
| 54440 |
|
Mcmullen P., Schulte E. |
Abstract Regular Polytopes |
2002 | •• |
| 33550 |
|
Skolem T.A. |
Abstract Set Theory |
1962 | •• |
| 108073 |
|
Fraenkel A. |
Abstract Set Theory |
1953 | •• |
| 113122 |
|
Skolem T.A. |
Abstract Set Theory |
1962 | •• |
| 181798 |
|
Fraenkel A. |
Abstract set theory |
1953 | •• |
| 192275 |
|
Parisi L. |
Abstract Sex: Philosophy, Biotechnology and the Mutations of Desire (Transversals: New Directions in Philosophy Series) |
2004 | •• |
| 189736 |
|
Gurevich Y., Kutter P., Odersky M. |
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science) |
2000 | •• |
| 80594 |
|
Zimmermann W. (ed.), Thalheim B. (ed.) |
Abstract state machines 2004. Advances in theory and practice |
2005 | •• |
| 77898 |
|
Börger E., Gargantini A., Riccobene E. |
Abstract State Machines, Advances in Theory and Practice, 10 conf., ASM 2003 |
2003 • | •• |
| 167150 |
|
Frappier M., Glaesser U., Khurshid S. |
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues) |
2010 | •• |
| 8929 |
|
Borger E., Stark S. |
Abstract State Machines. A Method for High-Level System Design and Analysis |
2003 | •• |
| 78880 |
|
Börger E. (ed.), Butler M. (ed.), Bowen J.P. (ed.) |
Abstract State Machines. B and Z. Lecture notes in computer science 5238 |
2008 | •• |
| 8932 |
|
Borger E., Stark S. |
Abstract State Machines. Solution to Exercises |
2003 | •• |
| 80815 |
|
Gurevich Y. (ed.), Kutter P.W. (ed.), Odersky M. (ed.) |
Abstract state machines. Theory and applications |
2000 | •• |
| 74854 |
|
Boerger E., Staerk R. |
Abstract State Machines: A Method for High-Level System Design and Analysis |
2003 • | •• |
| 35880 |
|
Mesarovic M.D., Takahara Y. |
Abstract Systems Theory |
1989 | •• |
| 176722 |
|
Mesarovic M., Takahara Y. |
Abstract Systems Theory |
1989 | •• |
| 1490 |
|
Schmidt O.Yu. |
Abstract theory of groups |
1966 | •• |
| 148280 |
|
Liskov B., Guttag J.V. |
Abstraction and specification in program development |
1986 | •• |
| 29866 |
|
Wang Ch., Hachtel G.D., Somenzi F. |
Abstraction Refinement for Large Scale Model Checking |
2006 | •• |
| 26055 |
|
Mclver A. |
Abstraction, Refinement and Proof for Probabilistic Systems |
2004 | •• |
| 79865 |
|
Choueiry B.Y. (ed.), Walsh T. (ed.) |
Abstraction, reformulation and approximation. 4th international symposium, SARA 2000 |
2000 | •• |
| 78074 |
|
Zucker J.-D.(Editor), Saitta L. (Editor) |
Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings |
2005 • | •• |
| 194531 |
|
Miguel I., Tuml W. |
Abstraction, Reformulation, and Approximation |
2007 | •• |
| 79914 |
|
Miguel I. (ed.), Ruml W. (ed.) |
Abstraction, reformulation, and approximation. Lecture notes in artificial intelligence 4612 |
2007 | •• |
|
|
Î ïðîåêòå