Приложение
для AndroidПолное описание
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Industrial applications of ASF+SDF / M.van den Brand, A.van Deursen, P. Klint, A. S. Klusener, 1996. - 11 p. - Текст : непосредственный.Klint P. meta-environment for generating programming environments / P. Klint, 1990. - 22 p. - Текст : непосредственный.Klint P. Lazy scanner generation for modular regular grammars / P. Klint, 1991. - 18 p. - Текст : непосредственный.
Efficient annotated terms / M.G.J.van denBrand,H.A. de Jong,P.Klint,P.A.Oliver, 2000. - 26 p. - Текст : непосредственный.Compiling language definitions: the ASF+SDF compiler / M.G.J.van den Brand,J.Heering,P.Klint,P.A.Oliver, 2000. - 37 p. - Текст : непосредственный.Deursen A.van Validating year 2000 compliance / A.van Deursen,P.Klint,A.Sellink, 1997. - 55 p. - Текст : непосредственный.Heering J. Lazy and incremental program generation : Rev.version / J.Heering,P.Klint,J.Rekers, 1991. - 12 p. - Текст : непосредственный.Deursen A. van Domain-specific languages / A. van Deursen,P.Klint,J.M.W.Visser, 2000. - 13 p. - Текст : непосредственный.Deursen A.van Little languages: little maintenance? / A.van Deursen,P.Klint, 1997. - 17 p. - Текст : непосредственный.Jong H.A. de Generation of abstract programming interfaces from syntax definitions / H.A. de Jong,P.A.Olivier, 2002. - 23 p. - Текст : непосредственный.Brand M.G.van den Pretty-printing within the ASF+SDF Meta-Environment: a generic approach / M.G.van den Brand,M.de Jonge, 1999. - 18 p. - Текст : непосредственный.Brand M.G.van den Compilation and memory management for ASF+SDF / M.G.van den Brand,P.Klint,P.Olivier, 1999. - 15 p. - Текст : непосредственный.Deursen A.van Research issues in the renovation of legacy systems / A.van Deursen,P.Klint,C.Verhoef, 1999. - 18 p. - Текст : непосредственный.Heering J. Semantics of programming languages: a tool-oriented approach / J.Heering,P.Klint, 1999. - 12 p. - Текст : непосредственный.Deursen A.van Origin tracking / A.van Deursen,P.Klint,F.Tip, 1992. - 48 p. - Текст : непосредственный.Brand M.G.J. Term rewriting with traversal functions / M.G.J.Brand,P.Klint,J.J.Vinju, 2001. - 35 p. - Текст : непосредственный.Deursen A.van Domain-specific language design requires feature descriptions / A.vanDeursen,P.Klint, 2001. - 20 p. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Orzan S.M. Distributing requirements specifications on Basic Splice / S. M. Orzan, 2001. - 14 p. - Текст : непосредственный.Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный.Bragt D.D.B.van Equilibrium selection in alternating-offers bargaining models - the evolutionary computing approach / D. D.B.van Bragt, E. H. Gerding, J. A. La Poutre, 2000. - 25 p. - Текст : непосредственный.Pang J. Analysis of a security protocol in uCRL / J. Pang, 2002. - 26 p. - Текст : непосредственный.Deursen A. van Fature-based product line instantation using source-level packages / A. van Deursen, M. de Jonge, T. Kuipers, 2002. - 16 p. - Текст : непосредственный.Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный.Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный. Shahroudi K.E. Design by continuous collaboration between manual and automatic optimization / K. E. Shahroudi, 1997. - 14 p. - Текст : непосредственный.Zavattaro G. On the incomparability of Gamma and Linda / G. Zavattaro, 1998. - 12 p. - Текст : непосредственный.Arbab F. Coordination of heterogeneous distributed cooperative constraint solving / F. Arbab, E. Monfroy, 1998. - 25 p. - Текст : непосредственный.transition system semantics for the control-driven coordination language MANIFOLD / M. M. Bonsangue, F. Arbab, J.W. de Bakker, J. J.M.M. Ritten, 1998. - 38 p. - Текст : непосредственный.Groote J.F. complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J. F. Groote, S. P. Luttik, 1998. - 12 p. - Текст : непосредственный.Kemenade C.H.M.van Density-based unsupervised classification for remote sensing / C. H.M.van Kemenade, J. A. La Poutre, R. J. Mokken, 1998. - 21 p. - Текст : непосредственный.Deursen A.van Type inference for COBOL systems / A.van Deursen, L. Moonen, 1998. - 12 p. - Текст : непосредственный.Deursen A.van Identifying objects using cluster and concept analysis / A.van Deursen, T. Kuipers, 1998. - 19 p. - Текст : непосредственный.Groote J.F. Analysis of three hybrid systems in timed uCRL / J. F. Groote, 1998. - 24 p. - Текст : непосредственный.Mulder J.D. survey of computational steering environments / J. D. Mulder, J. J.van Wijk, R.van Liere, 1998. - 13 p. - Текст : непосредственный.Mulder J.D. Pixel masks for screen-door transparency / J. D. Mulder, F. C.A. Groen, J. J.van Wijk, 1998. - 15 p. - Текст : непосредственный.Mulder J.D. Computational steering in the CAVE / J. D. Mulder, R.van Liere, J. J.van Wijk, 1998. - 9 p. - Текст : непосредственный.
Показать все результатыБаженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный.Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный.Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный.Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный.Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный.Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный.Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный.Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный.Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный.MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный.Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный.Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный.Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный.Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный.Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный.Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный.Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный.Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный.
Показать все результатыОчков В.Ф. Этюды на языках QBasic QuckBasic Basic Compiler / В. Ф. Очков, М. А. Рахаев, 1995. - 367 c. - Текст : непосредственный.Ada compiler validation summary report: certificate number: 880613W.1.09062 MIPS computer systems MIPS/VADS, version 1.30 MIPS M/1000 : доклад, тезисы доклада, 1989. - Pag.var. мкфш. - Текст : непосредственный.Ada compiler validation summary report: certificate number: 880728S1.09141 DDC-I, Inc.DACS-386/UNIX, version 4.2 ICL DRS 300 : доклад, тезисы доклада, 1989. - Pag.var. мкфш. - Текст : непосредственный.Program analysis and compilation, theory and practice / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Breslauer D. Tight comparison bounds for the string prefix-matching problem / D. Breslauer, L. Colussi, L. Toniolo, 1992. - 7 p. - Текст : непосредственный.Capon P.C. Compiler engineering using Pascal / P. C. Capon, P. J. Jinks, 1988. - X,214 p. p. - Текст : непосредственный.Towards a complete transformational toolkit for compilers / J. A. Bergstra, T. B. Dinesh, J. Field, J. Heering, 1996. - 53 p. - Текст : непосредственный.Eker S.M. A comparison of OBJ3 and ASF+SDF / S. M. Eker, 1992. - 24 p. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Компиляторы: принципы, технологии и инструментарий / А. В. Ахо, М. С. Лам, Р. Сети, Д. Д. Ульман, 2015. - 1175 с. - Текст : непосредственный.Очков В.Ф. Этюды на языках QBasic QuckBasic Basic Compiler / В. Ф. Очков, М. А. Рахаев, 1995. - 367 c. - Текст : непосредственный.Compiler construction / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Трошина Е.Н. Исследование и разработка методов декомпиляции программ / Е. Н. Трошина, 2009. - 24 с. - Текст : непосредственный.Ada compiler validation summary report: certificate number: 880613W.1.09062 MIPS computer systems MIPS/VADS, version 1.30 MIPS M/1000 : доклад, тезисы доклада, 1989. - Pag.var. мкфш. - Текст : непосредственный.Ada compiler validation summary report: certificate number: 880728S1.09141 DDC-I, Inc.DACS-386/UNIX, version 4.2 ICL DRS 300 : доклад, тезисы доклада, 1989. - Pag.var. мкфш. - Текст : непосредственный.Program analysis and compilation, theory and practice / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Compiler construction / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Compiler construction / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Compiler construction / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Crespi Reghizzi R.S. Formal languages and compilation / R. S. Crespi Reghizzi, 2009 r=on-line. - Текст : электронный.Breslauer D. Tight comparison bounds for the string prefix-matching problem / D. Breslauer, L. Colussi, L. Toniolo, 1992. - 7 p. - Текст : непосредственный.Capon P.C. Compiler engineering using Pascal / P. C. Capon, P. J. Jinks, 1988. - X,214 p. p. - Текст : непосредственный.Towards a complete transformational toolkit for compilers / J. A. Bergstra, T. B. Dinesh, J. Field, J. Heering, 1996. - 53 p. - Текст : непосредственный.Компиляторы. Принципы, технологии и инструментарий : монография / А. В. Ахо, М. С. Лам, Р. Сетти, Д. Д. Ульман, 2008. - 1175 с. - Текст : непосредственный.Eker S.M. A comparison of OBJ3 and ASF+SDF / S. M. Eker, 1992. - 24 p. - Текст : непосредственный.Compiler construction / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Stevanovic M. Advanced C and C++ Compiling / M. Stevanovic, 2014 r=on-line. - Текст : электронный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽