Полное описание
Formal approaches to software testing / SpringerLink (Online service) ; ed. J. Grabowski. - Berlin ; Heidelberg : Springer-Verlag, 2005. - on-line. - (Lecture notes in computer science, ISSN 0302-9743 ; 3395). - URL: http://dx.doi.org/10.1007/b106767 . - ISBN 978-3-540-31848-4. - Текст : электронный.
ГРНТИ УДК 50.01.81 004.415.53(063)
Рубрики: Программы для ЭВМ -- Тестирование -- Съезды и конференции
Доп. точки доступа: Grabowski, J.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/b106767
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.415.53(063)/F76-138313)
Шифр в сводном ЭК: 71f4b67287e4dc687d76dca07350cc5f
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. - Текст : электронный. 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. - Текст : электронный. Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Computer vision - ECCV 2008 / SpringerLink (Online service), 2008 r=on-line. Computer vision -ECCV 2008 / SpringerLink (Online service), 2008 r=on-line. On the move to meaningful internet systems: OTM 2008 / David. Hutchison, Gerhard. Weikum, Demetri. Terzopoulos [et al.] ; ed. R. Meersman, 2008 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 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты ISSTA'09 : материалы временных коллективов / International symposium on software testing & analysis (2009 ; Chicago, Il), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. The programming and proof system ATES : сборник научных трудов / Ed. A. Puccetti, 1991. - 341 p. - Текст : непосредственный. Formal approaches to software testing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Testing of communicating systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Testing – practice and research techniques : 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010: proceedings / ed. L. Bottaci, 2010 r=on-line. - Текст : электронный. Lecture notes in computer science / ed. G. Goos [et al.]. 6153 : Testing techniques in software engineering : second Pernambuco summer school on software engineering< PSSE 2007, Recife, Brazil, December 3-7, 2007, revised lectures / Pernambuco summer school on software engineering (2nd; 2007; Recife), 2010. - VIII, 313 p. - Текст : непосредственный. Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, Wa, USA, August 15-16, 2006: revised selected papers / ed. K. Havelund, 2006 r=on-line. - Текст : электронный. Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007: proceedings / ed. A. Petrenko, 2007 r=on-line. - Текст : электронный. Tests and proofs : 1st international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007: revised papers / ed. Y. Gurevich, 2007 r=on-line. - Текст : электронный. Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007: proceedings / ed. H. R. Nielson, G. File, 2007 r=on-line. - Текст : электронный. Testing of software and communicating systems : 20th IFIP TC 6/WG 6.1 International conference, TestCom 2008 8th International workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008: proceedings / ed. K. Suzuki [et al.], 2008 r=on-line. - Текст : электронный. Static analysis : 15th International symposium, SAS 2008, Valencia, Spain, July 16-18, 2008: proceedings / ed. D. Hutchison [et al.], 2008 r=on-line. - Текст : электронный. Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005: proceedings / eds. C. Hankin, I. Siveroni, 2005 r=on-line. - Текст : электронный. Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008: proceedings / ed. B. Beckert, 2008 r=on-line. - Текст : электронный. Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009: proceedings / eds. D. Hutchison [et al.], 2009 r=on-line. - Текст : электронный. Proceedings of the Workshop on..19-21 July 1988 Banff. / Workshop on software testing,verification,and analysis (2 ; 1988 ; Banff) , 1988. - VIII,247 p. p. - Текст : непосредственный. Testing of software and communication systems : 21st IFIP WG 6.1 international conference, TESTCOM 2009 and 9th international workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009: proceedings / ed. M. Nunez [et al.], 2009 r=on-line. - Текст : электронный. Testing of communicating systems : 18th IFIP TC 6/WG 6.1 international conference, TestCom 2006, New York, NY, USA, May 16-18, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный. Показать все результаты Просмотр издания
Приложение
для Android
