Web ИРБИС

Базы данных

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

Вид поиска

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

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

в найденном

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

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

Поисковый запрос: (<.>S=Discrete mathematics in computer science<.>)

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

1-30 31-60 61-79

    WALCOM: algorithms and computation [Electronic resource] : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings / ed. N. Katoh, A. Kumar. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6552). - ISBN 978-3-642-19094-0 : Б. ц.

Рубрики: Computer science
   Computer software
   Computational complexity
   Algebra--Data processing
   Bioinformatics
   Algorithms
   Computer science
   Algorithm analysis and problem complexity
   Discrete mathematics in computer science
   Math applications in computer science
   Symbolic and algebraic manipulation
   Computational biology/bioinformatics
   Algorithms

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

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

    Transactions on rough sets XIII [Electronic resource] / eds. J. F. Peters [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6499). - ISBN 978-3-642-18302-7 : Б. ц.

Рубрики: Computer science
   Computational complexity
   Database management
   Data mining
   Information storage and retrieval systems
   Artificial intelligence
   Computer vision
   Computer science
   Artificial intelligence (incl. robotics)
   Database management
   Information storage and retrieval
   Data mining and knowledge discovery
   Image processing and computer vision
   Discrete mathematics in computer science

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

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

    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)
Свободных экз. нет
Найти похожие

    Transactions on computational science VIII [Electronic resource] / eds. M. L. Gavrilova, C. J. Tan. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6260). - ISBN 978-3-642-16236-7 : Б. ц.

Рубрики: Computer science
   Computer software
   Computational complexity
   Information systems
   Computer vision
   Optical pattern recognition
   Computer science
   Algorithm analysis and problem complexity
   Computation by abstract devices
   Pattern recognition
   Image processing and computer vision
   Information systems applications (incl.internet)
   Discrete mathematics in computer science

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

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

    Transactions on computational science ix [Electronic resource] : special issue on voronoi diagrams in science and engineering / eds. M. L. Gavrilova [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6290). - ISBN 978-3-642-16007-3 : Б. ц.

Рубрики: Computer science
   Computer software
   Computational complexity
   Computer vision
   Bioinformatics
   Computer science
   Discrete mathematics in computer science
   Image processing and computer vision
   Algorithm analysis and problem complexity
   Mathematical logic and formal languages
   Computational biology/bioinformatics
   Models and principles

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

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

    Topics in cryptology – CT-RSA 2011 [Electronic resource] : the cryptographers’ track at the RSA conference 2011, San Francisco, CA, USA, February 14-18, 2011 : proceedings / ed. A. Kiayias. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6558). - ISBN 978-3-642-19074-2 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Data protection
   Data encryption (computer science)
   Computer software
   Computational complexity
   Computer science
   Data encryption
   Discrete mathematics in computer science
   Systems and data security
   Computer communication networks
   Algorithm analysis and problem complexity

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

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

    Theory of quantum computation, communication, and cryptography [Electronic resource] : 5th conference, TQC 2010, Leeds, UK, April 13-15, 2010: revised selected papers / ed.W. Dam [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6519). - 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

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

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

    Theory and applications of models of computation [Electronic resource] : 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings / ed. M. Ogihara, J. Tarui. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6648). - 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

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

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

    Structural analysis of complex networks [Electronic resource] / ed. M. Dehmer. - Electronic text data. - Boston, Ma : Springer Science+Business Media LLC, 2011. - ISBN 978-0-8176-4789-6 : Б. ц.

Рубрики: Mathematics
   Computer communication networks
   Computational complexity
   Data mining
   Bioinformatics
   Combinatorics
   Mathematics
   Applications of mathematics
   Discrete mathematics in computer science
   Combinatorics
   Computer communication networks
   Computational biology/bioinformatics
   Data mining and knowledge discovery

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

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

10.

    SOFSEM 2011: theory and practice of computer science [Electronic resource] : 37th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 22-28, 2011: proceedings / ed. I. Černá [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6543). - ISBN 978-3-642-18381-2 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Computer software
   Computational complexity
   Database management
   Computer science
   Algorithm analysis and problem complexity
   Software engineering
   Data storage representation
   Discrete mathematics in computer science
   Computer communication networks
   Database management

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

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

11.

    Simulated evolution and learning [Electronic resource] : 8th international conference, SEAL 2010, Kanpur, India, December 1-4, 2010 : proceedings / ed. K. Deb [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6457). - ISBN 978-3-642-17298-4 : Б. ц.

Рубрики: Computer science
   Data mining
   Information systems
   Artificial intelligence
   Computer simulation
   Computer science
   Computation by abstract devices
   Artificial intelligence (incl. robotics)
   Data mining and knowledge discovery
   Simulation and modeling
   Discrete mathematics in computer science
   Information systems applications (incl.internet)

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

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

12.

    Sequences and their applications – SETA 2010 [Electronic resource] : 6th international conference, Paris, France, September 13-17, 2010 : proceedings / eds. C. Carlet, A. Pott. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6338). - ISBN 978-3-642-15874-2 : Б. ц.

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

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

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

13.

    Sanskrit computational linguistics [Electronic resource] : 4th International symposium, New Delhi, India, December 10-12, 2010: proceedings / ed. G. N. Jha. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6465). - ISBN 978-3-642-17528-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer software
   Computational complexity
   Artificial intelligence
   Translators (computer programs)
   Computer science
   Language translation and linguistics
   Mathematical logic and formal languages
   Artificial intelligence (incl. robotics)
   Discrete mathematics in computer science
   Algorithm analysis and problem complexity
   Special purpose and application-based systems

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

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

14.

    Reidys, C.
    Combinatorial computational biology of RNA [Electronic resource] : pseudoknots and neutral networks / C. Reidys. - Electronic text data. - New York, NY : Springer Science+Business Media LLC, 2011. - ISBN 978-0-387-76731-4 : Б. ц.

Рубрики: Mathematics
   Computational complexity
   Evolution (biology)
   Biology--Mathematics
   Combinatorics
   Mathematics
   Mathematical biology in general
   Combinatorics
   Discrete mathematics in computer science
   Evolutionary biology

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

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

15.

    Public key cryptography – PKC 2011 [Electronic resource] : 14th International conference on practice and theory in public Key Cryptography, Taormina, Italy, March 6-9, 2011: proceedings / ed. D. Catalano [et al.]. - Electronic text data. - Berlin ; Heidelberg : International Association for Cryptologic Research, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6571). - ISBN 978-3-642-19379-8 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Data protection
   Data encryption (computer science)
   Computer software
   Computational complexity
   Information systems
   Computer science
   Computer communication networks
   Data encryption
   Management of computing and information systems
   Algorithm analysis and problem complexity
   Systems and data security
   Discrete mathematics in computer science

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

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

16.

    Property testing [Electronic resource] : current research and surveys / ed. O. Goldreich. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6390). - ISBN 978-3-642-16367-8 : Б. ц.

Рубрики: Computer science
   Computer software
   Computational complexity
   Information systems
   Artificial intelligence
   Computer graphics
   Computer science
   Algorithm analysis and problem complexity
   Artificial intelligence (incl. robotics)
   Discrete mathematics in computer science
   Computation by abstract devices
   Computer graphics
   Information systems applications (incl.internet)

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

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

17.

    Progress in cryptology - indocrypt 2010 [Electronic resource] : 11th International conference on cryptology in India, Hyderabad, India, December 12-15, 2010: proceedings / eds. G. Gong, K. C. Gupta. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6498). - ISBN 978-3-642-17401-8 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Data protection
   Data encryption (computer science)
   Computer software
   Computational complexity
   Information systems
   Computer science
   Data encryption
   Computer communication networks
   Algorithm analysis and problem complexity
   Management of computing and information systems
   Systems and data security
   Discrete mathematics in computer science

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

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

18.

    Principles of distributed systems [Electronic resource] : 14th International conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010: proceedings / ed. C. Lu [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6490). - ISBN 978-3-642-17653-1 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Computer software
   Computational complexity
   Algebra--Data processing
   Artificial intelligence
   Computer science
   Computer communication networks
   Algorithm analysis and problem complexity
   Discrete mathematics in computer science
   Software engineering
   Artificial intelligence (incl. robotics)
   Symbolic and algebraic manipulation

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

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

19.

    Parameterized and exact computation [Electronic resource] : 5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings / eds. V. Raman, S. Saurabh. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6478). - 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

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

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

20.

    Parallel problem solving from nature – ppsn xi [Electronic resource] : 11th international conference, Kraków, Poland, September 11-15, 2010 : proceedings : pt. II / eds. R. Schaefer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6239). - ISBN 978-3-642-15871-1 : Б. ц.

Рубрики: Computer science
   Computer software
   Computational complexity
   Artificial intelligence
   Optical pattern recognition
   Bioinformatics
   Computer science
   Computational biology/bioinformatics
   Artificial intelligence (incl. robotics)
   Computation by abstract devices
   Algorithm analysis and problem complexity
   Pattern recognition
   Discrete mathematics in computer science

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

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

21.

    Parallel problem solving from nature – ppsn xi [Electronic resource] : 11th international conference, Kraków, Poland, September 11-15, 2010 : proceedings : pt. I / eds. R. Schaefer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6238). - ISBN 978-3-642-15844-5 : Б. ц.

Рубрики: Computer science
   Computer software
   Computational complexity
   Artificial intelligence
   Optical pattern recognition
   Bioinformatics
   Computer science
   Computational biology/bioinformatics
   Artificial intelligence (incl. robotics)
   Computation by abstract devices
   Algorithm analysis and problem complexity
   Pattern recognition
   Discrete mathematics in computer science

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

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

22.

    Pairing-Based cryptography - pairing 2010 [Electronic resource] : 4th international conference, Yamanaka Hot Spring, Japan, December 2010 : proceedings / ed. M. Joye [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6487). - ISBN 978-3-642-17455-1 : Б. ц.

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

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

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

23.

    Oberguggenberger, M.
    Analysis for computer scientists [Electronic resource] : foundations, methods, and algorithms / M. Oberguggenberger, A. Ostermann. - Electronic text data. - London : Springer-Verlag, 2011. - (Undergraduate topics in computer science, ISSN 1863-7310). - ISBN 978-0-857-29446-3 : Б. ц.

Рубрики: Computer science
   Computational complexity
   Computer science--Mathematics
   Engineering mathematics
   Computer science
   Math applications in computer science
   Computational mathematics and numerical analysis
   Appl.Mathematics/Computational methods of engineering
   Discrete mathematics in computer science

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

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

24.

    Mirkin, B.
    Core concepts in data analysis: summarization, correlation and visualization [Electronic resource] / B. Mirkin. - Electronic text data. - London : Springer, 2011. - (Undergraduate topics in computer science, ISSN 1863-7310). - ISBN 978-0-85729-287-2 : Б. ц.

Рубрики: Computer science
   Computational complexity
   Artificial intelligence
   Optical pattern recognition
   Computer science
   Discrete mathematics in computer science
   Probability and statistics in computer science
   Math applications in computer science
   Artificial intelligence (incl. robotics)
   Pattern recognition

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

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

25.

    Mathematical software – ICMS 2010 [Electronic resource] : third international congress on mathematical software, Kobe, Japan, September 13-17, 2010 : proceedings / eds. K. Fukuda [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6327). - 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

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

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

26.

    Mathematical morphology and its applications to image and signal processing [Electronic resource] : 10th international symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011: proceedings / ed. P. Soille [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6671). - ISBN 978-3-642-21569-8 : Б. ц.

Рубрики: Computer science
   Data structures (computer science)
   Electronic data processing
   Computational complexity
   Computer vision
   Bioinformatics
   Computer science
   Image processing and computer vision
   Math applications in computer science
   Discrete mathematics in computer science
   Computational biology/bioinformatics
   Data structures
   Numeric computing

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

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

27.

    Martí, R.
    The linear ordering problem [Electronic resource] : exact and heuristic methods in combinatorial optimization / R. Martí, G. Reinelt. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Applied mathematical sciences, ISSN 0066-5452 ; 175). - ISBN 978-3-642-16729-4 : Б. ц.

Рубрики: Mathematics
   Computational complexity
   Computer science
   Algorithms
   Mathematical optimization
   Mathematics
   Algorithms
   Optimization
   Discrete mathematics in computer science
   Computer applications

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

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

28.

    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)
Свободных экз. нет
Найти похожие

29.

    Logic, language, information and computation [Electronic resource] : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / ed. L. D. Beklemishev, R. Queiroz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6642). - ISBN 978-3-642-20920-8 : Б. ц.

Рубрики: Computer science
   Computer software
   Logic design
   Computational complexity
   Algebra--Data processing
   Computer science
   Mathematical logic and formal languages
   Logics and meanings of programs
   Algorithm analysis and problem complexity
   Computation by abstract devices
   Discrete mathematics in computer science
   Symbolic and algebraic manipulation

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

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

30.

    Logic programming and nonmonotonic reasoning [Electronic resource] : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings / ed. J. P. Delgrande, W. Faber. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6645). - ISBN 978-3-642-20895-9 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computational complexity
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Discrete mathematics in computer science
   Logics and meanings of programs
   Mathematical logic and formal languages
   Software engineering
   Programming techniques

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

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

1-30 31-60 61-79

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

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

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