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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Mathematics of computing<.>)
Общее количество найденных документов : 20
Показаны документы с 1 по 10
 1-10    11-20   21-20 
1.


    Liseikin, V. D.
    Grid generation methods [Electronic resource] / V. D. Liseikin. - Electronic text data. - Dordrecht : Springer, 2010. - (Scientific computation, ISSN 1434-8322). - ISBN 978-90-481-2912-6 : Б. ц.

Рубрики: Physics
   Computer science
   Computer science--Mathematics
   Engineering mathematics
   Physics
   Theoretical, mathematical and computational physics
   Computational mathematics and numerical analysis
   Mathematics of computing
   Appl.Mathematics/Computational methods of engineering

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

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


   
    Fete of combinatorics and computer science [Electronic resource] / ed. G. O. Katona [et al.]. - Electronic text data. - Berlin ; Heidelberg : János Bolyai Mathematical Society: Springer, 2010. - (Bolyai society mathematical studies, ISSN 1217-4696 ; 20). - ISBN 978-3-642-13580-4 : Б. ц.

Рубрики: Mathematics
   Computer science
   Computational complexity
   Combinatorics
   Number theory
   Mathematics
   Combinatorics
   Number theory
   Mathematics of computing
   Discrete mathematics in computer science

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

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


   
    Transactions on computational science XI [Electronic resource] : special issue on security in computing: pt. 2 / ed. M. L. Gavrilova [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6480). - ISBN 978-3-642-17697-5 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Data encryption (computer science)
   Coding theory
   Computer software
   Computational complexity
   Computer science
   Computer communication networks
   Data encryption
   Algorithm analysis and problem complexity
   Discrete mathematics in computer science
   Coding and information theory
   Mathematics of computing

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

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


    Platzer, A.
    Logical analysis of hybrid systems [Electronic resource] : proving theorems for complex dynamics / A. Platzer. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-14509-4 : Б. ц.

Рубрики: Computer science
   Logic design
   Artificial intelligence
   Computer science
   Mathematical logic and formal languages
   Artificial intelligence (incl. robotics)
   Mathematics of computing
   Logics and meanings of programs
   Control, robotics, mechatronics

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

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


   
    Database theory and application, bio-science and bio-technology [Electronic resource] : international conferences, DTA and BSBT 2010, held as part of the future generation information technology conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010 : proceedings / ed. Y. Zhang [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Communications in computer and information science, ISSN 1865-0929 ; 118). - ISBN 978-3-642-17622-7 : Б. ц.

Рубрики: Computer science
   Computer software
   Database management
   Artificial intelligence
   Computer simulation
   Computer science
   Simulation and modeling
   Database management
   Artificial intelligence (incl. robotics)
   Computation by abstract devices
   Algorithm analysis and problem complexity
   Mathematics of computing

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

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


    Langtangen, H. P.
    A primer on scientific programming with python [Electronic resource] / H. P. Langtangen. - 2nd ed. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2011. - (Texts in computational science and engineering, ISSN 1611-0994 ; 6). - ISBN 978-3-642-18366-9 : Б. ц.

Рубрики: Mathematics
   Software engineering
   Computer science
   Mathematics
   Computational science and engineering
   Programming techniques
   Software engineering/programming and operating systems
   Mathematics of computing
   Numerical and computational physics

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

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


   
    Approximation and computation [Electronic resource] : in honor of Gradimir V. Milovanović / ed. W. Gautschi [et al.]. - Electronic text data. - New York, NY : Springer Science+Business Media LLC, 2011. - (Springer optimization and its applications, ISSN 1931-6828 ; 42). - ISBN 978-1-4419-6594-3 : Б. ц.

Рубрики: Mathematics
   Computer science
   Computer science--Mathematics
   Mathematical optimization
   Mathematics
   Optimization
   Computational mathematics and numerical analysis
   Approximations and expansions
   Mathematics of computing

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

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


   
    Ludics, dialogue and interaction [Electronic resource] : PRELUDE project - 2006-2009 : revised selected papers / ed. A. Lecomte, S. Tronçon. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6505). - ISBN 978-3-642-19211-1 : Б. ц.

Рубрики: Computer science
   Computational complexity
   Information systems
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Information systems applications (incl.internet)
   Mathematical logic and formal languages
   Computation by abstract devices
   Discrete mathematics in computer science
   Mathematics of computing

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

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


    Vince, J.
    Quaternions for computer graphics [Electronic resource] / J. Vince. - Electronic text data. - London : Springer, 2011. - ISBN 978-0-85729-760-0 : Б. ц.

Рубрики: Computer science
   Computer science
   Arithmetic and logic structures
   Mathematical logic and formal languages
   Mathematics of computing
   Math applications in computer science

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

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


   
    Typed lambda calculi and applications [Electronic resource] : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / ed. L. Ong. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6690). - ISBN 978-3-642-21691-6 : Б. ц.

Рубрики: Computer science
   Logic design
   Algebra--Data processing
   Electronic data processing
   Logic, symbolic and mathematical
   Computer science
   Mathematical logic and formal languages
   Mathematics of computing
   Logics and meanings of programs
   Symbolic and algebraic manipulation
   Computing methodologies
   Mathematical logic and foundations

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

Доп.точки доступа:
Ong, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
 1-10    11-20   21-20 
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)