Полное описание
> Usenko, Y. S. A comparison of Spin and the uCRL toolset on HAVi leader election protocol / Y.S.Usenko. - Amsterdam : [s. n.], 1999. - 23 p. : ill. - (Report:Software engineering / CWI ; SEN-R9917). - Текст : непосредственный. Библиогр.:с.13
ГРНТИ УДК 47.01.51 681.84 621.397.4
Рубрики: Звукозаписывающая и звуковоспроизводящая аппаратура
Видеоаппаратура
Кл.слова (ненормированные): ВИДЕОАППАРАТУРА -- ЗВУКОЗАПИСЫВАЮЩАЯ АППАРАТУРА
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R9917)>
Шифр в сводном ЭК: 99780fd882254b8220bc41821514ddd3
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Ponse A. Equivalence of recursive specifications in process algebra / A.Ponse,Y.S.Usenko, 2001. - 10 p. - Текст : непосредственный. Groote J.F. Linearization in parallel pCRL / J.F.Groote,A.Ponse,Y.S.Usenko, 2000. - 30 p. - Текст : непосредственный. Usenko Y.S. Linearization of uCRL specifications / Y.S.Usenko, 2002. - 62 p. - Текст : непосредственный. Usenko Y.S. comparison of Spin and the uCRL toolset on HAVi leader election protocol / Y.S.Usenko, 1999. - 23 p. - Текст : непосредственный. Bergstra J.A. Discrete time process algebra and the semantics of SDL / J.A.Bergstra,C.A.Middelburg,Y.S.Usenko, 1998. - 48 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. - Текст : непосредственный. Показать все результаты Радиоконструктор : Изд.по вопросам радиолюбит. конструирования и ремонта зарубеж.электронной техники. Ежемес. науч.-техн. журн. - Журнал выходит с 19г. - Текст : непосредственный. Атаев Д.И. Аналоговые интегральные микросхемы для бытовой радиоаппаратуры / Д. И. Атаев, В. А. Болотников, 1992. - 239 с. - Текст : непосредственный. Новаченко И.В. Микросхемы для бытовой радиоаппаратуры / И. В. Новаченко, И. В. Новаченко, В. А. Телец, Л. И. Редькина, Ю. А. Краснодубец, 1992. - 288 с. - Текст : непосредственный. Соколов В.С. Ремонт цветных стационарных телевизоров 4УСЦТ / В. С. Соколов, Ю. И. Пичугин, 1994. - 264 c. - Текст : непосредственный. Современная бытовая телевизионная и видеоаппаратура и особенности ее использования / Росбытсоюз (Москва), ЦБНТИ, 1991. - 36 с. - Текст : непосредственный. Systeme de magnetoscope a cassette a palayage helicoidal utilisant la bande magnetique de 8 mm-Video 8, 1987. - 95 p. - Текст : непосредственный. Алексеев Ю.П. Бытовая радиоприемная и звуковоспроизводящая аппаратура / Ю. П. Алексеев, 1991. - 214 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Баширов С.Р. Бытовая электроника. Занимательные устройства своими руками / С. Р. Баширов, А. С. Баширов, 2008. - 174 с. - Текст : непосредственный. Бирюков С.А. Устройства на микросхемах : Цифровые измерит.приборы,источники питания,любительские конструкции / С.А.Бирюков, 1999. - 192 с. - Текст : непосредственный. Новаченко И.В. Микросхемы для бытовой радиоаппаратуры : Справ.Доп.2 / И.В.Новаченко,В.А.Телец, 1991. - 273 с. - Текст : непосредственный. Верховцев О.Г. Практические советы мастеру любителю : Электроника, электротехника, материалы и их применение / О.Г.Верховцев,К.П.Лютов, 1991. - 271 с. - Текст : непосредственный. Абрамов, Г. Н. Расчет и конструирование бытовых радиоэлектронных средств : Учеб. пособие. Ч. 1, 2001. - 158 с. - Текст : непосредственный. Показать все результаты Козырев, Анатолий Владимирович. Конструирование любительских магнитофонов, 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. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽