Приложение
для AndroidПолное описание
Siebes, A. P.J.M. (Un)decidability results for trigger design theories / A.P.J.M.Siebes,J.F.P.van Akker,M.H.van der Voort. - Amsterdam : [s. n.], 1995. - 31 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9556). - 1000 р. - Текст : непосредственный.
Библиогр.:с.30-31
| ГРНТИ | УДК | |
| 20.23.21 | 004.65.001.2 |
Рубрики:
Банки данных -- Проектирование
Доп. точки доступа:
Akker, J.F.P.van
Voort, M.H.van der
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.Arbab F. Specification of Manifold version 1.0. / F.Arbab, 1992. - 47,A 4,B 13 p. 4,B 13 p. - Текст : непосредственный.Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Eker S.M. Verification of parameterised synchronous concurrent algorithms with OBJ3 : The pixel planes architecture revisited / S.M.Eker, 1992. - 17 p. - Текст : непосредственный.Veltkamp R.C. Closed G1- continuous cubic Bezier surfaces / R.C.Veltkamp, 1992. - 20 p. - Текст : непосредственный.Blake E.H. Faster phong shading / E.H.Blake,V.C.J.Disselkoen,A.A.M.Kuijk, 1992. - 16 p. - Текст : непосредственный.Kuijk A.A.M. An architecture for interactive raster graphics / A.A.M.Kuijk,E.H.Blake,P.J.W.ten Hagen, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Origin tracking / A.van Deursen,P.Klint,F.Tip, 1992. - 48 p. - Текст : непосредственный.Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.Shin H. A brief survey of zero-knowledge proofs / H.Shin, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Specification and generation of -calculus environment / A.van Deursen, 1992. - 17 p. - Текст : непосредственный.Raamsdonk F.van A simple proof of confluence for weakly orthogonal combinatory reduction systems / F.van Raamsdonk, 1992. - 23 p. - Текст : непосредственный.Israeli A. Optimal multi-writer multi-reader atomic register / A.Israeli,A.Shaham, 1992. - 33 p. - Текст : непосредственный.Israeli A. Linear-time snapshot protocols for unbalanced systems / A.Israeli,A.Shaham,A.Shirazi, 1992. - 10 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 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.11 / Н. Н. Салтыкова, 2002. - 25 с. - Текст : непосредственный.Линьков В.М. Нумерационные методы в проектировании систем управления данными / В.М.Линьков, 1994. - 155 c. - Текст : непосредственный.Siebes A.P.J.M. (Un)decidability results for trigger design theories / A.P.J.M.Siebes,J.F.P.van Akker,M.H.van der Voort, 1995. - 31 p. - Текст : непосредственный.Akker J.F.van der Designing active objects in DEGAS / J.F.van der Akker,A.P.J.M.Siebes, 1997. - 31 p. - Текст : непосредственный.Веретенина Л.П. Проектирование баз данных в среде FOXBASE+ : Учеб.пособие / Л.П.Веретенина, 1996. - 103 с. - Текст : непосредственный.Методы проектирования баз данных : Сб.докл.Балтийской науч.конф.,Рига 8-10 сент.1992, 1992. - III,184 с. с. - Текст : непосредственный.Siebes A.P.J.M. Towards a design theory for database triggers / A.P.J.M.Siebes,M.N. van der Voort,M.L.Kersten, 1992. - 17 p. - Текст : непосредственный.Иноземцев В.К. Проектирование схемы данных организационно-управленческой структуры в MS Access : Учеб.пособие для студентов экон.спец. / В.К.Иноземцев,Н.Ф.Синева, 1998. - 32 с. - Текст : непосредственный.Власовец А.М. Основы проектирования баз данных реляционных СУБД : Учеб.пособие для студентов вузов по экон.спец. / А.М.Власовец, 2001. - 144 с. - Текст : непосредственный.Таланов В.М. Проектирование информационных систем и баз данных : Учеб.пособие / В.М.Таланов,С.А.Федосин, 2001. - 71 с. - Текст : непосредственный.Епанешников А.М. DELPHI. Проектирование СУБД / А.М.Епанешников,В.А.Епанешников, 2001. - 528 с. - Текст : непосредственный.Морозов Е.А. Анализ предметной области и концептуальное проектирование базы данных : Учеб.пособие для студентов спец.3514э"Прикл.информатика",2202"Автоматизир.системы обработки информации и упр." / Е.А.Морозов, 2002. - 42 с. - Текст : непосредственный.Грейвс М. Проектирование баз данных на основе XML / М.Грейвс, 2002. - 639 с. - Текст : непосредственный.Нейбург Э.Д. Проектирование баз данных с помощью UML / Э.Д.Нейбург,Р.А.Максимчук, 2002. - 281 с. - Текст : непосредственный.Мюллер Р.Д. Базы данных и UML. Проектирование : Пер.с англ. / Р.Д. Мюллер, 2002. - 420 с. - Текст : непосредственный.Послед Б.С. Borland C++Builder 6. Разработка приложений баз данных / Б.С.Послед, 2003. - 307 с. - Текст : непосредственный.Дэвидсон Л. Проектирование баз данных на SQL Server 2000 / Л.Дэвидсон, 2003. - 661 с. - Текст : непосредственный.Алтухова, Н. Ф. Методологические основы проектирования баз данных : Учеб. пособие для студентов спец. 080508 - "Информ. менеджмент" - 080508. Ч. 1, 2005. - 168 с. - Текст : непосредственный.Алтухова, Н. Ф. Методологические основы проектирования баз данных : учеб. пособие для студентов спец. "Информационный менеджмент" - 080508. Ч. 1(2006), 2006. - 168 с. - Текст : непосредственный.Основы проектирования приложений баз данных : учеб. пособие / И. Ю. Баженова, 2006. - 324 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽