| 136738 |
|
Çàãðååâ Â.Â., Ñóõèõ Â.È., Øâèäåíêî À.Ç. |
Îáùåñîþçíûå íîðìàòèâû äëÿ òàêñàöèè ëåñîâ |
1992 | •• |
| 136757 |
|
Wordsworth J. |
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering |
1992 | •• |
| 136851 |
|
Parshin A.N., Shafarevich I.R. |
Number theory II. Algebraic Number Theory |
1992 | •• |
| 137031 |
|
Harvey W.J., Maclachlan C. |
Discrete Groups and Geometry |
1992 | •• |
| 137184 |
|
Rose A. |
Advances in Microbial Physiology Volume 33 |
1992 | •• |
| 137383 |
|
0 |
Macintosh Human Interface Guidelines (Apple Technical Library) |
1992 | •• |
| 137590 |
|
Chukwu |
Stability and time-optimal control of hereditary systems |
1992 | •• |
| 137726 |
|
Schulz K. U. |
Word Equations and Related Topics: 1st International Workshop, IWWERT '90, T?bingen, Germany, October 1-3, 1990. Proceedings |
1992 • | •• |
| 137771 |
|
Adams Ernst, Kulisch U. |
Scientific Computing With Automatic Result Verification |
1992 | •• |
| 198004 |
|
Ochoa O.O., Reddy J.N. |
Finite Element Analysis of Composite Laminates (Solid Mechanics and Its Applications) |
1992 • | •• |
| 137897 |
|
Vosselman G. |
Relational Matching |
1992 | •• |
| 137928 |
|
Martial F. |
Coordinating Plans of Autonomous Agents |
1992 • | •• |
| 137977 |
|
Hoddeson L., Braun E., Teichmann J. |
Out of the Crystal Maze: Chapters from The History of Solid State Physics |
1992 | •• |
| 138044 |
|
Davies P. |
The New Physics |
1992 | •• |
| 146520 |
|
Laskin A., Neidleman S.L. |
Advances in Applied Microbiology, Volume 37 |
1992 | •• |
| 146552 |
|
Baer M., Ng C.-Y. |
State-Selected and State-to-State Ion-Molecule Reaction Dynamics. P. 2. Theory |
1992 | •• |
| 146658 |
|
Marik V., Stepankova O., Trappl R. |
Advanced Topics in Artificial Intelligence: International Summer School, Prague, Czechoslovakia, July 6-17, 1992. Proceedings |
1992 | •• |
| 146833 |
|
Nerode A., Taitslin M. |
Logical Foundations of Computer Science, LFCS '92 |
1992 | •• |
| 146921 |
|
Srinivas K., Fletcher C.A.J. |
Solutions manual for Computational techniques for fluid dynamics |
1992 | •• |
| 147022 |
|
Óîññåðìåí Ô. |
Íåéðîêîìïüþòåðíàÿ òåõíèêà. Òåîðèÿ è ïðàêòèêà |
1992 | •• |
| 147047 |
|
White N. |
Matroid applications |
1992 | •• |
| 147167 |
|
Knuth D. |
Literate Programming |
1992 | •• |
| 147256 |
|
Navy U.S. |
Seal Sniper Training Program |
1992 | •• |
| 147261 |
|
Newton J. |
Computers in Translation: A Practical Appraisal |
1992 | •• |
| 199011 |
|
Mäkelä M. M., Neittaanmäki P. |
Nonsmooth Optimization: Analysis and Algorithms with Applications to Optimal Control |
1992 | •• |
| 147460 |
|
Nielson F., Nielson H.R. |
Two-Level Functional Languages |
1992 | •• |
| 147531 |
|
Havel I., Koubek V. |
Mathematical Foundations of Computer Science 1992 17 conf., MFCS'92 |
1992 | •• |
| 147602 |
|
Bensoussan A., Verjus J.-P. |
Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA |
1992 | •• |
| 147649 |
|
Hoar W.S., Randall D.J., Farrell A.P. |
The Cardiovascular System, Volume 12A (Fish Physiology) |
1992 | •• |
| 147652 |
|
Guesgen H.W., Hertzberg J. |
A Perspective of Constraint-Based Reasoning: An Introductory Tutorial |
1992 | •• |
| 147659 |
|
Koymans R. |
Specifying Message Passing and Time-Critical Systems with Temporal Logic |
1992 | •• |
| 147661 |
|
Katritzky A.R. |
Advances in Heterocyclic Chemistry, Volume 53 |
1992 | •• |
| 147738 |
|
Feher L.E., Stipsicz A. |
Lecture Notes on Geometry and Analysis of Loop Spaces |
1992 | •• |
| 147819 |
|
Bethell D. |
Advances in Physical Organic Chemistry, Volume 27 |
1992 | •• |
| 147830 |
|
Sutton C. |
Words, Science & Learning |
1992 | •• |
| 148066 |
|
Stichtenoth H., Tsfasman M. |
Coding Theory and Algebraic Geometry: Proceedings of the International Workshop held in Luminy, France, June 17-21, 1991 (Lecture Notes in Mathematics) |
1992 | •• |
| 148186 |
|
Ìàäåð Â. Â. |
Ìàòåìàòè÷åñêèé äåòåêòèâ |
1992 | •• |
| 144790 |
|
Paterson M.S. |
Boolean Function Complexity |
1992 | •• |
| 144817 |
|
Kac M., Ulam S.M. |
Mathematics and Logic |
1992 | •• |
| 144927 |
|
Ìîðäåñêè Ý. |
Óñïåõè ìàòåìàòè÷åñêèõ íàóê. Òîì 47. Âûïóñê 6 |
1992 | •• |
| 144982 |
|
Spivey J.M. |
The Z Notation: A Reference Manual |
1992 • | •• |
| 145100 |
|
Babai L., Frankl P. |
Linear algebra methods in combinatorics with applications to geometry and computer science |
1992 • | •• |
| 145279 |
|
Smythies J., Bradley R.J. |
International Review of Neurobiology. Volume 33 |
1992 | •• |
| 145290 |
|
Àâåðáóõ À.Â., Ãèñèí Â.Á., Çàéäåëüìàí ß.Í. |
Èçó÷åíèå îñíîâ èíôîðìàòèêè è âû÷èñëèòåëüíîé òåõíèêè. Ïîñîáèå äëÿ ó÷èòåëÿ |
1992 | •• |
| 145475 |
|
Waldschmidt M., Moussa P., Luck J.M. |
From Number Theory to Physics |
1992 | •• |
| 145551 |
|
Vilenkin N.Ja., Klimyk A.U. |
Representation of Lie Groups and Special Functions: Volume 3: Classical and Quantum Groups and Special Functions |
1992 | •• |
| 145564 |
|
Sanchis L. |
Recursive Functionals (Studies in Logic and the Foundations of Mathematics Vol 131) |
1992 | •• |
| 145979 |
|
Goldblatt R. |
Logics of time and computation |
1992 | •• |
| 145990 |
|
Dorato P., Fortuna L., Muscato G. |
Robust Control for Unstructured Perturbations - An Introduction |
1992 • | •• |
| 146159 |
|
Benson D.J. |
Representations and Cohomology: Volume 2, Cohomology of Groups and Modules |
1992 | •• |
|
|
Î ïðîåêòå