Полное описание
Theoretical aspects of computer software : материалы временных коллективов / Ed.: T. Ito, A. R. Meyer. - Berlin [etc.] : Springer, 1991. - 770 p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n526). - ISBN 3-540-54415-3. - Текст : непосредственный. Перевод заглавия: Теорет.основы программного обеспечения.Труды 1-й межд.конф.,Сендай,1991
ГРНТИ УДК 50.41 004.4(063)
Рубрики: Программное обеспечение ЭВМ -- Съезды и конференции
Кл.слова (ненормированные): МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ -- МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ
Доп. точки доступа: Ito, T.\ed.\
Meyer, A.R.\ed.\
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/9132/526)
Шифр в сводном ЭК: 374b83fe091abfcf4079d14c478ce9d2
JAEA-Data/Code / Japan atomic energy agency (Tokai). 2009-020 : Establishment of database for Japan Sea Parameters on Marine Environment and Radioactivity (JASPER)Vol. 2. Radiocarbon and oceanographic properties / S. Otosaka [et al.], 2010. - IV, 27 p. - Текст : непосредственный. Observation of the kaonic hydrogen Kа x ray / M. Iwasaki, R. S. Hayano, T. M. Ito, S. N. Nakamura, 1997. - 3 p. - Текст : непосредственный. Concurrency : материалы временных коллективов / Ed.: A. Yonezawa, T. Ito, 1991. - 399 p. - Текст : непосредственный. Theoretical aspects of computer software : материалы временных коллективов / Ed.: T. Ito, A. R. Meyer, 1991. - 770 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Science reports of Niigata university. Geology / Niigata university. № 32 (suppl.) : Excursion guide. Interrad XV in Niigata 2017 : Niigata university (Japan). Oct/22-oct/27, 2017 / ed.: A. Matsuoka, T. Ito, 2017. - 136 p. - Текст : непосредственный. Ito T. Practical flight paths for microwave-powered airplanes / T.Ito, 1990. - 13 p. - Текст : непосредственный. Logic at botik'89 : Symp.on logical foundations of computer science Pereslavl-Zalessky, July 3-8, 1989Proc. / сост.ed. A. R. Meyer, сост.ed. М. А. Тайцлин, 1989. - X,289 p. p. - Текст : непосредственный. Establishment of a database for Japan Sea parameters on marine environment and radioactivity (JASPER). Vol. 1 : Anthropogenic radionuclides / T. Ito [et al.], 2007. - VI,41 p. - Текст : непосредственный. Parallel symbolic languages and systems : Inter.workshop PSLS'95 Beaune,Oct.2-4,1995 / PSLS'95, 1996. - X,361 p. p. - Текст : непосредственный. Rational, robust, and secure negotiations in multi-agent systems / ed. T. Ito, 2008 r=on-line. - Текст : электронный. Yabe T. Holography machine HORN-1 for computer-aided retrieve of virtual three-dimensional image / T.Yabe,T.Ito,M.Okazaki, 1993. - 8 p. - Текст : непосредственный. Advances in agent-based complex automated negotiations / ed. T. Ito, 2009 r=on-line. - Текст : электронный. system design and demonstrative field test of wind turbine with a 14M dia.robor / M.Hashidate,T.Ito,A.Hanzawa и др., 1990. - 38 p. - Текст : непосредственный. Parallel lisp: languages and systems : Proc. of the US/Japan workshop on parallel lisp / ed. T. Ito, ed. R. H. Halstead(jr.), 1990. - 364 p. - Текст : непосредственный. Ito T. Race to the center: competition for the nikkei 225 futures trade / T.Ito,W-L.Lin;Pred.by W-L.Ito, 1996. - 49 p. - Текст : непосредственный. Gonzalez-Hermosillo B. Bank of Canada's monetary policy framework: have recent changes enhanced central bank credibility? / B.Gonzalez-Hermosillo,T.Ito, 1997. - 20 p. - Текст : непосредственный. Evaluation of inductive heating energy of sub-size improved DPC-U conductor by calorimetric method / T.Ito,N.Koizumi,H.Wakabayashi и др., 1996. - 14 p. - Текст : непосредственный. [Reports] / Amer.inst.of aeronautics and astronautics. N 90-5223 : Concept and technology development for hope spaceplane : Paper presented at AIAA second international aerospace panes con.,Oct.29-31,1990,Orlando,Fl / T.Ito,T.Akimoto,H.Miyaba и др, 1990. - Текст : непосредственный. Computer vision and graphics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный. Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный. Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Artificial neural networks - ICANN 2008 / SpringerLink (Online service), 2008 r=on-line. Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Comparative genomics / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Research in cryptology / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Post-quantum cryptography / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line. Wireless algorithms, systems, and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Computer vision - ECCV 2008 / SpringerLink (Online service), 2008 r=on-line. Computer vision -ECCV 2008 / SpringerLink (Online service), 2008 r=on-line. On the move to meaningful internet systems: OTM 2008 / David. Hutchison, Gerhard. Weikum, Demetri. Terzopoulos [et al.] ; ed. R. Meersman, 2008 r=on-line. Показать все результаты Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный. Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный. Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный. Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный. Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный. Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный. Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный. Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный. Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный. MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный. Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный. Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный. Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный. Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный. Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный. Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Показать все результаты Программные системы: теория и приложения : тр. междунар. конф. г. Переславль-Залесский, май 2009 / Институт программных систем им. А. К. Айламзяна (Переславль-Залесский). Т. 2, 2009. - 320 с. - Текст : непосредственный. Программные системы: теория и приложения : тр. междунар. конф. г. Переславль-Залесский, май 2009 / Институт программных систем им. А. К. Айламзяна (Переславль-Залесский). Т. 1, 2009. - 310 с. - Текст : непосредственный. XII Международная конференция по вычислительной механике и современным прикладным программным системам. (ВМСППС'2003) : Тезисы докладов,Владимир, 30 июня - 5 июля 2003 г. / Международная конф. по вычислительной механике и современным прикладным программным системам (12;2003; Владимир). Т. 2, 2003. - С.339-704. - Текст : непосредственный. Papers from fourth symposium,held in Oct.1996 in San Francisco(Ca) / Symposium on foundations in software engineering (4th ; 1996 ; San Francisco,Ca) , 1998. - 497-584 p. p. - Текст : непосредственный. Mathematical methods of specification and synthesis of software systems'85 : сборник научных трудов, 1986. - 245 p. - Текст : непосредственный. Theoretical aspects of computer software : материалы временных коллективов / Ed.: T. Ito, A. R. Meyer, 1991. - 770 p. - Текст : непосредственный. Foundations of software technology and theoretical computer science : материалы временных коллективов / Ed.: K. V. Nori, C. E. Veni Madhaven, 1990. - X,420 p. p. - Текст : непосредственный. Programming languages and systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Formal methods for mobile computing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
