C73 Conditional Term Rewriting Systems [Text] : 3rd International Workshop,Pont-a-Mousson,France,1992.Proceedings / M.Rusinowitch,J.L.Remy(Eds.). - Berlin;Heidelberg etc. : Springer, 1993. - XI,501 p. - (Lecture Notes in Computer Science;656). - ISBN 3-540-56393-8 : Б. ц.
Кл.слова (ненормированные): Перезаписывающая система -- Труды -- Конференция Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ИО (1) Свободны: ИО (1) |
PARLE'93 Parallel Arhitectures and Languages Europe [Text] : 5th International PARLE Conference,Munich,1993.Proceedings / A.Bobe etc.(Eds.). - Berlin;Heidelberg etc. : Springer, 1993. - IVII,770 p. - (Lecture Notes in Computer Science;694). - ISBN 3-540-56891-3 : Б. ц.
Языки программирования Кл.слова (ненормированные): Компьютеры -- Банки данных -- Труды -- Конференция Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ИО (1) Свободны: ИО (1) |
Semantics of Specification Languages(So SL).Proceedings of the International Workshop,Ultrecht,1995 [Text] / D.J.Andres etc.(Eds.). - London;Berlin etc. : Springer, 1994. - VIII,355 p. - (Workshop in Computing). - ISBN 3-540-19854-7 : Б. ц.
Кл.слова (ненормированные): Семантика -- Труды -- Семинар Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ИО (1) Свободны: ИО (1) |
Programming Language Implementation and Logic Programming [Text] : 5th International Simposium Tallinn,1993.Proceedings / M.Bruynooghe,J.Penjam(Eds.). - Berlin;Heidelberg etc. : Springer, 1993. - XI,421 p. - (Lecture Notes in Computer Science ; 714). - ISBN 3-540-57186-8 : Б. ц.
Кл.слова (ненормированные): Симпозиум -- Труды Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ИО (1) Свободны: ИО (1) |