Полное описание
System-level test and validation of hardware/software systems / ed. R. M. Sonza Reorda ; ed. R. M. Sonza Reorda [et al.]. - London : Springer, 2005. - on-line. - (Springer series in advanced microelectronics ; 17). - URL: http://dx.doi.org/10.1007/1-84628-145-8 . - ISBN 1-84628-145-8
ГРНТИ УДК 50.01.81 004.415.53
Рубрики: Программы для ЭВМ -- Тестирование
Программы для ЭВМ -- Тестирование
Доп. точки доступа: Sonza Reorda, R.M.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/1-84628-145-8
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.415.53/S98-410351)
Шифр в сводном ЭК: 42a2d728f90083fe1bea6a656ea31d2a
Schneider K. Highly sensitive optical receivers / K. Schneider, H. Zimmermann, 2006 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Goll B. Comparators in Nanometer CMOS Technology / B. Goll, H. Zimmermann, 2015 r=on-line. - Текст : электронный. Uhrmann H. Analog Filters in Nanometer CMOS / H. Uhrmann, R. Kolm, H. Zimmermann, 2014 r=on-line. - Текст : электронный. Breitenstein O. Lock-in thermography : basics and use for evaluating electronic devices and materials / O. Breitenstein, W. Warta, M. Langenkamp, 2010 r=on-line. - Текст : электронный. Dziuban J.A. Bonding in microsystem technology / J. A. Dziuban, 2006 r=on-line. - Текст : электронный. Low power VCO design in CMOS / M. Tiebout, 2006 r=on-line. - Текст : электронный. Ortmanns M. Continuous-time sigma-delta a/d conversion : fundamentals, performance limits and robust implementations / M. Ortmanns, F. Gerfers, 2006 r=on-line. - Текст : электронный. Witteman W.J. Detection and signal processing : technical realization / W. J. Witteman, 2006 r=on-line. - Текст : электронный. Henzler S. Time-to-Digital converters / S. Henzler, 2010 r=on-line. - Текст : электронный. System-level test and validation of hardware/software systems / ed. R. M. Sonza Reorda, 2005 r=on-line High dielectric constant materials : VLSI MOSFET applications / ed. H. Huff, 2005 r=on-line. - Текст : электронный. Mitescu M. Microcontrollers in practice / M. Mitescu, I. Susnea, 2005 r=on-line. - Текст : электронный. Perevoschikov V.A. Gettering defects in semiconductors / V. A. Perevoschikov, V. D. Skoupov, 2005 r=on-line. - Текст : электронный. Fulde M. Variation aware analog and mixed-signal circuit design in emerging multi-gate CMOS technologies / M. Fulde, 2010 r=on-line. - Текст : электронный. Tong X.C. Advanced Materials for Thermal Management of Electronic Packaging : монография / by Xingcun Colin Tong., 2011 r=on-line (Введено оглавление). - Текст : электронный. Richter D. Flash Memories. Economic Principles of Performance, Cost and Reliability Optimization / D. Richter, 2014 r=on-line. - Текст : электронный. Gonzalez Ruiz P. Poly-SiGe for MEMS-above-CMOS Sensors / P. Gonzalez Ruiz, K. De Meyer, A. Witvrouw, 2014 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. - Текст : электронный. Показать все результаты Фролов А.Б. Модели и методы технической диагностики / А. Б. Фролов, 1990. - 47 с. - Текст : непосредственный. Зимнович Р.В. Программно-диагностический комплекс для управления состоянием многопараметрических технических объектов на основе методов семантического анализа : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / Р. В. Зимнович, 2007. - 27 с. - Текст : непосредственный. Бочкарев С.В. Диагностика и надежность автоматизированных систем / С. В. Бочкарев, А. И. Цаплин, 2006. - 262 с. - Текст : непосредственный. Сборник научных трудов. № 17 : Диагностика и прогнозирование состояния сложных систем, 2007. - 77 с. - Текст : непосредственный. Птицына Л.К. Модели и методы анализа вычислительных процессов при функциональном диагностировании динамических систем / Л. К. Птицына, В. В. Бородин, 1997. - 106 с. - Текст : непосредственный. ISSTA'09 : материалы временных коллективов / International symposium on software testing & analysis (2009 ; Chicago, Il), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Латышев А.В. Диагностирование непрерывных систем и цепей / А. В. Латышев, 1990. - 46 c. - Текст : непосредственный. Hardware and software, verification and testing / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Perry W.A. Handbook of diagnosing and solving computer problems / W. A. Perry, 1989. - XII,255 p. мкф. - Текст : непосредственный. Prace / Inst. podstaw informatyki. 655 : Wplyw liniowych sprzezen zwrotnych na skutecznosc analizy sygnaturowej uszkodzen / A.Hlawiczka,K.Mostowski, 1989. - 63 s. - Текст : непосредственный. Formal approaches to software testing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Testing of communicating systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Гукин Д. Устранение неисправностей в ПК для "чайников" : монография / Д. Гукин, 2006. - 351 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Петров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный. Стивенс Р. Тестирование и отладка программ на Visual Basic / Р. Стивенс, 2001. - 378 с. - Текст : непосредственный. Посыпкин М.А. Применение формальных методов для тестирования компиляторов : специальность 05.19.11 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. А. Посыпкин, 2004. - 22 c. - Текст : непосредственный. ISSTA'09 : материалы временных коллективов / International symposium on software testing & analysis (2009 ; Chicago, Il), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Голубев А.А. Методики создания и внедрения агентов в прикладное и системное программное обеспечение для автоматизации тестирования и мониторинга встроенных вычислительных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. А. Голубев, 2007. - 18 с. - Текст : непосредственный. Вигура А.Н. Модели и методы тестирования программных систем на основе алгебраического подхода / А. Н. Вигура, 2013. - 24 с. - Текст : непосредственный. Бейзер Б. Тестирование черного ящика.Технологии функционального тестирования программного обеспечения и систем / Б. Бейзер, 2004. - 317 с. - Текст : непосредственный. Groote J.F. Verification of parallel systems via decomposition / J. F. Groote, F. Moller, 1992. - 21 p. - Текст : непосредственный. Полухин П.В. Байесовские модели и алгоритмы управления процессом тестирования веб-приложений методом фаззинга / П. В. Полухин, 2016. - 18 с. - Текст : непосредственный. Криспин Л. Гибкое тестирование : методический материал / Л. Криспин, Д. Грегори, 2010. - 463 с. - Текст : непосредственный. Franz K. Handbuch zum Testen von Web-Applikationen / K. Franz, 2007 r=on-line. - Текст : электронный. Воинов Н.В. Методы генерации тестовых сценариев на основе структурированных UCM-моделей проектируемой системы / Н. В. Воинов, 2011. - 22 с. - Текст : непосредственный. Tip F. A survey of program slicing techniques / F. Tip, 1994. - 58 p. - Текст : непосредственный. The programming and proof system ATES : сборник научных трудов / Ed. A. Puccetti, 1991. - 341 p. - Текст : непосредственный. Worwa K. Modelowanie i ocena wzrostu niezawodnosci oprogramowania w procesie testowania / K. Worwa, 2000. - 179 s. - Текст : непосредственный. Винниченко И. Автоматизация процессов тестирования / И. Винниченко, 2005. - 202 с. - Текст : непосредственный. Formal approaches to software testing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Testing of communicating systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Model-based testing of reactive systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Турко С.А. Тестирование программных средств и информационных технологий в процессах их разработки : монография / С. А. Турко, 2017. - 132 с. - Текст : непосредственный. Показать все результаты Просмотр издания
Приложение
для Android
