Pr869 Pr869/411 Pr869/411 / Pr869/411-02 Graph - theoretic concepts in computer science : 15th intern. workshop WG'89 Castle Rolduc, The Netherlands, June 14-16, 1989. Proc. / Ed. by M. Nagl. - Berlin [et al.] : Springer, 1990. - VII,372 p. : Ill. - (Lecture notes in computer science ; 411). - Bibliogr. at the end of the art. - Auth. ind. at the end of the books Перевод заглавия: Теория графов в приложении к вычислительной науке Рубрики: Компьютеры--Теория Кл.слова (ненормированные): ЭВМ -- теория графов Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/415 Pr869/415 / Pr869/415-02 STACS 90 : 7th Annu. symp. on theoretical aspects of computer science, Rouen, France, Febr. 22-24, 1990. Proc. / Ed. by C. Choffrut, T. Lengauer. - Berlin [et al.] : Springer, 1990. - VI, 312 p. : Ill. - (Lecture notes in computer science ; 415). - Bibliogr. at the end of the art. - Ind. of auth. at the end of the book Перевод заглавия: Труды 7-го ежегодного симпозиума по теоретическим аспектам вычислительной науки Рубрики: Компьютеры--Теория Искусственный интеллект Кл.слова (ненормированные): искусственный интеллект -- конечные автоматы -- теория ЭВМ Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/452 Pr869/452 / Pr869/452-02 Mathematical foundations of computer science 1990 : banska Bystrica, Czechoslovakia, Aug. 27-31, 1990. Proc. / Ed. by B. Rovan. - Berlin [et al.] : Springer, 1990. - VIII, 544 p. : Ill. - (Lecture notes in computer science ; 452). - Bibliogr. at the end of the art Перевод заглавия: Математические основы вычислительной техники Рубрики: Компьютеры--Теория Кл.слова (ненормированные): теория сложности -- сети Петри -- систолические автоматы Дескрипторы: сб пр -- конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/520 Pr869/520 / Pr869/520-02 Mathematical foundations of computer science 1991 : 16 Intern. symp. Kazimierz Dolny, Poland, Sept. 9-13, 1991. Proceedings / A. Tarlecki (Ed.). - Berlin [et al.] : Springer, 1991. - XI, 435 p. : Ill. - (Lecture notes in computer science ; 520). - Bibliogr. at the end of the art Перевод заглавия: Математические основы вычислительной техники Рубрики: Компьютеры--Теория Кл.слова (ненормированные): параллельные вычисления -- распределенные вычисления -- семантика Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/577 Pr869/577 / Pr869/577-02 STACS 92 : 9th Annu. symp. on theoretical aspects of computer science Cachan, France, Febr. 13-15, 1992. Proceedings / A. Finkel, M. Jantzen (Eds.). - Berlin [et al.] : Springer, 1992. - XIV, 620 p. : Ill. - (Lecture notes in computer science ; 577). - Bibliogr. at the end of the art. - Ind. of auth. at the end of the book Перевод заглавия: Труды ежегодного симпозиума по теоретическим аспектам вычислительной техники Рубрики: Компьютеры--Теория Кл.слова (ненормированные): параллельные алгоритмы -- логика программ -- семантика -- криптография Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/629 Pr869/629 / Pr869/629-02 Mathematical foundations of computer science 1992 : 17th intern. symp., Prague, Czechosl., Aug. 24-28, 1992 : Proc. / Ed. by I. M. Havel, V. Koubek. - Berlin [et al.] : Springer, 1992. - IX, 521 p. : Ill. - (Lecture notes in computer science ; 629). - Bibliogr. at the end of the art Перевод заглавия: Математические основы вычислительной техники Рубрики: Компьютеры--Теория Кл.слова (ненормированные): конечные автоматы -- сети Петри -- алгебраические множества Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/711 Pr869/711 / Pr869/711-02 Mathematical foundations of computer science 1993 : 18th intern. symp., MFCS'93 Gdansk, Poland, Aug./Sept. 1993. Proceedings / A. M. Borzyszkowski, S. Sokolowski (Eds.). - Berlin [et al.] : Springer, 1993. - XIII,782 p. : Ill. - (Lecture notes in computer science ; 711). - Bibliogr. at the end of the art. - Auth., subject ind.: p. 777-782 Перевод заглавия: Математические основы вычислительной техники Рубрики: Компьютеры--Теория Кл.слова (ненормированные): теория автоматов -- языки программирования -- семантика программ Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/761 Pr869/761 / Pr869/761-02 Foundations of software technology and theoretical computer science : 13th conf. Bombay, India, Dec. 15-17, 1993: Proceedings / R. K. Shyamasundar, ed. - Berlin [et al.] : Springer, 1993. - XIV, 453 p. : Ill. - (Lecture notes in computer science ; 761). - Bibliogr. at the end of the art Перевод заглавия: Основы теории вычислительной техники и программного обеспечения Рубрики: Программное обеспечение--ЭВМ Компьютеры--Теория Кл.слова (ненормированные): преобразование термов -- параллельные алгоритмы Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/775 Pr869/775 / Pr869/775-02 STACS 94 : 11th Annu. symp. on theoretical aspects of computer science Caen, France, Febr. 24-26, 1994: Proceedings / P. Enjalbert et al. (Eds.). - Berlin [et al.] : Springer, 1994. - XIV,782 p. : Ill. - (Lecture notes in computer science ; 775). - Bibliogr. at the end of the art. - Auth. ind.: p. 781-782 Перевод заглавия: Труды ежегодного симпозиума по теоретическим аспектам вычислительной техники Рубрики: Компьютеры--Теория Кл.слова (ненормированные): верификация систем -- геометрические вычисления -- логика программ Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Шифр см. у томов Handbook of automated reasoning / eds.: A. Robinson, A. Voronkov. - Amsterdam [et al.] : Elsevier ; Cambridge : MIT press, 2001 Перевод заглавия: Справочник по автоматическому мышлению
Рубрики: Компьютеры--Теория Математическая логика Доп.точки доступа: Robinson, Alan \ed.\; Voronkov, Andrei \ed.\ Свободных экз. нет |
И-З 97 S98 И-З 97 / S98-02 Symposium on logic in computer science (5; 1990; Philadelphia). Fifth annual IEEE symposium on logic in computer science : Proc., June 4-7, 1990, Philadelphia. - Los Alamitos [et al.] : IEEE Computer society press, 1990. - XVI, 509 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 509 Перевод заглавия: Труды 5-го ежегодного симпозиума по логике в теории вычислительных машин и систем Рубрики: Компьютеры--Теория Кл.слова (ненормированные): абстрактные типы данных -- базы данных -- дедукция Дескрипторы: конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |