|
№
|
Description
|
Arrival Date
|
|
38351
|
Goguen, Joseph. Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm. — Cambridge; London: MIT Press, 1996 — 1 PDF (vii, 228 pages): ill. — (Foundations of computing). — Restricted to subscribers or individual electronic text purchasers. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468>.
|
12/29/2015
|
|
38352
|
The definition of standard ML / Robin Milner ... [et al.]. — Cambridge; London: MIT Press, 1997 — 1 PDF (xiii, 114 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=6267454>.
|
12/29/2015
|
|
38353
|
Westland, J. Christopher. Global electronic commerce: theory and case studies / J. Christopher Westland, Theodore H.K. Clark. — Cambridge; London: MIT Press, 2000 — 1 PDF (xi, 592 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=6267449>.
|
12/29/2015
|
|
38354
|
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
|
|
38355
|
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. — Restricted to subscribers or individual electronic text purchasers. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353>.
|
12/29/2015
|
|
38356
|
Logic programming: proceedings of the eleventh International Conference on Logic Programming / edited by Pascal Van Hentenryck. — Cambridge; London: MIT Press, 1994 — 1 PDF (752 pages). — (Logic programming). — Restricted to subscribers or individual electronic text purchasers. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351>.
|
12/29/2015
|
|
38357
|
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). — "A Bradford book.". — Restricted to subscribers or individual electronic text purchasers. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267331>.
|
12/29/2015
|
|
38358
|
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
|
|
38359
|
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). — Restricted to subscribers or individual electronic text purchasers. — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267324>.
|
12/29/2015
|
|
38360
|
Pierce, Benjamin C. Types and programming languages / Benjamin C. Pierce. — Cambridge, Massachusetts; London, England: MIT Press, 2002 — 1 PDF (xxi, 623 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=6267321>.
|
12/29/2015
|
