1.
| > Шифр: V1730 (Журнал) Kybernetika [Текст]. - Praha : Institute of Information Theory and Automation of the Academy of Sciences of the Czech Republic, 1965 - . - Выходит раз в два месяца. - ISSN 0023-5954 Аннотация: Статьи и обзоры по теоретической кибернетике, включая теорию кибернетических систем управления, теоретические основы вычислительной техники, теорию информации, исследование операций и соответствующие разделы математики: теорию вероятностей и математическую статистику, математическую логику, теорию множеств и др. Книжные обзоры, информация о конференциях. Зарегистрированы поступления:
journal link Найти похожие >2.
| > Шифр: V4603 () Journal of Computer Science and Technology [Электронный ресурс]. - Berlin : springer, 1986 - (Springer). - Выходит ежеквартально. - ISSN 1000-9000 Аннотация: Научно-технический журнал. Статьи, обзоры и материалы конференций по всем аспектам проводящихся в разных странах мира исследований в области компьютерных наук и тенденций развития компьютерных технологий, включая темы: алгоритмы и сложность вычислений; архитектура компьютера и высокопроизводительные вычисления, распределённые и сетевые вычислительные ресурсы, взаимодействие человек-машина, информационная безопасность, распознавание образов и обработка изображений, проектирование и тестирование сверхвысокого уровня интеграции, искусственный интеллект; гарантоспособные вычисления; и др.,а также затрагиваются смежные вопросы системотехники, безопасности и криптологии, управления базами данных и информационного поиска и др.
Издание можно найти в: ХР; journal link (full text - из читальных залов ГПНТБ) Найти похожие
| >3.
| > Шифр: V4591 () Computer Science Education [Электронный ресурс]. - London : Taylor and Francis Ltd, 1988 - . - Выходит ежеквартально. - ISSN 0899-3408 Аннотация: Научный журнал. Статьи и обзоры междисциплинарного содержания по использованию всех форм компьютинга в общественно и технологически значимых областях применения, включая все аспекты познания, образования (от начального до высшего) и коммуникации в научной среде: развитие обучающих систем и компьютерных тренажеров, социальные и гендерные исследования; анализ учебных программ, графика, имитационное моделирование, автоматизированное проектирование, автоматизированные системы управления производством, искусственный интеллект и их применение в интеллектуальных обучающих системах; пользовательские интерфейсы обучающих систем; управление технологическими изменениями при сетевом и локальном обучении; использование информационных систем, отвечающих передовым технологиям, сетей, виртуальная реальность в контексте обучения.
journal link (full text - НТО-3) Найти похожие
| >4.
| > () Journal of Circuits, Systems, and Computers [Электронный ресурс]. - [S. l.] : World Scientific Publishing Co. Pte. Ltd, 1991 - (Ul'2008). - Выходит ежеквартально. - ISSN 0218-1266 Аннотация: Статьи, в т.ч. описательного и учебного характера, и обзоры по широкому кругу вопросов от математических основ до практики инженерного проектирования схем, систем и компьютеров. В разделе "Letters"- быстрая публикация новых результатов и полезной информации, ориентированной на практическое использование.
journal link journal link (full text - НТО-3) Найти похожие
| >5.
| > () Applied Categorical Structures [Электронный ресурс] : journal Devoted to Applications of Categorical Methods in Algebra, Analysis, Order, Topology and Computer Science. - Berlin : springer, 1993 - (Springer). - Выходит ежеквартально. - ISSN 0927-2852 Аннотация: Статьи и обзоры по применению категориальных методов в алгебре, анализе, порядке и топологии и компьютерных науках: исследование специфических топологических, алгебраических и алгебраико-топологических построений; категориальные исследования в области функционального анализа, континуальной теории порядка, теории алгебраических и логических типов, теории автоматов, баз данных и языков и др.
journal link (full text - НТО-3) Найти похожие
| >6.
| > () Automated Software Engineering [Электронный ресурс] : an International Journal. - Berlin : springer, 1994 - (Springer). - Выходит ежеквартально. - ISSN 0928-8910 Аннотация: Статьи, в т.ч. учебного характера, обзоры и отчеты о производственном опыте по основам, методам, техническим средствам и применению технологии автоматизированного проектирования программного обеспечения (ПО), включая изучение методов построения, понимания, адаптирования и моделирования программных продуктов и процессов: автоматические и коллаборативные системы, вычислительные модели деятельности человека при проектировании ПО; представление знаний и методы искусственного интеллекта в применении к автоматизированному проектированию ПО: формирование схем представления знаний (формального и неформального); описания и модели процесса разработки; технические средства и среды, поддерживающие разработку ПО; когнитивные свойства схем представления, программирование и языки программирования; методы, анализ и аттестация разработки ПО; обоснование системы; качество и метрика ПО; повторное использование и адаптация ПО; анимация и проектирование; моделирование и анализ предметной области; визуализация ПО; объектное управление; разработкка пользовательских интерфейсов; групповая разработка ПО; разработка распределенных, реального времени, встроенных и композиционных систем; интеграция систем; сопровождение и эволюция ПО; тестирование систем; восстановление структурной схемы и алгоритма работы по исходным текстам и осмысление программы; документация и толкование программы. Обзоры книг, ПО, материалов конференций и семинаров.
journal link (full text - НТО-3) Найти похожие
| >7.
| > () Wuhan University Journal of Natural Sciences [Электронный ресурс]. - Berlin : springer, 1996 - . - Выходит ежеквартально. - ISSN 1007-1202 Аннотация: Научный журнал. Статьи быстрой публикации, отражающие научные достижения учёных Уханьского и других китайских университетов и академических институтов в области естественных наук: математики, компьютерных наук, физики конденсированного состояния, распространения электрических волн, космической физики, аналитической химии, электрохимии, химии полимеров, генетики, биологии развития, вирусологии, наук об окружающей среде и междисциплинарных исследований.
journal link (full text - НТО-3) Найти похожие
| >8.
| > () Concurrency and Computation [Электронный ресурс] : practice & Experience. - [Б. м.] : John Wiley & Sons, Inc, 2000 - (Ulrich). - Периодичность 18. - ISSN 1532-0626 СВЕДЕНИЯ ОБ ИЗМЕНЕНИИ ИЗДАНИЯ: Настоящее издание В 2000г. переименовано из Concurrency. - ISSN 1040-3108 (Шифр V4704) Аннотация: Статьи, отражающие практический опыт применения технологий параллелизма (вычислительные и коммуникационные системы, миллионы клиентов Интернета и тысячи мощных узлов в массивно-параллельных машинах высокого класса, комбинации параллельных цифровых и оптических технологий, новые вычислительные методы (напр., мобильные агенты), клеточные автоматы и массивно-параллельные нейронные сети и др.) для решения вещественных задач. Тематика журнала включает в частности: параллельные решения конкретных задач в научной, промышленной и общественной сферах; параллельные алгоритмы и вычислительные методы; среды программирования, операционные системы, сервисные программы, параллельные языки, компиляторы, интерпретаторы; эксплуатационные характеристики - прогнозирование, анализ, модели и результаты; технологии создания алгоритмов и программного обеспечения для потребностей Интернета и новых областей (напр., образование); унификация вычислений и коммуникации, параллельных и распределенных вычислений.
journal link (full text - из читальных залов ГПНТБ) Найти похожие
| >9.
| > () Journal of Computational Electronics [Электронный ресурс]. - Berlin : springer, 2002 - . - Выходит ежеквартально. - ISSN 1569-8025 Кл.слова (ненормированные): электроника -- вычислительная техника -- моделирование электронных компонентов -- полупроводниковые гетероструктуры и устройства -- оптические устройства -- наноэлектромеханические системы -- открытые квантовые системы -- математические алгоритмы Аннотация: 20131219
journal link (full text - НТО-3) Найти похожие
| >10.
| > () Software and System Modeling [Электронный ресурс]. - Berlin : springer, 2002 - (Springer). - Выходит ежемесячно. - ISSN 1619-1366
journal link (full text - НТО-3) Найти похожие
| >11.
| > () Journal of Grid Computing [Электронный ресурс]. - Berlin : springer, 2003 - . - Выходит ежеквартально. - ISSN 1570-7873 Кл.слова (ненормированные): грид-вычисления -- сетевые распределённые вычисления -- протоколы -- безопасность -- распределение ресурсов -- промежуточное программное обеспечение -- масштабирование Аннотация: 20131223
journal link (full text - НТО-3) Найти похожие
| >12.
| 004.38.051(063) H65
High performance computing - HIPC 2004 [Electronic resource] : 11th international conference, Bangalore, India, December 19-22, 2004 : proceedings / ed.: L . Bouge, V. K. Prasanna. - Electronic text data. - Berlin ; Heidelberg : Springer, 2004. - (Lecture notes in computer science, ISSN 0302-9743 ; 3296). - ISBN 978-3-540-30474-6 : Б. ц.
Рубрики: Вычислительные машины--Производительность--Съезды и конференции
См. : Текст издания Доп.точки доступа: Bouge, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >13.
| 519.17(063) G73
Graph-theoretic concepts in computer science [Electronic resource] : 30th international workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004 : revised papers / ed. J. Hromkovic [et. al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2004. - (Lecture notes in computer science, ISSN 0302-9743 ; 3353). - ISBN 978-3-540-30559-0 : Б. ц.
Рубрики: Графов теория--Применение в вычислительной технике--Съезды и конференции
См. : Текст издания Доп.точки доступа: Hromkovic, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >14.
| 004.41(063) F95
FSTTCS 2004: foundations of software technology and theoretical computer science [Electronic resource] : 24th international conference, Chennai, India, December 16-18, 2004 : proceedings / ed.: K. Lodaya, M. Mahajan. - Electronic text data. - Berlin ; Heidelberg : Springer, 2004. - (Lecture notes in computer science, ISSN 0302-9743 ; 3328). - ISBN 978-3-540-30538-5 : Б. ц.
Рубрики: Программное обеспечение ЭВМ--Проектирование--Съезды и конференции Информатика теоретическая--Съезды и конференции
См. : Текст издания Доп.точки доступа: Lodaya, K. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >15.
| 004.38.051 H65
High performance computing in science and engineering' 04 [Electronic resource] : transactions of the high performance computing center Stuttgart (HLRS) 2004 / eds E. Krause [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - ISBN 978-3-540-26589-4 : Б. ц.
Кл.слова (ненормированные): высокопроизводительные вычисления -- наука -- техника
См. : Текст издания Доп.точки доступа: Krause, E. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >16.
| 004.38.051(063) H65
High performance computing for computational science - VECPAR 2004 [Electronic resource] : 6th International conference, Valencia, Spain, June 28-30, 2004: revised selected and invited papers / ed. M. Dayde [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3402). - ISBN 978-3-540-31854-5 : Б. ц.
Рубрики: Вычислительные машины--Производительность--Съезды и конференции
См. : Текст издания Доп.точки доступа: Dayde, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >17.
| 004.38.051(063) H65
High performance computational science and engineering [Electronic resource] : IFIP TC5 workshop on high performance computational science and engineering (HPCSE), World computer congress, August 22-27, 2004, Toulouse, France. / SpringerLink (Online service) ; ed. M. Ng. - Electronic text data. - Boston, Ma : International federation for information processing, 2005. - (, issn 1861-2288, ISSN 1571-5736 ; 172). - ISBN 978-0-387-24049-7 : Б. ц.
Рубрики: Вычислительные машины--Производительность--Съезды и конференции
См. : Текст издания Доп.точки доступа: Ng, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >18.
| 519.17(063) G73
Graph-theoretic concepts in computer science [Electronic resource] : 1st international workshop, WG 2005, Metz, France, June 23-25, 2005 : revised selected papers / ed. D. Kratsch. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3787). - ISBN 978-3-540-31468-4 : Б. ц.
Рубрики: Графов теория--Применение в вычислительной технике--Съезды и конференции
См. : Текст издания Доп.точки доступа: Kratsch, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >19.
| 004.38.051(063) H65
High performance computing and communications [Electronic resource] : first international conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005: proceedings / ed. L. Yang [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3726). - ISBN 978-3-540-32079-1 : Б. ц.
Рубрики: Вычислительные машины--Производительность--Съезды и конференции Системы передачи данных--Съезды и конференции
См. : Текст издания Доп.точки доступа: Yang, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >20.
| 004.38.051(063) H65
High performance computing - hipc 2005 [Electronic resource] : 12th international conference, Goa, India, December 18-21, 2005 : proceedings / ed. D. Bader. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3769). - ISBN 978-3-540-39382-5 : Б. ц.
Рубрики: Вычислительные машины--Производительность--Съезды и конференции
См. : Текст издания Доп.точки доступа: Bader, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >21.
| 004.38.051/H65-511992
High performance computing in science and engineering, Garching 2004 [Electronic resource] : transactions of the KONWIHR result workshop, October 14-15, 2004, Technical university of Munich, Garching, Germany / eds. A. Bode, F. Durst. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - ISBN 978-3-540-28555-7 : Б. ц.
Кл.слова (ненормированные): высокопроизводительные вычисления -- наука -- техника -- конференции
См. : Текст издания Доп.точки доступа: Bode, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >22.
| 62-047.58(063) M78
Modeling, simulation and optimization of complex processes [Electronic resource] : proceedings of the international conference on high performance scientific computing, March 10 - 14, 2003, Hanoi, Vietnam / eds. H. G. Bock [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - ISBN 978-3-540-27170-3 : Б. ц.
Кл.слова (ненормированные): моделирование -- оптимизация -- сложные процессы -- высокопроизводительные вычисления -- математическое моделирование -- численное моделирование -- методы оптимизации -- методы управления -- параллельные вычисления -- символьные вычисления -- программное обеспечение -- физика -- химия -- биология -- механика -- транспорт -- логистика -- сети связи -- производственное календарное планирование
См. : Текст издания Доп.точки доступа: Bock, H.G. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >23.
| 510 K18
Kamareddine, F. A modern perspective on type theory [Electronic resource] : from its origins until today / F. Kamareddine, R. Nederpelt, T. Laan. - Electronic text data. - Dordrecht : Springer Science + Business Media Inc., 2005. - (Applied logic series, ISSN 1386-2790 ; 29). - ISBN 978-1-4020-2335-4 : Б. ц.
Рубрики: Математическая логика Теория типов Программирования языки--Теория
См. : Текст издания Доп.точки доступа: Nederpelt, R.; Laan, T.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >24.
| 004:51(063)/M39-096615
Mathematical foundations of computer science 2005 [Electronic resource] : 30th international symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005 : proceedings / eds. J. Jedrzejowicz, A. Szepietowski. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3618). - ISBN 978-3-540-31867-5 : Б. ц.
Рубрики: Вычислительная техника--Съезды и конференции
См. : Текст издания Доп.точки доступа: Jedrzejowicz, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >25.
| 004.38.051(063) L24
Languages and compilers for high performance computing [Electronic resource] : 17th international workshop, LCPC 2004 West Lafayette, In, USA, September 22-24, 2004 : revised selected papers / eds. R. Eigenmann [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3602). - ISBN 978-3-540-31813-2 : Б. ц.
Рубрики: Вычислительные машины--Производительность--Съезды и конференции
См. : Текст издания Доп.точки доступа: Eigenmann, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >26.
| 004.62(063)/H65-142459
High performance computing г» hipc 2005 [Electronic resource] : 12th International conference, Goa, India, December 18-21, 2005: proceedings / ed. D. Bader. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3769). - ISBN 978-3-540-30936-9 : Б. ц.
Рубрики: Вычислительные машины--Производительность--Съезды и конференции
См. : Текст издания Доп.точки доступа: Bader, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >27.
| 004.38.051(063) H65
High performance computing in science and engineering, Munich 2004 [Electronic resource] : transactions of the second joint HLRB and KONWIHR status and result workshop, March 2-3, 2004, Technical University of Munich, and Leibniz-Rechenzentrum Munich, Germany / ed. S. Wagner [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - ISBN 3-540-44326-6 : Б. ц.
Кл.слова (ненормированные): высокопроизводительные вычисления -- наука -- техника -- конференции
См. : Текст издания Доп.точки доступа: Wagner, S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >28.
| 004/P93-268964
Processes, terms and cycles: steps on the road to infinity [Electronic resource] : essays dedicated to Jan Willem klopon the occasion of his 60th birthday / ed. A. Middeldorp. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3838). - ISBN 978-3-540-32425-6 : Б. ц.
Рубрики: Вычислительная техника
См. : Текст издания Доп.точки доступа: Middeldorp, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >29.
| 004-027.21(063) T44
Theoretical computer science [Electronic resource] : 9th italian conference, ICTCS 2005, Siena, Italy, October 12-14, 2005: proceedings / ed. M. Coppo. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3701). - ISBN 978-3-540-32024-1 : Б. ц.
Рубрики: Вычислительная техника--Съезды и конференции
См. : Текст издания Доп.точки доступа: Coppo, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| >30.
| 004.738.2-047.58/N47-448169
Network analysis [Electronic resource] : methodological foundations / ed. : U. Brandes, T. Erlebach. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3418). - ISBN 978-3-540-31955-9 : Б. ц.
Рубрики: Графов теория--Применение в вычислительной технике
См. : Текст издания Доп.точки доступа: Brandes, U. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
|
|
|
|
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
|