182346 |
|
Poernomo I., Crossley J., Wirsing M. |
Adapting Proofs-as-Programs: The Curry-Howard Protocol |
2005 | •• |
182345 |
|
Франке З. |
Химия отравляющих веществ. Том 1 |
1973 | •• |
182344 |
|
West K. |
States of Matter: Gases, Liquids, and Solids (Essential Chemistry) |
2008 | •• |
182343 |
|
Mu Y., Susilo W., Seberry J. |
Information Security and Privacy, 13 conf., ACISP 2008 |
2008 | •• |
182342 |
|
Abzug M., Larrabee E. |
Airplane Stability and Control: A History of the Technologies That Made Aviation Possible - Second edition |
2002 • | •• |
182341 |
|
Weber H., Arfken G. |
Essential mathematical methods for physicists |
2003 • | •• |
182340 |
|
Shafer G. |
Probabilistic Expert Systems (CBMS-NSF Regional Conference Series in Applied Mathematics) |
1996 | •• |
182339 |
|
Манилов В. |
Учись аккомпанировать на гитаре |
n/a | •• |
182338 |
|
Broy M., Merz S., Spies K. |
Formal Systems Specification: The RPC-Memory Specification Case Study |
1996 | •• |
182337 |
|
Nieuwenhuis R. |
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings |
2003 | •• |
182336 |
|
Loon J. |
Media Technology: Critical Perspectives |
2008 | •• |
182335 |
|
Малинин Р.М. |
Справочник по транзисторным схемам |
1974 • | •• |
182334 |
|
Karmakar S. |
Chemical Technology in the Pre-Treatment Processes of Textiles |
1999 | •• |
182333 |
|
Бабурин В.А., Яненко М.Е. |
Информационные технологии в маркетинге и менеджменте: Методические указания |
2010 | •• |
182332 |
|
Chung K., Zhao Z. |
From Brownian motion to Schrodinger's equation |
1995 • | •• |
182331 |
|
Chignell M., Cordy J., Ng J. |
The Smart Internet: Current Research and Future Applications (Lecture Notes in Computer Science Information Systems and Applications, incl. Internet Web, and HCI) |
2010 | •• |
182330 |
|
Sendrier N. |
Post-Quantum Cryptography: Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010, Proceedings (Lecture Notes in Computer Science Security and Cryptology) |
2010 | •• |
182329 |
|
Dahl V., Niemela I. |
Logic programming: 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007; proceedings |
2007 | •• |
182328 |
|
Wadge W., Ashcroft E. |
Lucid, the Dataflow Programming Language |
1985 | •• |
182327 |
|
Martin M., Garcia-ruiz M., Edwards A. |
Technology for Facilitating Humanity and Combating Social Deviations:: Interdisciplinary Perspectives |
2011 | •• |
182325 |
|
Chen Y., Yang D. |
Mssbauer Effect in Lattice Dynamics: Experimental Techniques and Applications |
2007 | •• |
182324 |
|
Жилинский А.П., Мискинова Н.А., Самодурова И.Д. |
Физика(часть 3.1,3.2) ''Колебания'',''Волновые процессы''. Конспекты лекций. Глава 6. ДИФРАКЦИЯ ЭЛЕКТРОМАГНИТНЫХ ВОЛН (СВЕТА). |
n/a | •• |
182323 |
|
Escher J., Castanos O., Hirsch J. |
Computational and Group-Theoretical Methods in Nuclear Physics |
2004 | •• |
182322 |
|
Bales D. |
Java Programming with Oracle JDBC |
2002 | •• |
182321 |
|
Reiher M., Wolf A. |
Relativistic Quantum Chemistry |
2009 | •• |
182320 |
|
Abelson H. |
Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science) |
1996 • | •• |
182319 |
|
Dossey J., Otto A., Spence L. |
Discrete Mathematics |
2002 • | •• |
182318 |
|
Guerre-Delabriere S. |
Classical sequences in Banach spaces |
1992 | •• |
182317 |
|
Holton G., Rutherford F., Watson F. |
The Project Physics Course Reader Unit 3: The Triumph of Mechanics |
1971 | •• |
182316 |
|
Dale J., Schantz M. |
From Genes to Genomes - Concepts and Applications of DNA Technology |
2002 | •• |
182315 |
|
Schutz B. |
Geometrical methods of mathematical physics |
1980 | •• |
182314 |
|
Биленький С.М. |
Введение в диаграммы Фейнмана и физику электрослабого взаимодействия. OCR |
1990 | •• |
182313 |
|
Lowe J., Peterson K. |
Quantum Chemistry |
2006 • | •• |
182312 |
|
Холмогоров В., Холмогоров Г. |
Исторические материалы о церквах и селах XVI-XVIII ст. Выпуск 10. Можайская десятина |
1901 | •• |
182311 |
|
Baston V. |
Some properties of polyhedra in Euclidean space |
1965 | •• |
182310 |
|
Eastwood M., Miller W. |
Symmetries and Overdetermined Systems of Partial Differential Equations (The IMA Volumes in Mathematics and its Applications) |
2008 | •• |
182309 |
|
Бондаренко В.М., Суховерхов Е.В. |
Лучшие конструкции 29-й и 30-й выставок творчества радиолюбителей. Сборник |
1984 | •• |
182308 |
|
Crichton R. |
Inorganic Biochemistry of Iron Metabolism: From Molecular Mechanisms to Clinical Consequences, 2nd Edition |
2001 • | •• |
182307 |
|
Camastra F., Vinciarelli A. |
Machine Learning for Audio, Image and Video Analysis: Theory and Applications (Advanced Information and Knowledge Processing) |
2008 | •• |
182306 |
|
Petzold L., Ascher U. |
Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations |
1998 | •• |
182305 |
|
Ижевский С.С., Никитский Н.Б., Волков О.Г. |
Иллюстрированный справочник жуков-ксилофагов -- вредителей леса и лесоматериалов Российской Федерации |
2005 | •• |
182304 |
|
Чечик Н.О. |
Фотоэлементы и их применение |
1955 | •• |
182303 |
|
Vermeer G. |
3-D seismic survey design |
2002 | •• |
182302 |
|
Lasiecka I. |
Mathematical Control Theory of Coupled Systems of Partial Differential Equations |
2002 | •• |
182301 |
|
Дмитриева М.В., Дмитриев Ю.И. |
Современные информационные технологии: СУБД Access 8.0. Разработка реляционной базы данных |
1999 | •• |
182300 |
|
Asimov I. |
Understanding Physics. Volume 3. The Electron, Proton, and Neutron |
1966 | •• |
182299 |
|
Greenberger D., Hentschel K., Weinert F. |
Compendium of Quantum Physics: Concepts, Experiments, History and Philosophy |
2009 | •• |
182298 |
|
Brehmer A. |
Structure of Enteric Neurons |
2006 | •• |
182297 |
|
Carroll R. |
Topics in Soliton Theory (North-Holland Mathematics Studies) |
1991 | •• |
182296 |
|
Sasaki H. |
Intellectual Property Protection for Multimedia Information Technology (Premier Reference Source) |
2007 | •• |