Приложение
для AndroidПолное описание
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. - Berlin[etc.] : Springer, 1993. - 501 p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n656). - ISBN 3-540-56393-8 : 30000 р. - Текст : непосредственный.
Библиогр.в конце статей
| ГРНТИ | УДК | |
| 50.05.13 | 004.415.5(062) |
Рубрики:
Программы для ЭВМ -- Верификация -- Съезды и конференции
Доп. точки доступа:
Rusinowitch, M.\ed.by\
Remy, J.L.\ed.by\
Имеются экземпляры в отделах: всего 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. - Текст : непосредственный.
Показать все результатыСистема автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Описание утилит передачи данных. Гл.5 / ВЦП. - 197 c. - Текст : непосредственный.Руководство для системного программиста станции программирования MIT 4020 / ВЦП. - 83 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Транслятор с языка пл/1. По материалам фирмы Сименс. Немецко-русский глоссарий 14 / ВЦП. - 29 c. - Текст : непосредственный.
Показать все результатыProceedings of the 2nd symposium on ..,held in New Orleans(La),May 27-29,1992 / Symposium on assessment of quality software development tools (2 ; 1992 ; New Orleans,La) , 1992. - VIII,320 p. 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. - Текст : непосредственный.Types for proofs and programs : Intern.workshop TYPES'93,Nijmegen,The Netherlands,May 24-28 1993:Sel.papers / TYPES'93, 1994. - 383 p. - Текст : непосредственный.Software certification : Proc.of the Centre for software reliability conf., Gatwick, 13-16 Sept.1988 / сост.ed. B. De Neumann, 1989. - IX,170 p. p. - Текст : непосредственный.Approwing software products : Proc. of the IFIP WG 5.4 working conf. on approving software products (ASP-90) Garmisch-Partenkirchen, 17-19 Sept. 1990 / ASP-90, 1990. - IX, 353 p. 353 p. - Текст : непосредственный.International conference on product focused software process improvement,Oulu,June 22-24,1999 / International conference on product focused software process improvement (1999 ; Oulu) , 1999. - 662,4 p. p. - Текст : непосредственный.SPIN model checking and software verification : 7th Intern. SPIN workshop, Stanford(Ca), Aug.30 - Sept.1, 2000Proc. / Ed. K. Havelund, 2000. - X,342 p. p. - Текст : непосредственный.Static analysis : 7th intern. symp., SAS 2000, Santa Barbara(Ca), USA, June 29-July 1, 2000Proc. / SAS 2000, 2000. - VIII,432 . . - Текст : непосредственный.Product focused software process improvement : Second intern. conf., PROFES 2000, Oulu, Finland, June 20-22, 2000Proc. / PROFES 2000, 2000. - XI,426 p. p. - Текст : непосредственный.Всесоюзный научно-технический семинар "Качество программных средств" : Тез. докл. / "Качество программных средств",всесоюзный науч.-технический семинар (1990 ; Калинин) , 1990. - 92 с. - Текст : непосредственный.Методы повышения качества программного обеспечения : Материалы семинара 2-7 июля 1990 г. / Институт автоматики и процессов упр. (Владивосток), 1990. - 78 с. - Текст : непосредственный.Proceedings of the second Asia-pacific conference on quality software, Hong Kong, Dec.10-11, 2001 / APAQS 2001, 2001. - XV, 446 p. 446 p. - Текст : непосредственный.2001 IEEE international symposium on performance analysis of systems and software, Tucson(Az), Nov.4-6, 2001 / ISPASS 2001, 2001. - X, 185 p. 185 p. - Текст : непосредственный.Automatic verification methods for finite state systems : Proc.of the intern.workshop on automatic verification methods for finite state systems, June 12-14, 1989, Grenoble / Ed.: J.Sifakis, 1990. - VII,382 p. - Текст : непосредственный.Hardware and software, verification and testing : second International Haifa verification conference, HVC 2006, Haifa, Israel, October 23-26, 2006: revised selected papers / ed. E. Bin [et al.], 2007 r=on-line.Verification, model checking, and abstract interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007: proceedings / ed.: B. Cook, A. Podelski, 2007 r=on-line.Requirements engineering: foundation for software quality : 13th International working conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007: proceedings / ed. P. Sawyer [et al.], 2007 r=on-line.Automated technology for verification and analysis : 5th International symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007: proceedings / ed. K. Namjoshi [et al.], 2007 r=on-line.Types for proofs and programs : international conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007: revised selected papers / ed. M. Miculan [et al.], 2008 r=on-line.Requirements engineering: foundation for software quality : 14th International working conference, REFSQ 2008 Montpellier, France, June 16-17, 2008: proceedings / ed.: B. Paech, C. Rolland, 2008 r=on-line.
Показать все результатыЗаказ фрагмента документа ₽