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.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) Свободных экз. нет

004.415.5 P78     Poernomo, I.     Adapting proofs-as-programs [Electronic resource] : the curry-howard protocol / I. Poernomo, J. Crossley, M. Wirsing. - Electronic text data. - New York, NY : Springer Science + Business Media Inc., 2005. - (Monographs in computer science, ISSN 0172-603X). - ISBN 0-387-28183-5 : Б. ц. ГРНТИ 50.05.13 УДК 004.415.5 004.42.046 Рубрики: Программы для ЭВМ--Верификация    Программирование для ЭВМ функциональное См. : Текст издания Доп.точки доступа: Crossley, J.; Wirsing, M.; SpringerLink (Online service) Свободных экз. нет

004.42.046(063) A22         Advanced functional programming [Electronic resource] : 6th international school, AFP 2008, Heijen, the Netherlands, May 2008 : revised lectures / ed. P. Koopman [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5832). - ISBN 978-3-642-04652-0 : Б. ц. ГРНТИ 50.05.13 УДК 004.42.046(063) Кл.слова (ненормированные): функциональное программирование для эвм -- конференции См. : Текст издания Доп.точки доступа: Koopman, P. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.42.046(063) A22         Advanced functional programming [Electronic resource] : 5th international school, AFP 2004 Tartu, Estonia, August 14 – 21, 2004 : revised lectures / ed. V. Vene. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3622). - ISBN 978-3-540-31872-9 : Б. ц. ГРНТИ 50.05.13 УДК 004.42.046(063) Рубрики: Программирование для эвм функциональное--Съезды и конференции См. : Текст издания Доп.точки доступа: Vene, V. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.438 K17     Kalicharan, N.     Advanced topics in C. Core concepts in data structures [Electronic resource] : монография / N. Kalicharan. - Electronic text data. - New York, NY [etc.] : Apress, 2013. - on-line. - Загл. с экрана. - ISBN 978-1-4302-6401-9 : Б. ц. ГРНТИ 50.05.09 50.05.13 УДК 004.438 004.422.63 Кл.слова (ненормированные): программирования язык C -- программирование -- структуры данных См. : Текст издания Экземпляры всего 1: ИнТех (1) Свободны: ИнТех (1)

004.41(063) A25         Agile processes in software engineering and extreme programming [Electronic resource] : 10th international conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009 : proceedings / ed. P. Abrahamsson [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in business information processing, ISSN 1865-1348 ; 31). - ISBN 978-3-642-01853-4 : Б. ц. ГРНТИ 50.41 50.05.13 УДК 004.41(063) 004.42(063) Кл.слова (ненормированные): программное обеспечение эвм -- проектирование -- конференции См. : Текст издания Доп.точки доступа: Abrahamsson, P. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.41(063) A25         Agile processes in software engineering and extreme programming [Electronic resource] : 11th International conference, XP 2010, Trondheim, Norway, June 1-4, 2010 : proceedings / ed. A. Sillitti [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in business information processing, ISSN 1865-1348 ; 48). - ISBN 978-3-642-13054-0 : Б. ц. ГРНТИ 50.41 50.05.13 УДК 004.41(063) 004.42(063) Кл.слова (ненормированные): программное обеспечение -- проектирование -- программирование -- конференции См. : Текст издания Доп.точки доступа: Sillitti, A. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.41(063) A25         Agile processes in software engineering and extreme programming [Electronic resource] : 9th international conference, XP 2008, Limerick, Ireland, June 10-14, 2008 : Proceedings / eds.: P. Abrahamsson [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in business information processing, ISSN 1865-1348 ; 9). - ISBN 978-3-540-68255-4 : Б. ц. ГРНТИ 50.41 50.05.13 УДК 004.41(063) 004.42(063) Рубрики: Программное обеспечение ЭВМ--Проектирование--Съезды и конференции    Программирование для ЭВМ--Съезды и конференции См. : Текст издания Доп.точки доступа: Abrahamsson, P. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.41(063) A25         Agile processes in software engineering and extreme programming [Electronic resource] : 8th International conference, XP 2007, Como, Italy, June 18-22, 2007: proceedings / ed. G. Concas. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4536). - ISBN 978-3-540-73101-6 : Б. ц. ГРНТИ 50.41 50.05.13 УДК 004.41(063) 004.42(063) Рубрики: Программное обеспечение эвм--Проектирование--Съезды и конференции    Программирование для эвм--Съезды и конференции См. : Текст издания Доп.точки доступа: Concas, G. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.421(063) A35         Algorithms and data structures [Electronic resource] : 11th international symposium, WADS 2009, Banff, Canada, August 21-23, 2009 : proceedings / ed. F. Dehne. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5664). - ISBN 978-3-642-03367-4 : Б. ц. ГРНТИ 28.25.23 50.05.13 УДК 004.421(063) 004.422.63(063) Кл.слова (ненормированные): алгоритмы -- программирование для эвм -- структуры данных -- конференции См. : Текст издания Доп.точки доступа: Dehne, F. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.421(063) A35         Algorithms and data structures [Electronic resource] : 9th international workshop, WADS 2005 Waterloo, Canada, August 15-17, 2005 : proceedings / eds. F. Dehne [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3608). - ISBN 978-3-540-31711-1 : Б. ц. ГРНТИ 28.25.23 50.05.13 УДК 004.421(063) 004.42(063) Рубрики: Алгоритмы--Съезды и конференции    Программирование для ЭВМ--Съезды и конференции См. : Текст издания Доп.точки доступа: Dehne, F. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.421(063) A35         Algorithms and data structures [Electronic resource] : 10th international workshop, WADS 2007, Halifax, Canada, August 15-17, 2007 : proceedings / ed. F. Dehne [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4619). - ISBN 978-3-54073-951-7 : Б. ц. ГРНТИ 28.25.23 50.05.13 УДК 004.421(063) 004.422.63(063) Рубрики: Алгоритмы--Съезды и конференции    Программирование для ЭВМ--Организация данных--Съезды и конференции См. : Текст издания Доп.точки доступа: Dehne, F. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.421 M49     Mehlhorn, K.     Algorithms and data structures [Electronic resource] : the basic toolbox / K. Mehlhorn, P. Sanders. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - ISBN 978-3-540-77978-0 : Б. ц. ГРНТИ 28.25.23 50.05.13 УДК 004.421 004.42 Рубрики: Алгоритмы    Программирование для ЭВМ См. : Текст издания Доп.точки доступа: Sanders, P.; SpringerLink (Online service) Свободных экз. нет

004.421 S53     Shen, A.     Algorithms and programming [Electronic resource] : problems and solutions / A. Shen. - Electronic text data. - Boston, Ma : Birkhauser, 2008. - (Modern birkhauser classics). - ISBN 978-0-8176-4761-2 : Б. ц. ГРНТИ 28.25.23 50.05.13 УДК 004.421 004.42 Кл.слова (ненормированные): алгоритмы -- программирование -- задачи -- решения См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет

004.421 S53     Shen, A.     Algorithms and programming [Electronic resource] : problems and solutions / A. Shen. - 2nd ed. - Electronic text data. - New York, NY : Springer-Verlag, 2010. - (Springer undergraduate texts in mathematics and technology, ISSN 1867-5506). - ISBN 978-1-4419-1748-5 : Б. ц. ГРНТИ 28.25.23 50.05.13 УДК 004.421 004.42 Кл.слова (ненормированные): алгоритмы -- программирование -- задачи -- решения См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет

004.432.4 A38         All about maude - a high-performance logical framework [Electronic resource] : how to specify, program and verify systems in rewriting logic / M. Clavel [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4350). - ISBN 978-3-540-71999-1 : Б. ц. ГРНТИ 50.05.09 50.05.13 УДК 004.432.4 004.415.28 004.415.5 Рубрики: Программирования языки декларативные    Программы для эвм--Спецификация    Программы для эвм--Верификация См. : Текст издания Доп.точки доступа: Clavel, M.; DurГЎn, F.; Eker, S.; Lincoln, P.; MartГ­-Oliet, N.; Meseguer, J.; SpringerLink (Online service) Свободных экз. нет

004.42:004.7 G71     Graba, J.     An introduction to network programming with java [Electronic resource] / J. Graba. - Electronic text data. - London : Springer, 2006. - ISBN 978-1-84628-630-8 : Б. ц. ГРНТИ 50.05.13 50.05.09 УДК 004.42:004.7 004.438 Рубрики: Программирование для вычислительных сетей    Программирования языки--Java См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет