Приложение
для AndroidПолное описание
VDM and Z - formal methods in software development : VDM'90 : 3 intern.symp. of VDM Europe, Kiel, Apr.17-21, 1990Proc / ed. D. Bjorner. - Berlin[etc.] : Springer, 1990. - 580 p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n428). - ISBN 3-540-52513-0 : 35.00 р. - Текст : непосредственный.
Библиогр.в конце ст.Указ.:с.580
| ГРНТИ | УДК | |
| 50.41 | 004.41(063) |
Рубрики:
Программное обеспечение ЭВМ -- Проектирование -- Съезды и конференции
Кл.слова (ненормированные): математическое обеспечение
Доп. точки доступа:
Bjorner, D.\ed.\
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
Methods of programming : Selected papers of the CIP-project / сост.ed. M. Broy, сост.ed. M. Wirsing, 1991. - XII,268 p. p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 1 : Conference contributions, 1991. - 698 p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 2 : Tutorials, 1991. - 430 p. - Текст : непосредственный.Proceedings,Oct.1991,Milan / ESEC'91, 1991. - XII,515 p. p. - Текст : непосредственный.Computational geometry-methods,algorithms and applications : Proc.of the 7th intern.workshop on computational geometry,Bern,March 21-22,1991 / CG'91, 1991. - VIII,320 p. p. - Текст : непосредственный.Grahne G. The problem of incomplete information in relational databases / G.Grahne, 1991. - VIII,149 p. p. - Текст : непосредственный.New results and new trends in computer science : Proc.of a symp.,held in Graz,June 20-21,1991 / ed. H. Maurer, 1991. - VIII,403 p. p. - Текст : непосредственный.Jacquet J.-M. Conclog:A methodological approach to concurrent logic programming / J.-M.Jacquet, 1991. - XII,781 p. p. - Текст : непосредственный.ISA'91 algorithms : 2nd intern.symp.on algorithms,Taipei,Dec.16-18,1991:Proc. / Ed.: W. L. Hsu, R. C.T. Lee, 1991. - X,396 p. p. - Текст : непосредственный.Hooman J. Specification and compositional verification of real-time systems / J.Hooman, 1991. - VIII,235 p. p. - Текст : непосредственный.Butler G. Fundamental algorithms for permutation groups / G.Butler, 1991. - XII,238 p. p. - Текст : непосредственный.Herman I. The use of projective geometry in computer graphics / I.Herman, 1992. - 146 p. - Текст : непосредственный.Graph-theoretic concepts in computer science : 17th intern.workshop on graph-theoretic concepts in computer science,Fischbachau,June 17-19,1991Proc. / WG'91, 1992. - VIII,253 p. p. - Текст : непосредственный.Formal techniques in real-time and fault-tolerant systems : 2nd intern.symp.on formal techniques in real-time and fault-tolerant systems,Jan.1992,NijmegenProc. / Ed. J. Vytopil, 1991. - IX,620 p. p. - Текст : непосредственный.Word equations and related topics : 1st intern.workshop on word equations and related topics,Tubingen,Oct.1990Proc. / IWWERT'90, 1992. - 256 p. - Текст : непосредственный.Parallel architectures and languages Europe : 4th intern.PARLE conf.,Paris,June 1992Proc. / PARLE'92, 1992. - XVII,984 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. - Текст : непосредственный.Conditional term rewriting systems:Third intern.workshop,CTRS-92 Pont-a-Mousson,July 8-10,1992 : Proc. / сост.ed.by M. Rusinowitch, сост.ed.by J. L. Remy, 1993. - 501 p. - Текст : непосредственный.Breu R. Algebraic specification techniques in object oriented programming environments / R.Breu, 1991. - 228 p. - Текст : непосредственный.Cheese A. Parallel execution of Parlog / A.Cheese, 1992. - 184 p. - Текст : непосредственный.
Показать все результатыПрограммное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Основы операционной системы NCOS1 : Руководство по обучению / ВЦП. - 142 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Производственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Операционная система NCOS1. Дисковые сортировка / слияние / ВЦП. - 108 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Введение в VAX/VMS / ВЦП. - 130 с. - Текст : непосредственный.Пакет для создания среды, предназначенной для профессиональных приложений (РАСЕ). Версия 2.20. Замечания по версии математического обеспечения, предназначенной для заказчика / ВЦП. - 112 с. - Текст : непосредственный.Программное обеспечение NCOS,NCOSI : Инструкция по эксплуатации / ВЦП. - 331 331 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.Руководство по обслуживанию линии связи организатора Пбмодель IQ-890 / ВЦП. - 135 с. - Текст : непосредственный.
Показать все результатыSTAK'92 : Projektierungs- und EntwicklungswerkzeugeTagung Karlsruhe,18.-19 Febr.1992 / VDI/VDE-Ges.Mess-und Automatisierungstechnik, 1992. - 222 S. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 1 : Conference contributions, 1991. - 698 p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 2 : Tutorials, 1991. - 430 p. - Текст : непосредственный.Fourth international conference on software engineering and knowledge engineering,June 15-20,1992,Capri / SEKE 92, 1992. - XI,641 p. p. - Текст : непосредственный.Proceedings of the 3rd international workshop on software configuration management,June,12-14,1991,Trondheim / SCM-3, 1991. - IX,166 p. p. - Текст : непосредственный.Fourth software engineering standards application workshop,May 20-24,1991,San Diego(Ca) / SESAW, 1991. - V,164 p. p. - Текст : непосредственный.Computer systems and software engineering : 6th annu.european computer conf.,May 4-8,1992:Proc. / CopmEuro 92, 1992. - XVIII,717 p. p. - Текст : непосредственный.User-centred requirements for software engineering environments : Proc.of the NATO advanced research workshop on user-centred requirements.. held in Bonas,Sept.5-11,1991 / ed. D. J. Gilmore, 1994. - VII,377 p. p. - Текст : непосредственный.Papers presented at the European software engineering conference,held in Garmisch-Partenkirchen,1993 / ESEC'93, 1994. - 545-664 p. p. - Текст : непосредственный.Hardware/software co-design : Proc.of the NATO Advanced study inst.on hardware/software co-design,Tremezzo,Italy,June 19-30,1995 / ed.: G. De Micheli, M. Sami, 1996. - VII,467 p. p. - Текст : непосредственный.Studies of software design : Workshop,Baltimore,May 17-18,1993 / ICSE'93, 1996. - 188 p. - Текст : непосредственный.Software engineering fon parallel and distributed software : Proc.of the first IFIP TC10 intern.workshop on parallel and distributed software,Berlin,March,1996 / Ed. I. Jelly, 1996. - XI,325 p. p. - Текст : непосредственный.Software engineering environments : Intern. workshop on environments,Chinon, Sept.1989:Proc. / Ed. F. Long, 1990. - VI, 313 p. 313 p. - Текст : непосредственный.2nd European software engineering conference, University of Warwick, Coventry, Sept.11-15, 1989 / ESEC'89, 1989. - VI,496 p. p. - Текст : непосредственный.VDM and Z - formal methods in software development : 3 intern.symp. of VDM Europe, Kiel, Apr.17-21, 1990Proc / ed. D. Bjorner, 1990. - 580 p. - Текст : непосредственный.Proceedings : 7 international conference on software engineering, Mar.26-29, 1984, Orlando(Fl) / International conference on software engineering (7 ; 1984 ; Orlando(Fl)) , 1984. - 545 мкф. - Текст : непосредственный.Software engineering for large software systems : Proc.of the centre for software reliability conference,held at the Watershed Media centre,Bristol,26-29 Sept.1989 / Centre for software reliability (Norwich), 1990. - X,373 p. p. - Текст : непосредственный.Software development trends : The joint Finnish-Soviet software symposium Helsinki, 15-17 Nov., 1988 / ed. P. Uuspaa, 1989. - 386 p. - Текст : непосредственный.Software-Entwicklung : Konzepte, Erfahrungen, Perspektiven, Fachtagung, Veranstaltet vom Fachausschuss 2.1 der GI Marburg, 21.-23. Juni 1989. Proc. / Сост.Hrsg. W.-M. Lippe, 1989. - IX, 290 S. 290 S. - Текст : непосредственный.Software engineering : Papers presented at the conf. achieving software quality,software development environments and knowledge based systems, held in London,June 1988, 1988. - VIII,278 p. p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽