Приложение
для AndroidПолное описание
Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer. - Berlin [etc.] : Springer , 1993. - 442 p. - (NATO ASI(advanced science institutes)series. Ser.F, Computer and systems sciences ; vol.94). - ISBN 3-540-55813-6. - Текст : непосредственный.
Библиогр.в конце статей
| ГРНТИ | УДК | |
| 50.05.03 | 004.415.28(063) | |
| 50.01.13 |
Рубрики:
Программы для ЭВМ -- Спецификация -- Съезды и конференции
Доп. точки доступа:
Bauer, F.L.\ed.\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/14525/94)
Шифр в сводном ЭК: 36b7003c6b127f14c96e3eeba1aebc21
Бауэр Ф.Л. Информатика : Ввод.курс:В 2 ч. Ч. 1 / ред. А. П. Ершов, пер. М. К. Валиев, 1990. - 324,VШ с. с. - Текст : непосредственный.Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Foundations of secure computation : материалы временных коллективов / Ed.: F. L. Bauer, R. Steinbruggen, 2000. - IX,319 p. p. - Текст : непосредственный.
Bauer F.L. Elementare Aussagenlogik / F.L.Bauer,M.Wirsing, 1991. - X,228 p. p. - Текст : непосредственный.Bauer F.L. Historische Notizen zur Informatik / F. L. Bauer, 2009 r=on-line. - Текст : электронный.Logic,algebra and computation : Proc.of the NATO advanced study inst.on logic,algebra and computation,Marktoberdorf,July 25-Aug.6 1989 / сост.ed. F. L. Bauer, 1991. - 485 p. - Текст : непосредственный.Bauer F.L. Origins and foundations of computing : in cooperation with heinz nixdorf museumsforum / F. L. Bauer, 2010 r=on-line. - Текст : электронный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Fractal image encoding and analysis : сборник / Ed. Y. Fisher, 1998. - XIII,368 p. p. - Текст : непосредственный.Active perception and robot vision : материалы временных коллективов / Ed.: A. K. Sood, H. Wechsler, 1992. - IX,756 p. p. - Текст : непосредственный.Adaptive learning environments : материалы временных коллективов / Ed.: M. Jones, P. H. Winne, 1992. - VIII,408 p. p. - Текст : непосредственный.Cognitive modelling and interactive environments in language learning : материалы временных коллективов / Ed. F. L. Engel, 1992. - IX,310 p. p. - Текст : непосредственный.Programming and mathematical method : материалы временных коллективов / Ed. M. Broy, 1992. - VIII,407 p. p. - Текст : непосредственный.Hypermedia courseware:structures of communication and intelligent help : материалы временных коллективов / Ed. A. Oliveira, 1992. - X,239 p. p. - Текст : непосредственный.Interactive multimedia learning environments : материалы временных коллективов / Ed. M. Giardina, 1992. - VI,254 p. p. - Текст : непосредственный.New directions in educational technology : материалы временных коллективов / Ed.: E. Scanlon, T. O'Shea, 1992. - 251 p. - Текст : непосредственный.Multisensor fusion for computer vision : материалы временных коллективов / Comp. J. K. Aggarwal, 1993. - X,456 p. p. - Текст : непосредственный.Communication from an artificial intelligence perspective : материалы временных коллективов / Ed. A. Ortony, 1992. - XI,269 p. p. - Текст : непосредственный.Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Software for parallel computation : материалы временных коллективов / Ed.: J. S. Kowalik, L. Grandinetti, 1993. - 363 p. - Текст : непосредственный.Concurrent engineering:Tools and technologies for mechanical system design : материалы временных коллективов / Ed. E. J. Haug, 1993. - 998 p. - Текст : непосредственный.Advanced educational technology in technology education : сборник научных трудов / Ed. A. Gordon, 1993. - 251 p. - Текст : непосредственный.Cognitive models and intelligent environments for learning programming : материалы временных коллективов / Ed. E. Lemut, 1993. - 305 p. - Текст : непосредственный.Learning electricity and electronics with advanced educational technology : материалы временных коллективов / Сост. M. Caillot, 1993. - 329 p. - Текст : непосредственный.Foundations of secure computation : материалы временных коллективов / Ed.: F. L. Bauer, R. Steinbruggen, 2000. - IX,319 p. p. - Текст : непосредственный.Knowledge acquisition,organization,and use in biology : сборник / Ed.: K. M. Fisher, M. R. Kibby, 1996. - VII,245 p. p. - Текст : непосредственный.Cooperation: game-theoretic approaches : Proc.of the NATO Advanced study inst.on cooperation:game-theoretic approaches, held at SUNY, Stony Brook,New York,July 18-29,1994 / сост.ed. S. Hart, сост.ed. A. Mas-Colell, 1997. - VIII,328/7/ p. p. - Текст : непосредственный.Logic of computation : Proc.of the NATO Advanced study inst.on logic of computation, held in Marktoberdorf, Germany,July 25-Aug.6,1995 / Ed. H. Schwichtenberg, 1997. - VI,394,/8/ p. p. - Текст : непосредственный.
Показать все результатыИнформационные технологии и телекоммуникации в образовании, экономике и управлении регионом : материалы временных коллективов / Ассоциация "Тюменский региональный научно-образовательный комплекс", 2007. - 139 с. - Текст : непосредственный.Supercomputing'91 : материалы временных коллективов, 1991. - XXIII,917 p. p. - Текст : непосредственный.Artificial neural networks : сборник научных трудов / Ed. J. Diederich, 1990. - VII,141 p. p. - Текст : непосредственный.Innovative applications of artificial intelligence 3 : материалы временных коллективов / Ed.: R. G. Smith, A. C. Scott, 1991. - 362 p. - Текст : непосредственный.Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.Security and privacy : Proc.of the 1980-84 symp.on security and privacy and the 1985-87 IEEE symp.on security and privacy / Ed.:C.E.Garvey. Vol. 1 : Proceedings of the first 5 symposia 1980-84, 1990. - VIII,227 p. p. - Текст : непосредственный.Информатика и вычислительная техника : материалы временных коллективов / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2007. - 75 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный.Информационные технологии и телекоммуникации в экономике, управлении и социальной сфере : материалы временных коллективов / Ассоциация "Тюменский региональный научно-образовательный комплекс", 2008. - 180 с. - Текст : непосредственный.Пятая международная конференция "Системный анализ и информационные технологии" : САИТ-2013, 19-25 сент. 2013 г.: тр. конф.: в 2 т. Т. 2, 2013. - 435 с. - Текст : непосредственный.Информационные технологии в образовании, технике и медицине : Междунар. науч.-техн. конф. : Сб.науч.тр.,24-26 сент.2002 г. / Волгоградский гос. технический ун-т. Ч. 1, 2002. - 263 с. - Текст : непосредственный.Перспективы развития информационных технологий : материалы временных коллективов / Ред. С. С. Чернов, 2014. - 149 с. (Введено оглавление). - Текст : непосредственный.Перспективы развития информационных технологий : сборник / Центр развития науч. сотрудничества (Новосибирск), 2015. - 198 с. - Текст : непосредственный.Современное общество: социально-экономические и экологические аспекты развития. Передовые информационные технологии : материалы временных коллективов / Российский гос. социальный ун-т (Москва), Филиал в г. Дедовск, 2013. - 286 с. - Текст : непосредственный.Новые информационные технологии в исследовании сложных структур : материалы временных коллективов / Национальный исследовательский Томский гос. ун-т, 2012. - 120 с. - Текст : непосредственный.Физико-математические науки и информационные технологии: теория и практика : материалы временных коллективов, 2012. - 153 с. - Текст : непосредственный.WOON'2000. The white object-oriented nights, 2000 : материалы временных коллективов / Ред. А. В. Смолянинов, 2000. - 118 p. - Текст : непосредственный.Труды международной научно-технической конференции "Современные информационные технологии". Вып. 19, 2014. - 277 с. - Текст : непосредственный.Перспективы развития информационных технологий : материалы временных коллективов / Центр науч. сотрудничества, 2016. - 156 с. - Текст : непосредственный.
Показать все результатыLogic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Семинар "Семантика, спецификация и верификация программ: теория и приложения" : материалы временных коллективов / "Семантика, спецификация и верификация программ: теория и приложения", семинар (2010 ; Казань) , 2010. - 178 с. - Текст : непосредственный.Recent trends in algebraic development techniques / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.ZB 2005: formal specification and development in Z and B / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.B 2007: formal specification and development in B : 7th international conference of B users, Besancon, France, January 17-19, 2007: proceedings / ed. J. Julliand, 2006 r=on-line. - Текст : электронный.Recent trends in algebraic development techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006: revised selected papers / ed.: J. Fiadeiro, P. Schobbens, 2007 r=on-line. - Текст : электронный.Recent trends in algebraic development techniques : 14th intern. workshop, WADT'99, Chateau de Bonas, Sept.15-18, 1999Selected papers / WADT'99, 2000. - X,476 p. p. - Текст : непосредственный.Temporal logic in specification : Meet-colloquium on temporal logic in specification held at Altrincham in Apr.1987 / ed. B. Banieqbal, 1989. - VI,448 p. p. - Текст : непосредственный.Recent trends in data type specification : Proc.of the 7th workshop on specification of abstract data types, Apr. 17-20,1990, Wusterhausen/Dosse / Ed. H. Ehrig, 1991. - VIII,379 p. p. - Текст : непосредственный.Recent trends in data type specification:8th workshop on specification of abstract data types with 3rd COMPASS workshop,Dourdan Aug.26-30,1991 : Selected papers / сост.ed.by M. Bidoit, сост.ed.by C. Choppy, 1993. - 344 p. - Текст : непосредственный.Recent trends in algebraic development techniques : 19th International workshop, WADT 2008, Pisa, Italy, June 13-16, 2008: rev. sel. papers / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.
Заказ фрагмента документа ₽