| 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 | •• |
| 150316 |
|
Koenig S., Holte R. |
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings |
2002 | •• |
| 158128 |
|
Miguel I., Tuml W. |
Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes in Computer Science) |
2007 | •• |
| 120961 |
|
de Arcangelis L. |
Abstracts from the CECAM Workshop on Computer Simulations of Cellular Automata |
1989 | •• |
| 126135 |
|
|
Abstracts from the International Conference on Mathematical Problems from the Physics of Fluids |
1986 | •• |
| 109933 |
|
Zalys E. (ed.) |
Abstracts of communications |
1998 | •• |
| 170914 |
|
0 |
Abstracts of Communications. 8th International Vilnius Conference on Probability Theory and Mathematical Statistics |
2002 | •• |
| 79266 |
|
|
Abstracts of short communications |
1994 | •• |
| 122281 |
|
Lanford O.E. (coord.) |
Abstracts of the Workshop on Statistical Mechanics, Dynamical Systems, and Turbulence |
1983 | •• |
| 49740 |
|
Borovikov V.A. |
Abstracts OS 3: Optical communications |
1978 • | •• |
| 42439 |
|
|
Absurdity of the calculation of the intensity of gravitational radiation in the general theory of relativity |
n/a | •• |
| 42437 |
|
|
Absurdity of the definition of inertial mass in the general theory of relativity |
n/a | •• |
| 211617 |
|
Eich T. |
Abu L-huda As-sayyadi: Eine Studie Zur Instrumentalisierung Sufischer Netzwerke Und Genealogischer Kontroversen Im Spätosmanischen Reich |
2003 • | •• |
| 107990 |
|
Stoll M. |
Abzaehlende Kombinatorik |
1999 | •• |
| 40631 |
|
|
AC Motors |
n/a | •• |
| 199771 |
|
Putwain D.W., Gallard D., Beaumont J. |
Academic buoyancy protects achievement against minor academic adversities |
2020 | •• |
| 162922 |
|
0 |
Academic Careers for Experimental Computer Scientists and Engineers |
1994 | •• |
| 19862 |
|
Kennedy D. |
Academic Duty |
1997 • | •• |
| 19170 |
|
Morris Ch.G. (ed.) |
Academic Press Dictionary of Science and Technology |
1992 | •• |
| 21655 |
|
Boss J.M., Eckert S.H. |
Academic Scientists at Work |
2006 • | •• |
| 200664 |
|
Jane Bottomley |
Academic Writing for International Students of Science |
n/a | •• |
| 200465 |
|
|
ACCA |
2006 | •• |
| 27810 |
|
Nash T. |
Accelerated C# 2005 |
2006 | •• |
| 43642 |
|
Nash T. |
Accelerated C# 2008 |
2007 • | •• |
| 10344 |
|
Koenig A., Moo B.E. |
Accelerated C++ |
2000 | •• |
| 149184 |
|
Andrew Koenig, Barbara E. Moo |
Accelerated C++: Practical Programming by Example |
2000 | •• |
| 166052 |
|
Koenig A., Moo B. |
Accelerated C++: Practical Programming by Example |
2000 | •• |
| 21676 |
|
Rose C. |
Accelerated Learning |
1985 | •• |
| 120232 |
|
Alexander F.J., Eyink G.L., Restrepo J.M. |
Accelerated Monte Carlo for Optimal Estimation of Time Series |
2005 | •• |
| 181400 |
|
Johnson D. |
Accelerated Partial Breast Irradiation Techniques and Clinical Implementation |
2006 | •• |
| 59324 |
|
Klyatis Lev M., Klyatis Eugene L. |
Accelerated quality and reliability solutions |
2006 • | •• |
| 25325 |
|
Fouché G., Nash T. |
Accelerated VB 2005 |
2007 | •• |
| 79197 |
|
Fouch G., Nash T. |
Accelerated VB 2008 |
2008 • | •• |
| 104765 |
|
Thron W.J, Waadeland H. |
Accelerating convergence of limit periodic continued fractions K(an1) |
n/a | •• |
| 131814 |
|
Jacobs D. |
Accelerating Process Improvement Using Agile Techniques |
2005 | •• |
| 177753 |
|
Mann C. |
Accelerating the Globalization of America: The Next Wave of Information Technology |
2006 | •• |
| 37590 |
|
Livio M. |
Accelerating Universe |
2000 | •• |
|
|
Î ïðîåêòå