Приложение
для AndroidПолное описание
Romijn, J. M.T. A timed verification of the IEEE 1394 leader election protocol / J.M.T.Romijn. - Amsterdam : [s. n.], 1999. - 34 p. : ill. - (Report:Software engineering / CWI ; SEN-R9919). - Текст : непосредственный.
Библиогр.:с.27-29
| ГРНТИ | УДК | |
| 47.05.13 | 681.84 | |
| 621.397.4 |
Рубрики:
Программы для ЭВМ -- Верификация
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R9919)
Шифр в сводном ЭК: 082634a36123e0ed310b4b79dd53581f
Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Romijn J.M.T. Tackling the Dagstuhl'94 specification problem with I/O automata / J. M.T. Romijn, 1996. - 32 p. - Текст : непосредственный.
A two-level approach to automated conformance testing of VHDL designs / J.R.Moonen,J.M.T.Romijn,O.Sies и др., 1997. - 15 p. - Текст : непосредственный.Romijn J.M.T. Model checking the HAVi leader election protocol / J.M.T.Romijn, 1999. - 88 p. - Текст : непосредственный.Romijn J.M.T. Exploiting symmetry in protocol testing / J.M.T.Romijn,J.G.Springintveld, 1999. - 83 p. - Текст : непосредственный.Romijn J.M.T. timed verification of the IEEE 1394 leader election protocol / J.M.T.Romijn, 1999. - 34 p. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Orzan S.M. Distributing requirements specifications on Basic Splice / S. M. Orzan, 2001. - 14 p. - Текст : непосредственный.Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный.Bragt D.D.B.van Equilibrium selection in alternating-offers bargaining models - the evolutionary computing approach / D. D.B.van Bragt, E. H. Gerding, J. A. La Poutre, 2000. - 25 p. - Текст : непосредственный.Pang J. Analysis of a security protocol in uCRL / J. Pang, 2002. - 26 p. - Текст : непосредственный.Deursen A. van Fature-based product line instantation using source-level packages / A. van Deursen, M. de Jonge, T. Kuipers, 2002. - 16 p. - Текст : непосредственный.Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный.Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный. Shahroudi K.E. Design by continuous collaboration between manual and automatic optimization / K. E. Shahroudi, 1997. - 14 p. - Текст : непосредственный.Zavattaro G. On the incomparability of Gamma and Linda / G. Zavattaro, 1998. - 12 p. - Текст : непосредственный.Arbab F. Coordination of heterogeneous distributed cooperative constraint solving / F. Arbab, E. Monfroy, 1998. - 25 p. - Текст : непосредственный.transition system semantics for the control-driven coordination language MANIFOLD / M. M. Bonsangue, F. Arbab, J.W. de Bakker, J. J.M.M. Ritten, 1998. - 38 p. - Текст : непосредственный.Groote J.F. complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J. F. Groote, S. P. Luttik, 1998. - 12 p. - Текст : непосредственный.Kemenade C.H.M.van Density-based unsupervised classification for remote sensing / C. H.M.van Kemenade, J. A. La Poutre, R. J. Mokken, 1998. - 21 p. - Текст : непосредственный.Deursen A.van Type inference for COBOL systems / A.van Deursen, L. Moonen, 1998. - 12 p. - Текст : непосредственный.Deursen A.van Identifying objects using cluster and concept analysis / A.van Deursen, T. Kuipers, 1998. - 19 p. - Текст : непосредственный.Groote J.F. Analysis of three hybrid systems in timed uCRL / J. F. Groote, 1998. - 24 p. - Текст : непосредственный.Mulder J.D. survey of computational steering environments / J. D. Mulder, J. J.van Wijk, R.van Liere, 1998. - 13 p. - Текст : непосредственный.Mulder J.D. Pixel masks for screen-door transparency / J. D. Mulder, F. C.A. Groen, J. J.van Wijk, 1998. - 15 p. - Текст : непосредственный.Mulder J.D. Computational steering in the CAVE / J. D. Mulder, R.van Liere, J. J.van Wijk, 1998. - 9 p. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| |
Козырев, Анатолий Владимирович. Конструирование любительских магнитофонов, 1973. - 240 с. - Текст : непосредственный.Колесниченко О.В. Зарубежные видеомагнитофоны: ремонт и обслуживание / О. В. Колесниченко, И. В. Шишигин, 2001. - 255 с. - Текст : непосредственный.Основы телевидения и видеотехники : выставочные материалы / Новгородский гос. ун-т им. Ярослава Мудрого (Великий Новгород), 2014. - 152 с. - Текст : непосредственный.Надеждин Н.Я. Подробно о портативных цифровых плеерах / Н. Я. Надеждин, 2004. - 191 с. - Текст : непосредственный.Ленк Д. Мой домашний аудиовидеокомплекс / Д. Ленк, 1994. - 318 c. - Текст : непосредственный.Friedrich H.J. Tontechnik fur Mediengestalter / H. J. Friedrich, 2008 r=on-line. - Текст : электронный.Pavlidis I. Programming cameras and pan-tilts with DirectX and Java / I. Pavlidis, V. Morellas, P. Roeber, 2003. - XVII, 268 p. - Текст : непосредственный.Ремонт. Вып. 79 : Современные телевизоры. Устройство, ремонт и сервисные регулировки : Прил. к журн. "Ремонт и Сервис" / Под ред. Н.А. Тюнина, А.В. Родина, 2004. - 135 с. - Текст : непосредственный.Косарский Ю.С. Телевидение и видеотехника : Учеб. пособие для студентов оч. и заоч. отд-ний ФПСКТ (специальность. 190100 "Приборостроение"). Ч. 1, 2004. - 83 с. - Текст : непосредственный.Микросхемы для современных импортных видеомагнитофонов, 1997. - 286 с. - Текст : непосредственный.Римский-Корсаков А.В. Электро-акустика, 1973. - 272 с. - Текст : непосредственный.Пустынский И.Н. Транзисторные видеоусилители, 1973. - 176 с. - Текст : непосредственный.Пьезокерамические излучатели и динамики фирмы Sonitron, 1999. - 32 с. - Текст : непосредственный.Волков А.Л. Адаптивный алгоритм цифровой обработки звуковых сигналов для реставрации фонограмм : специальность 05.09.08 "" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. Л. Волков, 2000. - 23 с. - Текст : непосредственный.Шелабин Д.А. Проектирование системы отслеживания и прогнозирования движения объектов в видеопотоке / Д. А. Шелабин, 2013. - 20 с. - Текст : непосредственный.Шкритек П. Справочное руководство по звуковой схемотехнике. Методы расчета, способы измерений разработка схем, цифровая обработка звуковых сигналов / П. Шкритек, 1991. - 445 с. - Текст : непосредственный.Современная бытовая телевизионная и видеоаппаратура и особенности ее использования / Росбытсоюз (Москва), ЦБНТИ, 1991. - 36 с. - Текст : непосредственный.Systemes d'enregistrement et de lecture du son sur bandes magnetiques. Pt. 11 : Code d'adressage destine.., 1988. - 16 p. - Текст : непосредственный.Козюренко Ю.И. Высококачественное звуковоспроизведение / Ю. И. Козюренко, 1993. - 140 с. - Текст : непосредственный.Aghajan H. Multi-camera networks. Principles and applications / H. Aghajan, A. Cavallaro, 2009. - XXVII, 593 p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽