004.02 E46 Elleithy, K. Advanced techniques in computing sciences and software engineering [Electronic resource] / K. Elleithy. - Electronic text data. - Dordrecht : Springer, 2010. - ISBN 978-90-481-3660-5 : Б. ц.
Кл.слова (ненормированные): вычислительная техника -- программная инженерия -- прогрессивные методики См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
004.38.051(063) A22 Advances in high performance computing and computational sciences [Electronic resource] : the 1st Kazakh-German advanced research workshop, Almaty, Kazakhstan, September 25 to October 1, 2005 / SpringerLink (Online service) ; ed. Y. Shokin [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Notes on numerical fluid mechanics and multidisciplinary design (NNFM), ISSN 1612-2909 ; 93). - ISBN 3-540-33864-0 : Б. ц.
Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Shokin, Y. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.02(063) A35 Algebra and coalgebra in computer science [Electronic resource] : 2nd international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings / T. Mossakowski [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4624). - ISBN 978-3-54073-859-6 : Б. ц.
Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Mossakowski, T. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.02(063) A35 Algebra and coalgebra in computer science [Electronic resource] : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings / eds. J. Fiadeiro [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3629). - ISBN 978-3-540-31876-7 : Б. ц.
Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Fiadeiro, J. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.02(063) A35 Algebra and coalgebra in computer science [Electronic resource] : third International conference, CALCO 2009, Udine, Italy, Sept. 7-10, 2009: proceedings / ed. A. Kurz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5728). - ISBN 978-3-642-03741-2 : Б. ц.
Кл.слова (ненормированные): алгебра -- коалгебра -- вычислительная техника -- конференции См. : Текст издания Доп.точки доступа: Kurz, A. \ed.\; SpringerLink (Online service) Свободных экз. нет |
> () Аннотация: Статьи и обзоры по применению категориальных методов в алгебре, анализе, порядке и топологии и компьютерных науках: исследование специфических топологических, алгебраических и алгебраико-топологических построений; категориальные исследования в области функционального анализа, континуальной теории порядка, теории алгебраических и логических типов, теории автоматов, баз данных и языков и др. journal link (full text - НТО-3) |
> () Аннотация: Статьи, в т.ч. учебного характера, обзоры и отчеты о производственном опыте по основам, методам, техническим средствам и применению технологии автоматизированного проектирования программного обеспечения (ПО), включая изучение методов построения, понимания, адаптирования и моделирования программных продуктов и процессов: автоматические и коллаборативные системы, вычислительные модели деятельности человека при проектировании ПО; представление знаний и методы искусственного интеллекта в применении к автоматизированному проектированию ПО: формирование схем представления знаний (формального и неформального); описания и модели процесса разработки; технические средства и среды, поддерживающие разработку ПО; когнитивные свойства схем представления, программирование и языки программирования; методы, анализ и аттестация разработки ПО; обоснование системы; качество и метрика ПО; повторное использование и адаптация ПО; анимация и проектирование; моделирование и анализ предметной области; визуализация ПО; объектное управление; разработкка пользовательских интерфейсов; групповая разработка ПО; разработка распределенных, реального времени, встроенных и композиционных систем; интеграция систем; сопровождение и эволюция ПО; тестирование систем; восстановление структурной схемы и алгоритма работы по исходным текстам и осмысление программы; документация и толкование программы. Обзоры книг, ПО, материалов конференций и семинаров. journal link (full text - НТО-3) |
51/M44-628699 Mazzola, G. Comprehensive mathematics for computer scientists 1 [Electronic resource] : sets and numbers, graphs and algebra, logic and machines, linear geometry / G. Mazzola, G. Milmeister, J. Weissmann. - 2nd ed. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - ISBN 978-3-540-36874-8 : Б. ц.
См. : Текст издания Доп.точки доступа: Milmeister, G.; Weissmann, J.; SpringerLink (Online service) Свободных экз. нет |
004 M44 Mazzola, G. Comprehensive mathematics for computer scientists 2 [Electronic resource] : calculus and ODEs, splines, probability, fourier and wavelet theory, fractals and neural networks, categories and lambda calculus / G. Mazzola, G. Milmeister, J. Weissmann. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - ISBN 3-540-20861-5 : Б. ц.
Математическая логика Конечная математика См. : Текст издания Доп.точки доступа: Milmeister, G.; Weissmann, J.; SpringerLink (Online service) Свободных экз. нет |
510.67/T95-709660 Turner, R. Computable models [Electronic resource] / R. Turner. - Electronic text data. - London : Springer-Verlag, 2009. - ISBN 978-1-848-82052-4 : Б. ц.
Кл.слова (ненормированные): вычислимые модели -- математические модели -- теоретическая вычислительная техника -- искусственный интеллект -- семантика См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
510.6(063) C74 Computation and logic in the real world [Electronic resource] : third conference on computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007: proceedings / ed. S. B. Cooper [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4497). - ISBN 978-3-540-73001-9 : Б. ц.
См. : Текст издания Доп.точки доступа: Cooper, S.B. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004(063) C74 Computational science and high performance computing II [Electronic resource] : The 2nd Russian-German advanced research workshop, Stuttgart, Germany, March 14 to 16, 2005 / E. Krause [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Notes on numerical fluid mechanics and multidisciplinary design, ISSN 1612-2909 ; 91). - ISBN 978-3-540-31768-5. - ISBN 3-540-31768-6 : Б. ц.
Вычислительные машины--Производительность--Съезды и конференции См. : Текст издания Доп.точки доступа: Krause, E.; Resch, M.; Shokin, Y.; Shokina, N.; SpringerLink (Online service) Свободных экз. нет |
004(063) C74 Computational science and high performance computing III [Electronic resource] : the 3rd Russian-German advanced research workshop, Novosibirsk, Russia, July 23 - 27, 2007 / ed. E. Krause [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Notes on numerical fluid mechanics and multidisciplinary design, ISSN 1612-2909 ; 101). - ISBN 978-3-540-69010-8 : Б. ц.
Вычислительные машины--Производительность--Съезды и конференции См. : Текст издания Доп.точки доступа: Krause, E. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.38.051(063) C74 Computer performance engineering [Electronic resource] : 6th european performance engineering workshop, EPEW 2009 London, UK, July 9-10, 2009 : proceeding / eds. D. Hutchison [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5652). - ISBN 978-3-642-02924-0 : Б. ц.
Кл.слова (ненормированные): вычислительные машины -- производительность -- конференции См. : Текст издания Доп.точки доступа: Hutchison, D. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.38.051(063) C74 Computer performance engineering [Electronic resource] : 5th European performance engineering workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008: proceedings / ed. N. Thomas. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5261). - ISBN 978-3-540-87412-6 : Б. ц.
См. : Текст издания Доп.точки доступа: Thomas, N. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.38.051(063) C74 Computer performance evaluation and benchmarking [Electronic resource] : SPEC Benchmark workshop 2009, Austin, TX, USA, January 25, 2009: proceedings / ed. D. Kaeli. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5419). - ISBN 978-3-540-93799-9 : Б. ц.
См. : Текст издания Доп.точки доступа: Kaeli, D. \ed.\; SpringerLink (Online service) Свободных экз. нет |
> Шифр: V4591 () Аннотация: Научный журнал. Статьи и обзоры междисциплинарного содержания по использованию всех форм компьютинга в общественно и технологически значимых областях применения, включая все аспекты познания, образования (от начального до высшего) и коммуникации в научной среде: развитие обучающих систем и компьютерных тренажеров, социальные и гендерные исследования; анализ учебных программ, графика, имитационное моделирование, автоматизированное проектирование, автоматизированные системы управления производством, искусственный интеллект и их применение в интеллектуальных обучающих системах; пользовательские интерфейсы обучающих систем; управление технологическими изменениями при сетевом и локальном обучении; использование информационных систем, отвечающих передовым технологиям, сетей, виртуальная реальность в контексте обучения. journal link (full text - НТО-3) |
> () СВЕДЕНИЯ ОБ ИЗМЕНЕНИИ ИЗДАНИЯ: Настоящее издание В 2000г. переименовано из Concurrency. - ISSN 1040-3108 (Шифр V4704) Аннотация: Статьи, отражающие практический опыт применения технологий параллелизма (вычислительные и коммуникационные системы, миллионы клиентов Интернета и тысячи мощных узлов в массивно-параллельных машинах высокого класса, комбинации параллельных цифровых и оптических технологий, новые вычислительные методы (напр., мобильные агенты), клеточные автоматы и массивно-параллельные нейронные сети и др.) для решения вещественных задач. Тематика журнала включает в частности: параллельные решения конкретных задач в научной, промышленной и общественной сферах; параллельные алгоритмы и вычислительные методы; среды программирования, операционные системы, сервисные программы, параллельные языки, компиляторы, интерпретаторы; эксплуатационные характеристики - прогнозирование, анализ, модели и результаты; технологии создания алгоритмов и программного обеспечения для потребностей Интернета и новых областей (напр., образование); унификация вычислений и коммуникации, параллельных и распределенных вычислений. journal link (full text - из читальных залов ГПНТБ) |
004.38.051(063) C95 Current trends in high performance computing and its applications [Electronic resource] : proceedings of the international conference on high performance computing and applications, August 8-10, 2004, Shanghai, P.R. China / eds. W. Zhang [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - ISBN 978-3-540-27912-9 : Б. ц.
Кл.слова (ненормированные): высокопроизводительные вычисления -- конференции См. : Текст издания Доп.точки доступа: Zhang, W. \ed.\; SpringerLink (Online service) Свободных экз. нет |
510(063)/D43-693858 Deontic logic in computer science [Electronic resource] : 10th International сonference, DEON 2010, Fiesole, Italy, July 7-9, 2010: proceedings / eds. G. Governatori, G. Sartor. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6181). - ISBN 978-3-642-14183-6 : Б. ц.
Кл.слова (ненормированные): математическая логика -- вычислительная техника -- конференции См. : Текст издания Доп.точки доступа: Governatori, G. \ed.\; SpringerLink (Online service) Свободных экз. нет |