Приложение
для AndroidПолное описание
Logic and algebra of specification : proc.of the NATO advanced study inst.on logic and algebra of specification,July 23-Aug.4 1991,Marktoberdorf,Germany / сост.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 : 87000 р. - Текст : непосредственный.
Библиогр.в конце статей
| ГРНТИ | УДК | |
| 50.05.03 | 004.415.28(062) | |
| 50.01.13 |
Рубрики:
Программы для ЭВМ -- Спецификация -- Съезды и конференции
Доп. точки доступа:
Bauer, F.L.\ed.\
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
Shape in picture : Mathematical description of shape in Grey-level images:Proc.of the NATO advanced research workshop,Driebergen,Sept.7-11,1992 / Сост. Y.-L. O, 1994. - X,676 p. p. - Текст : непосредственный.Constraint programming : Proc.of the NATO advanced study inst.on constraint programming,Parnu,Estonia,Aug.13-24,1993 / Ed. B. Mayoh, 1994. - 449 p. - Текст : непосредственный.Cognitive tools for learning : Proc.of the NATO advanced study inst.of mindtoolsCognitive technologies for modeling knowledge,held in Enschede,July 4-10,1990 / сост.ed. P. A.M. Kommers, 1992. - X,276 p. p. - Текст : непосредственный.New systems and architectures for automatic speech recognition and synthesis : Proc.of the NATO advanced study inst.on new systems and architectures for automatic speech recognition and synthesis,2-14 July,1984,Bonas,Gers / сост.ed. R. De Mori, сост.ed. C. Y. Suen, 1985. - XII,629 p. p. - Текст : непосредственный.Intelligent tutoring systems for foreign language learning : Proc.of the NATO advanced research workshop"The bridge to international communication:Intelligent tutoring systems for foreign language learning",Sept.19-21,1990,Washington(DC) / сост.ed. M. L. Swartz, сост.ed. M. Yazdani, 1992. - IX,347 p. p. - Текст : непосредственный.Computer-based learning environments and problem solving : Proc.of the NATO advanced research workshop on computer based learning environments and problem solving,held in Leuven,Sept.26-29,1990 / ed. E.de Corte, 1992. - VII,484 p. p. - Текст : непосредственный.Intelligent learning environments and knowlege acquisition in physics : Proc.of the NATO advanced research workshop on knowledge acquisition in the domain of physics and intelligent learning environments,held in Lyon,July 8-12,1990 / сост.ed. A. Tiberghien, сост.ed. H. Mandl, 1992. - VIII,283 p. p. - Текст : непосредственный.Computer algorithms for solving linear algebraic equations:The state of the art : Proc.of the NATO advanced study inst.on computer algorithms for solving linear algebraic equations:The state of the art,Barga,Sept.9-21 1990 / сост.ed. E. Spedicato, 1991. - 352 p. - Текст : непосредственный.Integrating advanced technology into technology education : Proc.of the NATO advanced research workshop on integrating advanced technology into technology education,Eindhoven,Oct.9-12 1990 / Ed. M. Hacker, 1991. - 184 p. - Текст : непосредственный.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. - Текст : непосредственный.Logic and algebra of specification : Proc.of the NATO advanced study inst.on logic and algebra of specification,July 23-Aug.4 1991,Marktoberdorf,Germany / сост.ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Software for parallel computation : Proc.of the NATO advanced workshop on software for parallel computation,June22-26 1992,Centraro,Cosenza,Italy / Ed.: J. S. Kowalik, L. Grandinetti, 1993. - 363 p. - Текст : непосредственный.Concurrent engineering:Tools and technologies for mechanical system design : Proc.of the NATO advanced study inst.on concurrent engineering tools and technologies for mechanical system design,May 25-June 5 1992,Iowa / ed. E. J. Haug, 1993. - 998 p. - Текст : непосредственный.Verification and validation of complex systems:Human factors issues : Proc.of the NATO advanced study inst.on verification and validation of complex and integrated human-machine systems,July 6-17 1992,Vimeiro,Portugal / сост.ed. J. A. Wise, 1993. - 705 p. - Текст : непосредственный.Intelligent systems:Safety,reliability and maintainability issues : Proc.of the NATO advanced research workshop on intelligent systems:Safety,reliability and maintainability issues,Aug.25-28 1992,Kusadasi,Izmir,Turkey / Ed. O. Kaynak, 1993. - 340 p. - Текст : непосредственный.Program design calculi : Proc.of the NATO advanced study inst.on program design calculi,July 28-Aug.9 1992,Marktoberdorf,Germany / сост.ed. M. Broy, 1993. - 409 p. - Текст : непосредственный.Item banking:Interactive testing and self-assessment : Proc.of the NATO advanced research workshop on item banking:Interactive testing and self-assessment,Oct.27-31 1992,Liege,Belgium / Ed.: D. A. Leclercq, J. E. Bruno, 1993. - 261 p. - Текст : непосредственный.Control technology in elementary education : Proc.of the NATO advanced research workshop on control technology in elementary education,Nov.17-21 1992,Liege,Belgium / Ed. B. Denis, 1993. - 311 p. - Текст : непосредственный.Learning from computers:Mathematics education and technology : Proc.of the NATO advanced research workshop on mathematics education and technology,May 6-11 1993,Villard-de-Lans,France / ed.: C. Keitel, K. Ruthven, 1993. - 332 p. - Текст : непосредственный.Simulation-based experiential learning : Proc.of the NATO advanced research workshop on the use of computer models for explication ,analysis and experiential learning,Oct.12-14 1992,Bonas / Ed. D. M. Towne, 1993. - 274 p. - Текст : непосредственный.
Показать все результатыРуководство по программированию контроллера Sinumerik 8N. Издание 6.86 / ВЦП. - 100 с. - Текст : непосредственный.Взгляд на экран. Серия по программированию. Последовательное описание программирования для ПЭВМ ZX Spectrum / ВЦП. - 212 c. - Текст : непосредственный.Ханна Джабр.Разработка средств автоматизации обеспечения мобильности типовых системных программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ханна Джабр, 1991. - 16 с. - Текст : непосредственный.Жаков В.И. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. И. Жаков, 1991. - 16 с. - Текст : непосредственный.Марков А.С. Математическое,программное и научно-методическое обеспечение прикладного программирования в аспекте архитектурной и субархитектурной зависимости : Дис..д-ра техн.наук в форме науч.докл.:05.13.11 / А. С. Марков, 1990. - 68 с. - Текст : непосредственный.Галкин И.М. Семантические сети в разработке и сопровождении программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. М. Галкин, 1991. - 15 с. - Текст : непосредственный.Маслов В.Ю. Разработка векторизатора для системы кросс-программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. Ю. Маслов, 1991. - 15 с. - Текст : непосредственный.Попрыгаев Е.В. Разработка ядра системы обосновательного гиперпрограммирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Е. В. Попрыгаев, 1991. - 12 с. - Текст : непосредственный.Крушняков В.Н. Средства автоматизации построения компонентов систем программирования на базе языкоориентированной архитектуры МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. Н. Крушняков, 1991. - 13 с. - Текст : непосредственный.Аджиев В.Д. Проектирование системы программирования для интегрированных систем машинной геометрии и графики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. Д. Аджиев, 1992. - 20 с. - Текст : непосредственный.Панкратов С.А. Интегрированная операционная среда параллельного программирования для крупноблочных многопроцессорных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. А. Панкратов, 1992. - 18 с. - Текст : непосредственный.Борщев В.Б. Семантика языков логического программирования и абстрактная машина для их реализации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.11 / В. Б. Борщев, 1992. - 47 с. - Текст : непосредственный.Григорьев С.Г. Реализация системы логического программирования для персональных компьютеров с ограниченными ресурсами и ее применения : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.11 / С. Г. Григорьев, 1993. - 35 с. - Текст : непосредственный.Смешанно-целочисленное программирование для персонального компьютера IBM PC : Руководство пользователя системы MILP88. Версия 5.02 / ВЦП. - 67 c. - Текст : непосредственный.Данг Чыонг Шон.Разработка интеллектуальной системы программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Данг Чыонг Шон, 1992. - 15 с. - Текст : непосредственный.Хамисов О.В. Минимизация функций,имеющих вогнутую миноранту на компактном множестве,и их свойства : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / О. В. Хамисов, 1993. - 18 с. - Текст : непосредственный.Руководство для пользователя программного изделия VAXELN. Ч.1 / ВЦП. - 211 c. - Текст : непосредственный.Чирков А.Ю. О выделении полиномиальных подклассов в задаче целочисленного линейного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / А. Ю. Чирков, 1993. - 14 с. - Текст : непосредственный.Родионов А.В. Геометрические свойства и численные методы нелинейной оптимизации : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / А. В. Родионов, 1993. - 16 с. - Текст : непосредственный.Березин Е.Г. Языковые средства программирования в объектно-базированной среде КЛАСТОС : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / Е. Г. Березин, 1993. - 20 с. - Текст : непосредственный.
Показать все результаты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. - Текст : непосредственный.Logic and algebra of specification : Proc.of the NATO advanced study inst.on logic and algebra of specification,July 23-Aug.4 1991,Marktoberdorf,Germany / сост.ed. F. L. Bauer, 1993. - 442 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. - Текст : непосредственный.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 algebraic development techniques : 14th intern. workshop, WADT'99, Chateau de Bonas, Sept.15-18, 1999Selected papers / WADT'99, 2000. - X,476 p. p. - Текст : непосредственный.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 : 17th International workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004: revised selected papers / ed. J. Fiadeiro [et al.], 2005 r=on-line.ZB 2005: formal specification and development in Z and B : 4th International conference of B and Z users, Guilford,UK, April 13-15, 2005: proceedings / ed. H. Treharne, 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 / eds. J. Julliand, O. Kouchnarenko, 2006 r=on-line.Семинар "Семантика, спецификация и верификация программ: теория и приложения" : 14-15 июня 2010: тр. семинара / под ред. В. А. Непомнящего, В.А. Соколова, 2010. - 178 с. - Текст : непосредственный.Recent trends in algebraic development techniques : 19th International workshop, WADT 2008, Pisa, Italy, June 13-16, 2008: rev. sel. papers / ed.: A. Corradini, U. Montanari, 2009 r=on-line.
Заказ фрагмента документа ₽