Приложение
для AndroidПолное описание
Lecture notes in computer science : материалы временных коллективов / ed. G. Goos [et al.]. - Berlin[etc.] : Springer , 19 - . - ISSN 0302-9743. - Текст : непосредственный.
5836 : Implementation and application of functional languages : 20th intern. symp., IFL 2008, Hatfield, UK, Sept. 10-12, 2008 / International symposium on implementation and application of functional languages (20; 2008; Hatfield) ; ed.: S. -B. Scholz, O. Chitil. - rev. sel. papers. - 2011. - X, 291 p. : ill. - Библиогр. в конце докл. Указ.: с. 291. - ISBN 978-3-642-24451-3 : 2994.88 р.
| ГРНТИ | УДК | |
| 50.05.09 | 004.432.42(062) |
Рубрики:
Программирования языки функциональные -- Съезды и конференции
Доп. точки доступа:
Goos, G.\ed.\
Scholz, S.-B.\ed.\
International symposium on implementation and application of functional languages (20 ; 2008 ; Hatfield)
Имеются экземпляры в отделах: всего 2 : ПНТ (1), (1)
Свободны: ПНТ (1), (1)
Копия:
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. - Текст : непосредственный.
Показать все результатыВзгляд в 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. - Текст : непосредственный.
Показать все результаты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. - Текст : непосредственный.Implementation of functional languages : 11th intern.workshop, Lochem, Sept.7-10, 1999: Proc. / Ed.: P. Koopman, C. Clack, 2000. - 198 p. - Текст : непосредственный.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.Implementation and application of functional languages : 17th international workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005 : revised selected papers / eds. A. Butterfield [et al.], 2006 r=on-line.Implementation and application of functional languages : 18th international symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006 : revised selected papers / ed. Z. Horvath [et al.], 2007 r=on-line.Implementation of functional languages : 15th international workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003 : revised, papers / ed. P. Trinde [et al.], 2004 r=on-line.Lecture notes in computer science / ed. G. Goos [et al.]. 6647 : Implementation and application of functional languages : 22nd intern. symp., IFL 2010, Alphen aan den Rijn, Netherlands, Sept. 1-3, 2010 / International symposium on implementation and application (22; 2010; Alphen aan den Rijn), 2011. - X, 217 p. - Текст : непосредственный.Lecture notes in computer science / ed. G. Goos [et al.]. 5836 : Implementation and application of functional languages : 20th intern. symp., IFL 2008, Hatfield, UK, Sept. 10-12, 2008 / International symposium on implementation and application of functional languages (20; 2008; Hatfield), 2011. - X, 291 p. - Текст : непосредственный.
Заказ фрагмента документа ₽