|
№
|
Description
|
Arrival Date
|
|
66781
|
Goguen, Joseph. Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm. — Cambridge, Massachusetts; London, England: MIT Press, 1996. — 1 PDF (vii, 228 p.): ill. — (Foundations of computing). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468>. — Текст: электронный
|
12/29/2015
|
|
66782
|
The definition of standard ML / Robin Milner ... [et al.]. — Cambridge, Massachusetts; London, England: MIT Press, 1997. — 1 PDF (xiii, 114 p.): ill. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267454>. — Текст: электронный
|
12/29/2015
|
|
66783
|
Westland, J. Christopher. Global electronic commerce: theory and case studies / J. Christopher Westland, Theodore H.K. Clark. — Cambridge, Massachusetts; London, England: MIT Press, 2000. — 1 PDF (xi, 592 p.): ill. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267449>. — Текст: электронный
|
12/29/2015
|
|
66784
|
Willems, Jan C. The analysis of feedback systems / Jan C. Willems. — Cambridge; London: MIT Press, 1971. — 1 PDF (xv, 188 pages): ill. — (The MIT Press research monograph series). — "Parts of this monograph appeared in the author's doctoral dissertation entitled 'Nonlinear harmonic analysis' ... 1968.". — Restricted to subscribers or individual electronic text purchasers. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267357>. — Текст: электронный
|
12/29/2015
|
|
66785
|
Van Roy, Peter. Concepts, techniques, and models of computer programming / Peter Van Roy, Seif Haridi. — Cambridge, Massachusetts; London, England: MIT Press, 2004. — 1 PDF (xxvii, 900 p.): ill. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353>. — Текст: электронный
|
12/29/2015
|
|
66786
|
Logic programming: proceedings of the eleventh International Conference on Logic Programming / edited by Pascal Van Hentenryck. — Cambridge, Massachusetts; London, England: MIT Press, 1994. — 1 PDF (752 p.). — (Logic programming). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351>. — Текст: электронный
|
12/29/2015
|
|
66787
|
Kernel methods in computational biology / edited by Bernhard Schölkopf, Koji Tsuda, Jean-Philippe Vert. — Cambridge, Massachusetts; London, England: MIT Press: A Bradford book, 2004. — 1 PDF (ix, 400 p.): ill. — (Computational molecular biology). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267331>. — Текст: электронный
|
12/29/2015
|
|
66788
|
Safonov, Michael George. Stability and robustness of multivariable feedback systems / Michael George Safonov. — Cambridge; London: MIT Press, 1980. — 1 PDF (xi, 171 pages): ill. — (The MIT Press series in signal processing, optimization, and control). — Based on the author's thesis, Massachusetts Institute of Technology, 1977, presented under title: Robustness and stability aspects of stochastic multivariable feedback system design. — 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=6267329>. — Текст: электронный
|
12/29/2015
|
|
66789
|
Reed, Daniel Allen. Multicomputer networks: message-based parallel processing / Daniel A. Reed and Richard M. Fujimoto. — Cambridge, Massachusetts; London, England: MIT Press, 2004. — 1 PDF (380 p.): ill. — (Scientific and engineering computation). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267324>. — Текст: электронный
|
12/29/2015
|
|
66790
|
Pierce, Benjamin C. Types and programming languages / Benjamin C. Pierce. — Cambridge, Massachusetts; London, England: MIT Press, 2002. — 1 PDF (xxi, 623 p.): ill. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321>. — Текст: электронный
|
12/29/2015
|
