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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Theory of computation<.>)
Общее количество найденных документов : 25
Показаны документы с 1 по 25
1.
Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Downey R.G., Hirschfeldt D.R.
Заглавие : Algorithmic randomness and complexity [Electronic resource]
Выходные данные : New York, NY : Springer Science+Business Media LLC, 2010
Коллективы : SpringerLink (Online service)
Серия: Theory and applications of computability, in cooperation with the association computability in europe, ISSN 2190-619X
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-68441-3: Б.ц.
Предметные рубрики: Mathematics
Information theory
Computer science
Computer software
Algorithms
Mathematics
Algorithms
Algorithm analysis and problem complexity
Theory of computation
Computation by abstract devices
Найти похожие
2.
Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Neumann F., Witt C.
Заглавие : Bioinspired computation in combinatorial optimization [Electronic resource] : algorithms and their computational complexity
Выходные данные : Berlin; Heidelberg: Springer-Verlag, 2010
Коллективы : SpringerLink (Online service)
Серия: Natural computing series, ISSN 1619-7127
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16544-3: Б.ц.
Предметные рубрики: Computer science
Information theory
Computer software
Artificial intelligence
Mathematical optimization
Computer science
Algorithm analysis and problem complexity
Optimization
Theory of computation
Artificial intelligence (incl. robotics)
Найти похожие
3.
Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Maruoka A.
Заглавие : Concise guide to computation theory [Electronic resource]
Выходные данные : London : Springer, 2011
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-85729-535-4: Б.ц.
Предметные рубрики: Computer science
Information theory
Computer science
Theory of computation
Computational science and engineering
Найти похожие
4.
Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Gabizon A.
Заглавие : Deterministic extraction from weak random sources [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Monographs in theoretical computer science. an eatcs series, ISSN 1431-2654
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-14903-0: Б.ц.
Предметные рубрики: Computer science
Information theory
Geometry, algebraic
Combinatorics
Computer science
Theory of computation
Mathematics of computing
Algebraic geometry
Combinatorics
Найти похожие
5.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Frontiers in algorithmics and algorithmic aspects in information and management [Electronic resource] : joint international conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6681
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-21204-8: Б.ц.
Предметные рубрики: Computer science
Data structures (computer science)
Information theory
Computer software
Computational complexity
Information systems
Computer science
Algorithm analysis and problem complexity
Discrete mathematics in computer science
Mathematics of computing
Theory of computation
Management of computing and information systems
Data structures
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Genetic programming theory and practice VIII [Electronic resource]
Выходные данные : New York, NY : Springer Science+Business Media LLC, 2011
Коллективы : SpringerLink (Online service)
Серия: Genetic and evolutionary computation, ISSN 1932-0167; 8
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-4419-7747-2: Б.ц.
Предметные рубрики: Computer science
Information theory
Computer software
Electronic data processing
Artificial intelligence
Computer science
Computing methodologies
Artificial intelligence (incl. robotics)
Theory of computation
Algorithm analysis and problem complexity
Programming techniques
Найти похожие
7.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : High performance computing for computational science – vecpar 2010 [Electronic resource] : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6449
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-19328-6: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Information theory
Computer science
Software engineering/programming and operating systems
Theory of computation
Computer communication networks
Mathematics of computing
Computational science and engineering
Найти похожие
8.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Information computing and applications [Electronic resource] : international conference, ICICA 2010, Tangshan, China, October 15-18, 2010: proceedings, part 2
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Communications in computer and information science, ISSN 1865-0929; 106
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16339-5: Б.ц.
Предметные рубрики: Computer science
Computer network architectures
Computer communication networks
Software engineering
Information theory
Computer software
Computer science
Computer communication networks
Algorithm analysis and problem complexity
Software engineering
Software engineering/programming and operating systems
Theory of computation
Computer systems organization and communication networks
Найти похожие
9.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Information computing and applications [Electronic resource] : international conference, ICICA 2010, Tangshan, China, October 15-18, 2010 : proceedings, pt. I
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Communications in computer and information science, ISSN 1865-0929; 105
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16336-4: Б.ц.
Предметные рубрики: Computer science
Computer network architectures
Computer communication networks
Software engineering
Information theory
Computer software
Computer science
Computer communication networks
Algorithm analysis and problem complexity
Software engineering
Software engineering/programming and operating systems
Theory of computation
Computer systems organization and communication networks
Найти похожие
10.
Вид документа : Многотомное издание
Шифр издания :
Автор(ы) : Zhu R., Zhang Y., Liu B., Liu C.
Заглавие : Information computing and applications [Electronic resource] : First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6377
Вид и объем ресурса: Electronic text data
ISBN, Цена 9783642161674: Б.ц.
Предметные рубрики: Computer science
Computer network architectures
Computer communication networks
Software engineering
Information theory
Computer software
Computer science
Computer communication networks
Algorithm analysis and problem complexity
Software engineering
Software engineering/programming and operating systems
Theory of computation
Computer systems organization and communication networks
Найти похожие
11.
Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Dowek G., Lévy J.
Заглавие : Introduction to the theory of programming languages [Electronic resource]
Выходные данные : London : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Undergraduate topics in computer science, ISSN 1863-7310
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-85729-076-2: Б.ц.
Предметные рубрики: Computer science
Information theory
Logic design
Computer science
Theory of computation
Logics and meanings of programs
Найти похожие
12.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Mathematical software – ICMS 2010 [Electronic resource] : third international congress on mathematical software, Kobe, Japan, September 13-17, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6327
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15582-6: Б.ц.
Предметные рубрики: Computer science
Software engineering
Information theory
Computer software
Electronic data processing
Computational complexity
Computer science
Discrete mathematics in computer science
Math applications in computer science
Numeric computing
Software engineering/programming and operating systems
Algorithm analysis and problem complexity
Theory of computation
Найти похожие
13.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Modelling autonomic communication environments [Electronic resource] : 5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6473
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16836-9: Б.ц.
Предметные рубрики: Computer science
Software engineering
Information theory
Computer software
Information systems
Computer science
Software engineering
Programming techniques
Management of computing and information systems
Algorithm analysis and problem complexity
Programming languages, compilers, interpreters
Theory of computation
Найти похожие
14.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : New structures for physics [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in physics, ISSN 0075-8450; 813
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-12821-9: Б.ц.
Предметные рубрики: Physics
Information theory
Algebra
Mathematical physics
Physics
Mathematical methods in physics
Category theory, homological algebra
Theory of computation
Найти похожие
15.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Parameterized and exact computation [Electronic resource] : 5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6478
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-17493-3: Б.ц.
Предметные рубрики: Computer science
Information theory
Computer software
Computational complexity
Algebra-- Data processing
Algorithms
Computer science
Algorithm analysis and problem complexity
Algorithms
Discrete mathematics in computer science
Theory of computation
Symbolic and algebraic manipulation
Computation by abstract devices
Найти похожие
16.
Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Dowek G.
Заглавие : Proofs and algorithms [Electronic resource] : an introduction to logic and computability
Выходные данные : London : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Undergraduate topics in computer science, ISSN 1863-7310
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-85729-121-9: Б.ц.
Предметные рубрики: Computer science
Information theory
Computer science
Theory of computation
Mathematical logic and formal languages
Найти похожие
17.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Rainbow of computer science [Electronic resource] : dedicated to Hermann Maurer on the occasion of his 70th birthday
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6570
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-19391-0: Б.ц.
Предметные рубрики: Computer science
Information theory
Logic design
Artificial intelligence
Computer science
Theory of computation
Logics and meanings of programs
Mathematical logic and formal languages
User interfaces and human computer interaction
Artificial intelligence (incl. robotics)
Computers and society
Найти похожие
18.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Search computing [Electronic resource] : trends and developments
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6585
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-19668-3: Б.ц.
Предметные рубрики: Computer science
Software engineering
Information theory
Computer software
Data mining
Information systems
Computer science
Information systems applications (incl.internet)
Software engineering
Algorithm analysis and problem complexity
Programming techniques
Data mining and knowledge discovery
Theory of computation
Найти похожие
19.
Вид документа : Монографическая серия
Шифр издания :
Автор(ы) : Diosi L.
Заглавие : A short course in quantum information theory [Electronic resource] : an approach from theoretical physics
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in physics, ISSN 0075-8450; 827
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-16117-9: Б.ц.
Предметные рубрики: Physics
Information theory
Mathematics
Quantum theory
Physics
Quantum information technology, spintronics
Quantum physics
Theory of computation
Information and communication, circuits
Найти похожие
20.
Вид документа : Однотомное издание
Шифр издания :
Заглавие : Theoretical aspects of distributed computing in sensor networks [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Monographs in theoretical computer science. an eatcs series, ISSN 1431-2654
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-14849-1: Б.ц.
Предметные рубрики: Computer science
Computer network architectures
Information theory
Telecommunication
Computer science
Theory of computation
Computer systems organization and communication networks
Communications engineering, networks
Найти похожие
21.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Theoretical computer science [Electronic resource]
Выходные данные : Berlin; Heidelberg: Springer-Verlag, 2011
Коллективы : SpringerLink (Online service)
Серия: C.I.M.E. summer schools; 68
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-11120-4: Б.ц.
Предметные рубрики: Mathematics
Information theory
Mathematics
Operations research, management science
Theory of computation
Найти похожие
22.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Theory and applications of models of computation [Electronic resource] : 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6648
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-20877-5: Б.ц.
Предметные рубрики: Computer science
Information theory
Computer software
Logic design
Computational complexity
Computer science
Theory of computation
Mathematics of computing
Algorithm analysis and problem complexity
Logics and meanings of programs
Mathematical logic and formal languages
Discrete mathematics in computer science
Найти похожие
23.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Theory of quantum computation, communication, and cryptography [Electronic resource] : 5th conference, TQC 2010, Leeds, UK, April 13-15, 2010: revised selected papers
Выходные данные : Berlin; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6519
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-18073-6: Б.ц.
Предметные рубрики: Computer science
Coding theory
Information theory
Computer software
Computational complexity
Computer science
Theory of computation
Algorithm analysis and problem complexity
Computation by abstract devices
Coding and information theory
Discrete mathematics in computer science
Quantum information technology, spintronics
Найти похожие
24.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Transactions on petri nets and other models of concurrency IV [Electronic resource]
Выходные данные : Berlin ; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6550
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-18222-8: Б.ц.
Предметные рубрики: Computer science
Computer communication networks
Software engineering
Information theory
Computer software
Computer simulation
Computer science
Models and principles
Theory of computation
Simulation and modeling
Software engineering
Computer communication networks
Algorithm analysis and problem complexity
Найти похожие
25.
Вид документа : Монографическая серия
Шифр издания :
Заглавие : Transactions on rough sets xiv [Electronic resource]
Выходные данные : Berlin ; Heidelberg: Springer, 2011
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6600
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-21563-6: Б.ц.
Предметные рубрики: Computer science
Information theory
Artificial intelligence
Computer vision
Optical pattern recognition
Computer science
Mathematical logic and formal languages
Computation by abstract devices
Theory of computation
Image processing and computer vision
Pattern recognition
Artificial intelligence (incl. robotics)
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)