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

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

blank
blank
blank
Красота
blank
Ottmann T. — Automata, Languages and Programming, 14 conf., ICALP87
Ottmann T. — Automata, Languages and Programming, 14 conf., ICALP87

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

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



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


Название: Automata, Languages and Programming, 14 conf., ICALP87

Автор: Ottmann T.

Аннотация:

This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer science and cover topics such as algorithms and data structures, automata and formal languages, computability and complexity theory, semantics of programming languages, program specification, transformation and verification, theory of data bases, logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics. The authors are young scientists and leading experts in these areas.


Язык: en

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Aalbersberg, I.J.      250
Aggarwal, A.      467
Alt, H.      479
Baeten, J.C.M.      84
Barrington, D.A.      163
Beaudry, M.      542
Beauquier, D.      174
Boucher, A.      95
Cai, J.      394
Choffrut, C.      190
Chrobak, M.      304
Chytil, M.P.      260
Demner, J.      260
Diekert, V.      42
Dietzfelbinger, M.      457
Diks, K.      304
Duboc, C.      190
Dybjer, P.      21
Edelsbrunner, H.      364
Finkel, A.      499
Gambosi, G.      404
Gerth, R.      95
Graf, S.      115
Hafer, T.      269
Hagerup, T.      304
Hoelldobler, S.      31
Hoogeboom, H.J.      250
Howell, R.R.      509
Hsiang, J.      54
Ibarra, O.H.      550
Jenner, B.      531
Jiang, T.      550
Johnson, J.H.      202
Josko, B.      280
Karhumaeki, J.      136
Kirsig, B.      531
Kreowski, H.-J.      521
Krishnaprasad, T.      336
Kuich, W.      212
Landau, G.M.      314
Lange, K.-J.      531
Larsen, K.G.      126
Levcopoulos, C.      376
Li, M.      326
Lingas, A.      376
Lodaya, K.      290
Marchetti-Spaccamela, A.      445
Mehlhorn, K.      479
Metivier, Y.      226
Meyer, G.E.      394
Milner, R.      126
Miyano, S.      425
Mueller, N.Th.      435
Naeher, S.      479
Nait Abdallah, M.A.      11
Narayana, K.T.      72
Nesetril, J.      404
Paz, A.      386
Pin, J.E.      237
Pitassi, T.      72
Pitt, L.      1
Ramakrishnan, I.V.      336
Ramesh, R.      336
Rosier, L.E.      509
Rote, G.      364
Rusinowitch, M.      54
Sack, J.-R.      376
Santoro, N.      347
Schieber, B.      314
Schnorr, C.P.      386
Schwartz, J.T.      357
Sharir, M.      357
Shyamasundar, R.K.      72
Sifakis, J.      115
Smith, C.H.      1
Talamo, M.      404
Therien, D.      163
Thiagarajan, P.S.      290
Thomas, W.      269
Tsakalidis, A.K.      489
Urrutia, J.      347
Valiant, L.G.      563
van Glabbeek, R.J.      84
van Leeuwen, J.      347
Vercellis, C.      445
Verma, R.M.      336
Vishkin, U.      314
Vitter, J.S.      467
Welzl, E.      364
Yesha, Y.      326
Zaks, S.      347
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте