Поисковый запрос: (<.>R=50.09.29$<.>) |
Общее количество найденных документов : 28
Показаны документы с 1 по 28 |
1. 
| 004.312-048.24/W24-567434
Wang, C.
Abstraction refinement for large scale model checking [Electronic resource] / C. Wang, G. D. Hachtel, F. Somenzi. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2006. - (Series on integrated circuits and systems, ISSN 1558-9412). - ISBN 978-0-387-34600-7 : Б. ц.
Рубрики: Логические схемы--Верификация
См. : Текст издания
Доп.точки доступа:
Hachtel, G.D.; Somenzi, F.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
2.
| 621.3.01
S35
Schneider-Obermann, H.
Basiswissen der elektro-, digital- und informationstechnik [Electronic resource] : For Informatiker, Elektrotechniker und Maschinenbauer / H. Schneider-Obermann, O. Mildenberger. - Electronic text data. - Wiesbaden : Friedr. Vieweg & Sohn, 2006. - ISBN 978-3-8348-9122-8 : Б. ц.
Кл.слова (ненормированные):
электротехника -- цифровая техника -- вычислительная техника -- теоретические основы
См. : Текст издания
Доп.точки доступа:
Mildenberger, O.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
3.
| 004.3'12
N33
Nedjah, N.
Co-design for system acceleration [Electronic resource] : a quantitative approach / N. Nedjah, L. D. Mourelle. - Electronic text data. - Dordrecht : Springer, 2007. - ISBN 978-1-4020-5546-1 : Б. ц.
Рубрики: Дискретные устройства--Проектирование
См. : Текст издания
Доп.точки доступа:
Mourelle, L.D.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
4.
| 004.3'12
Farhat, H. A.
Digital design and computer organization [Electronic resource] : материал технической информации / H. A. Farhat. - Электрон. текстовые дан. - [Amsterdam] : Taylor & Francis group, 2005. - on-line. - Загл. с титул. экрана. - ISBN 0-203-58540-2 : 2900.00 р.
См. : Текст издания
Экземпляры всего 1: нто3 (1)
Свободны: нто3 (1)
Найти похожие
|
5.
| 658.512.2.011.56/N31-245796
Navabi, Z.
Digital design and implementation with field programmable devices [Electronic resource] / Z. Navabi ; SpringerLink (Online service). - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - ISBN 978-1-402-08012-8 : Б. ц.
Рубрики: Дискретные устройства--Проектирование
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
6.
| 004.3'13/N31-211605
Navabi, Z.
Digital design and implementation with field programmable devices [Electronic resource] / Z. Navabi ; SpringerLink (Online service). - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - ISBN 978-1-4020-8012-8 : Б. ц.
Рубрики: Дискретные устройства--Проектирование
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
7.
| 004.312'12
W69
Williams, J.
Digital vlsi design with verilog [Electronic resource] : a textbook from silicon valley technical institute / J. Williams. - Electronic text data. - Dordrecht : Springer, 2008. - ISBN 978-1-4020-8446-1 : Б. ц.
Рубрики: Интегральные схемы цифровые--Проектирование
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
8.
| 004.312'12
R19
Ramachandran, S.
Digital VLSI systems design [Electronic resource] : a design manual for implementation of projects on FPGAs and ASICs using verilog / S. Ramachandran. - Electronic text data. - Dordrecht : Springer, 2007. - ISBN 978-1-4020-5829-5 : Б. ц.
Рубрики: Интегральные схемы цифровые--Проектирование
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
9.
| 004.3
D56
Digitaltechnik — eine praxisnahe Einfuhrung [Electronic resource] / A. Biere [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Springer-Lehrbuch, ISSN 0937-7433). - ISBN 978-3-540-77729-8 : Б. ц.
Кл.слова (ненормированные):
цифровая техника
См. : Текст издания
Доп.точки доступа:
Biere, A.; Wintersteiger, C.M.; Kroening, D.; Weissenbacher, G.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
10.
| 621.384.001.2-52/G64-007819
Gopalakrishnan, P.
Direct transistor-level layout for digital blocks [Electronic resource] / P. Gopalakrishnan, R. A. Rutenbar. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - ISBN 978-1-402-08063-0 : Б. ц.
Рубрики: Интегральные схемы цифровые--Проектирование--Автоматизация
См. : Текст издания
Доп.точки доступа:
Rutenbar, R.A.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
11.
| () Discrete Dynamics in Nature and Society [Электронный ресурс]. - [Б. м.] : Hindawi Publishing Corporation, 1997 - . - Выходит ежеквартально. - ISSN 1026-0226
journal link
Найти похожие
|
12.
| 004.312'12
C45
Chang, K.
Functional design errors in digital circuits [Electronic resource] : diagnosis, correction and repair / K. Chang, I. L. Markov, V. Bertacco. - Electronic text data. - Dordrecht : Springer, 2009. - (Lecture notes in electrical engineering, ISSN 1876-1100 ; 32). - ISBN 978-1-4020-9365-4 : Б. ц.
Рубрики: Интегральные схемы цифровые--Проектирование
См. : Текст издания
Доп.точки доступа:
Markov, I.L.; Bertacco, V.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
13.
| 004.312'12
A89
Astola, J. T.
Fundamentals of switching theory and logic design [Electronic resource] : a hands on approach / J. T. Astola, R. S. Stankovic. - Electronic text data. - Boston, Ma : Springer, 2006. - ISBN 0-387-30311-1 : Б. ц.
Рубрики: Логические схемы --Проектирование
См. : Текст издания
Доп.точки доступа:
Stankovic, R.S.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
14.
| 004.312
H65
High-level synthesis [Electronic resource] : from agorithm to digital circuit / ed. : P. Coussy, A. Morawiec. - Electronic text data. - Dordrecht : Springer, 2008. - ISBN 978-1-4020-8588-8 : Б. ц.
Рубрики: Логические схемы--Анализ и синтез
См. : Текст издания
Доп.точки доступа:
Coussy, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
15.
| 004.312.42
V85
Voldman, S. H.
Latchup [Electronic resource] : монография / S. H. Voldman. - Electronic text data. - Chichester : John Wiley & Sons, 2008. - on-line. - Загл. с титул. экрана. - ISBN 978-0-470-51617-1 : Б. ц.
См. : Текст издания
Экземпляры всего 1: нто3 (1)
Свободны: нто3 (1)
Найти похожие
|
16.
| 004.312.42
Voldman, S. H.
Latchup [Electronic resource] : монография / S. H. Voldman. - Electronic text data. - Chichester : John Wiley & Sons, 2008. - on-line. - Загл. с титул. экрана. - ISBN 978-0-470-51617-1 : Б. ц.
См. : Текст издания
Экземпляры всего 1: нто3 (1)
Свободны: нто3 (1)
Найти похожие
|
17.
| 004.312.46/B24-320430
Barkalov, A.
Logic synthesis for compositional microprogram control units [Electronic resource] / A. Barkalov, L. Titarenko. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes electrical engineering, ISSN 1876-1100 ; 22). - ISBN 978-3-540-69285-0 : Б. ц.
Рубрики: Интегральные схемы цифровые--Проектирование
Логические схемы--Анализ и синтез
См. : Текст издания
Доп.точки доступа:
Titarenko, L.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
18.
| 004.312/B24-298884
Barkalov, A.
Logic synthesis for FSM-based control units [Electronic resource] / A. Barkalov, L. Titarenko. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in electrical engineering, ISSN 1876-1100 ; 53). - ISBN 978-3-642-04309-3 : Б. ц.
Кл.слова (ненормированные):
программируемые логические интегральные схемы -- логический синтез -- цифровые интегральные схемы -- проектирование -- конечно-автоматные модели
См. : Текст издания
Доп.точки доступа:
Titarenko, L.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
19.
| 004.312.2'12/L69-895868
Liebig, H.
Logischer entwurf digitaler systeme [Electronic resource] / H. Liebig. - 4., bearbeitete und erweiterte Auflage. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - ISBN 978-3-540-29430-9 : Б. ц.
Кл.слова (ненормированные):
цифровые системы -- логическое проектирование
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
20.
| 004.312
L95
Low-power high-level synthesis for nanoscale CMOS circuits [Electronic resource] / S. P. Mohanty [et al.] ; SpringerLink (Online service). - Electronic text data. - Boston, Ma : Springer-Verlag, 2008. - ISBN 978-0-387-76474-0 : Б. ц.
Рубрики: Интегральные схемы цифровые--Анализ и синтез
См. : Текст издания
Доп.точки доступа:
Mohanty, S.P.; Ranganathan, N; Kougianos, E.; Patra, P.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
21.
| 004.312.052.32
N52
New methods of concurrent checking [Electronic resource] / M. Goessel [et al.]. - Electronic text data. - Dordrecht : Springer, 2008. - (Frontiers in electronic testing, ISSN 0929-1296 ; 42). - ISBN 978-1-4020-8420-1 : Б. ц.
Рубрики: Интегральные схемы цифровые--Тестирование
См. : Текст издания
Доп.точки доступа:
Goessel, M.; Marienfeld, D.; Ocheretny, V.; Sogomonyan, E.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
22.
| 004.312
H55
Henzler, S.
Power management of digital circuits in deep sub-micron CMOS technologies [Electronic resource] / S. Henzler. - Electronic text data. - Dordrecht : Springer, 2006. - (Advanced microelectronics, ISSN 1437-0387 ; 25). - ISBN 978-1-4020-5081-7 : Б. ц.
Рубрики: Интегральные схемы цифровые
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
23.
| 004.312'12
H20
Hamblen, J. O.
Rapid prototyping of digital systems [Electronic resource] / J. O. Hamblen, M. D. Furman, T. S. Hall. - Quartus 2 ed. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2006. - ISBN 0-387-28965-8 : Б. ц.
Рубрики: Дискретные устройства--Проектирование--Автоматизация
См. : Текст издания
Доп.точки доступа:
Furman, M.D.; Hall, T.S.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
24.
| 004.3'12
H20
Hamblen, J. O.
Rapid prototyping of digital systems [Electronic resource] / J. O. Hamblen, M. D. Furman, T. S. Hall. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2008. - ISBN 978-0-387-72671-7 : Б. ц.
Рубрики: Дискретные устройства--Проектирование
См. : Текст издания
Доп.точки доступа:
Furman, M.D.; Hall, T.S.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
25.
| 621.391.823:004.3
Caniggia, S.
Signal integrity and radiated emission of high-speed digital systems [Electronic resource] : монография / S. Caniggia, F. Maradei. - Electronic text data. - Chichester [etc.] : John Wiley & Sons, 2008. - on-line. - Загл. с титул. экрана. - ISBN 978-0-470-51166-4 : Б. ц.
См. : Текст издания
Доп.точки доступа:
Maradei, F.
Экземпляры всего 1: нто3 (1)
Свободны: нто3 (1)
Найти похожие
|
26.
| 621.391.823:004.3
C19
Caniggia, S.
Signal integrity and radiated emission of high-speed digital systems [Electronic resource] : монография / S. Caniggia, F. Maradei. - Electronic text data. - Chichester [etc.] : John Wiley & Sons, 2008. - on-line. - Загл. с титул. экрана. - ISBN 978-0-470-51166-4 : Б. ц.
См. : Текст издания
Доп.точки доступа:
Maradei, F.
Экземпляры всего 1: нто3 (1)
Свободны: нто3 (1)
Найти похожие
|
27.
| 658.512.2.011.56/P32-631305
Patel, H. D.
SystemC kernel extensions for heterogeneous system modeling [Electronic resource] : a framework for multi-moC modeling & simulation / H. D. Patel, S. K. Shukla. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - ISBN 978-1-402-08088-3 : Б. ц.
Рубрики: Дискретные устройства--Проектирование
Программирования языки--SystemC
См. : Текст издания
Доп.точки доступа:
Shukla, S.K.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
28.
| 681.51/T26-943868
Taxonomies for the development and verification of digital systems [Electronic resource] / ed. B. Bailey [et al.]. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - ISBN 978-0-387-24021-3 : Б. ц.
Рубрики: Дискретные устройства--Проектирование
См. : Текст издания
Доп.точки доступа:
Bailey, B. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных