Приложение
для AndroidПолное описание
Platzer, A. Logical analysis of hybrid systems : proving theorems for complex dynamics / A. Platzer ; SpringerLink (Online service). - Berlin ; Heidelberg : Springer, 2010. - on-line. - URL: http://dx.doi.org/10.1007/978-3-642-14509-4. - ISBN 978-3-642-14509-4. - Текст : электронный.
Рубрики:
Computer science
Logic design
Artificial intelligence
Computer science
Mathematical logic and formal languages
Artificial intelligence (incl. robotics)
Mathematics of computing
Logics and meanings of programs
Control, robotics, mechatronics
Доп. точки доступа:
SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-14509-4
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -156663)
Шифр в сводном ЭК: b7da281d321d5d4830ec24b497579731
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. - Текст : электронный.
Показать все результатыOn the construction of artificial brains / SpringerLink (Online service), 2010. - VIII, 359 p. - Текст : непосредственный.Ханжин А. Г. Формирование знания о рефератах и методах реферирования / А. Г. Ханжин, А. А. Кожокару, 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. - Текст : электронный.
Показать все результатыПросмотр издания