004.42/S53-339630     Shemitz, J.     .NET 2.0 for Delphi programmers [Electronic resource] / J. Shemitz. - Electronic text data. - Berkeley, Ca : Apress, 2006. - ISBN 978-1-4302-0174-8 : Б. ц. ГРНТИ 50.41 УДК 004.41 Кл.слова (ненормированные): программирование для эвм -- программирования язык Delphi См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет

004.41 B92     Bukovics, B.     .NET 2.0 interoperability recipes [Electronic resource] : a problem-solution approach / B. Bukovics. - Electronic text data. - Berkeley, Ca : Apress, 2006. - ISBN 978-1-430-20145-8 : Б. ц. ГРНТИ 50.41 УДК 004.41 Кл.слова (ненормированные): программное обеспечение ЭВМ -- интероперабельность См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет

004.415.53 M44     McCaffrey, J. D.     .NET test automation recipes [Electronic resource] : a problem-solution approach / J. D. McCaffrey. - Electronic text data. - Berkeley, Ca : Apress, 2006. - ISBN 978-1-430-20163-2 : Б. ц. ГРНТИ 50.05.13 УДК 004.415.53 Кл.слова (ненормированные): программное обеспечение эвм -- тестирование См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет

004.415.5-392236         25 years of model checking [Electronic resource] : history, achievements, perspectives / ed. O. Grumberg. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5000). - ISBN 978-3-540-69850-0 : Б. ц. ГРНТИ 50.05.13 УДК 004.415.5 Рубрики: Программы для эвм--Верификация См. : Текст издания Доп.точки доступа: Grumberg, O. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.42.047 A10         A 25-year perspective on logic programming [Electronic resource] : achievements of the Italian Association for Logic Programming, GULP / eds. A. Dovier, E. Pontelli. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6125). - ISBN 978-3-642-14309-0 : Б. ц. ГРНТИ 50.05.13 УДК 004.42.047 Кл.слова (ненормированные): программирование для эвм логическое -- итальянская ассоциация См. : Текст издания Доп.точки доступа: Dovier, A. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.93 W80     Wohler, C.     3D computer vision [Electronic resource] : efficient methods and applications / C. Wohler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (X.media.publishing, ISSN 1612-1449). - ISBN 978-3-642-01732-2 : Б. ц. ГРНТИ 50.30.33 УДК 004.93 Кл.слова (ненормированные): трехмерное машинное зрение -- эффективные методы -- применение См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет

004.93-558051         3D imaging for safety and security [Electronic resource] / ed. A. Koschan. - Electronic text data. - Dordrecht : Springer, 2007. - (Computational imaging and vision, ISSN 1381-6446 ; 35). - ISBN 978-1-4020-6182-0 : Б. ц. ГРНТИ 55.30.33 28.23.15 50.37.23 УДК 004.93 004.932 004.056 Рубрики: Машинное зрение    Обработка изображений    Информация--Сохранность    Идентификация личности См. : Текст издания Доп.точки доступа: Koschan, A. \ed.\; SpringerLink (Online service) Свободных экз. нет

338(520)/T76-353240     Toriya, H.     3D manufacturing innovation [Electronic resource] : revolutionary change in japanese manufacturing with digital data / H. Toriya; translated by Yukie Ito. - Electronic text data. - London : Springer-Verlag, 2008. - ISBN 978-1-84800-038-4 : Б. ц. ГРНТИ 06.91 06.54.31 50.47 УДК 001.895(520) 658.512.2.011.56 Рубрики: Внедрение передовой технологии и техники в промышленности--Япония    АСУ технологическими процессами См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет

658.512.2:004 H15     Hager, W.     3D-CAD mit inventor 2008 [Electronic resource] : Tutorial mit durchgangigem Projektbeispiel STUDIUM / W. Hager, D. Bauermeister. - Electronic text data. - Wiesbaden : Vieweg +Teubner, 2008. - ISBN 978-3-8348-9533-2 : Б. ц. ГРНТИ 50.51 УДК 658.512.2:004 Кл.слова (ненормированные): автоматизированные системы проектирования См. : Текст издания Доп.точки доступа: Bauermeister, D.; SpringerLink (Online service) Свободных экз. нет

658.512.2:004 H15     Hager, W.     3D-CAD mit Inventor 2009 [Electronic resource] : Tutorial mit durchgangigem Projektbeispiel / W. Hager, D. Bauermeister. - Electronic text data. - Wiesbaden : Vieweg+Teubner, 2009. - ISBN 978-3-8348-9992-7 : Б. ц. ГРНТИ 50.51 УДК 658.512.2:004 Кл.слова (ненормированные): автоматизированные системы проектирования См. : Текст издания Доп.точки доступа: Bauermeister, D.; SpringerLink (Online service) Свободных экз. нет

004.38-049.8(063) S98     Symposium of ubiquitous computing and ambient intelligence (3 ; 2008).     3rd Symposium of ubiquitous computing and ambient intelligence 2008 [Electronic resource] / ed. J. M. Corchado [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Advances in soft computing, ISSN 1615-3871 ; 51). - ISBN 978-3-540-85867-6 : Б. ц. ГРНТИ 50.33 28.23.33 УДК 004.38-049.8(063) 004.89(063) Кл.слова (ненормированные): всеобщая компьютеризация -- интеллектуальная окружающая среда См. : Текст издания Доп.точки доступа: Corchado, J.M. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.732 H75     Holt, A.     802.11 wireless networks [Electronic resource] : security and analysis / A. Holt, C. Huang. - Electronic text data. - London : Springer-Verlag, 2010. - (Computer communications and networks, ISSN 1617-7975 ; 0). - ISBN 978-1-84996-275-9 : Б. ц. ГРНТИ 50.39.27 50.37.23 УДК 004.732 004.056 Кл.слова (ненормированные): беспроводные локальные сети -- информация -- сохранность См. : Текст издания Доп.точки доступа: Huang, C.; SpringerLink (Online service) Свободных экз. нет

005.5:004 W72     Winkler, T.     ABAP/4 programmiertechniken [Electronic resource] : Trainingsbuch / T. Winkler. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2005. - (Xpert.press, ISSN 1439-5428). - ISBN 978-3-540-26985-4 : Б. ц. ГРНТИ 50.49.37 УДК 005.5:004 Кл.слова (ненормированные): автоматизированные информационные системы управления См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет

004.41 O-88     Osterhage, W.     Abnahme komplexer Software-Systeme [Electronic resource] : das Praxishandbuch / W. Osterhage. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Xpert.press, ISSN 1439-5428). - ISBN 978-3-540-68230-1 : Б. ц. ГРНТИ 50.41 УДК 004.41 Кл.слова (ненормированные): математическое обеспечение эвм См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет

004.312-048.24/W24-567434     Wang, C.     Abstraction refinement for large scale model checking [Electronic resource] / 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). - ISBN 978-0-387-34600-7 : Б. ц. ГРНТИ 50.09.29 УДК 004.312-047.56 Рубрики: Логические схемы--Верификация См. : Текст издания Доп.точки доступа: Hachtel, G.D.; Somenzi, F.; SpringerLink (Online service) Свободных экз. нет

004.42/A16-229864         Abstraction, refinement and proof for probabilistic systems [Electronic resource] / ed. A. McIver, C. Morgan. - Electronic text data. - New York, Ny : Springer Science + Business Media Inc., 2005. - (Monographs in computer science, ISSN 0172-603X). - ISBN 978-0-387-27006-7 : Б. ц. ГРНТИ 50.05.13 УДК 004.415.5 Рубрики: Программы для ЭВМ--Верификация См. : Текст издания Доп.точки доступа: McIver, A. \ed.\; SpringerLink (Online service) Свободных экз. нет

510.6(063)/A16-695517         Abstraction, reformulation and approximation [Electronic resource] : 6th international symposium, SARA 2005 Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings / eds. L. Saitta, J. Zucker. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3607). - ISBN 978-3-540-31882-8 : Б. ц. ГРНТИ 27.03.19 50.01.13 28.23 УДК 510(063) 004(063) 004.8(063) Рубрики: Математическая логика--Съезды и конференции    Вычислительная техника--Съезды и конференции    Искусственный интеллект--Съезды и конференции См. : Текст издания Доп.точки доступа: Saitta, L. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.438 N24     Nash, T.     Accelerated C# 2008 [Electronic resource] / T. Nash. - Electronic text data. - Berkeley, Ca : Apress, 2008. - ISBN 978-1-4302-0338-4 : Б. ц. ГРНТИ 50.05.09 УДК 004.438 Кл.слова (ненормированные): программирования язык C# -- ускоренный курс См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет

005.5:004 G95     Gupta, V.     Accelerated GWT [Electronic resource] : building enterprise Google Web Toolkit applications / V. Gupta. - Electronic text data. - Berkeley, Ca : Apress, 2008. - ISBN 978-1-4302-0616-3 : Б. ц. ГРНТИ 50.49 УДК 005.5:004 Кл.слова (ненормированные): веб-программирование -- язык программирования JAVA -- автоматизированные информационные системы управления См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет

004.65/S30-231216     Scanlon, J.     Accelerated silverlight 2 [Electronic resource] / J. Scanlon. - Electronic text data. - Berkeley, Ca : Apress, 2009. - ISBN 978-1-4302-1075-7 : Б. ц. ГРНТИ 50.05.19 УДК 004.42:004.738.52 Кл.слова (ненормированные): веб-программирование См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет