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

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

004.312-048.24/W24-567434
Wang, C. Abstraction refinement for large scale model checking / 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). - URL: http://dx.doi.org/10.1007/0-387-34600-7. - ISBN 978-0-387-34600-7.

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

Рубрики:
Логические схемы -- Верификация

Доп. точки доступа:
Hachtel, G.D.
Somenzi, F.
SpringerLink (Online service)
Экз-ры полностью 004.312-048.24/W24-567434
http://dx.doi.org/10.1007/0-387-34600-7

CMOS biotechnology / eds.: H. Lee [et al.], 2007. - XV, 385 p. - Текст : непосредственный.Chiang C. Design for manufacturability and yield for nano-scale CMOS / C. Chiang, J. Kawa, 2007. - XXVII, 254 p. - Текст : непосредственный.Circuits and systems for future generations of wireless communications / ed. A. Tasic [et al.], 2009. - VIII, 306 p. - Текст : непосредственный.Chiang C. Design for manufacturability and yield for nano-scale cmos / C. Chiang, J. Kawa, 2006 r=on-line.Ganai M. SAT-based scalable formal verification solutions / M. Ganai, A. Gupta, 2007 r=on-line.Rabaey J. Low power design essentials / J. Rabaey, 2009. - XI, 367 p. - Текст : непосредственный.Srivastava A. Statistical analysis and optimization for VLSI: timing and power / A. Srivastava, D. Blaauw, D. Sylvester, 2005 r=on-line Narendra S.G. Leakage in nanometer CMOS technologies / S. G. Narendra, A. Chandrakasan, 2006 r=on-line.Vassighi A. Thermal and power management of integrated circuits / A. Vassighi, M. Sachdev, 2006 r=on-line.Wang C. Abstraction refinement for large scale model checking / C. Wang, G. D. Hachtel, F. Somenzi, 2006 r=on-line.Wang A. Sub-threshold design for ultra low-power systems / A. Wang, B. H. Calhoun, A. P. Chandrakasan, 2007 r=on-line.High-performance energy-efficient microprocessor design / ed.: V. G. Oklobdzija, R. K. Krishnamurthy, 2006 r=on-line.Eisner C. A practical introduction to PSL / C. Eisner, D. Fisman, 2006 r=on-line.Ultra-low voltage nano-scale memories / ed. K. Itoh [et al.], 2006 r=on-line Nam G. Modern circuit placement : best practices and results / G. Nam, J. Cong, 2007 r=on-line.Saxena P. Routing congestion in vlsi circuits: estimation and optimization / P. Saxena, S. S. Sapatnekar, R. S. Shelar, 2007 r=on-line.CMOS biotechnology / ed. H. Lee [et al.], 2007 r=on-line.mm-wave silicon technology : 60 GHz and beyond / ed. : A. M. Niknejad, H. Hashemi, 2008 r=on-line.Gharpurey R. Ultra wideband : circuits, transceivers and systems / R. Gharpurey, P. Kinget, 2008 r=on-line.Chandrakasan A. Adaptive techniques for dynamic processor optimization : theory and practice / A. Chandrakasan, S. Naffziger, A. Wang, 2008 r=on-line.

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

Knapp A. Advanced real analysis : along with a companion volume basic real analysis / A. Knapp, C. Epstein, S. Krantz, 2005 r=on-line.Decreusefond L. Mathematiques informatique physique : au fil des TIPе / L. Decreusefond, A. Maruani, 2005 r=on-line True visions : the emergence of ambient intelligence / ed.: E. Aarts, J. Encarnação, 2006 r=on-line.Bielefeld B. Building projects in China : a manual for architects and engineers / B. Bielefeld, L. P. Rusch, 2006 r=on-line.Horst W. Het herstel van het gewone leven : een handreiking aan alledaagse opvoeders (ouders, onderwijsgevenden, groepsleiding, gezinsverzorgster) in problematische opvoedingssituaties / W. Horst, 2006 r=on-line. - Текст : электронный.Advances in cryptology - CRYPTO - 86 : proceedings / ed. A. M. Odlyzko, 2006 r=on-line.ECOOP - 87 european conference on object-oriented programming : Paris, France, June 15-17, 1987: proceedings / ed. J. Bezivin [et al.], 1987 r=on-line. - Текст : электронный.Prodan R. Grid computing : experiment management, tool integration, and scientific workflows / R. Prodan, T. Fahringer, 2007 r=on-line.Distributed, high-performance and grid computing in computational biology : international Workshop, GCCB 2006, Eilat, Israel, Jan. 21, 2007: proceedings / SpringerLink (Online service), 2007 r=on-line.Engineering self-organising systems : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006: revised and invited papers / ed. S. Brueckner [et al.], 2007 r=on-line.Evolutionary computation in combinatorial optimization : 7th European conf., EvoCOP 2007, Valencia, Spain, Apr. 11-13, 2007: proceedings / ed.: C. Cotta, J. Hemert, 2007 r=on-line.Systems biology and regulatory genomics : joint Annual RECOMB 2005 satellite workshops on systems biology and on regulatory genomics, San Diego, Ca, USA, Dec. 2-4, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Languages and compilers for parallel computing : 18th International workshop, LCPC 2005, Hawthorne, NY, USA, Oct. 20-22, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line.Ada 2005 reference manual. Language and standard libraries : international Standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / SpringerLink (Online service), 2006 r=on-line.Complex motion : 1st International workshop, IWCM 2004, Gunzburg, Germany, Oct. 12-14, 2004: revised papers / ed. B. Jahne [et al.], 2006 r=on-line.Models in software engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, Oct. 1-6, 2006: reports and revised selected papers / ed. T. Kuhne, 2007 r=on-line.Interactive systems. design, specification, and verification : 13th International workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006: revised papers / ed.: G. Doherty, A. Blandford, 2007 r=on-line.Multimodal technologies for perception of humans : first International evaluation workshop on classification of events, activities and relationships, CLEAR 2006, Southampton, UK, Apr. 6-7, 2006: revised selected papers / SpringerLink (Online service), 2007 r=on-line.Computational logic in multi-agent systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006: revised selected and ivited papers / ed. K. Inoue [et al.], 2007 r=on-line.New frontiers in artificial intelligence : JSAI 2006 conference and workshops, Tokyo, Japan, June 5-9 2006:revised selected papers / ed. T. Washio [et al.], 2007 r=on-line.

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

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

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

Просмотр издания

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

Заглавие23

Коллектив/Мероприятие11877

Тематический рубрикатор (ГРНТИ)898

УДК/ББК109