ГПНТБ России - Полное описание

Государственная публичная
научно-техническая библиотека России

Основана в 1958 году

Полное описание

Higher order workshop (4 ; 1990 ; Banff(Alberta)). Proceedings of the IV Higher order workshop,Sept.10-14,1990,Banff(Alberta) / Higher order workshop (4 ; 1990 ; Banff(Alberta)) ; Ed. G. Birtwistle. - London [etc.] : Springer, 1991. - 283 p. : ill. - (Workshops in computing). - ISBN 3-540-19660-9. - Текст : непосредственный.
Библиогр. в конце ст
Перевод заглавия: Труды 4-го семинара по высшему порядку, Банфф,1990

ГРНТИ	УДК
50.05.13	004.42(063)

Рубрики:
Программирование для ЭВМ -- Съезды и конференции

Кл.слова (ненормированные): ПРОГРАММИРОВАНИЕ
Доп. точки доступа:
Birtwistle, G.\ed.\

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/23787)

Шифр в сводном ЭК: ef7d16f6002ecd181c829a9a9d5ad0aa

Proceedings of the IV Higher order workshop,Sept.10-14,1990,Banff(Alberta) / Higher order workshop (4 ; 1990 ; Banff(Alberta)) , 1991. - 283 p. - Текст : непосредственный.

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Z user workshop,Oxford 1990 : Proc.of the 5 annu.Z user meet.,Oxford 17-18 Dec. 1990 / Ed. J. E. Nicholls, 1991. - IX,387 p. p. - Текст : непосредственный.Persistent object systems : Proc.of the 3 Intern.workshop, 10-13 Jan, 1989, Newcastle / ed.: J. Rosenberg, D. Koch, 1990. - XVII, 408 p. 408 p. - Текст : непосредственный.Z user workshop : Proc.of the 4th annu. Z user meeting, Oxford, 15 Dec.1989 / Ed. J. E. Nicholls, 1990. - VIII,277 p. p. - Текст : непосредственный.Proceedings of the IV Higher order workshop,Sept.10-14,1990,Banff(Alberta) / Higher order workshop (4 ; 1990 ; Banff(Alberta)) , 1991. - 283 p. - Текст : непосредственный.Semantics for concurrency : Proc. of the intern. BCS-FACS workshop 23-25 July 1990 Leicester / Ed. M. Z. Kwiatkowska, 1990. - VIII, 346 p. 346 p. - Текст : непосредственный.Formal methods for trustworthy computer systems(FM 89) : Rep.from FM 89A workshop on the assessment of formal methods for trustworthy computer systems, July 23-27, 1989, Halifax / сост.ed. D. Craigen, 1990. - VI,248 p. p. - Текст : непосредственный.AI and cognitive science'90 : Proc. of 3rd Irish conf. on artificial intelligence and cognitive science, 20-21 Sept. 1990, Ulster / сост.ed. M. F. McTear, сост.ed. N. Creaney, 1991. - XV, 392 p. 392 p. - Текст : непосредственный.Proceedings of the 4th Refinement workshop,9-11 Jan.1991,Cambridge / Refinement workshop (4 ; 1991 ; Cambridge,Ma.) , 1991. - VIII,478 p. p. - Текст : непосредственный.Security and persistence : Proc.of the intern.workshop on computer architecture to support security and persistence of information, Bremen, May 8-11,1990 / сост.ed. J. Rosenberg, сост.ed. J. L. Keedy, 1990. - 394 p. - Текст : непосредственный.Functional programming : Proc.of the 1989 Glasgow workshop, Aug.21-23, 1989, Fraserburgh / Ed.: K. Davis, J. Hughes, 1990. - 409 p. - Текст : непосредственный.Security for object-oriented systems : Proc.of the OOPSLA-93 conf.workshop on security for object-oriented systems,Washington(DC),26 Sept.1993 / ed. B. Thuraisingham, 1994. - VI,234 p. p. - Текст : непосредственный.Specification and verification of concurrent systems : Papers presented at the BCS-FACS workshop on specification and verification of concurrent systems, 6-8 July 1988, Stirling / Workshop on specification and verification of concurrent systems (1988; Stirling), 1990. - VIII, 612 p. мкф. - Текст : непосредственный.

Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный.Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный.Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный.Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный.Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный.Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный.Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный.Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный.Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный.Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный.Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный.Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный.Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный.Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.

Показать все результаты

2009 GEC summit. World summit on genetic and evolutionary computation : материалы временных коллективов, 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.GECCO 2009. Genetic and evolutionary computation conference : материалы временных коллективов, 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Programming and mathematical method : материалы временных коллективов / Ed. M. Broy, 1992. - VIII,407 p. p. - Текст : непосредственный.Automata,Languages and programming : материал технической информации / Ed. J. Diaz, 1983. - VIII,733 p. p. - Текст : непосредственный.Cognitive models and intelligent environments for learning programming : материалы временных коллективов / Ed. E. Lemut, 1993. - 305 p. - Текст : непосредственный.Rewriting techniques and applications : материалы временных коллективов / Ed. R. V. Book, 1991. - 458 p. - Текст : непосредственный.Conditional and typed rewriting systems : материалы временных коллективов / Ed.: S. Kaplin, M. Okada, 1991. - X,461 p. p. - Текст : непосредственный.Genetic programming / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Agile processes in software engineering and extreme programming / SpringerLink (Online service), 2009 r=on-line The programming and proof system ATES : сборник научных трудов / Ed. A. Puccetti, 1991. - 341 p. - Текст : непосредственный.Multiparadigm programming in Mozart/Oz / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Logic for programming, artificial intelligence, and reasoning / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Genetic programming / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Applications of declarative programming and knowledge management / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Logic based program synthesis and transformation / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Технологии Microsoft в теории и практике программирования : материалы временных коллективов, 2006. - 151 с. - Текст : непосредственный.

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Показать все результаты

Proceedings of the IV Higher order workshop,Sept.10-14,1990,Banff(Alberta) / Higher order workshop (4 ; 1990 ; Banff(Alberta)) , 1991. - 283 p. - Текст : непосредственный.

Заказ фрагмента документа ₽