133218 |
|
International Symposium of Formal Methods, Maurice Naftalin, Tim Denvir |
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings |
1994 • | •• |
133401 |
|
Goos G., Hartmanis J., Leeuwen J. |
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings |
1994 | •• |
198266 |
|
Adleman L.M., Huang M.-D. |
Algorithmic Number Theory 1 Symposium |
1994 • | •• |
133470 |
|
Ïðîçîðîâ Ñ.Ì. |
Õðåñòîìàòèÿ ïî èñëàìó |
1994 | •• |
133506 |
|
Bender H., Glauberman G. |
Local analysis for the odd order theorem |
1994 | •• |
133607 |
|
Ðûáàëü÷åíêî À.È. |
Ãëóáèííîå çàõîðîíåíèå æèäêèõ ðàäèîàêòèâíûõ îòõîäîâ |
1994 | •• |
133623 |
|
Herzberger J. |
Topics in validated computations |
1994 | •• |
133801 |
|
Huguenard J., McCormick D., Shepherd G. |
Electrophysiology of the Neuron: An Interactive Tutorial |
1994 | •• |
133875 |
|
Aaron Gulliver T., Norman P. Secord |
Information Theory and Applications: Third Canadian Workshop, Rockland, Ontario, Canada, May 30 - June 2, 1993. Proceedings |
1994 • | •• |
133974 |
|
Reed D. |
Figures of Thought: Mathematics and Mathematical Texts |
1994 | •• |
134188 |
|
Lakemeyer G., Nebel B. |
Foundations of Knowledge Representation and Reasoning |
1994 | •• |
134341 |
|
Shankar N. |
Metamathematics, machines and Goedel's proof |
1994 | •• |
134480 |
|
Carroll B. |
Assessment in Physical Education: A Teacher's Guide to the Issues |
1994 | •• |
198009 |
|
Weyl H. |
The continuum: A critical examination of the foundation of analysis |
1994 | •• |
134542 |
|
Thiagarajan P.S. |
Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings: Proceedings ... 1994 |
1994 • | •• |
134546 |
|
Alan Bundy |
Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings |
1994 • | •• |
134714 |
|
Feynman R.P. |
Six Easy Pieces: Essentials of Physics Explained by Its Most Brilliant Teacher |
1994 | •• |
134788 |
|
LeCharlier B. |
Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings |
1994 | •• |
135047 |
|
James B. Bassingthwaighte, Larry S. Liebovitch, Bruce J. West |
Fractal physiology |
1994 | •• |
135212 |
|
Allen T., Morton M. |
Information Technology and the Corporation of the 1990s: Research Studies |
1994 | •• |
135288 |
|
Bailey K.D. |
Typologies and Taxonomies: An Introduction to Classification Techniques |
1994 | •• |
135334 |
|
Horton D. |
Advances in Carbohydrate Chemistry and Biochemistry, Volume 50 |
1994 | •• |
135348 |
|
Stoll M. |
Invariant Potential Theory in the Unit Ball of C^n |
1994 | •• |
135474 |
|
Heim M. |
The Metaphysics of Virtual Reality |
1994 | •• |
135492 |
|
Aho A.V., Ullman J.D. |
Foundations of computer science |
1994 | •• |
135529 |
|
Feagin J.M. |
Quantum methods with Mathematica |
1994 | •• |
199902 |
|
MUKTANANDA |
KUNDALINI. THE SECRET OF LIFE |
1994 • | •• |
135558 |
|
Grimmett G.R. |
Probability and phase transition |
1994 • | •• |
135631 |
|
Shangold M.M., Mirkin G. |
Women and Exercise: Physiology and Sport Medicine |
1994 • | •• |
135656 |
|
Arnold O. Allen |
Introduction to Computer Performance Analysis With Mathematica (Computer Science and Scientific Computing) |
1994 • | •• |
135658 |
|
Jeon K.W., Jarvik J. |
International Review of Cytology: A Survey of Cell Biology, Volume 154 |
1994 | •• |
135749 |
|
Edwards S. |
Biochemistry and Physiology of the Neutrophil |
1994 | •• |
135938 |
|
Jeon K.W., Jarvik J. |
International Review of Cytology: A Survey of Cell Biology, Volume 152 |
1994 | •• |
135974 |
|
Nye M. |
From Chemical Philosophy to Theoretical Chemistry: Dynamics of Matter and Dynamics of Disciplines, 1800-1950 |
1994 | •• |
136182 |
|
Gentzsch W. (ed.), Harms U. (ed.) |
High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18-20, 1994. Proceedings. Volume II: Networking and Tools |
1994 | •• |
136192 |
|
Ercolani N.M., Gabitov I.R., Levermore C.D. |
Singular limits of dispersive waves |
1994 | •• |
136219 |
|
Spinardi G. |
From Polaris to Trident: The Development of US Fleet Ballistic Missile Technology |
1994 | •• |
136291 |
|
Davis A. |
Developing Understanding In Primary Mathematics: Key Stages 1 & 2 |
1994 | •• |
129292 |
|
Âèíîãðàäîâà Â.Ì. |
Ðàñòåíèÿ Öåíòðàëüíîé Àçèè. Ïî ìàòåðèàëàì Áîòàíè÷åñêîãî èíñòèòóòà èì. Â.Ë.Êîìàðîâà. Âûï. 10. Àðàëèåâûå, Çîíòè÷íûå, Êèçèëîâûå. ÑÏá., 1994 |
1994 | •• |
129328 |
|
Giacomo A. |
Selected Problems in Theoretical Physics with solutions |
1994 | •• |
129350 |
|
Nesterov Y., Nemirovskii A. |
Interior-Point Polynomial Algorithms in Convex Programming |
1994 | •• |
129403 |
|
Êóçèí Ë.Ò. |
Îñíîâû êèáåðíåòèêè. Ìàòåìàòè÷åñêèå îñíîâû êèáåðíåòèêè |
1994 | •• |
129425 |
|
Zachariasen W.H. |
Theory of x-ray diffraction in crystals |
1994 | •• |
129511 |
|
Hodge W.V.D., Pedoe D. |
Methods of algebraic geometry: Volume 2 |
1994 | •• |
129635 |
|
Cahen P.-J. |
Commutative ring theory |
1994 | •• |
129743 |
|
Gordon C., Moriah Y., Wajnryb B. |
Geometric topology: Joint U.S.-Israel workshop on geometric topology 1992 Haifa |
1994 | •• |
129749 |
|
Sanz J., Martinez-Gonzalez E,, Cayon L. |
The Present and Future of the Cosmic Microwave Background |
1994 | •• |
129766 |
|
Weibel C. |
An introduction to homological algebra |
1994 | •• |
129775 |
|
Frey G. |
On Artin's Conjecture for Odd 2-Dimensional Representations |
1994 • | •• |
129785 |
|
Rhea R. |
HF Filter Design Computer Simulation |
1994 | •• |