Приложение
для AndroidПолное описание
Automata, languages and programming : proc.of the 17th intern. colloquium, Warwick univ., July 16-20, 1990 / сост.ed. M. S. Paterson. - Berlin[etc.] : Springer, 1990. - 780 p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n443). - ISBN 3-540-52826-1 : 39.30 р. - Текст : непосредственный.
Библиогр.в конце ст.
| ГРНТИ | УДК | |
| 28.25 | 519.713(062) | |
| 50.05.09 | 004.43(062) | |
| 50.05.13 | 004.42(062) |
Рубрики:
Автоматов теория -- Съезды и конференции
Программирования языки -- Съезды и конференции
Программирование для ЭВМ -- Съезды и конференции
Кл.слова (ненормированные): автомат -- язык программирования -- программирование
Доп. точки доступа:
Paterson, M.S.\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. - Текст : непосредственный.
Показать все результатыСистема автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.Взгляд в Turbo. Первое знакомство с Turbo Pascal 6.0 / ВЦП. - 5 с. - Текст : непосредственный.Язык со зрительным восприятием / ВЦП. - 13 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 168 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 154 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 140 с. - Текст : непосредственный.Руководство по программированию на языке WIZARD / ВЦП. - 133 с. - Текст : непосредственный.Светло-темная структура интерференционных линий Косселя и анализ кристаллической структуры /II/ / ТПП УССР. - 37 c. - Текст : непосредственный.Руководство по языку системы Clarion / ВЦП. - 308 c. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Дао Нам Ань.Автоматизация процесса построения компиляторов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань, 1991. - 12 с. - Текст : непосредственный.Зевина С.Г. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Г. Зевина, 1991. - 19 с. - Текст : непосредственный.Вдовкин С.В. Методы обработки структурированных объектов и операций над ними на МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени дис.канд.техн.наук:05.13.11 / С. В. Вдовкин, 1990. - 15 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Иванова Е.А. Синтез корректных алгоритмов типа вычисления оценок : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / Е. А. Иванова, 1991. - 15 с. - Текст : непосредственный.Иванов В.В. Исследование и расширение возможностей системы программирования muLISP : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / В. В. Иванов, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Кожевникова Г.П. Методы сборочно-конкретизирующего анализа вычислительной сложности алгоритмов и их приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / Г. П. Кожевникова, 1991. - 33 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.
Показать все результаты1992 IEEE workshop on visual languages,Sept.15-18,1992,Seattle : Proc. / Workshop on visual languages (1992 ; Seattle,Wa) , 1992. - X,276 p. p. - Текст : непосредственный.Proceedings of the 1990 IEEE workshop on visual languages,Oct.4-6,1990,Skokie(Il) / Workshop on visual languages (1990 ; Skokie,Il.) , 1990. - IX,247 p. p. - Текст : непосредственный.Cellular automata:theory and experiment : Proc.of a workshop,Sept.9-12,1989,Los Alamos(NM) / Spons.by the Center for nonlinear studies Los Alamos nat.lab., 1991. - XVII,483 p. p. - Текст : непосредственный.Cellular automata and cooperative systems : Proc.of the NATO advanced study inst.on cellular automata and cooperative systems,Les Houches,June 22-July 2,1992 / ed. N. Boccara, 1993. - XVII,546 p. 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. - Текст : непосредственный.Cognitive models and intelligent environments for learning programming : Proc.of the NATO advanced research workshop on cognitive models and intelligent environments for learning programming,March 17-21 1992,Genova / Ed. E. Lemut, 1993. - 305 p. - Текст : непосредственный.Programming and mathematical method : Proc.of the NATO advanced study inst.on programming and mathematical method,held at Marktoberdorf,July 24-Aug.5,1990 / ed. M. Broy, 1992. - VIII,407 p. p. - Текст : непосредственный.Automata,languages and programming : 21st intern.colloquium,ICALP'94,Jerusalem,July 11-14 1994:Proc. / ICALP'94, 1994. - XIII,644 p. p. - Текст : непосредственный.Programming language implementation and logic programming : 6th intern.symp.,PLILP'94,Madrid,Sept.14-16 1994:Proc. / PLILP'94, 1994. - XII,468 p. p. - Текст : непосредственный.Mathematical foundations of programming semantics : 9th intern.conf.,New Orleans(La),Apr.7-10 1993:Proc. / сост.ed. S. Brookes, 1994. - IX,648 p. p. - Текст : непосредственный.Prof and computation : Proc.of the NATO advanced study inst.on Prof and computation,Marktoberdorf,July 20-Aug 1,1993 / Ed. H. Schwichtenberg, 1995. - 470 p. - Текст : непосредственный.Languages,compilers and run-time systems for scalable computers : Papers presented at the 3rd workshop on languages,compilers and run-time systems.. New York,May 1995 / ed.: B. Szymanski, B. Sinharoy, 1996. - XVIII,335 p. p. - Текст : непосредственный.Cellular automata and modeling of complex physical systems : Proc.of the winter school,Les Houches,Feb.21-28,1989 / ed. P. Manneville, 1989. - IX,319 p. p. - Текст : непосредственный.Mathematical methods in program development : Proc.of the NATO Advanced study inst.on math. methods in program development, held in Marktoberdorf,Germany,July 30-Aug.11,1996 / ed.: M. Broy, B. Schieder, 1997. - VIII,528./8/ p. p. - Текст : непосредственный.Automata,Languages and programming : 10th colloquim,Barselona,July 18-22,1983 / сост.ed. J. Diaz, 1983. - VIII,733 p. p. - Текст : непосредственный.Mathematical foundations of programming semantics : Proc. of the 5th Intern. conference, March 29-Apr.1, 1989, New Orleans, La / Ed. M. Main, 1990. - VI, 439 p. 439 p. - Текст : непосредственный.Evolutionary programming V : Proc.of the fifth annu. conf. on evolutionary progr., San Diego(CA), Febr. 29th to Mar.2nd, 1996 / ed. L. J. Fogel, 1996. - viii,488 p. p. - Текст : непосредственный.The programming and proof system ATES / сост.ed. A. Puccetti, 1991. - 341 p. - Текст : непосредственный.1988 IEEE workshop on visual languages,Oct.10-12,1988,Pittsburgh(Pa) / Workshop on visual languages (1988 ; Pittsburgh,Pa) , 1988. - VIII,256 p. p. - Текст : непосредственный.Papers presented at the 2nd conference on cellular automata for research and industry held in Milan, 16-18 Oct.1996 / ACRI, 1999. - 172 p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽