Поиск по названию [1041] Lepadatu C. I. Forma moleculelor anorganice: o introd. in stereochimia anorganica / C.I.Lepadatu, M.Andruh. - Bucuresti : Ed. acad. Romane, 1998. - 390 p. : il. - ISBN 973-27-0510-8 : 50.00 р.Держатели документа: ГПНТБ России Доп.точки доступа: Andruh, M. Экз-ры: ХР(1) ГРНТИ: 31.15.15 УДК: 546:541.63 Рубрика: Стереохимия [1042] Watson N. A. Formal description of programming concepts: seminar held in Rio de Janeiro,Apr.1989 / сост.ed.: E. J. Neuhold, M. Paul. - Berlin etc. : Springer, 1991. - VI,507 p. p. : ill. - (IFIP state-of-the-art reports). - ISBN 3-540-53961-1 : 95.00 р. Библиогр.в конце ст.Держатели документа: ГПНТБ России Доп.точки доступа: Neuhold, E.J. сост.ed.; Paul, M. сост.ed. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-100469 ГРНТИ: 50.05.13 УДК: 004.42(063) Рубрика: Программирование для ЭВМ / Съезды и конференции [1043] Hayakawa Y. Formal description techniques,II : FORTE'89 : proc.of the IFIP TC/WG 6.1, 2 intern.conf.on formal description techniques for distributed systems and communications protocols,Vancouver,Canada,5-8 Dec.1989 / ed. S. T. Vuong. - Amsterdam etc. : North-Holland, 1990. - XIII,549 p. p. : ill. - ISBN 0-444-88544-7 : 202.23 р. Библиогр.в конце ст.Держатели документа: ГПНТБ России Доп.точки доступа: Vuong, S.T. ed. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-99646 ГРНТИ: 50.39.29 УДК: 004.436(063) Рубрика: Вычислительные системы распределенные / Съезды и конференции [1044] Kapp D. Formal development of programs and proofs: сборник научных трудов / сост.ed. E. W. Dijkstra. - Reading(Ma) etc. : Addison-Wesley, 1990. - 242 p. : ill. - (The UT year of programming ser.). - ISBN 0-201-17237-2 : 52.23 р. Библиогр.в конце гл.Держатели документа: ГПНТБ России Доп.точки доступа: Dijkstra, E.W. сост.ed. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-99960 ГРНТИ: 28.23 50.01.13 УДК: 004.42 004.832.2 Рубрика: Программирование для ЭВМ Искусственный интеллект [1045] Coelho D. R. Formal methods for trustworthy computer systems(FM 89): rep.from FM 89A workshop on the assessment of formal methods for trustworthy computer systems, July 23-27, 1989, Halifax / сост.ed. D. Craigen. - London etc. : Springer, 1990. - VI,248 p. p. : ill. - (Workshops in computing). - ISBN 3-540-19635-8 : 40.00 р. Библиогр.:с.237-243.Указ.:с.245-248Держатели документа: ГПНТБ России Доп.точки доступа: Craigen, D. сост.ed. Экз-ры: АЛГ(1), (2) Копия: мкф., Шифр MR-96300 ГРНТИ: 47.13.23 УДК: 004.7.052(063) Рубрика: Программы-тесты для ЭВМ / Съезды и конференции [1046] Jensen K. Formal methods for VLSI design: материал технической информации / сост.ed. J. Staunstrup. - Amsterdam etc. : North-Holland, 1990. - VII,329 p. p. : ill. - ISBN 0-444-88858-6 : 139.31 р. Библиогр.в конце ст.Держатели документа: ГПНТБ России Доп.точки доступа: Staunstrup, J. сост.ed. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-99610 ГРНТИ: 47.33.31 УДК: 621.3.049.771.14.001.2-52 Рубрика: Интегральные схемы большие / Проектирование / Автоматизация [1047] Lindner Th. Formal methods in standards: a report from the BCS Working Group / сост.ed. C. L.M. Ruggles. - London etc. : Springer, 1990. - 135 p. : ill. - ISBN 3-540-19577-7 : 14.10 р. Библиогр.: с. 79-92 Перевод заглавия: Формальные методы в стандартах:Отчет рабочей группы BCSПеревод заглавия: Формальные методы в стандартах:Отчет рабочей группы BCSДержатели документа: ГПНТБ России Доп.точки доступа: Ruggles, C.L.M. сост.ed. Экз-ры: ХР(1), (1) ГРНТИ: 84.01 УДК: 006.033 Рубрика: Стандартизация в зарубежных странах [1048] Apt K. R. Formal methods in the development of PREMO: сборник / D.A.Duce,D.J.Duke,P.J.W.Hagen и др. - Amsterdam : [s. n.], 1994. - 17 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9465). - 100 р. Библиогр.:с.16-17Держатели документа: ГПНТБ России Доп.точки доступа: Duce, D.A.; Duke, D.J.; Hagen, P.J.W.; Herman, I. Экз-ры: ХР(1) ГРНТИ: 50.10.43 УДК: 004.92 Рубрика: Машинная графика [1049] Ramsay A. Formal methods in artificial intelligence: материал технической информации / A.Ramsay. - Cambridge etc. : Univ.press, 1988. - IX,279 p. p. : ill. - (Cambridge tracts in theoretical computer science ; n6). - ISBN 0-521-35236-3 : 26.30 р. Библиогр.:c.273-275.Указ.:c.276-279Держатели документа: ГПНТБ России Экз-ры: АЛГ(1), (2) Копия: мкф., Шифр MR-89649 ГРНТИ: 28.23 УДК: 004.8 Рубрика: Искусственный интеллект [1050] International conference on Fibonacci numbers and their applications (3 ; 1988 ; Pisa). Formal models and semantics: словарь / сост.ed. J. van Leeuwen. - Amsterdam etc. : Elsevier ; MIT press : Cambridgr(Ma), 1990. - XIV,1273 p. p. : ill. - (Handbook of theoretical computer science, ISSN 0-444-88075-5 ; vol.B). - ISBN 0-444-88074-7 : 254.76 р. Библиогр.в конце ст. Указ.:с.1243-1273.- ISBN 0-262-22039-3 Перевод заглавия: Руководство по теоретическим вычислительным наукам.Формальные модели и семантикаПеревод заглавия: Руководство по теоретическим вычислительным наукам.Формальные модели и семантикаДержатели документа: ГПНТБ России Доп.точки доступа: Leeuwen, J.van сост.ed. Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-99937 ГРНТИ: 16.31.21 УДК: 81'322 Рубрика: Компьютерная лингвистика Объявление: [1051] Nakamura H. Formal models of agents: ESPRIT project modelAge: Final workshop: selected papers / сост.ed.: J-J. C. Meyer, P-Y. Schobbens. - Berlin etc. : Springer, 2000. - VIII, 251 p. 251 p. : ill. - (Lecture notes in artificial intelligence ; vol.1760). - ISBN 3-540-67027-0 : 1050.78 р. Библиогр.в конце ст. Указ.в конце кн.Держатели документа: ГПНТБ России Доп.точки доступа: Meyer, J-J.C. сост.ed.; Schobbens, P-Y. сост.ed. Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-108992 ГРНТИ: 28.23.33 УДК: 004.89(063) Рубрика: Интеллектуальные системы / Съезды и конференции [1052] European software engineering conference (2 ; 1989 ; Coventry). Formal properties of finite automata and applications: LITP Spring school on theoretical computer science Ramatuelle, May 23-27, 1988Proc. / сост.ed. J. E. Pin. - Berlin etc. : Springer, 1989. - VIII,259 p. p. - (Lecture notes in computer science, ISSN 0302-9743 ; n386). - ISBN 3-540-51631-X : 19.40 р. Библиогр.в конце ст.Указ.в конце кн.Держатели документа: ГПНТБ России Доп.точки доступа: Pin, J.E. сост.ed.; Spring School of theoretical computer science (6 ; Ramatuelle) Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-88756 ГРНТИ: 28.25 УДК: 519.713(063) Рубрика: Конечные автоматы / Съезды и конференции [1053] Eijck D. J.N.van Formal semantics: сборник / D.J.N.van Eijck. - Amsterdam : [s. n.], 1990. - 18 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9055). - 2.00 р. Библиогр.:с.17-18Держатели документа: ГПНТБ России Экз-ры: ХР(1) ГРНТИ: 16.31.31 УДК: 81'32 Рубрика: Лингвистика математическая [1054] Sanchez A. Formal specification and synthesis of procedural controllers for process systems: сборник / A.Sanchez. - London etc. : Springer, 1996. - XXIV,221 p. p. : ill. - (Lecture notes in control and information sciences ; 212). - ISBN 3-540-76021-0 : 350000 р. Библиогр.:с207-216.Указ.:с.219-221Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-107348 ГРНТИ: 50.09.47 УДК: 004.312.46 Рубрика: Контроллеры [1055] Rutten E. P.B.M. Formal specification of Manifold: a preliminary study / E.P.B.M.Rutten,F.Arbab,I.Herman. - Amsterdam : [s. n.], 1992. - 34 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9215). - 2.00 р. Библиогр.:с.33-34Держатели документа: ГПНТБ России Доп.точки доступа: Arbab, F.; Herman, I. Экз-ры: ХР(1) ГРНТИ: 50.05.13 УДК: 004.415.28 Рубрика: Программы для ЭВМ / Спецификация [1056] Tan Y. M. Formal specification techniques for engineering modular C programs: монография / Y.M.Tan. - Boston (Ma) etc. : Kluwer, 1996. - XVI,213 p. p. : ill. - (The Kluwer international series in software engineering / Ed.:V.R.Basin ; 1). - ISBN 0-7923-9653-7 : 450000 р. Библиогр.:с205-208.Указ.:с.209-213Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-107397 ГРНТИ: 50.05.09 УДК: 004.415.28 Рубрика: Программы для ЭВМ / Спецификация [1057] Carroll D. W. Formal techniques in artificial intelligence: a sourcebook / сост.ed. R. B. Banerji. - Amsterdam et al. : North-Holland, 1990. - XI,437 p. p. : ill. - (Studies in computer science and artificial intelligence / Ed. by D.G.Bobrow et al. ; n6). - ISBN 0-444-88130-1 : 53.06 р. Библиогр.: с.410-424. Указ.: с.425-437Держатели документа: ГПНТБ России Доп.точки доступа: Banerji, R.B. сост.ed. Экз-ры: АЛГ(1), (2) Копия: мкф., Шифр MR-96302 ГРНТИ: 28.23 УДК: 004.8 Рубрика: Искусственный интеллект [1058] Herman I. Formal techniques in real-time and fault-tolerant systems: 2nd intern.symp.on formal techniques in real-time and fault-tolerant systems,Jan.1992,NijmegenProc. / сост.ed. J. Vytopil. - Berlin etc. : Springer , 1991. - IX,620 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n571). - ISBN 3-540-55092-5 : 46000 р. Библиогр.в конце статейДержатели документа: ГПНТБ России Доп.точки доступа: Vytopil, J. сост.ed. Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-103612 ГРНТИ: 50.39.29 УДК: 004.7(063) Рубрика: Вычислительные системы реального времени / Надежность / Съезды и конференции [1059] Милославская С. В. Formal techniques in real-time and fault-tolerant systems: 6th intern. symp., FTRTFT 2000, Pune, India, Sept.20-22, 2000Proc. / FTRTFT 2000. - Berlin etc : Springer, 2000. - X,303 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n1926). - ISBN 3-540-41055-4 : 1234.43 р. Библиогр.в конце ст.Указ.в конце кн.Держатели документа: ГПНТБ России Доп.точки доступа: Joseph, M. сост.ed. Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-108972 ГРНТИ: 50.39.29 УДК: 004.7.031.43.052(063) Рубрика: Вычислительные системы реального времени / Надежность / Съезды и конференции [1060] Black U. Formal verification of hardware design: сборник научных трудов / сост.ed. M. Yoeli. - Los Alamitos et al. : IEEE computer soc.press, 1990. - IX,326 p. p. - (IEEE publications / Inst.of electrical and electronics engineers, ISSN 0149-144X ; 90EHO319-4). - ISBN 0-8186-6017-1 : 45000 р. Библиогр.в конце глав.Указ.:с.317-326Держатели документа: ГПНТБ России Доп.точки доступа: Yoeli, M. сост.ed. Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-104308 ГРНТИ: 47.14 УДК: 621.3.049.771.14.001.2-52 Рубрика: Интегральные схемы большие / Проектирование / Автоматизация Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 [53] 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84