Pr869 Pr869/335 Pr869/335 / Pr869/335-02 Concurrency 88 : Proc. of the Intern. conf. on concurrency, Hamburg, FRG, Oct. 18-19, 1988 / Ed. by F. H. Vogt. - Berlin [et al.] : Springer, 1988. - VI,401 p. : Ill. - (Lecture notes in computer science ; 335). - Bibliogr. at the end of the art. - Auth. ind.: p. 401 Перевод заглавия: Труды международной конференции по параллелизму Рубрики: Распределенные системы вычислительные Кл.слова (ненормированные): языки программирования -- верификация -- распределенные базы данных Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/398 Pr869/398 / Pr869/398-02 Temporal logic in specification : altrincham, UK, Apr. 8-10, 1987. Proc. / Ed. by B. Banieqbal a. o. - Berlin [et al.] : Springer, 1989. - VI,448 p. : Ill. - (Lecture notes in computer science ; 398). - Bibliogr. at the end of the art Перевод заглавия: Временная логика в определении Рубрики: Программное обеспечение--ЭВМ Кл.слова (ненормированные): временная логика -- верификация программ -- процесс алгебры Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/407 Pr869/407 / Pr869/407-02 Automatic verification methods for finite state systems : Intern. workshop, Grenoble, France, June 12-14, 1989. Proc. / Ed. by J. Sifakis. - Berlin [et al.] : Springer, 1990. - VII,382 p. : Ill. - (lecture notes in computer science ; 407). - Bibliogr. at the end of the art Перевод заглавия: Методы автоматической верификации для конечных систем Рубрики: Верификация--Программ ЭВМ Кл.слова (ненормированные): процесс алгебры -- временная логика -- теория конечных автоматов Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/512 Pr869/512 / Pr869/512-02 ECOOP' 91 European conference on object-oriented programming : fifth Europ. conf. on object-oriented programming, ECOOP, Geneva, July 1991. Proc / Ed by Pierre America. - Berlin [et al.] : Springer, 1991. - VI, 396 p. : Ill. - (Lecture notes in computer science ; 512). - Bibliogr. at the end of the art Перевод заглавия: Труды Европейской конференции по объектно-ориентированному программированию Рубрики: Объектно-ориентированное программирование Кл.слова (ненормированные): языки программирования -- верификация программ Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/571 Pr869/571 / Pr869/571-02 Formal techniques in real - time and fault - tolerant systems : second Intern. symp Nijmegen, The Netherlands, Jan. 8-10, 1992. Proceedings / J.Vytopil (Ed.). - Berlin [et al.] : Springer, 1991. - IX,620 p. : Ill. - (Lecture notes in computer science ; 571). - Bibliogr. at the end of the art Перевод заглавия: Формальные методы в теории отказоустойчивых систем реального времени Рубрики: Вычислительные системы Кл.слова (ненормированные): верификация программ -- отказоустойчивые системы Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/575 Pr869/575 / Pr869/575-02 Computer aided verification : 3rd Intern. workshop, CAV'91 Aalborg, Denmark, July 1-4, 1991. Proceedings / K. G. Larsen, A. Skou (Eds.). - Berlin [et al.] : Springer, 1992. - X, 487 p. : Ill. - (Lecture notes in computer science ; 575). - Bibliogr. at the end of the art Перевод заглавия: Автоматизированная верификация Рубрики: Верификация--Программ ЭВМ Кл.слова (ненормированные): протоколы обмена -- системы реального времени Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/685 Pr869/685 / Pr869/685-02 Advanced information systems engineering : 5th intern. conf., CAiSE'93, Paris, June 8-11, 1993: Proc / Ed.: C. Rolland et al. - Berlin [et al.] : Springer, 1993. - XI, 648 p. : Ill. - (Lecture notes in computer science ; 685). - Bibliogr. at the end of the art Перевод заглавия: Усовершенствованная техника информационных систем Рубрики: Информационные системы--Программное обеспечение Кл.слова (ненормированные): объектно-ориентированные базы данных -- верификация Дескрипторы: сб пр -- конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/697 Pr869/697 / Pr869/697-02 Computer aided verification : 5th intern. conf., CAV'93, Elounda, Greece, June 28-July 1, 1993: Proc. / Ed.: C. Courcoubetis. - Berlin [et al.] : Springer, 1993. - IX, 504 p. : Ill. - (Lecture notes in computer science ; 697). - Bibliogr. at the end of the art Перевод заглавия: Автоматизированная верификация Рубрики: Верификация--Программ ЭВМ Кл.слова (ненормированные): временная логика -- параллельные системы -- системы реального времени Дескрипторы: сб пр -- конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/715 Pr869/715 / Pr869/715-02 CONCUR '93 : 4th Intern. conf. on concurrency theory Hildesheim, Germany, Aug. 23-26, 1993. Proceedings / E. Best (Ed.). - Berlin [et al.] : Springer, 1993. - IX, 540 p. : Ill. - (Lecture notes in computer science ; 715). - Bibliogr. at the end of the art. - Auth. ind. at the end of the book Перевод заглавия: Труды международной конференции по теории совпадения Рубрики: Программное обеспечение--ЭВМ Кл.слова (ненормированные): бисимуляция -- процесс алгебры -- временная верификация Дескрипторы: сб пр -- конф Экземпляры всего: 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) |
И-Ж E91 И-Ж / E91-02 European conference on design automation (1991; Amsterdam). The European conference on design automation: Proceedings : Amsterdam, Febr. 25-28, 1991. - Los Alamitos [et al.] : IEEE Computer soc. press, 1991. - XXIV,601 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 599-601 Перевод заглавия: Труды Европейской конференции по автоматизации проектирования Рубрики: Автоматизированное проектирование Кл.слова (ненормированные): логический синтез -- верификация программ -- комбинационные схемы Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-Ж E91 И-Ж / E91-02 European conference on design automation (1992; Brussels). The European conference on design automation: Proceedings : Brussels, Mar. 16-19, 1992. - Los Alamitos [et al.] : IEEE Computer soc. press, 1992. - XX,569 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 567-569 Перевод заглавия: Труды Европейской конференции по автоматизации проектирования Рубрики: Автоматизированное проектирование Кл.слова (ненормированные): верификация программ -- тестирование -- формальные языки программирования Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-Ж E91 И-Ж / E91-02 European design automation conferenc (1992 ; Hamburg). The European design automation conference : EURO-DAC'92, EURO-VHDL'92 : proceedings: Hamburg, sept. 7-10, 1992. - Los Alamitos, Ca [etc.] : IEEE computer soc. press, 1992. - XVIII, 765 p. - (IEEE publications / Inst.of electrical and electronics engineers, ISSN 0149-144X ; 92CH3126-0). - Bibliogr. at the end of the art. - Auth. ind.: p. 763-765 Перевод заглавия: Труды Европейской конференции по автоматизации проектирования Рубрики: Автоматизированное проектирование Кл.слова (ненормированные): верификация программ -- тестирование -- топологическая оптимизация Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-Ж I.69 И-Ж / I.69-02 International conference on computer-aided design (1992 ; Santa Clara, California.). 1992 IEEE/ACM international conference on computer-aided design: Digest of technical papers : Nov. 8-12, 1992, Santa Clara, California. - Los Alamitos [et al.] : IEEE Computer soc. press, 1992. - XXV,637 p. : Ill. - (IEEE publications / Inst.of electrical and electronics engineers, ISSN 0149-144X ; 92CHO3183-1). - Bibliogr. at the end of the art. - Auth. ind.: p. 635-637 Перевод заглавия: Сборник докладов на международной конференции по автоматизированному проектированию Рубрики: Автоматизированное проектирование Кл.слова (ненормированные): верификация программ -- тестирование -- синтез -- моделирование Дескрипторы: конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 F75 И-З 97 / F75-02 Formal verification of hardware design : сборник / Ed. by M. Yoeli. - Los Alamitos [et al.] : IEEE Computer society press, 1990. - IX,326 p. : Ill. - Bibliogr. at the end of the chapters - Ind.: p. 317-326 Перевод заглавия: Формальная верификация проектирования аппаратных средств ЭВМ Содержание: Рубрики: Компьютеры--Проектирование Кл.слова (ненормированные): временная логика -- верификация -- микропроцессоры Дескрипторы: сб Доп.точки доступа: Yoeli, M. \ed.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 G18 И-З 97 / G18-02 Garcia, Oscar N.. Knowledge-based systems : fundamentals and tools / O. N. Garcia, Y. -T. Chien. - Los Alamitos [et al.] : IEEE Computer society press, 1991. - XIV,495 p. : Ill. - Bibliogr. at the end of the art Перевод заглавия: Системы с базами знаний: теория и инструментальные средства Рубрики: Системы с базами знаний Кл.слова (ненормированные): логическое программирование -- базы знаний -- верификация Дескрипторы: моногр Доп.точки доступа: Chien, Yi-Tzuu Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 I.69/92 И-З 97 / I.69/92-02 International conference on computer design: VLSI in computers and processors (1990 ; Cambridge). 1992 IEEE International conference on computer design: VLSI in computers amd processors. Proceedings : Oct. 11-14, 1992 / spons. by IEEE Computer soc. a. IEEE Circuits a. systems soc. - Los Alamitos [et al.] : IEEE Computer society press, 1992. - XVII,605 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 603-605 Перевод заглавия: Труды международной конференции по проектированию компьютеров: БИС в компьютерах и процессорах Рубрики: Компьютеры--Проектирование Кл.слова (ненормированные): верификация -- логический синтез -- интегральные схемы Дескрипторы: конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 I.69/91 И-З 97 / I.69/91-02 International conference on computer design: VLSI in computers and processors (1990 ; Cambridge). 1991 IEEE International conference on computer design: VLSI in computers and processors. Proceedings : ICCD'91, Roy. Sonesta Hotel, Cambridge, Mass., USA, Oct. 14-16, 1991 / Spons. by IEEE Computer soc. a. IEEE Circuits a. systems soc. in coop. with IEEE Electron devices soc. - Los Alamitos [et al.] : IEEE Computer society press, 1991. - XVI,653 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 651-653 Перевод заглавия: Труды международной конференции по проектированию компьютеров: БИС в компьютерах и процессорах Рубрики: Компьютеры--Проектирование Кл.слова (ненормированные): верификация -- логический синтез -- интегральные схемы Дескрипторы: конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 I.69 И-З 97 / I.69-02 International symposium on fault tolerant systems (1991; Kawasaki, Japan). Pacific rim international symposium on fault tolerant systems: Proceedings : Sept. 26-27, 1991, Kawasaki, Jap. - Los Alamitos [et al.] : IEEE Computer society press, 1991. - X,259 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 259 Перевод заглавия: Труды международного симпозиума по отказоустойчивым системам Рубрики: Вычислительные системы--Надежность Кл.слова (ненормированные): кодирование -- верификация программ Дескрипторы: конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |