Web ИРБИС

Базы данных

- результаты поиска

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

в найденном

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>R=50.07$<.>)

Общее количество найденных документов : 118
Показаны документы с 1 по 30

1-30 31-60 61-90

Шифр: V4603 ()

Journal of Computer Science and Technology [Электронный ресурс]. - Berlin : springer, 1986 - (Springer). - Выходит ежеквартально. - ISSN 1000-9000

Аннотация: Научно-технический журнал. Статьи, обзоры и материалы конференций по всем аспектам проводящихся в разных странах мира исследований в области компьютерных наук и тенденций развития компьютерных технологий, включая темы: алгоритмы и сложность вычислений; архитектура компьютера и высокопроизводительные вычисления, распределённые и сетевые вычислительные ресурсы, взаимодействие человек-машина, информационная безопасность, распознавание образов и обработка изображений, проектирование и тестирование сверхвысокого уровня интеграции, искусственный интеллект; гарантоспособные вычисления; и др.,а также затрагиваются смежные вопросы системотехники, безопасности и криптологии, управления базами данных и информационного поиска и др.
Издание можно найти в:
ХР;

journal link (full text - из читальных залов ГПНТБ)
Найти похожие

()

Journal of Computational Electronics [Электронный ресурс]. - Berlin : springer, 2002 - . - Выходит ежеквартально. - ISSN 1569-8025

Кл.слова (ненормированные): электроника -- вычислительная техника -- моделирование электронных компонентов -- полупроводниковые гетероструктуры и устройства -- оптические устройства -- наноэлектромеханические системы -- открытые квантовые системы -- математические алгоритмы
Аннотация: 20131219
journal link (full text - НТО-3)
Найти похожие

()

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)
Найти похожие

()

Journal of Grid Computing [Электронный ресурс]. - Berlin : springer, 2003 - . - Выходит ежеквартально. - ISSN 1570-7873

Кл.слова (ненормированные): грид-вычисления -- сетевые распределённые вычисления -- протоколы -- безопасность -- распределение ресурсов -- промежуточное программное обеспечение -- масштабирование
Аннотация: 20131223
journal link (full text - НТО-3)
Найти похожие

()

Software and System Modeling [Электронный ресурс]. - Berlin : springer, 2002 - (Springer). - Выходит ежемесячно. - ISSN 1619-1366
journal link (full text - НТО-3)
Найти похожие

()

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 - из читальных залов ГПНТБ)
Найти похожие

Шифр: V4591 ()

Computer Science Education [Электронный ресурс]. - London : Taylor and Francis Ltd, 1988 - . - Выходит ежеквартально. - ISSN 0899-3408

Аннотация: Научный журнал. Статьи и обзоры междисциплинарного содержания по использованию всех форм компьютинга в общественно и технологически значимых областях применения, включая все аспекты познания, образования (от начального до высшего) и коммуникации в научной среде: развитие обучающих систем и компьютерных тренажеров, социальные и гендерные исследования; анализ учебных программ, графика, имитационное моделирование, автоматизированное проектирование, автоматизированные системы управления производством, искусственный интеллект и их применение в интеллектуальных обучающих системах; пользовательские интерфейсы обучающих систем; управление технологическими изменениями при сетевом и локальном обучении; использование информационных систем, отвечающих передовым технологиям, сетей, виртуальная реальность в контексте обучения.
journal link (full text - НТО-3)
Найти похожие

()

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)
Найти похожие

()

Automated Software Engineering [Электронный ресурс] : an International Journal. - Berlin : springer, 1994 - (Springer). - Выходит ежеквартально. - ISSN 0928-8910

Аннотация: Статьи, в т.ч. учебного характера, обзоры и отчеты о производственном опыте по основам, методам, техническим средствам и применению технологии автоматизированного проектирования программного обеспечения (ПО), включая изучение методов построения, понимания, адаптирования и моделирования программных продуктов и процессов: автоматические и коллаборативные системы, вычислительные модели деятельности человека при проектировании ПО; представление знаний и методы искусственного интеллекта в применении к автоматизированному проектированию ПО: формирование схем представления знаний (формального и неформального); описания и модели процесса разработки; технические средства и среды, поддерживающие разработку ПО; когнитивные свойства схем представления, программирование и языки программирования; методы, анализ и аттестация разработки ПО; обоснование системы; качество и метрика ПО; повторное использование и адаптация ПО; анимация и проектирование; моделирование и анализ предметной области; визуализация ПО; объектное управление; разработкка пользовательских интерфейсов; групповая разработка ПО; разработка распределенных, реального времени, встроенных и композиционных систем; интеграция систем; сопровождение и эволюция ПО; тестирование систем; восстановление структурной схемы и алгоритма работы по исходным текстам и осмысление программы; документация и толкование программы. Обзоры книг, ПО, материалов конференций и семинаров.
journal link (full text - НТО-3)
Найти похожие

10.

()

Wuhan University Journal of Natural Sciences [Электронный ресурс]. - Berlin : springer, 1996 - . - Выходит ежеквартально. - ISSN 1007-1202

Аннотация: Научный журнал. Статьи быстрой публикации, отражающие научные достижения учёных Уханьского и других китайских университетов и академических институтов в области естественных наук: математики, компьютерных наук, физики конденсированного состояния, распространения электрических волн, космической физики, аналитической химии, электрохимии, химии полимеров, генетики, биологии развития, вирусологии, наук об окружающей среде и междисциплинарных исследований.
journal link (full text - НТО-3)
Найти похожие

11.

Шифр: V1730 (Журнал)

Kybernetika [Текст]. - Praha : Institute of Information Theory and Automation of the Academy of Sciences of the Czech Republic, 1965 - . - Выходит раз в два месяца. - ISSN 0023-5954

Аннотация: Статьи и обзоры по теоретической кибернетике, включая теорию кибернетических систем управления, теоретические основы вычислительной техники, теорию информации, исследование операций и соответствующие разделы математики: теорию вероятностей и математическую статистику, математическую логику, теорию множеств и др. Книжные обзоры, информация о конференциях.
Зарегистрированы поступления:

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

journal link
Найти похожие

12.

004(063)
M39

Mathematical foundations of computer science 2007 [Electronic resource] : 32nd international symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007 : proceedings / ed.: L. Kucera, A. Kucera. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4708). - ISBN 978-3-54074-456-6 : Б. ц.

ГРНТИ	50.07
УДК	004(063)

Рубрики: Вычислительная техника--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Kucera, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

13.

004(063)
M39

Mathematical foundations of computer science 2008 [Electronic resource] : 33rd International symposium, MFCS 2008, ToruВґn, Poland, August 25-29, 2008: proceedings / ed.: E. Ochmanski, J. Tyszkiewicz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5162). - ISBN 978-3-540-85238-4 : Б. ц.

ГРНТИ	50.07
УДК	004(063)

Рубрики: Вычислительная техника--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Ochmanski, E. \ed.\; Tyszkiewicz, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

14.

004(063)
M39

Mathematical foundations of computer science 2006 [Electronic resource] : 31st international symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006: proceedings, 1 / ed. R. KrГЎlovic, P. Urzyczyn. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4162). - ISBN 978-3-54037-793-1 : Б. ц.

ГРНТИ	50.07
УДК	004(063)

Рубрики: Вычислительная техника--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
KrГЎlovic, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

15.

004/N52-648741

New computational paradigms [Electronic resource] : changing conceptions of what is computable / ed. S. Cooper [et al.]. - Electronic text data. - New York, NY : Springer Science + Business Media LLC, 2008. - ISBN 978-0-387-68546-5 : Б. ц.

ГРНТИ	50.07
УДК	510.52

Рубрики: Сложность вычислений

См. : Текст издания

Доп.точки доступа:
Cooper, S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

16.

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 : Б. ц.

ГРНТИ	50.07
УДК	004(063)

Рубрики: Вычислительная техника--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Jedrzejowicz, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

17.

004(063)
M39

Mathematical foundations of computer science 2010 [Electronic resource] : 35th International symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010: proceedings / ed. P. Hlineny, A. Kucera. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6281). - ISBN 978-3-642-15155-2 : Б. ц.

ГРНТИ	50.01.13	50.07
УДК	004(063)

Кл.слова (ненормированные):
вычислительная техника -- математические основы -- конференции

См. : Текст издания

Доп.точки доступа:
Hlineny, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

18.

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 : Б. ц.

ГРНТИ	28.17	27.47.19	50.07.05
УДК	62-047.58(063)	519.85(063)	004.38.051(063)

Кл.слова (ненормированные):
моделирование -- оптимизация -- сложные процессы -- высокопроизводительные вычисления -- математическое моделирование -- численное моделирование -- методы оптимизации -- методы управления -- параллельные вычисления -- символьные вычисления -- программное обеспечение -- физика -- химия -- биология -- механика -- транспорт -- логистика -- сети связи -- производственное календарное планирование

См. : Текст издания

Доп.точки доступа:
Bock, H.G. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

19.

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 : Б. ц.

ГРНТИ	27.03.19	50.07
УДК	510	004.422.6

Рубрики: Математическая логика
Теория типов
Программирования языки--Теория

См. : Текст издания

Доп.точки доступа:
Nederpelt, R.; Laan, T.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

20.

62-047.58(063)
M78

Modeling, simulation and optimization of complex processes [Electronic resource] : proceedings of the third International conference on high performance scientific computing, March 6-10, 2006, Hanoi, Vietnam / eds. H. G. Bock [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - ISBN 978-3-540-79409-7 : Б. ц.

ГРНТИ	28.17	27.47.19	50.07.05
УДК	62-047.58(063)	519.85(063)	004.38.051(063)

Кл.слова (ненормированные):
сложные процессы -- моделирование -- оптимизация -- высокопроизводительные вычисления -- конференции

См. : Текст издания

Доп.точки доступа:
Bock, H.G. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

21.

004.02
M39

Mathematical methods in computer science [Electronic resource] : essays in memory of Thomas Beth / ed. J. Calmet. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5393). - ISBN 978-3-540-89994-5 : Б. ц.

ГРНТИ	50.07
УДК	004.02

Рубрики: Вычислительная техника--Математические методы

См. : Текст издания

Доп.точки доступа:
Calmet, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

22.

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 : Б. ц.

ГРНТИ	27.45.17	50.07.03
УДК	519.17	004.02

Рубрики: Графов теория--Применение в вычислительной технике

См. : Текст издания

Доп.точки доступа:
Brandes, U. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

23.

004.38.051
H65

High performance computing on vector systems 2009 [Electronic resource] / ed. M. Resch [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-03913-3 : Б. ц.

ГРНТИ	50.07.05
УДК	004.38.051	004.272.25

Кл.слова (ненормированные):
высокопроизводительные вычисления -- векторная обработка данных

См. : Текст издания

Доп.точки доступа:
Resch, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

24.

004.38.051
H65

High performance computing on vector systems 2008 [Electronic resource] / ed. M. Resch [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - ISBN 978-3-540-85869-0 : Б. ц.

ГРНТИ	50.07.05
УДК	004.38.051	004.272.25

25.

510(063)/H99-186383

Infinity in logic and computation [Electronic resource] : international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers / ed. M. Archibald [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5489). - ISBN 978-3-642-03092-5 : Б. ц.

ГРНТИ	27.03.19	50.07
УДК	510.285(063)

Кл.слова (ненормированные):
бесконечность -- логика -- вычисления -- конференции

См. : Текст издания

Доп.точки доступа:
Archibald, M. \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 : Б. ц.

ГРНТИ	50.07.05
УДК	004.38.051(063)

Рубрики: Вычислительные машины--Производительность--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Bader, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

27.

004.38.051(063)
H65

High-performance computing [Electronic resource] : 6th international symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, first international workshop on advanced low power systems, ALPS 2006 : revised selected papers / eds. J. Labarta [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4759). - ISBN 978-3-540-77704-5 : Б. ц.

ГРНТИ	50.07.05
УДК	004.38.051(063)

Рубрики: Вычислительные машины--Производительность--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Labarta, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

28.

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 : Б. ц.

ГРНТИ	50.07.05
УДК	004.38.051(063)

Рубрики: Вычислительные машины--Производительность--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Eigenmann, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

29.

512.563.6
S82

Steinbach, B.
Logic functions and equations [Electronic resource] : examples and exercises / B. Steinbach, C. Posthoff. - Electronic text data. - Dordrecht : Springer, 2009. - ISBN 978-1-4020-9595-5 : Б. ц.

ГРНТИ	27.03.19	50.07
УДК	512.563.6	004

Рубрики: Алгебра логики
Вычислительная техника

См. : Текст издания

Доп.точки доступа:
Posthoff, C.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

30.

004(063)
L85

Logical foundations of computer science [Electronic resource] : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007: proceedings / ed. S. Artemov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4514). - ISBN 978-3-540-72734-7 : Б. ц.

ГРНТИ	50.01.13	50.07
УДК	004(063)	510(063)

Рубрики: Вычислительная техника--Съезды и конференции
Математическая логика--Съезды и конференции

См. : Текст издания

Доп.точки доступа:
Artemov, S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

1-30 31-60 61-90

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)