|
№
|
Description
|
Arrival Date
|
|
61971
|
Benthem, Johan van. Logic in games / Johan van Benthem. — Cambridge, Massachusetts; London, England: MIT Press, 2014. — 1 PDF (xvii, 547 p.): ill. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151>. — Текст: электронный
|
12/29/2015
|
|
61972
|
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
|
|
61973
|
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
|
|
61974
|
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
|
|
61975
|
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
|
|
61976
|
Benarie, Michel M. Urban air pollution modeling / Michel M. Benarie. — Cambridge, Massachusetts; London, England: MIT Press, 1980. — 1 PDF (420 p.). — (MIT Press classic). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276890>. — Текст: электронный
|
12/29/2015
|
|
61977
|
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. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276889>. — Текст: электронный
|
12/29/2015
|
|
61978
|
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
|
|
61979
|
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.). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276879>. — Текст: электронный
|
12/29/2015
|
|
61980
|
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
|
