Last Arrivals

Documents found: 62 743
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
Documents found: 62 743