Оставить сообщение
Вход в систему
Оставить сообщение
Инструкция по поиску

Последние поступления

Найдено документов: 103 786

№ Описание Дата поступления
79951
Deransart, Pierre. A grammatical view of logic programming / Pierre Deransart, Jan Maluszynski. — Cambridge, Massachusetts; London, England: MIT Press, 2003. — 1 PDF (27, [1] p.). — (Logic programming). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491>. — Текст: электронный
29.12.2015
79952
Advances in genetic programming. Vol. 2 / edited by P. Angeline and Kenneth E. Kinnear, Jr. — Cambridge, Massachusetts; London, England: MIT Press: A Bradford book, 1996. — 1 PDF (538 p.): ill. — (Complex adaptive systems). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267488>. — Текст: электронный
29.12.2015
79953
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>. — Текст: электронный
29.12.2015
79954
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>. — Текст: электронный
29.12.2015
79955
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>. — Текст: электронный
29.12.2015
79956
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>. — Текст: электронный
29.12.2015
79957
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>. — Текст: электронный
29.12.2015
79958
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>. — Текст: электронный
29.12.2015
79959
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>. — Текст: электронный
29.12.2015
79960
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>. — Текст: электронный
29.12.2015