Приложение
для AndroidПолное описание
Zwaang, M. B.van der Time-stamped actions in pCRL algebras / M.B.van derZwaang. - Amsterdam : [s. n.], 2000. - 13 p. : ill. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R0002). - 10.00 р. - Текст : непосредственный.
Библиогр.:с.13
| ГРНТИ | УДК | |
| 50.05.09 | 004.432.4 |
Рубрики:
Программирования языки
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Shahroudi K.E. Design by continuous collaboration between manual and automatic optimization / K.E.Shahroudi, 1997. - 14 p. - Текст : непосредственный.Shahroudi K.E. Aircraft conceptual design by collaborative manual and automatic agents / K.E.Shahroudi, 1997. - 8 p. - Текст : непосредственный.Shahroudi K.E. Flipping the analytical coin: closing the information flow loop in high speed (real time) analysis / K.E.Shahroudi, 1997. - 11 p. - Текст : непосредственный.Deursen A.van Little languages: little maintenance? / A.van Deursen,P.Klint, 1997. - 17 p. - Текст : непосредственный.Everaars C.T.H. Using coordination to parallelize sparse-grid methods for 3D CFD problems / C.T.H.Everaars,B.Koren, 1997. - 23 p. - Текст : непосредственный.Luttik S.P. Description and formal specification of the Link Layer of P1394 / S.P.Luttik, 1997. - 18 p. - Текст : непосредственный.Wijk J.J.van A model for strategy in constraint solving / J.J.van Wijk, 1997. - 13 p. - Текст : непосредственный.Liere R.van Steering smog prediction / R.van Liere,J.J.vanWijk, 1997. - 9 p. - Текст : непосредственный.Mulder J.D. Parametrizable cameras for 3D computational steering / J.D.Mulder,J.J.van Wijk, 1997. - 9 p. - Текст : непосредственный.Wijk J.J.van Bringing computational steering to the user / J.J.van Wijk,R.vanLiere,J.D.Mulder, 1997. - 14 p. - Текст : непосредственный.Interactive exploration and modeling of large data sets: A case study with Venus light scattering data / J.J.van Wijk,H.J.W.Spoelder,W.J.J.Knibbe,K.E.Shahroudi, 1997. - 6 p. - Текст : непосредственный.Deursen A.van Program plan recognition for year 2000 tools / A.van Deursen,S.Woods,A.Quilici, 1997. - 9 p. - Текст : непосредственный.Deursen A.van Validating year 2000 compliance / A.van Deursen,P.Klint,A.Sellink, 1997. - 55 p. - Текст : непосредственный.Rutten J.J.M.M. Weighted colimits and firmal balls in generalized metric spaces / J.J.M.M.Rutten, 1997. - 23 p. - Текст : непосредственный.Warners J.P. Nonconvex continuous models for combinatorial optimization problems with application to satisfiability and node packing problems / J.P.Warners, 1997. - 18 p. - Текст : непосредственный.Groote J.F. The syntax and semantics of timed uCRL / J.F.Groote, 1997. - 42 p. - Текст : непосредственный.Aceto L. A complete equational axiomatization for MPA with string iteration / L.Aceto,J.F.Groote, 1997. - 30 p. - Текст : непосредственный.A two-level approach to automated conformance testing of VHDL designs / J.R.Moonen,J.M.T.Romijn,O.Sies и др., 1997. - 15 p. - Текст : непосредственный.Lisser B. Specification of components in a proposition solver / B.Lisser,J.J.van Wamel, 1997. - 22 p. - Текст : непосредственный.Fokkink W.J. Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems / W.J.Fokkink,J.F.Kamperman,H.R.Walters, 1997. - 30 p. - Текст : непосредственный.
Показать все результатыВзгляд в Turbo. Первое знакомство с Turbo Pascal 6.0 / ВЦП. - 5 с. - Текст : непосредственный.Язык со зрительным восприятием / ВЦП. - 13 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 168 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 154 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 140 с. - Текст : непосредственный.Руководство по программированию на языке WIZARD / ВЦП. - 133 с. - Текст : непосредственный.Руководство по языку системы Clarion / ВЦП. - 308 c. - Текст : непосредственный.Дао Нам Ань.Автоматизация процесса построения компиляторов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань, 1991. - 12 с. - Текст : непосредственный.Зевина С.Г. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Г. Зевина, 1991. - 19 с. - Текст : непосредственный.Вдовкин С.В. Методы обработки структурированных объектов и операций над ними на МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени дис.канд.техн.наук:05.13.11 / С. В. Вдовкин, 1990. - 15 с. - Текст : непосредственный.Иванов В.В. Исследование и расширение возможностей системы программирования muLISP : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / В. В. Иванов, 1991. - 20 с. - Текст : непосредственный.Плисс О.А. Методы оптимизации при реализации объектно-ориентированных языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / О. А. Плисс, 1992. - 16 с. - Текст : непосредственный.Мансуров Н.Н. Реализация расширенного языка Рефал на односвязной списковой памяти : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров, 1992. - 16 с. - Текст : непосредственный.Турбо Паскаль 4.0/5.0 / ВЦП. - 316 c. - Текст : непосредственный.Операторы языка Natural AG. Раздел 2 / ВЦП. - 184 c. - Текст : непосредственный.Справочное руководство по системе Natural 2 / ВЦП. - 179 c. - Текст : непосредственный.Танев И.Т. Параллельная реализация пролога на базе гетерогенного мультипроцессора с общей памятью : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / И. Т. Танев, 1993. - 12 с. - Текст : непосредственный.Руководство по языку Турбо-Паскаль. Гл.16. Справочник по языку Турбо-Паскаль / ВЦП (Минск). - 159 c. - Текст : непосредственный.Приложения: А - сравнение Турбо-Паскаля 4.0 с АНСИ-Паскалем. В - директивы компилятору. С - справочные материалы. Д - сообщения об оплате и коды / ВЦП (Минск). - 49 c. - Текст : непосредственный.Справочное руководство по языку ПАСКАЛЬ. Гл.16. Разработка программ / ВЦП. - 105 c. - Текст : непосредственный.
Показать все результатыEker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Deursen A.van Specification and generation of -calculus environment / A.van Deursen, 1992. - 17 p. - Текст : непосредственный.Zwaan J. Graphics for ABC / J.Zwaan,R.Zwart, 1992. - 20 p. - Текст : непосредственный.Korver H.P. A theory for simulator tools / H.P.Korver, 1993. - 21 p. - Текст : непосредственный.Bonsangue M. Semantics, orderings and recursion in the weakest precondition calculus / M.Bonsangue,J.N.Kok, 1992. - 58 p. - Текст : непосредственный.Кауфман В.Ш. Языки программирования. Концепции и принципы / В.Ш.Кауфман, 1993. - 431 c. - Текст : непосредственный.Blom C.L. MANIFOLD version 1.0 programming:Programs and problems / C.L.Blom, 1993. - 39 p. - Текст : непосредственный.Вольфенгаген В.Э. Проектирование языков программирования и теория вычислений : Учеб.пособие / В.Э.Вольфенгаген, 1993. - 167 c. - Текст : непосредственный.БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 8, 1993. - 64 с. - Текст : непосредственный.Швайгер А.М. АМГI-структурированный язык описания графической информации : Учеб.пособие / А.М.Швайгер,Т.А.Коваленко, 1993. - 158 c. - Текст : непосредственный.БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 10, 1993. - 64 с. - Текст : непосредственный.Бузюков, Л. Б. Конструирование программ и языки программирования : Учеб.пособие. Ч. 1, 1994. - 71 с. - Текст : непосредственный.БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 9, 1993. - 64 с. - Текст : непосредственный.Amako K. Methodologies,languages and tools:session summary : Summary talk presented at the intern.conf.on computing in high energy physics,San Francisco,Apr.21-27 1994 / K.Amako, 1994. - 10 p. - Текст : непосредственный.БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 11, 1993. - 72 с. - Текст : непосредственный.ВХОД - язык описания исходной информации для ЭВМ / "Гипротис", ин-т (Москва). Вып. 1 : Популярное описание языка, 1971. - 15 с. - Текст : непосредственный.ВХОД - язык описания исходной информации для ЭВМ / "Гипротис", ин-т (Москва). Вып. 2 : Полное описание языка, 1972. - 56 с. - Текст : непосредственный.Кирстен В. От ANS MUMPS к ISO M : М технологии Программирование на М: ступени к совершенству Новейшие элементы языка. Пер. с нем. / В.Кирстен, 1995. - 277 c. - Текст : непосредственный.Klerer M. Design of very high-level computer languages : A user-oriented approach / M.Klerer, 1991. - XIX,228 p. p. - Текст : непосредственный.Персональный компьютер "ZX- spectrum". Языки программирования: Мега-Бейсик, Бета-Бейсик, Лазер-Бейсик, ZX-Форт, Паскаль НР4ТМ, 1994. - 208 c. - Текст : непосредственный.
Показать все результатыБухвалова В.В. DROL - язык спецификации для задач вычислительной геометрии : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. В. Бухвалова, 1995. - 15 с. - Текст : непосредственный.Хмельнов А.Е. Язык FlexT для спецификации бинарных форматов данных : Автореферат диссертации на соискание ученой степени канд.техн.наук: 05.13.11 / А. Е. Хмельнов, 2000. - 17 с. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Functional programming languages and computer architecture : Proc. of the 5th ACM conf. .. Aug. 26-30, 1991, Cambridge / Ed. J. Hughes, 1991. - VIII, 666 p. 666 p. - Текст : непосредственный.Groote J.F. Proof theory for CRL / J.F.Groote,A.Ponse, 1991. - 41 p. - Текст : непосредственный.Теория вычислимости и языки спецификации : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1991. - 192 с. - Текст : непосредственный.Замулин А.В. Algebraic specification language Ruslan 99 / А.В.Замулин, 1999. - 34 p. - Текст : непосредственный.Bate J.St.J. Fourth generation languages under DOS and UNIX / J.St.J.Bate,D.B.Vadhia, 1987. - VI,200 p. p. - Текст : непосредственный.Zwaang M.B.van der Time-stamped actions in pCRL algebras / M.B.van derZwaang, 2000. - 13 p. - Текст : непосредственный.Бакулин А.В. Математическая модель языка спецификации и проектирования программ / А.В.Бакулин, 1991. - 25 с. - Текст : непосредственный.Practical aspects of declarative languages : Second intern. workshop, PADL 2000,Boston(Ma), USA, Jan.17-18 2000Proc. / PADL'00, 2000. - X,323 p. p. - Текст : непосредственный.Implementation of functional languages : 11th intern.workshop, Lochem, Sept.7-10, 1999: Proc. / Ed.: P. Koopman, C. Clack, 2000. - 198 p. - Текст : непосредственный.Технология построения языков спецификаций классов задач, ориентированных на пользователей : автореф. дис. .. д-ра физ.-мат. наук : 05.13.11 / А. А. Москвитин, 2004. - 31 с. - Текст : непосредственный.Practical aspects of declarative languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007: proceedings / ed. M. Hanus, 2007 r=on-line.All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic / M. Clavel [et al.], 2007 r=on-line.Implementation and application of functional languages : 19th International workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007: revised selected papers / ed. O. Chitil [et al.], 2008 r=on-line.Practical aspects of declarative languages : 11th international symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009: proceedings / eds. A. Gill, T. Swift, 2009 r=on-line.Logics of specification languages / eds. D. Bjorner, M. Henson, 2008 r=on-line.Practical aspects of declarative languages : 7th Intern. symp., PADL 2005, Long Beach, Ca, USA, Jan. 10-11, 2005: proc. / ed. : D. Cabeza, M. Hermenegildo, 2005 r=on-line.Implementation and application of functional languages : 16th international workshop, IFL 2004 Lubeck, Germany, September 8-10, 2004: revised selected papers / ed. C. Grelck [et al.], 2005 r=on-line.
Показать все результатыЗаказ фрагмента документа ₽