004.272.2 B82     Bowman, H.     Concurrency theory [Electronic resource] : calculi and automata for modelling untimed and timed concurrent systems / H. Bowman, R. Gomez. - Electronic text data. - London : Springer-Verlag, 2006. - ISBN 1-84628-336-1 : Б. ц. ГРНТИ 50.33.04 УДК 004.272.2 Рубрики: Параллельные вычисления См. : Текст издания Доп.точки доступа: Gomez, R.; SpringerLink (Online service) Свободных экз. нет

004.272.2 C73         Concurrency, graphs and models [Electronic resource] : essays dedicated to Ugo Montanari on the occasion of his 65th birthday / ed. P. Degano. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5065). - ISBN 978-3-540-68679-8 : Б. ц. ГРНТИ 50.33.04 27.45.17 50.41 УДК 004.272.2 519.17 004.41 Рубрики: Параллельные вычисления    Графов теория    Программное обеспечение эвм--Проектирование См. : Текст издания Доп.точки доступа: Degano, P. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.75 D63         Distributed and parallel systems [Electronic resource] : from cluster to grid computing / eds. P. Kacsuk et al. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2007. - ISBN 978-0-387-69858-8 : Б. ц. ГРНТИ 50.39.29 50.33.04 УДК 004.75 004.272.2 Рубрики: Вычислительные системы распределенные    Параллельные вычисления См. : Текст издания Доп.точки доступа: Kacsuk, P. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.75 D63         Distributed and parallel systems [Electronic resource] : in focus: desktop grid computing / ed. P. Kacsuk et al. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2008. - ISBN 978-0-387-79448-8 : Б. ц. ГРНТИ 50.39.29 50.33.04 УДК 004.75 004.272.2 Рубрики: Вычислительные системы распределенные    Параллельные вычисления См. : Текст издания Доп.точки доступа: Kacsuk, P. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.272.2 N52         New horizons of parallel and distributed computing [Electronic resource] / ed. M. Guo, L. Yang. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - ISBN 978-0-387-28967-0 : Б. ц. ГРНТИ 50.33.04 20.53.19 УДК 004.272.2 004.75 Рубрики: Параллельные вычисления    Информация--Обработка распределенная См. : Текст издания Доп.точки доступа: Guo, M. \ed.\; SpringerLink (Online service) Свободных экз. нет

004.42.047 B55     Bhattacharya, A.     Parallel and distributed logic programming [Electronic resource] : towards the design of a framework for the next generation database machines / A. Bhattacharya, A. Konar, A. K. Mandal. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Studies in computational intelligence, ISSN 1860-949X ; 24). - ISBN 978-3-540-33459-0 : Б. ц. ГРНТИ 50.05.13 50.33.04 50.39.29 УДК 004.42.047 004.272.2 004.75 Рубрики: Программирование для ЭВМ логическое    Параллельные вычисления    Вычислительные системы распределенные См. : Текст издания Доп.точки доступа: Konar, A.; Mandal, A.K.; SpringerLink (Online service) Свободных экз. нет

004.272.2 N33     Nedjah, N.     Parallel evolutionary computations [Electronic resource] / N. Nedjah, E. Alba, L. de Mourelle. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Studies in computational intelligence, ISSN 1860-949X ; 22). - ISBN 978-3-540-32839-1 : Б. ц. ГРНТИ 50.33.04 28.23.37 УДК 004.272.2 004.032.26 Рубрики: Параллельные вычисления    Эволюционные вычисления См. : Текст издания Доп.точки доступа: Alba, E.; Mourelle, L. de; SpringerLink (Online service) Свободных экз. нет

004.41 S70         Software engineering, artificial intelligence, networking and parallel/distributed computing [Electronic resource] / ed. R. Lee. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Studies in computational intelligence, ISSN 1860-949X ; 149). - ISBN 978-3-540-70560-4 : Б. ц. ГРНТИ 50.41 28.23 50.33.04 20.53.19 УДК 004.41 004.8 004.272.2 004.75 Рубрики: Программное обеспечение ЭВМ--Проектирование    Искусственный интеллект    Параллельные вычисления    Информация--Обработка распределенная См. : Текст издания Доп.точки доступа: Lee, R.; Lee, R. \ed.\; SpringerLink (Online service) Свободных экз. нет

51/T82-889273         Transactions on petri nets and other models of concurrency i [Electronic resource] / ed. K. Jensen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5100). - ISBN 978-3-540-89287-8 : Б. ц. ГРНТИ 27.45.17 50.33.04 УДК 519.179.2 004.272.2 Рубрики: Петри сети    Параллельные вычисления См. : Текст издания Доп.точки доступа: Jensen, K. \ed.\; SpringerLink (Online service) Свободных экз. нет

519.179.2 T82         Transactions on petri nets and other models of concurrency II [Electronic resource] : special issue on concurrency in process-aware information systems / ed.: K. Jensen [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5460). - ISBN 978-3-642-00899-3 : Б. ц. ГРНТИ 27.45.17 50.33.04 УДК 519.179.2 004.272.2 Рубрики: Петри сети    Параллельные вычисления См. : Текст издания Доп.точки доступа: Jensen, K. \ed.\; SpringerLink (Online service) Свободных экз. нет