Приложение
для AndroidПолное описание
Chang, K. Functional design errors in digital circuits / K. Chang, I. L. Markov, V. Bertacco ; SpringerLink (Online service). - Dordrecht : Springer, 2009. - on-line. - (Lecture notes in electrical engineering, ISSN 1876-1100 ; 32). - URL: http://dx.doi.org/10.1007/978-1-4020-9365-4. - ISBN 978-1-4020-9365-4
| ГРНТИ | УДК | |
| 50.09.29 | 004.312'12 |
Рубрики:
Интегральные схемы цифровые -- Проектирование
Доп. точки доступа:
Markov, I.L.
Bertacco, V.
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-1-4020-9365-4
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.312'12/C45-573601)
Шифр в сводном ЭК: 681a6af4411a78fd2742010240e11e3d
Chang K. Functional design errors in digital circuits / K. Chang, I. L. Markov, V. Bertacco, 2009 r=on-line
[Reports] / Amer.inst.of aeronautics and astronautics. N 89-0665 : analytical and experimental investigation of turbulent jet impingement in a confined cross-flow : Rep. presented at the 27th aerospace sciences meet.,Jan.9-12,1989,Reno(Nv) / G.Catalano,K.Chang,J.Mathis, 1989. - 7 p. - Текст : непосредственный. Advances in web and network technologies, and information management : APWeb/WAIM 2007 international workshops: DBMAN 2007, webETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007: proceedings / ed. K. C. Chang [et al.], 2007 r=on-line. - Текст : электронный.[Reports] / Amer.inst.of aeronautics and astronautics. N 90-0436 : Euler method for wing-body-winglet flows : Rep.presented at the AIAA 28th aerospace sciences meet.Jan.8-11,1990/Reno(Nv) / J.C.Vassberg,K.C.Chang,G.S.Wang,K.Yu, 1990. - 6 p. - Текст : непосредственный. Bertacco V. Scalable hardware verification with symbolic simulation / V. Bertacco, 2006 r=on-line. - Текст : электронный.[Reports] / Amer.inst.of aeronautics and astronautics. N 89-0220 : comparison of turbulence models for uses in calculations of free jets and flames : Rep.presented at 27th aerospace sciences meet.,Jan.9-12,1989/Reno(Nv) / K.Chang,R. Lin, 1989. - 4 p. . - Текст : непосредственный.[Reports] / Amer.inst.of aeronautics and astronautics. N 89-0238 : hydrodynamics of film boiling from a cylinder in crossflow : Rep.presented at 27th aerospace sciences meet.,Jan.9-12,1989/Reno(Nv) / K.Chang,L.Witte, 1989. - 8 p. . - Текст : непосредственный. Analysis of low-speed unsteady airfoil flows / T. Cebeci [et al.], 2005 r=on-lineViamontes G.F. Quantum circuit simulation / G. F. Viamontes, J. P. Hayes, I. L. Markov, 2009 r=on-line. - Текст : электронный.Chang K. Methods in nonlinear analysis / K. Chang, 2005 r=on-line. - Текст : электронный.Chang K. Infinite dimensional morse theory and multiple solution problems / K.Chang, 1993. - X,312 p. p. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Chang K. Functional design errors in digital circuits / K. Chang, I. L. Markov, V. Bertacco, 2009 r=on-lineAdvances in Applied Biotechnology : материалы временных коллективовVol. 2 / Ed. T.-C. Zhang, 2015 r=on-line. - Текст : электронный.Networks and Communications (NetCom2013) / Ed. N. Meghanathan, 2014 r=on-line. - Текст : электронный.Progress in Optomechatronic Technologies / Ed. R. Tutsch, 2014 r=on-line. - Текст : электронный.Mobile, Ubiquitous, and Intelligent Computing. MUSIC 2013 / Ed. J.J. (Jong Hyuk) Park, 2014 r=on-line. - Текст : электронный.Future Information Technology. FutureTech 2013 / Ed. J.J. (Jong Hyuk) Park, 2014 r=on-line. - Текст : электронный.Ubiquitous Information Technologies and Applications. CUTE 2013 / Ed. Young-Sik Jeong, 2014 r=on-line. - Текст : электронный.Advances in Computer Science and its Applications. CSA 2013 / Ed. Hwa Young Jeong, 2014 r=on-line. - Текст : электронный.AETA 2013: Recent Advances in Electrical Engineering and Related Sciences / Ed. I. Zelinka, 2014 r=on-line. - Текст : электронный.Signal and Image Processing for Biometrics / Ed. J. Scharcanski, 2014 r=on-line. - Текст : электронный.Advanced Technologies in Ad Hoc and Sensor Networks / Ed. Xue Wang, 2014 r=on-line. - Текст : электронный.Air Traffic Management and Systems / Ed. Electronic Navigation Research Institute, 2014 r=on-line. - Текст : электронный.Analysis and Simulation of Electrical and Computer Systems / Ed.: L. Gołębiowski, D. Mazur, 2015 r=on-line. - Текст : электронный.Data Transmission at Millimeter Waves. Exploiting the 60 GHz Band on Silicon / K. Khalaf, V. Vidojkovic, P. Wambacq, J. R. Long, 2015 r=on-line. - Текст : электронный.Advanced Multimedia and Ubiquitous Engineering. Future Information Technology / Ed. J.J. (Jong Hyuk) Park, 2015 r=on-line. - Текст : электронный.Mobile and Wireless Technology 2015 / Ed.: K. J. Kim, Naruemon Wattanapongsakorn, 2015 r=on-line. - Текст : электронный.El-Bendary M.A.M. Developing Security Tools of WSN and WBAN Networks Applications / M. A.M. El-Bendary, 2015 r=on-line. - Текст : электронный.Haptic Interaction : сборник / Ed. H. Kajimoto, 2015 r=on-line. - Текст : электронный.Power Electronics and Renewable Energy Systems / Ed. C. Kamalakannan, 2015 r=on-line. - Текст : электронный.Systems Thinking Approach for Social Problems / Ed. V. Vijay, 2015 r=on-line. - Текст : электронный.
Показать все результатыGreiner W. Quantum electrodynamics / W. Greiner, J. Reinhardt, 2009. - XVI, 447 p. - Текст : непосредственный.Computer vision and graphics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный.Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный.Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Catalysis by metal complexes / ed.: B. James , P. W. N. M. van Leeuwen. Vol. 28 : Heterocycles from transition metal catalysis : formation and functionalization / A. Kotschy, G. Timari, 2005. - XII, 199 p. - Текст : непосредственный.Catalysis by metal complexes / ed.: B. James, P. W. N. M. van Leeuwen. Vol. 29 : Metal catalysed reactions in ionic liquids / P. J. Dyson, T. J. Geldbach, 2005. - X, 246 p. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Artificial neural networks - ICANN 2008 / SpringerLink (Online service), 2008 r=on-line.Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Comparative genomics / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Research in cryptology / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Post-quantum cryptography / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line.Wireless algorithms, systems, and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.
Показать все результатыЮшин А.М. Цифровые микросхемы для электронных устройств / А. М. Юшин, 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-lineMICRO-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. - Текст : электронный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Просмотр издания