Полное описание
Deductive program design : proc.of the NATO advanced study inst.on deductive program design,held in Marktoberdorf,July 26-Aug.7,1994 / Ed. M. Broy ; сост.ed. M. Broy. - Berlin [etc.] : Springer, 1996. - VIII,467 p. p. : ill. - (NATO ASI(advanced science institutes)series. Ser.F, Computer and systems sciences ; vol.152). - ISBN 3-540-60947-4. - Текст : непосредственный.
ГРНТИ УДК 50.05.03 004.42.047(063)
Рубрики: Программирование для ЭВМ логическое -- Съезды и конференции
Кл.слова (ненормированные): ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Доп. точки доступа: Broy, M.\ed.\
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/14525/152)
Шифр в сводном ЭК: 83fea8c8aed494d661de397e9d50765c
Programming and mathematical method : материалы временных коллективов / Ed. M. Broy, 1992. - VIII,407 p. p. - Текст : непосредственный. Брой М. Информатика. Основополагающее введение : Пер. с нем.:В 4-х ч. Ч. 2 : Вычислительные структуры и машинно-ориентированное программирование, 1996. - 224 с. - Текст : непосредственный. Model-based testing of reactive systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Брой, М. Информатика. Основополагающее введение : Пер. с нем.:В 4-х ч. Ч. 4 : Теоретическая информатика, алгоритмы и структуры данных, логическое программирование, объектная ориентация, 1998. - 237 с. - Текст : непосредственный. 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. - Текст : непосредственный. NATO science series. Sub-ser.II, Mathematics, physics and chemistry. Vol. 195 : Engineering theories of software intensive systems : proc. of the NATO advanced study inst. on eng. theories of software intensive systems, 3-15 Aug., 2004, Marktoberdorf / NATO advanced study institute on engineering theories of software intensive systems (2004; Marktoberdorf), 2005. - 404 p. - Текст : непосредственный. Programming concepts and methods : Proc. of the IFIP working group 2.2/2.3 working conf. on programming concepts and methods Sea of Galilee, Israel, 2-5 Apr., 1990 / Ed.: M. Broy, C. B. Jones, 1990. - VIII,581 p. p. - Текст : непосредственный. Model-driven development of reliable automotive services : second Automotive software workshop, ASWSD 2006, San Diego, Ca, USA, March 15-17, 2006: revised selected papers / ed. M. Broy, 2008 r=on-line. - Текст : электронный. Deductive program design : Proc.of the NATO advanced study inst.on deductive program design,held in Marktoberdorf,July 26-Aug.7,1994 / Ed. M. Broy, 1996. - VIII,467 p. p. - Текст : непосредственный. Брой М. Введение в информатику : Сб.задач:Структурир.собрание упражнений с образцами решений:Пер.с нем. / М.Брой,Б.Румпе, 2000. - 374 с. - Текст : непосредственный. Informatik und Mathematik / hrsg. M. Broy, 1991. - XIV, 540 p. 540 p. - Текст : непосредственный. Calculational system design : Proc.of the NATO Advanced inst.on calculational system design,Marktoberdorf,Germany,28 July-9 Aug.1998 / Ed.: M. Broy, R. Steinbruggen, 1999. - ix,507 p. p. - Текст : непосредственный. Broy M. Zur Alkoholyse substituierter Oxiranylium-Radikalkationen : Diss. / M.Broy, 1993. - X,173 S. S. - Текст : непосредственный. Constructive methods in computing science : Proc.of the NATO advanced study on constructivity.. Marktoberdorf, Jul.24 - Aug.5, 1988 / ed. M. Broy, 1989. - 478 p. - Текст : непосредственный. Methods of programming : Selected papers of the CIP-project / сост.ed. M. Broy, сост.ed. M. Wirsing, 1991. - XII,268 p. p. - Текст : непосредственный. Брой, М. Информатика. Основополагающее введение : Пер. с нем.:В 4-х ч. Ч. 3 : Структуры систем и системное программирование, 1996. - 223 с. - Текст : непосредственный. Automotive software- connected services in mobile networks : 1st automotive software workshop, ASWSD 2004, San Diego, Ca, USA, January 10-12, 2004: revised selected papers / SpringerLink (Online service), 2006 r=on-line Показать все результаты Fractal image encoding and analysis : сборник / Ed. Y. Fisher, 1998. - XIII,368 p. p. - Текст : непосредственный. Active perception and robot vision : материалы временных коллективов / Ed.: A. K. Sood, H. Wechsler, 1992. - IX,756 p. p. - Текст : непосредственный. Adaptive learning environments : материалы временных коллективов / Ed.: M. Jones, P. H. Winne, 1992. - VIII,408 p. p. - Текст : непосредственный. Cognitive modelling and interactive environments in language learning : материалы временных коллективов / Ed. F. L. Engel, 1992. - IX,310 p. p. - Текст : непосредственный. Programming and mathematical method : материалы временных коллективов / Ed. M. Broy, 1992. - VIII,407 p. p. - Текст : непосредственный. Hypermedia courseware:structures of communication and intelligent help : материалы временных коллективов / Ed. A. Oliveira, 1992. - X,239 p. p. - Текст : непосредственный. Interactive multimedia learning environments : материалы временных коллективов / Ed. M. Giardina, 1992. - VI,254 p. p. - Текст : непосредственный. New directions in educational technology : материалы временных коллективов / Ed.: E. Scanlon, T. O'Shea, 1992. - 251 p. - Текст : непосредственный. Multisensor fusion for computer vision : материалы временных коллективов / Comp. J. K. Aggarwal, 1993. - X,456 p. p. - Текст : непосредственный. Communication from an artificial intelligence perspective : материалы временных коллективов / Ed. A. Ortony, 1992. - XI,269 p. p. - Текст : непосредственный. Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный. Software for parallel computation : материалы временных коллективов / Ed.: J. S. Kowalik, L. Grandinetti, 1993. - 363 p. - Текст : непосредственный. Concurrent engineering:Tools and technologies for mechanical system design : материалы временных коллективов / Ed. E. J. Haug, 1993. - 998 p. - Текст : непосредственный. Advanced educational technology in technology education : сборник научных трудов / Ed. A. Gordon, 1993. - 251 p. - Текст : непосредственный. Cognitive models and intelligent environments for learning programming : материалы временных коллективов / Ed. E. Lemut, 1993. - 305 p. - Текст : непосредственный. Learning electricity and electronics with advanced educational technology : материалы временных коллективов / Сост. M. Caillot, 1993. - 329 p. - Текст : непосредственный. Foundations of secure computation : материалы временных коллективов / Ed.: F. L. Bauer, R. Steinbruggen, 2000. - IX,319 p. p. - Текст : непосредственный. Knowledge acquisition,organization,and use in biology : сборник / Ed.: K. M. Fisher, M. R. Kibby, 1996. - VII,245 p. p. - Текст : непосредственный. Cooperation: game-theoretic approaches : Proc.of the NATO Advanced study inst.on cooperation:game-theoretic approaches, held at SUNY, Stony Brook,New York,July 18-29,1994 / сост.ed. S. Hart, сост.ed. A. Mas-Colell, 1997. - VIII,328/7/ p. p. - Текст : непосредственный. Logic of computation : Proc.of the NATO Advanced study inst.on logic of computation, held in Marktoberdorf, Germany,July 25-Aug.6,1995 / Ed. H. Schwichtenberg, 1997. - VI,394,/8/ p. p. - Текст : непосредственный. Показать все результаты Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Иванов Б.Н. Дискретная математика. Алгоритмы и программы / Б. Н. Иванов, 2003. - 288 с. - Текст : непосредственный. Herczeg J. Methoden und Werkzeuge zur visuellen objektorientierten Programmierung / J. Herczeg, 1995. - 218 S. - Текст : непосредственный. Калверт Ч. Программирование в Windows. Освой самостоятельно за 21 день : монография / Ч. Калверт, 1995. - 495 c. - Текст : непосредственный. Петухин В.А. Анализ логических программ и компиляция языка Флэнг : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / В. А. Петухин, 1993. - 13 с. - Текст : непосредственный. Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный. Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный. Eckgold F. Systemprogramierung OS/2 2.x : монография / F. Eckgold, 1993. - XV,959 p. p. - Текст : непосредственный. Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный. Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный. Middeldorp A. Counterexamples to completeness results for basic narrowing / A. Middeldorp, E. Hamoen, 1991. - 44 p. - Текст : непосредственный. On the adequacy of graph rewriting for simulating term rewriting / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.-J. de Vries, 1992. - 18 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. - Текст : непосредственный. Transfinite reductions in orthogonal term rewriting systems (extended abstract) / J. R. Kennaway, J. W. Klop, M. R. Sleep, F. J.de Vries, 1990. - 16 p. - Текст : непосредственный. infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 12 p. - Текст : непосредственный. Transfinite reductions in orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 48 p. - Текст : непосредственный. Middeldorp A. Completeness of combinations of constructor systems / A. Middeldorp, Y. Toyama, 1990. - 18 p. - Текст : непосредственный. Показать все результаты Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный. Algebraic and logic programming : материалы временных коллективов / Ed.: H. Kirchner, W. Wechler, 1990. - 386 p. - Текст : непосредственный. Programming language implementation and logic programming : материал технической информации / Ed.: P. Decansant, J. Maluszynski, 1990. - VIII,401 p. p. - Текст : непосредственный. Programming language implementation and logic programming : материалы временных коллективов / Ed.: J. Maluszynski, M. Wirsing, 1991. - 433 p. - Текст : непосредственный. Recent advances in constraints / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Functional and logic programming / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный. Logic programming : 25th international conference, ICLP 2009, Pasadena, Ca, USA, July 14-17, 2009: proceedings / ed. P. Hill, 2009 r=on-line. - Текст : электронный. Recent advances in constraints : 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008, Rome, Italy, June 18-20, 2008: revised selected papers / ed. A. Oddi, 2009 r=on-line. - Текст : электронный. Programming language implementation and logic programming : 6th intern.symp.,PLILP'94,Madrid,Sept.14-16 1994:Proc. / PLILP'94, 1994. - XII,468 p. p. - Текст : непосредственный. Algebraic and logic programming : 4th intern.conf.,ALP'94,Madrid,Sept.14-16 1994:Proc. / ALP'94, 1994. - VIII,304 p. p. - Текст : непосредственный. Inductive logic programming : 19th International conference, ILP 2009, Leuven, Belgium, July 02-04, 2009: revised papers / ed. L. Raedt, 2010 r=on-line. - Текст : электронный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
