Приложение
для AndroidПолное описание
Bagchi, T. P. Interactive relational database design : a logic programming implementation / T.P.Bagchi,V.K.Chaudhri. - Berlin[etc.] : Springer, 1989. - XI,186 p. p. - (Lecture notes in computer science, ISSN 0302-9743 ; n402). - ISBN 3-540-51881-9 : 12.00 р. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 20.23.21 | 004.63.001.2-52 |
Рубрики:
Банки данных -- Проектирование -- Автоматизация
Кл.слова (ненормированные): банк данных
Доп. точки доступа:
Chaudhri, V.K.
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
Methods of programming : Selected papers of the CIP-project / сост.ed. M. Broy, сост.ed. M. Wirsing, 1991. - XII,268 p. p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 1 : Conference contributions, 1991. - 698 p. - Текст : непосредственный.VDM'91:formal software development methods : 4th intern.symp.of VDM Europe Noordwijkerhout,The Netherlands,Oct.21-25,1991 / Ed.by:S.Prehn, W.J.Toetenel. Vol. 2 : Tutorials, 1991. - 430 p. - Текст : непосредственный.Proceedings,Oct.1991,Milan / ESEC'91, 1991. - XII,515 p. p. - Текст : непосредственный.Computational geometry-methods,algorithms and applications : Proc.of the 7th intern.workshop on computational geometry,Bern,March 21-22,1991 / CG'91, 1991. - VIII,320 p. p. - Текст : непосредственный.Grahne G. The problem of incomplete information in relational databases / G.Grahne, 1991. - VIII,149 p. p. - Текст : непосредственный.New results and new trends in computer science : Proc.of a symp.,held in Graz,June 20-21,1991 / ed. H. Maurer, 1991. - VIII,403 p. p. - Текст : непосредственный.Jacquet J.-M. Conclog:A methodological approach to concurrent logic programming / J.-M.Jacquet, 1991. - XII,781 p. p. - Текст : непосредственный.ISA'91 algorithms : 2nd intern.symp.on algorithms,Taipei,Dec.16-18,1991:Proc. / Ed.: W. L. Hsu, R. C.T. Lee, 1991. - X,396 p. p. - Текст : непосредственный.Hooman J. Specification and compositional verification of real-time systems / J.Hooman, 1991. - VIII,235 p. p. - Текст : непосредственный.Butler G. Fundamental algorithms for permutation groups / G.Butler, 1991. - XII,238 p. p. - Текст : непосредственный.Herman I. The use of projective geometry in computer graphics / I.Herman, 1992. - 146 p. - Текст : непосредственный.Graph-theoretic concepts in computer science : 17th intern.workshop on graph-theoretic concepts in computer science,Fischbachau,June 17-19,1991Proc. / WG'91, 1992. - VIII,253 p. p. - Текст : непосредственный.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, 1991. - IX,620 p. p. - Текст : непосредственный.Word equations and related topics : 1st intern.workshop on word equations and related topics,Tubingen,Oct.1990Proc. / IWWERT'90, 1992. - 256 p. - Текст : непосредственный.Parallel architectures and languages Europe : 4th intern.PARLE conf.,Paris,June 1992Proc. / PARLE'92, 1992. - XVII,984 p. p. - Текст : непосредственный.Recent trends in data type specification:8th workshop on specification of abstract data types with 3rd COMPASS workshop,Dourdan Aug.26-30,1991 : Selected papers / сост.ed.by M. Bidoit, сост.ed.by C. Choppy, 1993. - 344 p. - Текст : непосредственный.Conditional term rewriting systems:Third intern.workshop,CTRS-92 Pont-a-Mousson,July 8-10,1992 : Proc. / сост.ed.by M. Rusinowitch, сост.ed.by J. L. Remy, 1993. - 501 p. - Текст : непосредственный.Breu R. Algebraic specification techniques in object oriented programming environments / R.Breu, 1991. - 228 p. - Текст : непосредственный.Cheese A. Parallel execution of Parlog / A.Cheese, 1992. - 184 p. - Текст : непосредственный.
Показать все результатыСоздание базы данных по обрабатываемости, основанное на использовании метода распознавания образов / Ин-т сверхтвердых материалов. - 16 с. - Текст : непосредственный.Олейникова О.Л. Анализ дублирования,полноты комплектования и поиска информационных документов в БД ГАСНТИ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.17 / О. Л. Олейникова, 1991. - 16 с. - Текст : непосредственный.Шарф О.А. Исследование и разработка типовой инфологической схемы для баз данных объектографических систем информационного обеспечения НИОКР по созданию объектов техники : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.17 / О. А. Шарф, 1992. - 22 с. - Текст : непосредственный.Мизинцева М.Ф. Исследование и разработка способов представления химической информации для формирования проблемно-ориентированной базы знаний : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.17 / М. Ф. Мизинцева, 1993. - 23 с. - Текст : непосредственный.Файлы последовательного доступа. Гл.4-7 / ВЦП. - 134 c. - Текст : непосредственный.Новиков Б.А. Методы и средства организации хранения в системах баз данных нового поколения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / Б. А. Новиков, 1993. - 26 с. - Текст : непосредственный.Обеспечение выполнения восстановления после аварии / ВЦП. - 16 c. - Текст : непосредственный.Указатель консультантов по надежности / ВЦП. - 42 c. - Текст : непосредственный.Перечень консультантов по вопросам защиты. Дополнение / ВЦП. - 10 c. - Текст : непосредственный.Курсы познания журнала "Choice" / ВЦП. - 9 c. - Текст : непосредственный.Овчинников В.Г. Построение самоорганизующейся автоматизированной системы информационного обеспечения на гипертекстовой основе : Диссертация в виде науч.докл.на соискание ученой степени д-ра техн.наук:05.13.17 / В. Г. Овчинников, 1994. - 48 с. - Текст : непосредственный.Новиков В.А. Формальное описание и моделирование предметных областей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / В. А. Новиков, 1994. - 19 с. - Текст : непосредственный.Ольховников Ю.Н. Разработка средств автоматизации деятельности госавтоинспекции по розыску автомототранспорта : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. Н. Ольховников, 1994. - 26 с. - Текст : непосредственный.Загура Ю.А. Дослiдження i розробка авторських засобiв для створення гiпермедiальних систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.25.05 / Ю. А. Загура, 1994. - 16 с. - Текст : непосредственный.Домбровская Г.Р. Низкоуровневая поддержка нестандартных моделей транзакций в системе хранения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Г. Р. Домбровская, 1995. - 16 с. - Текст : непосредственный.Фирма "Комдисо, инк."(CDRS) - службы восстановления после аварии / ВЦП. - 17 c. - Текст : непосредственный.Предоставляемые услуги по восстановлению нарушений работы вычислительных центров. Фирма АЙН МАУНТИН : Обзор, анализ, характеристики / ВЦП. - 15 c. - Текст : непосредственный.Предоставляемые услуги по восстановлению компьютерных нарушений : Обзор, анализ, характеристики / ВЦП. - 17 c. - Текст : непосредственный.Как пользоваться системой файлов. Гл.3-5 / ВЦП. - 61 c. - Текст : непосредственный.Службы восстановления "Сангард". Службы восстановления "Дисастер" / ВЦП. - 17 c. - Текст : непосредственный.
Показать все результатыБабанова Н.И. Разработка и оптимизация моделей и алгоритмов автоматизированного проектирования локальных и распределенных баз данных : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / Н. И. Бабанова, 2000. - 23 с. - Текст : непосредственный.Bagchi T.P. Interactive relational database design : A logic programming implementation / T.P.Bagchi,V.K.Chaudhri, 1989. - XI,186 p. p. - Текст : непосредственный.Гринь А.М. Основы автоматизации проектирования баз данных. Концептуальное проектирование : Учеб. пособие для студентов III-V курсов (спец. 2203) дневного и заоч. отд-ний, для слушателей спец. фак. переподгот. кадров и фак. цикловой подгот. / А.М.Гринь,В.Н.Протасов, 1990. - 74 c. - Текст : непосредственный.
Заказ фрагмента документа ₽