Приложение
для AndroidПолное описание
Stadler, R. Ausfuhrbare Spezifikation von Directory-Systemen in einer logischen Sprache / R.Stadler. - Berlin[etc.] : Springer , 1991. - X,142 S. S. : Ill. - (Informatik-Fachberichte ; N284). - ISBN 3-540-54546-8 : 37.40 р. - Текст : непосредственный.
Библиогр.:с.134-138.Указ.с.139-142
Перевод заглавия: Возможная спецификация систем каталогов в одном логическом языке
| ГРНТИ | УДК | |
| 50.39.29 | 004.415.28 |
Рубрики:
Вычислительные системы распределенные
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
Physik and Informatik-Informatik und Physik : Arbeitsgespr@:ach,M@:unchen,21-22 Nov.,1991:Proc. / hrsg. D. Kronig, hrsg. M. Lang, 1992. - 326 S. - Текст : непосредственный.Konnektionismus in artificial intelligence und Kognitionsforschung : 6 @:Osterreichische Artificial-Intelligence-Tagung,Salzburg,Sept.18-21,1990:Proc. / KONNAI, 1990. - 246 S. - Текст : непосредственный.Mustererkennung 1990 : Proc.,12.DAGM-Symp.Oberkochen-Aalen,Sept.24-26,1990 / DAGM, 1990. - 682 S. - Текст : непосредственный.Modellgestutzte Signalverarbeitung : Proc.,Aachen,Sept.12-14,1990 / ASST'90, 1990. - 332 S. - Текст : непосредственный.Reprasentation und Verarbeitung raumlichen Wissens / сост.red. C. Freksa, сост.red. C. Habel, 1990. - 353 S. - Текст : непосредственный.Rechnergestutzter Entwurf und Architektur mikroelektronischer Systeme : Proc.GME/GI/ITG-Fachtagung,Dortmund,Oct.1,2,1990 / Gesselschaft Mikroelektronik (S.l.), 1990. - 298 S. - Текст : непосредственный.Frommherz B.J. Roboteraktionsplanungssystem / B.J.Frommherz, 1990. - XI,134 S. S. - Текст : непосредственный. PEARL 90 : Workshop uber Realzeitsysteme:11.Fachtagung des PEARL-Vereins,Boppard 29./30.Nov.1990:Proc. / Hrsg.: W. Gerth, P. Baacke, 1990. - X,187 S. S. - Текст : непосредственный.Entwurf und Betrieb verteilter Systeme : Fachtagung der Sonderforschungsberichte 124 und 182 Dagstuhl,19-21 Sept.1990:Proc. / hrsg. T. Harder, 1990. - XII,283 S. S. - Текст : непосредственный.Raczkowsky J. Multisensordatenverarbeitung in der Robotik / J.Raczkowsky, 1991. - X,168 S. S. - Текст : непосредственный.Borgolte U. Flexible,realzeitfahige Kollisionsvermeidung in Mehrroboter-Systemen / U.Borgolte, 1991. - 105 S. - Текст : непосредственный.GWAI-91 : 15 Fachtagung f@:ur K@:unstliche Intelligenz,Bonn,16-20 Sept.1991:Proc. / Hrsg. Th. Christaller, 1991. - IX,273 S. S. - Текст : непосредственный.Stadler R. Ausfuhrbare Spezifikation von Directory-Systemen in einer logischen Sprache / R.Stadler, 1991. - X,142 S. S. - Текст : непосредственный.siebente Osterreichische Artificial..24-27.Sept.1991 Wien / Osterreichische Artificial-Intelligence-Tagung (7 ; 1991 ; Wien) , 1991. - VIII,180 S. S. - Текст : непосредственный. Mustererkennung 1991 : 13.DAGM-Symp.Munchen,9-11.Okt.1991.Proc. / DAGM, 1991. - XVIII,584 S. S. - Текст : непосредственный.PLAKON-Buch : Ein Expertensystemkern fur Planungs- und Konfigurierungsaufgaben in technischen Domanen / hrsg. R. Cunis, 1991. - 279 S. - Текст : непосредственный. Hypertext und Hypermedia : Von theoretischen Konzepten zur praktischen Anwendung / сост.red. P. A. Gloor, сост.red. N. A. Streitz, 1990. - 302 S. - Текст : непосредственный.Proceedings / Hrsg.:A.Reuter. T. 1, 1990. - 602 S. - Текст : непосредственный.Proceedings / Hrsg.:A.Reuter. T. 2, 1990. - 602 S. - Текст : непосредственный.Eckhardt H. Entwurfstransaktionen fur modulare Objektsysteme : Synchronisierung in objektorientierten Datenbanksystemen / H.Eckhardt, 1990. - 144 S. - Текст : непосредственный.
Показать все результатыТоом А.И. Психологическая комфортность диалога между человеком и компьютером : Автореферат диссертации на соискание ученой степени канд.психолог.наук / А. И. Тоом, 1991. - 18 с. - Текст : непосредственный.Барсук В.И. Диалоговая система экстремального математического моделирования многосвязных процессов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / В. И. Барсук, 1990. - 15 с. - Текст : непосредственный.Юдовина Е.Ф. Лингвистическое моделирование процесса общения конечного пользователя с реляционными базами данных и его программная реализация : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Е. Ф. Юдовина, 1991. - 24 с. - Текст : непосредственный.Салкиндер Ю.Б. Инструментальная система для интерактивного конструирования сценариев диалога с пользователем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Ю. Б. Салкиндер, 1991. - 17 с. - Текст : непосредственный.Лищитович Н.К. Методы конструирования и контроля информационных зависимостей в диалоговых системах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. К. Лищитович, 1991. - 16 с. - Текст : непосредственный.Кондрашев А.В. Исследование и реализация универсальной диалоговой вычислительной системы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Кондрашев, 1991. - 21 с. - Текст : непосредственный.Бобошко А.Ю. Средства проектирования диалоговых систем с большим объемом счетных работ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Ю. Бобошко, 1991. - 16 с. - Текст : непосредственный.Чжан Сунхуа.Анализ, разработка и реализация в виде экспертной системы средств выбора структуры локальных вычислительных сетей : Автореферат диссертации на соискание ученой степени канд.техн.канд.:05.13.13 / Чжан Сунхуа, 1993. - 20 с. - Текст : непосредственный.Климанов В.П. Методология анализа вероятностно-временных характеристик локальных вычислительных сетей составных топологий на основе аналитического моделирования : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / В. П. Климанов, 1993. - 40 с. - Текст : непосредственный.Принципы установки для программных изделий кольцевой сети персонального компьютера / ВЦП. - 105 c. - Текст : непосредственный.Концепции построения локальных сетей / ВЦП. - 91 c. - Текст : непосредственный.Монтаж аппаратного и программного обеспечения для локальной сети на базе операционной системы / ВЦП. - 442 c. - Текст : непосредственный.Беляков В.Г. Методы и программные средства математического моделирования сетевых вычислительных систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Беляков, 1994. - 19 с. - Текст : непосредственный.Биренбаум М.И. Разработка методических и программно-технологических средств организации гетерогенных локальных сетей произвольной топографии : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / М. И. Биренбаум, 1993. - 16 с. - Текст : непосредственный.Хачатрян А.Э. Разработка интеллектуально-имитационного метода выбора структуры распределенных отраслевых вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / А. Э. Хачатрян, 1994. - 16 с. - Текст : непосредственный.Кораблин Ю.П. Семантические методы анализа распределенных систем : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.11:05.13.13 / Ю. П. Кораблин, 1994. - 40 с. - Текст : непосредственный.Ковалев А.А. Интеллектуальная система автоматизированного проектирования структур многомашинных управляющих вычислительных систем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / А. А. Ковалев, 1994. - 19 с. - Текст : непосредственный.Копейкин Ю.А. Методы и алгоритмы автоматизированного синтеза архитектур многофункциональных конвейерных вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. А. Копейкин, 1994. - 16 с. - Текст : непосредственный.Ершов Н.М. Математические модели и методы обработки информации многопроцессорными вычислительными системами : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.16 / Н. М. Ершов, 1995. - 12 с. - Текст : непосредственный.Гольцева Л.В. Аппликативная вычислительная система с интенсиональными отношениями : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Л. В. Гольцева, 1995. - 20 с. - Текст : непосредственный.
Показать все результатыВопросы сети связи и межсоединений с высокой плотностью в распределенных вычислительных системах с высокой степенью интеграции / ВЦП. - 63 c. - Текст : непосредственный.Dolev S. Uniform self-stabilizing leader electron. Pt. 1 : Complete graph protocols, 1993. - 16 p. - Текст : непосредственный.Husberg N. High level distributed transition systems in categories : Diss. / N.Husberg, 1992. - 119 p. - Текст : непосредственный.Tutorial:distributed-software engineering / ed. S. M. Shatz, ed. J. -P. Wang, 1989. - IX,279 p. p. - Текст : непосредственный.Distributed computing systems : Concepts and structures / ed. A. L. Ananda, ed. B. Srinivasan, 1991. - VII,404 p. p. - Текст : непосредственный.Multicast communication in distributed systems / ed. M. Ahamad, 1990. - VI,111 p. p. - Текст : непосредственный.Замятин, А. Ю. Сети ЭВМ и распределенные системы : Учеб.пособие. Ч. 1, 1992. - 206 с. - Текст : непосредственный.Winckler A. Kontext-sensitive Lastbalancierung : Diss. / A.Winckler, 1994. - 166 S. - Текст : непосредственный.Papatriantafilow M. How a rainbow coloring function can simulate wait-free handshaking / M.Papatriantafilow,P.Tsigas, 1994. - 12 p. - Текст : непосредственный.Boxma O.J. Queueing-theoretic solution methods for models of parallel and distributed systems / O.J.Boxma,G.Koole,Z.Liu, 1994. - 24 p. - Текст : непосредственный.DECnet routing transition from PhaseIV to PhaseV/OSI in Japan : Contributed to the intern.conf.on computing in high energy physics'94,San Francisco,Apr.21-28 1994 / F.Yuasa,H.Hirose,S.Ichii и др., 1994. - 3 p. - Текст : непосредственный.Hamidzadeh B. Centralized scheduling strategies for shared-memory multiprocessors / B.Hamidzadeh,D.J.Lilja, 1994. - 26 p. - Текст : непосредственный.Groote J.F. A correctness proof of the bakery protocol in mCRL / J.F.Groote,H.P.Korver, 1994. - 22 p. - Текст : непосредственный.Scheduling in computer and manufacturing systems / J.Blazewicz,K.H.Ecker,G.Schmidt,J.Weglarz, 1994. - IX,312 p. p. - Текст : непосредственный.Griffioen W.O.D. The bakery protocol:A comparative case-study in formal verification / W.O.D.Griffioen,H.P.Korver, 1995. - 24 p. - Текст : непосредственный.Groote J.F. Focus points and convergent process operators / J.F.Groote,J.G.Springintveld, 1995. - 34 p. - Текст : непосредственный.Bertol M.W. Effiziente Normalform-Algorithmen fur Ersetzungssysteme uber frei partiell kommutativen Monoiden : Diss. / M.W.Bertol, 1996. - VIII,114 S. S. - Текст : непосредственный.Колосова Ю.И. Реализация и анализ причинного порядка событий в распределенных вычислениях / Ю.И.Колосова, 1995. - 46 c. - Текст : непосредственный.Brovedani C. A verification of the bakery protocol combining algebraic and model-oriented techniques / C.Brovedani,A.S.Klusener, 1996. - 24 p. - Текст : непосредственный.Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C.T.H.Everaars,F.Arbab, 1996. - 20 p. - Текст : непосредственный.
Показать все результатыБерзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Агафонов В.Н. Анализ, организация и компьютеризация понятийных средств спецификации программ : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.11 / В. Н. Агафонов, 1994. - 41 с. - Текст : непосредственный.Рагозин А.С. Генерация и исполнение программ по спецификациям на языке SDL : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / А. С. Рагозин, 1999. - 21 с. - Текст : непосредственный.Покозий Е.А. Методы спецификации и верификации параллельных моделей с непрерывным временем : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Е. А. Покозий, 1999. - 16 с. - Текст : непосредственный.Кучуганов М.В. Логика фундированных действий : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.18 / М. В. Кучуганов, 2000. - 16 с. - Текст : непосредственный.Winter D.T. A package for long integer arithmetic on the Cray Y-MP / D.T.Winter, 1992. - 17 p. - Текст : непосредственный.Dinesh T.B. Animators and error reporters for generated programming environments / T.B.Dinesh,F.Tip, 1992. - 98 p. - Текст : непосредственный.Heering J. Second-order algebraic specification of static semantics / J.Heering, 1992. - 16 p. - Текст : непосредственный.Rutten E.P.B.M. Semantics of Manifold: specification in ASF + SDF and extension / E.P.B.M.Rutten,S.Thiebaux, 1992. - 99 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. - Текст : непосредственный.Logic and algebra of specification : Proc.of the NATO advanced study inst.on logic and algebra of specification,July 23-Aug.4 1991,Marktoberdorf,Germany / сост.ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Теория вычислений и языки спецификаций : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1995. - 219 c. - Текст : непосредственный.Tan Y.M. Formal specification techniques for engineering modular C programs / Y.M.Tan, 1996. - XVI,213 p. p. - Текст : непосредственный.Проблемы спецификации и верификации параллельных систем : Сб.науч.тр. / Рос.АН. Сиб.отд-ние. Ин-т систем информатики им. А.П.Ершова, 1995. - 237 с. - Текст : непосредственный.Мансуров Н.Н. Методы формальной спецификации программ: языки МSC и SDL : Учеб.пособие для студентов 4 курса фак.ВМиК / Н.Н.Мансуров,О.Л.Майлингова, 1998. - 125 с. - Текст : непосредственный.Lisser B. Specification of components in a proposition solver / B.Lisser,J.J.van Wamel, 1997. - 22 p. - Текст : непосредственный.Field J. Equations as a uniform framework for partial evaluation and abstract interpretation / J.Field,J.Heering,T.B.Dinesh, 1997. - 6 p. - Текст : непосредственный.Corradini A. complete calculus for equational deduction in coalgebraic specification / A.Corradini, 1997. - 24 p. - Текст : непосредственный.Heering J. Implementing higher-order algebraic specifications / J.Heering, 1992. - 12 p. - Текст : непосредственный.Meulen E.A. van der Fine-grain incremental implementation of algebraic specifications / E.A. van der Meulen, 1991. - 23 p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽