|
№
|
Description
|
Arrival Date
|
|
38361
|
Chlipala, Adam. Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant / Adam Chlipala. — Cambridge, Massachusetts; London, England: MIT Press, 2013 — 1 PDF (xii, 424 p.). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486>.
|
12/29/2015
|
|
38362
|
Robotics: Science and Systems (RSS) Conference (8; 2012; Sydney, N.S.W., Australia). Robotics: Science and Systems VIII: selected papers / edited by Nicholas Roy [et al.]. — Cambridge, Massachusetts; London, England: MIT Press, 2013 — 1 PDF (xx, 480 p.): ill. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6574627>.
|
12/29/2015
|
|
38363
|
Brown, Ian. Regulating code: good governance and better regulation in the information age / Ian Brown and Christopher T. Marsden. — Cambridge, Massachusetts; London, England: MIT Press, 2013 — 1 PDF (288 p.). — (Information revolution and global politics). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6482331>.
|
12/29/2015
|
|
38364
|
Merrigan, Joseph A. Sunlight to electricity: prospects for solar energy conversion by photovoltaics / Joseph A. Merrigan. — Cambridge; London: MIT Press, 1980 — 1 PDF (xi, 163 pages): ill. — Includes index. — Restricted to subscribers or individual electronic text purchasers. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276893>.
|
12/29/2015
|
|
38365
|
Benarie, Michel M. Urban air pollution modeling / Michel M. Benarie. — Cambridge, Massachusetts; London, England: MIT Press, 1980 — 1 PDF (420 p.). — (MIT Press classic). — Restricted to subscribers or individual electronic text purchasers. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276890>.
|
12/29/2015
|
|
38366
|
Bett, K. E. Thermodynamics for chemical engineers / K.E. Bett , J.S. Rowlinson, G. Saville. — Cambridge, Massachusetts: MIT Press, 1975 — 1 PDF (xi, 505 p.): ill. — Restricted to subscribers or individual electronic text purchasers. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276889>.
|
12/29/2015
|
|
38367
|
Stress : a user's manual: a problem-oriented language for structural engineering / J. M. Biggs, R. D. Logcher, S. P. Mauch, K. P. Reinschmidt. — Cambridge: MIT Press, 1964 — 1 PDF (23 pages). — Restricted to subscribers or individual electronic text purchasers. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276886>.
|
12/29/2015
|
|
38368
|
Conference on the Kinetics of High-Temperature Processes. Kinetics of high-temperature processes / edited by William D. Kingery. — Cambridge, Massachusetts; New York; London, England: MIT Press: John Wiley & Sons: Chapman & Hall, 2003 — 1 PDF (xvi, 326 p.). — Restricted to subscribers or individual electronic text purchasers. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276879>.
|
12/29/2015
|
|
38369
|
Hall, Albert Carruthers. The analysis and synthesis of linear servomechanisms / Albert C. Hall. — Cambridge: MIT Press, 1947 — 1 PDF (193 pages). — Restricted to subscribers or individual electronic text purchasers. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276876>.
|
12/29/2015
|
|
38370
|
Adler, Richard B. Electromagnetic energy transmission and radiation / Richard B. Adler, Lan Jen Chu and Robert M. Fano. — Cambridge; London: MIT Press, 1969 — 1 PDF (621 pages): ill. — Restricted to subscribers or individual electronic text purchasers. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276869>.
|
12/29/2015
|
