Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Hermenegildo M., Swierstra S.D. — Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... Data Analysis, and Knowledge Orga)
Hermenegildo M., Swierstra S.D. — Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... Data Analysis, and Knowledge Orga)



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... Data Analysis, and Knowledge Orga)

Авторы: Hermenegildo M., Swierstra S.D.

Аннотация:

This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1995

Количество страниц: 476

Добавлена в каталог: 09.02.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Achten, Peter      451
Arenas-Sanchez, Puri      397 453
Barendsen, Erik      189
Buetow, Bernd      81
Burgues, Xavier      455
Chin, Wei-Ngan      223
Colussi, Livio      431
Dawson, Steven      133
Douence, Remi      27
Dovier, Agostino      397
Faffbender, Heinz      63
Fradet, Pascal      27
Franch, Xavier      455
Freire, Juliana      115
Gallagher, John P.      461
Giegerich, Robert      81
Gil-Luezas, Ana      453
Glueck, Robert      259
Hans, W.      457
Hartel, Pieter H.      357
Hatcliff, John      279
Henglein, Fritz      299
Hu, Rui      115
Ida, Tetsuo      97
Itoh, Hidenori      415
Jones, Mark P.      26
Jorgensen, Jesper      259
Kamareddine, Fairouz      45
Khoo, Siau-Cheng      223
Lackner Solberg, Kirsten      169
Leung, Ho-Fung      463
Marchiori, Elena      431
Marchiori, Massimo      431
Marriott, Kim      24
Massey, B.C.      207
McEvoy, Hugh      357
Mehl, Michael      151
Meriste, Merik      459
Middeldorp, Aart      97
Mohnen, Markus      241
Moor, Oege de      1
Mycroft, Alan      169
Nakahara, Koichi      97
Noble, Rob      321
Ohlebusch, Enno      81
Penjam, Jaan      459
Ramakrishnan, C.R.      133
Ramakrishnan, I.V.      133
Rety, Jean-Hugues      380
Rios, Alejandro      45
Runciman, Colin      321
Saenz, F.      457
Saglam, Hueseyin      461
Sands, David      299
Scheidhauer, Ralf      151
Schulte, Christian      151
Schulte, Wolfram      341
Seki, Hirohisa      415
Shimajiri, Yuka      415
Smetsers, Sjaak      189
Swift, Terrance      115
Thesing, Stephan      81
Tick, E.      207
Tong, Bo-Ming      463
Tuijnman, Daniel      341
Vullinghs, Ton      341
Warren, David S.      115
Winkler, St.      457
Wunderwald, Jens E.      465
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте