Главная страница

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.07$<.>)
Общее количество найденных документов : 118
Показаны документы с 1 по 30
 1-30    31-60   61-90      
1.
Вид документа :
Шифр издания : V4603
Заглавие : Journal of Computer Science and Technology
Выходные данные : Berlin: springer, 1986
ISSN: 10009000
ГРНТИ : 50.07 + 50.43
Аннотация: Научно-технический журнал. Статьи, обзоры и материалы конференций по всем аспектам проводящихся в разных странах мира исследований в области компьютерных наук и тенденций развития компьютерных технологий, включая темы: алгоритмы и сложность вычислений; архитектура компьютера и высокопроизводительные вычисления, распределённые и сетевые вычислительные ресурсы, взаимодействие человек-машина, информационная безопасность, распознавание образов и обработка изображений, проектирование и тестирование сверхвысокого уровня интеграции, искусственный интеллект; гарантоспособные вычисления; и др.,а также затрагиваются смежные вопросы системотехники, безопасности и криптологии, управления базами данных и информационного поиска и др.
Издание можно найти в:
ХР;
Найти похожие
2.
Вид документа :
Шифр издания : vr=J794720
Заглавие : Journal of Computational Electronics
Выходные данные : Berlin: springer, 2002
ISSN: 15698025
ГРНТИ : 47.03 + 50.07
Ключевые слова (''Своб.индексиров.''): электроника--вычислительная техника--моделирование электронных компонентов--полупроводниковые гетероструктуры и устройства--оптические устройства--наноэлектромеханические системы--открытые квантовые системы--математические алгоритмы
Аннотация: 20131219
Найти похожие
3.
Вид документа :
Шифр издания : vr=J648031
Заглавие : Journal of Circuits, Systems, and Computers
Выходные данные : , 1991
ISSN: 02181266
ГРНТИ : 50.07 + 50.33 + 47.14
Аннотация: Статьи, в т.ч. описательного и учебного характера, и обзоры по широкому кругу вопросов от математических основ до практики инженерного проектирования схем, систем и компьютеров. В разделе "Letters"- быстрая публикация новых результатов и полезной информации, ориентированной на практическое использование.
Найти похожие
4.
Вид документа :
Шифр издания : vr=J461691
Заглавие : Journal of Grid Computing
Выходные данные : Berlin: springer, 2003
ISSN: 15707873
ГРНТИ : 50.07.05 + 50.39 + 50.41.23
Ключевые слова (''Своб.индексиров.''): грид-вычисления--сетевые распределённые вычисления--протоколы--безопасность--распределение ресурсов--промежуточное программное обеспечение--масштабирование
Аннотация: 20131223
Найти похожие
5.
Вид документа :
Шифр издания : vr=S505076
Заглавие : Software and System Modeling
Выходные данные : Berlin: springer, 2002
ISSN: 16191366
ГРНТИ : 28.17 + 50.07.03
Найти похожие
6.
Вид документа :
Шифр издания : vr=C609282
Заглавие : Concurrency and Computation : Practice & Experience
Выходные данные : , 2000
ISSN: 15320626
ГРНТИ : 50.07.05 + 50.33
Аннотация: Статьи, отражающие практический опыт применения технологий параллелизма (вычислительные и коммуникационные системы, миллионы клиентов Интернета и тысячи мощных узлов в массивно-параллельных машинах высокого класса, комбинации параллельных цифровых и оптических технологий, новые вычислительные методы (напр., мобильные агенты), клеточные автоматы и массивно-параллельные нейронные сети и др.) для решения вещественных задач. Тематика журнала включает в частности: параллельные решения конкретных задач в научной, промышленной и общественной сферах; параллельные алгоритмы и вычислительные методы; среды программирования, операционные системы, сервисные программы, параллельные языки, компиляторы, интерпретаторы; эксплуатационные характеристики - прогнозирование, анализ, модели и результаты; технологии создания алгоритмов и программного обеспечения для потребностей Интернета и новых областей (напр., образование); унификация вычислений и коммуникации, параллельных и распределенных вычислений.
Найти похожие
7.
Вид документа :
Шифр издания : V4591
Заглавие : Computer Science Education
Выходные данные : London: Taylor and Francis Ltd, 1988
ISSN: 08993408
ГРНТИ : 50.07
Аннотация: Научный журнал. Статьи и обзоры междисциплинарного содержания по использованию всех форм компьютинга в общественно и технологически значимых областях применения, включая все аспекты познания, образования (от начального до высшего) и коммуникации в научной среде: развитие обучающих систем и компьютерных тренажеров, социальные и гендерные исследования; анализ учебных программ, графика, имитационное моделирование, автоматизированное проектирование, автоматизированные системы управления производством, искусственный интеллект и их применение в интеллектуальных обучающих системах; пользовательские интерфейсы обучающих систем; управление технологическими изменениями при сетевом и локальном обучении; использование информационных систем, отвечающих передовым технологиям, сетей, виртуальная реальность в контексте обучения.
Найти похожие
8.
Вид документа :
Шифр издания : vr=A967199
Заглавие : Applied Categorical Structures : Journal Devoted to Applications of Categorical Methods in Algebra, Analysis, Order, Topology and Computer Science
Выходные данные : Berlin: springer, 1993
ISSN: 09272852
ГРНТИ : 27.17 + 27.39 + 50.07
Аннотация: Статьи и обзоры по применению категориальных методов в алгебре, анализе, порядке и топологии и компьютерных науках: исследование специфических топологических, алгебраических и алгебраико-топологических построений; категориальные исследования в области функционального анализа, континуальной теории порядка, теории алгебраических и логических типов, теории автоматов, баз данных и языков и др.
Найти похожие
9.
Вид документа :
Шифр издания : vr=A576499
Заглавие : Automated Software Engineering : An International Journal
Выходные данные : Berlin: springer, 1994
ISSN: 09288910
ГРНТИ : 50.07 + 50.41
Аннотация: Статьи, в т.ч. учебного характера, обзоры и отчеты о производственном опыте по основам, методам, техническим средствам и применению технологии автоматизированного проектирования программного обеспечения (ПО), включая изучение методов построения, понимания, адаптирования и моделирования программных продуктов и процессов: автоматические и коллаборативные системы, вычислительные модели деятельности человека при проектировании ПО; представление знаний и методы искусственного интеллекта в применении к автоматизированному проектированию ПО: формирование схем представления знаний (формального и неформального); описания и модели процесса разработки; технические средства и среды, поддерживающие разработку ПО; когнитивные свойства схем представления, программирование и языки программирования; методы, анализ и аттестация разработки ПО; обоснование системы; качество и метрика ПО; повторное использование и адаптация ПО; анимация и проектирование; моделирование и анализ предметной области; визуализация ПО; объектное управление; разработкка пользовательских интерфейсов; групповая разработка ПО; разработка распределенных, реального времени, встроенных и композиционных систем; интеграция систем; сопровождение и эволюция ПО; тестирование систем; восстановление структурной схемы и алгоритма работы по исходным текстам и осмысление программы; документация и толкование программы. Обзоры книг, ПО, материалов конференций и семинаров.
Найти похожие
10.
Вид документа :
Шифр издания : vr=W605461
Заглавие : Wuhan University Journal of Natural Sciences
Выходные данные : Berlin: springer, 1996
ISSN: 10071202
ГРНТИ : 29 + 31 + 50.07
Аннотация: Научный журнал. Статьи быстрой публикации, отражающие научные достижения учёных Уханьского и других китайских университетов и академических институтов в области естественных наук: математики, компьютерных наук, физики конденсированного состояния, распространения электрических волн, космической физики, аналитической химии, электрохимии, химии полимеров, генетики, биологии развития, вирусологии, наук об окружающей среде и междисциплинарных исследований.
Найти похожие
11.
Вид документа : Журнал
Шифр издания : V1730
Заглавие : Kybernetika
Выходные данные : Praha: Institute of Information Theory and Automation of the Academy of Sciences of the Czech Republic, 1965
ISSN: 00235954
ГРНТИ : 28.19 + 28.23 + 27.47 + 50.07
Аннотация: Статьи и обзоры по теоретической кибернетике, включая теорию кибернетических систем управления, теоретические основы вычислительной техники, теорию информации, исследование операций и соответствующие разделы математики: теорию вероятностей и математическую статистику, математическую логику, теорию множеств и др. Книжные обзоры, информация о конференциях.
Зарегистрированы поступления :
2001г. Vol.37; N :1-6;
2000г. Vol.36; N :1-6;
1999г. Vol.35; N :1-6;
1998г. Vol.34; N :1-6;
1997г. Vol.33; N :1-6;
1996г. Vol.32; N :1-6;
1995г. Vol.31; N :1-6;
1994г. Vol.30; N :1-6;
1993г. Vol.29; N :1-6;
1992г. Vol.28; N :1-6
Издание можно найти в:
ЧЗ/ХР;
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4708
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-54074-456-6: Б.ц.
ГРНТИ : 50.07
УДК : 004(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5162
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-85238-4: Б.ц.
ГРНТИ : 50.07
УДК : 004(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4162
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-54037-793-1: Б.ц.
ГРНТИ : 50.07
УДК : 004(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
15.
Вид документа : Однотомное издание
Шифр издания : 004/N52-648741
Заглавие : New computational paradigms [Electronic resource] : changing conceptions of what is computable
Выходные данные : New York, NY : Springer Science + Business Media LLC, 2008
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-68546-5: Б.ц.
ГРНТИ : 50.07
УДК : 510.52
Предметные рубрики: Сложность вычислений
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3618
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31867-5: Б.ц.
ГРНТИ : 50.07
УДК : 004(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6281
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15155-2: Б.ц.
ГРНТИ : 50.01.13 + 50.07
УДК : 004(063)
Ключевые слова (''Своб.индексиров.''): вычислительная техника--математические основы--конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
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)
Ключевые слова (''Своб.индексиров.''): моделирование--оптимизация--сложные процессы--высокопроизводительные вычисления--математическое моделирование--численное моделирование--методы оптимизации--методы управления--параллельные вычисления--символьные вычисления--программное обеспечение--физика--химия--биология--механика--транспорт--логистика--сети связи--производственное календарное планирование
Найти похожие
19.
Вид документа : Монографическая серия
Шифр издания : 510/K18
Автор(ы) : Kamareddine F., Nederpelt R., Laan T.
Заглавие : A modern perspective on type theory [Electronic resource] : from its origins until today
Выходные данные : Dordrecht : Springer Science + Business Media Inc., 2005
Коллективы : SpringerLink (Online service)
Серия: Applied logic series, ISSN 1386-2790; 29
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-4020-2335-4: Б.ц.
ГРНТИ : 27.03.19 + 50.07
УДК : 510 + 004.422.6
Предметные рубрики: Математическая логика
Теория типов
Программирования языки-- Теория
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
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)
Ключевые слова (''Своб.индексиров.''): сложные процессы--моделирование--оптимизация--высокопроизводительные вычисления--конференции
Найти похожие
21.
Вид документа : Монографическая серия
Шифр издания : 004.02/M39
Заглавие : Mathematical methods in computer science [Electronic resource] : essays in memory of Thomas Beth
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5393
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-89994-5: Б.ц.
ГРНТИ : 50.07
УДК : 004.02
Предметные рубрики: Вычислительная техника-- Математические методы
Найти похожие
22.
Вид документа : Монографическая серия
Шифр издания : 004.738.2-047.58/N47-448169
Заглавие : Network analysis [Electronic resource] : methodological foundations
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3418
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31955-9: Б.ц.
ГРНТИ : 27.45.17 + 50.07.03
УДК : 519.17 + 004.02
Предметные рубрики: Графов теория-- Применение в вычислительной технике
Найти похожие
23.
Вид документа : Однотомное издание
Шифр издания : 004.38.051/H65
Заглавие : High performance computing on vector systems 2009 [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-03913-3: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051 + 004.272.25
Ключевые слова (''Своб.индексиров.''): высокопроизводительные вычисления--векторная обработка данных
Найти похожие
24.
Вид документа : Однотомное издание
Шифр издания : 004.38.051/H65
Заглавие : High performance computing on vector systems 2008 [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
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
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5489
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-03092-5: Б.ц.
ГРНТИ : 27.03.19 + 50.07
УДК : 510.285(063)
Ключевые слова (''Своб.индексиров.''): бесконечность--логика--вычисления--конференции
Найти похожие
26.
Вид документа : Монографическая серия
Шифр издания : 004.62(063)/H65-142459
Заглавие : High performance computing г» hipc 2005 [Electronic resource] : 12th International conference, Goa, India, December 18-21, 2005: proceedings
Выходные данные : Berlin ; Heidelberg: Springer-Verlag, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3769
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-30936-9: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051(063)
Предметные рубрики: Вычислительные машины-- Производительность-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4759
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-77704-5: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051(063)
Предметные рубрики: Вычислительные машины-- Производительность-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3602
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31813-2: Б.ц.
ГРНТИ : 50.07.05
УДК : 004.38.051(063)
Предметные рубрики: Вычислительные машины-- Производительность-- Съезды и конференции
Найти похожие
29.
Вид документа : Однотомное издание
Шифр издания : 512.563.6/S82
Автор(ы) : Steinbach B., Posthoff C.
Заглавие : Logic functions and equations [Electronic resource] : examples and exercises
Выходные данные : Dordrecht : Springer, 2009
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-4020-9595-5: Б.ц.
ГРНТИ : 27.03.19 + 50.07
УДК : 512.563.6 + 004
Предметные рубрики: Алгебра логики
Вычислительная техника
Найти похожие
30.
Вид документа : Монографическая серия
Шифр издания : 004(063)/L85
Заглавие : Logical foundations of computer science [Electronic resource] : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4514
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-72734-7: Б.ц.
ГРНТИ : 50.01.13 + 50.07
УДК : 004(063) + 510(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Математическая логика-- Съезды и конференции
Найти похожие
 1-30    31-60   61-90      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)