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

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.07$<.>)
Общее количество найденных документов : 118
Показаны документы с 1 по 30
 1-30    31-60   61-90      
1.
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)
Свободных экз. нет
Найти похожие
2.
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)
Свободных экз. нет
Найти похожие
3.
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)
Свободных экз. нет
Найти похожие
4.
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)
Свободных экз. нет
Найти похожие
5.
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)
Свободных экз. нет
Найти похожие
6.
()
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)
Найти похожие
7.
()
Automated Software Engineering [Электронный ресурс] : an International Journal. - Berlin : springer, 1994 - (Springer). - Выходит ежеквартально. - ISSN 0928-8910

Аннотация: Статьи, в т.ч. учебного характера, обзоры и отчеты о производственном опыте по основам, методам, техническим средствам и применению технологии автоматизированного проектирования программного обеспечения (ПО), включая изучение методов построения, понимания, адаптирования и моделирования программных продуктов и процессов: автоматические и коллаборативные системы, вычислительные модели деятельности человека при проектировании ПО; представление знаний и методы искусственного интеллекта в применении к автоматизированному проектированию ПО: формирование схем представления знаний (формального и неформального); описания и модели процесса разработки; технические средства и среды, поддерживающие разработку ПО; когнитивные свойства схем представления, программирование и языки программирования; методы, анализ и аттестация разработки ПО; обоснование системы; качество и метрика ПО; повторное использование и адаптация ПО; анимация и проектирование; моделирование и анализ предметной области; визуализация ПО; объектное управление; разработкка пользовательских интерфейсов; групповая разработка ПО; разработка распределенных, реального времени, встроенных и композиционных систем; интеграция систем; сопровождение и эволюция ПО; тестирование систем; восстановление структурной схемы и алгоритма работы по исходным текстам и осмысление программы; документация и толкование программы. Обзоры книг, ПО, материалов конференций и семинаров.
journal link (full text - НТО-3)
Найти похожие
8.
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)
Свободных экз. нет
Найти похожие
9.
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)
Свободных экз. нет
Найти похожие
10.
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)
Свободных экз. нет
Найти похожие
11.
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)
Свободных экз. нет
Найти похожие
12.
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)
Свободных экз. нет
Найти похожие
13.
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)
Свободных экз. нет
Найти похожие
14.
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)
Свободных экз. нет
Найти похожие
15.
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)
Свободных экз. нет
Найти похожие
16.
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)
Свободных экз. нет
Найти похожие
17.
Шифр: V4591 ()
Computer Science Education [Электронный ресурс]. - London : Taylor and Francis Ltd, 1988 - . - Выходит ежеквартально. - ISSN 0899-3408

Аннотация: Научный журнал. Статьи и обзоры междисциплинарного содержания по использованию всех форм компьютинга в общественно и технологически значимых областях применения, включая все аспекты познания, образования (от начального до высшего) и коммуникации в научной среде: развитие обучающих систем и компьютерных тренажеров, социальные и гендерные исследования; анализ учебных программ, графика, имитационное моделирование, автоматизированное проектирование, автоматизированные системы управления производством, искусственный интеллект и их применение в интеллектуальных обучающих системах; пользовательские интерфейсы обучающих систем; управление технологическими изменениями при сетевом и локальном обучении; использование информационных систем, отвечающих передовым технологиям, сетей, виртуальная реальность в контексте обучения.
journal link (full text - НТО-3)
Найти похожие
18.
()
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 - из читальных залов ГПНТБ)
Найти похожие
19.
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)
Свободных экз. нет
Найти похожие
20.
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)
Свободных экз. нет
Найти похожие
21.
004:530.145
E97


   
    Experimental aspects of quantum computing [Electronic resource] / ed. H. O. Everitt. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - ISBN 978-0-387-27732-5 : Б. ц.

ГРНТИ
УДК

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

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

Доп.точки доступа:
Everitt, H.O. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
22.
004(063)/F50-098242

   
    Fifth IFIP international conference on theoretical computer science - TCS 2008 [Electronic resource] / eds.: G. Ausiello [et al.]. - Electronic text data. - Boston, MA : Springer Science + Business Media LLC, 2008. - (IFIP International federation for information processing, ISSN 1571-5736 ; 273). - ISBN 978-0-387-09680-3 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительная техника--Съезды и конференции

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

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


   
    Formal methods and stochastic models for performance evaluation [Electronic resource] : fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007 : proceedings / ed. K. Wolter. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4748). - ISBN 978-3-540-75211-0 : Б. ц.

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

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

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


   
    Formal methods and stochastic models for performance evaluation [Electronic resource] : 3rd european performance engineering workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings / eds.: A. HorvГЎth, M. Telek. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4054). - ISBN 978-3-540-35365-2 : Б. ц.

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

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

Доп.точки доступа:
HorvГЎth, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
25.
004.415.2(063)/F76-256703

   
    Formal methods for performance evaluation [Electronic resource] : 7th International school on formal methods for the design of computer, communication, and software systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007: advanced lectures / ed. M. Bernardo ; ed.: M. Bernardo, J. Hillston. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4486). - ISBN 978-3-540-72522-0 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительные машины--Производительность--Съезды и конференции
   Системы передачи данных--Проектирование--Съезды и конференции

   Программное обеспечение эвм--Проектирование--Съезды и конференции


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

Доп.точки доступа:
Bernardo, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
26.
004.62(063)/F94-949209

   
    Frontiers of high performance computing and networking - ISPA 2006 workshops [Electronic resource] : ISPA 2006 international workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006 : proceedings / SpringerLink (Online service) ; eds. G. Min [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4331). - ISBN 978-3-540-49862-9 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительные машины--Производительность--Съезды и конференции
   Системы передачи данных--Съезды и конференции

   Вычислительные сети--Съезды и конференции


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

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


   
    Frontiers of high performance computing and networking - ISPA 2007 workshops [Electronic resource] : ISPA 2007 international workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 : proceedings / SpringerLink (Online service) ; ed. P. Thulasiraman [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4743). - ISBN 978-3-54074-767-3 : Б. ц.

ГРНТИ
УДК
Рубрики: Вычислительные машины--Производительность--Съезды и конференции
   Системы передачи данных--Съезды и конференции

   Вычислительные сети--Съезды и конференции


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

Доп.точки доступа:
Thulasiraman, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
28.
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)
Свободных экз. нет
Найти похожие
29.
004.41(063)
F95


   
    FSTTCS 2005: foundations of software technology and theoretical computer science [Electronic resource] : 25th international conference, Hyderabad, India, December 15-18, 2005 : proceedings / ed. : R. Ramanujam, S. Sen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3821). - ISBN 978-3-540-32419-5 : Б. ц.

ГРНТИ
УДК
Рубрики: Программное обеспечение ЭВМ--Проектирование--Съезды и конференции
   Вычислительная техника--Съезды и конференции


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

Доп.точки доступа:
Ramanujam, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
30.
519.85(063)/F95-522253

   
    FSTTCS 2006: foundations of software technology and theoretical computer science [Electronic resource] : 26th international conference, Kolkata, India, December 13-15, 2006 : proceedings / eds. S. Arun-Kumar, N. Garg. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4337). - ISBN 978-3-540-49995-4 : Б. ц.

ГРНТИ
УДК
Рубрики: Программное обеспечение ЭВМ--Проектирование--Съезды и конференции
   Вычислительная техника--Съезды и конференции


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

Доп.точки доступа:
Arun-Kumar, S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
 1-30    31-60   61-90      

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