ГПНТБ России - Полное описание

Государственная публичная
научно-техническая библиотека России

Основана в 1958 году

Полное описание

Groote, J. F. Resolution and binary decision diagrams connot simulate each other polynomially / J.F.Groote,H.Zantema. - Amsterdam : [s. n.], 2000. - 12 p. : ill. - (Report:Software engineering / CWI ; SEN-R0009). - Текст : непосредственный.
Библиогр.:с.12

ГРНТИ	УДК
50.09.29	004.312'12

Рубрики:
Интегральные схемы цифровые -- Проектирование -- Автоматизация

Доп. точки доступа:
Zantema, H.

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R0009)

Шифр в сводном ЭК: 27d55bc8afa701ba043eb79cefc2c44d

Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный.Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный.Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный.CONCUR'91 : материалы временных коллективов / Comp.: J. C.M. Baeten, J. F. Groote, 1991. - IX,540 p. p. - Текст : непосредственный.Groote J.F. Verification of parallel systems via decomposition / J. F. Groote, F. Moller, 1992. - 21 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. - Текст : непосредственный.Groote J.F. Analysis of three hybrid systems in timed uCRL / J. F. Groote, 1998. - 24 p. - Текст : непосредственный.

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Groote J.F. Analysis of a distributed system for lifting trucks / J.F.Groote,J.Pang,A.G.Wouters, 2001. - 36 p. - Текст : непосредственный.Groote J.F. Computer assisted manipulation of algebraic process specifications / J.F.Groote,B.Lisser, 2001. - 16 p. - Текст : непосредственный.Groote J.F. Process algebra with guards.Combining Hoare logic with process algebra / J.F.Groote,A.Ponse, 1990. - 56 p. - Текст : непосредственный.Bol R.N. meaning of negative premises in transition system specifications / R.N.Bol,J.F.Groote, 1990. - 44 p. - Текст : непосредственный.Groote J.F. Transition system specifications with negative premises / J.F.Groote, 1989. - 26 p. - Текст : непосредственный.Groote J.F. A correctness proof of the bakery protocol in mCRL / J.F.Groote,H.P.Korver, 1994. - 22 p. - Текст : непосредственный.Groote J.F. Linearization in parallel pCRL / J.F.Groote,A.Ponse,Y.S.Usenko, 2000. - 30 p. - Текст : непосредственный.Groote J.F. Equational binary decision diagrams / J.F.Groote,J.C.van de Pol, 2000. - 20 p. - Текст : непосредственный.Pol J.C.van de Binary decision diagrams by shared rewriting / J.C.van de Pol,H.Zantema, 2000. - 14 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. - Текст : непосредственный.

Показать все результаты

Юшин А.М. Цифровые микросхемы для электронных устройств / А. М. Юшин, 1993. - 176 c. - Текст : непосредственный.Кармазинский А.Н. Анализ и синтез цифровых устройств / А. Н. Кармазинский, 1989. - 67 c. - Текст : непосредственный.Садовая И.М. Оценка точности моделей задержек фрагментов субмикронных МОП БИС / И. М. Садовая, 2004. - 16 с. - Текст : непосредственный.Гришкин А.С. Генераторы псевдослучайных символов на регистрах сдвига с внутренними сумматорами по модулю при использовании инвесных выходов : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : диссертация на соискание ученой степени канд. техн. наук / А. С. Гришкин, 2006. - 17 с. - Текст : непосредственный.Mahapatra S. Hybrid CMOS single-electron-transistor device and circuit design / S. Mahapatra, A. M. Ionescu, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Токарев В.Л. Базовые схемы цифровой вычислительной техники / В. Л. Токарев, 1995. - 127 c. - Текст : непосредственный.Быстрицкий А.В. Проектирование структуры межсоединений программируемых логических интегральных схем / А. В. Быстрицкий, 2012. - 16 с. - Текст : непосредственный.Кузелин М.О. Современные семейства ПЛИС фирмы XILINX / М. О. Кузелин, Д. А. Кнышев, В. Ю. Зотов, 2004. - 440 с. - Текст : непосредственный.Опадчий Ю.Ф. Аналоговая и цифровая электроника / Ю. Ф. Опадчий, О. П. Глудкин, А. И. Гуров, 2000. - 768 с. - Текст : непосредственный.Останин С.А. Методы синтеза контролепригодных дискретных устройств : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Останин, 2000. - 23 с. - Текст : непосредственный.Инютин С.А. Арифметико-логические основы вычислительных систем / С. А. Инютин, 2001. - 117 с. - Текст : непосредственный.Браммер Ю.А. Импульсные и цифровые устройства / Ю. А. Браммер, И. Н. Пащук, 2002. - 351 с. - Текст : непосредственный.Микропроцессорные, аналоговые и цифровые системы: проектирование и схемотехника, теория и вопросы применения : материалы временных коллективов / Южно-Российский гос. технический ун-т (Новочеркасск), 2007. - 59 с. - Текст : непосредственный.Мальцев П.П. Цифровые интегральные микросхемы / П. П. Мальцев, П. П. Мальцев, Н. С. Долидзе, М. И. Критенко, 1994. - 240 c. - Текст : непосредственный.Цифровые интегральные микросхемы : Справочник / Сост.:В.Ю.Толкачев, Т.А.Кузьмина. Т. 2 : Логические быстродействующие биполярные микросхемы, триггеры и коммутаторы, 1994. - 288 с. - Текст : непосредственный.Ицхоки Я.С. Импульсные и цифровые устройства, 1973. - 591, [1] с. - Текст : непосредственный.Музыченко О.Н. Универсальные методы синтеза логических схем : учеб. пособие. Кн.1, 2005. - 149 с. - Текст : непосредственный.Битар Б. Логические программируемые элементы : препринт / Б. Битар, 1993. - 22 с. - Текст : непосредственный.Деменкова Т.А. Современные методы проектирования цифровых устройств / Т. А. Деменкова, Ю. Д. Тювин, Г. А. Оганян, 2001. - 61 с. - Текст : непосредственный.Hamblen J.O. Rapid prototyping of digital systems / J. O. Hamblen, M. D. Furman, T. S. Hall, 2008 r=on-line

Показать все результаты

Садовая И.М. Оценка точности моделей задержек фрагментов субмикронных МОП БИС / И. М. Садовая, 2004. - 16 с. - Текст : непосредственный.Исмагилова Е.И. Булевы функции и построение логических схем : выставочные материалы / Е. И. Исмагилова, 2015. - 158 с. - Текст : непосредственный.Williams J. Digital vlsi design with verilog / J. Williams, 2008 r=on-line. - Текст : электронный.Chang K. Functional design errors in digital circuits / K. Chang, I. L. Markov, V. Bertacco, 2009 r=on-line MICRO-DIXI, 1992. - 79 с. - Текст : непосредственный.Уилкинсон Б. Основы проектирования цифровых схем : монография / Б. Уилкинсон, 2004. - 318 с. - Текст : непосредственный.Стручков А.А. Проектирование цифровых устройств на программируемых логических ИС с помощью САПР SNAP : Учеб.пособие. Ч. 1, 1992. - 36 с. - Текст : непосредственный.Rabaey J. Low power design essentials / J. Rabaey, 2009 r=on-line. - Текст : электронный.Роженцов А.А. Разработка устройств обработки сигналов на программируемых логических интегральных схемах : выставочные материалы / А. А. Роженцов, А. А. Баев, Д. С. Чернышев, 2016. - 131 с. - Текст : непосредственный.Брич В.Г. Модели, алгоритмы и средства архитектурного трансформационного синтеза цифровых систем : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн.наук / В. Г. Брич, 1994. - 25 с. - Текст : непосредственный.Parker K.P. Integrating design and test:using CAE tools for ATE programming / K. P. Parker, 1987. - X,144 p. p. - Текст : непосредственный.Автоматизация проектирования программируемых логических интегральных схем / В. И. Анисимов, А. Б. Исаков, Д. С. Молотков, 1997. - 63 с. - Текст : непосредственный.Hamblen J.O. Rapid prototyping of digital systems / J. O. Hamblen, M. D. Furman, T. S. Hall, 2006 r=on-line. - Текст : электронный.Astola J.T. Fundamentals of switching theory and logic design / J. T. Astola, R. S. Stankovic, 2006 r=on-line. - Текст : электронный.Ramachandran S. Digital VLSI systems design / S. Ramachandran, 2007 r=on-line. - Текст : электронный.

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Лицевая сторона карточки	Обратная сторона карточки

Показать все результаты

Groote J.F. Resolution and binary decision diagrams connot simulate each other polynomially / J.F.Groote,H.Zantema, 2000. - 12 p. - Текст : непосредственный.

Заказ фрагмента документа ₽