Приложение
для AndroidПолное описание
Automated technology for verification and analysis / SpringerLink (Online service) ; ed. A. Bouajjani. - Berlin ; Heidelberg : Springer, 2010. - on-line. - (Lecture notes in computer science, ISSN 0302-9743 ; 6252). - URL: http://dx.doi.org/10.1007/978-3-642-15643-4. - ISBN 978-3-642-15643-4. - Текст : электронный.
Рубрики:
Computer science
Computer communication networks
Software engineering
Logic design
Computer science
Software engineering
Programming techniques
Computer communication networks
Logics and meanings of programs
Programming languages, compilers, interpreters
Software engineering/programming and operating systems
Доп. точки доступа:
Bouajjani, A.\ed.\
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-15643-4
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -712299)
Шифр в сводном ЭК: f2da5e0411b903612e46895ca0061f76
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
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.
Показать все результатыHelrich C.S. Modern thermodynamics with statistical mechanics / C. S. Helrich, 2009. - XIII, 402 p. - Текст : непосредственный.On the move to meaningful internet systems: OTM 2008 / David. Hutchison, Gerhard. Weikum, Demetri. Terzopoulos [et al.] ; ed. R. Meersman, 2008 r=on-line.Wechsler H. Reliable face recognition methods / H. Wechsler, 2007 r=on-line. - Текст : электронный.Golbeck J. Computing with social trust / J. Golbeck ; ed. J. Golbeck, 2009 r=on-line. - Текст : электронный.(Re)Searching the digital bauhaus / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Dong A. The language of design / A. Dong, 2009 r=on-line. - Текст : электронный.Seffah A. Adoption-centric usability engineering / A. Seffah, E. Metzker, 2009 r=on-line. - Текст : электронный.Takuma T. Electric fields in composite dielectrics and their applications / T. Takuma, B. Techaumnat, 2010. - XIII, 176 p. - Текст : непосредственный.Teschl G. Mathematik fur Informatiker / G. Teschl, S. Teschl, 2007 r=on-line. - Текст : электронный.Wagner M.H. Wegweiser fur den Erfinder / M. H. Wagner, W. Thieler, 2007 r=on-line. - Текст : электронный.Conrads U. Zeit des Labyrinths / U. Conrads, 2007 r=on-line.Isermann R. Mechatronische Systeme / R. Isermann, 2008 r=on-line. - Текст : электронный.Walter T. Kompendium der Web-Programmierung / T. Walter, 2008 r=on-line. - Текст : электронный.Reimers U. DVB — Digitale Fernsehtechnik / U. Reimers, 2008 r=on-line. - Текст : электронный.Ponn J. Konzeptentwicklung und Gestaltung technischer Produkte / J. Ponn, U. Lindemann, 2008 r=on-line. - Текст : электронный.Orlowski P.F. Praktische Regeltechnik / P. F. Orlowski, 2008 r=on-line. - Текст : электронный.Lunze J. Regelungstechnik 1 / J. Lunze, 2008 r=on-line. - Текст : электронный.Fetzer A. Mathematik 1 / A. Fetzer, H. Frankel, 2008 r=on-line. - Текст : электронный.Thies K.H. Management operationaler IT- und Prozess-Risiken / K. H. Thies, 2008 r=on-line. - Текст : электронный.Weigand B. Thermodynamik kompakt / B. Weigand, J. Kohler, J. von Wolfersdorf, 2008 r=on-line. - Текст : электронный.
Показать все результатыХанжин А. Г. Формирование знания о рефератах и методах реферирования / А. Г. Ханжин, А. А. Кожокару, 2010 r=on-line. - Текст : непосредственный // Научно-техническая информация. Сер.1, Организация и методика информационной работы : Ежемес.науч.-техн.сб. / ВИНИТИ. - М. - 2011. - N 8. - с. 1-8Ganter B. Formal concept analysis / B. Ganter, G. Stumme, R. Wille ; ed. B. Ganter, 2005 r=on-line. - Текст : электронный.Faas R.J. Life system modeling and intelligent computing / R. J. Faas, K. Li ; ed. X. Li, 2010 r=on-line. - Текст : электронный.Sande S. Taking your ipad to the max / S. Sande, M. Grothaus, E. Sadun, 2010 r=on-line. - Текст : электронный.Pilgrim M. Dive into python 3 / M. Pilgrim, 2009 r=on-line. - Текст : электронный.Redkar T. Windows azure platform / T. Redkar, 2009 r=on-line. - Текст : электронный.Powers D. Getting startED with CSS / D. Powers, 2009 r=on-line. - Текст : электронный.Peutz M. Introducing aviary / M. Peutz, 2009 r=on-line. - Текст : электронный.Aitchison A. Expert SQL server 2008 development / A. Aitchison, A. Machanic, 2009 r=on-line. - Текст : электронный.Ganz C. Pro dynamic .net 4.0 applications / C. Ganz, 2010 r=on-line. - Текст : электронный.Nash T. Accelerated C# 2010 / T. Nash, 2010 r=on-line. - Текст : электронный.Expert oracle practices / M. Caffrey, J. Senegacnik, T. Gorman [et al.], 2010 r=on-line. - Текст : электронный.McGaw J. Beginning django e-commerce / J. McGaw, 2009 r=on-line. - Текст : электронный.Zammetti F.W. Practical palm pre webOS projects / F. W. Zammetti, 2009 r=on-line. - Текст : электронный.Nutting J. Learn cocoa on the mac / J. Nutting, D. Mark, J. LaMarche, 2010 r=on-line. - Текст : электронный.Murphy M.L. Beginning android 2 / M. L. Murphy, 2010 r=on-line. - Текст : электронный.Lee J. Beginning perl / J. Lee, 2010 r=on-line. - Текст : электронный.Kelly J.F. Getting started with windows live movie maker / J. F. Kelly, 2010 r=on-line. - Текст : электронный.MacDonald M. Pro WPF in VB 2010 / M. MacDonald, 2010 r=on-line. - Текст : электронный.Vugt S. Beginning ubuntu lTS server administration / S. Vugt, 2008 r=on-line. - Текст : электронный.
Показать все результатыПросмотр издания