Web ИРБИС

Базы данных

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

Вид поиска

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

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

в найденном

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

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

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

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

1-20 21-40 41-60

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

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

    Latent variable analysis and signal separation [Electronic resource] : 9th international conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010 : proceedings / eds. V. Vigneron [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6365). - ISBN 978-3-642-15995-4 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer software
   Computational complexity
   Computer simulation
   Computer vision
   Optical pattern recognition
   Computer science
   Pattern recognition
   Image processing and computer vision
   Simulation and modeling
   Algorithm analysis and problem complexity
   Discrete mathematics in computer science
   Special purpose and application-based systems

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

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

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

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

    Celma, Ò.
    Music recommendation and discovery [Electronic resource] : the long tail, long fail, and long play in the digital music space / Ò. Celma. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-13287-2 : Б. ц.

Рубрики: Computer science
   Computational complexity
   Information storage and retrieval systems
   Artificial intelligence
   Music
   Computer science
   Information storage and retrieval
   Discrete mathematics in computer science
   Artificial intelligence (incl. robotics)
   Music

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

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

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

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

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

10.

    Language, games, and evolution [Electronic resource] : trends in current research on language and game theory / ed. A. Benz [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6207). - ISBN 978-3-642-18006-4 : Б. ц.

Рубрики: Computer science
   Computer software
   Computational complexity
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Algorithm analysis and problem complexity
   Computation by abstract devices
   Discrete mathematics in computer science
   Mathematical logic and formal languages

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

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

11.

    Graph-Based representations in pattern recognition [Electronic resource] : 8th IAPR-TC-15 international workshop, GbRPR 2011, Münster, Germany, May 18-20, 2011 : proceedings / ed. X. Jiang [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6658). - ISBN 978-3-642-20844-7 : Б. ц.

Рубрики: Computer science
   Computational complexity
   Artificial intelligence
   Computer vision
   Computer graphics
   Optical pattern recognition
   Computer science
   Pattern recognition
   Image processing and computer vision
   Computer imaging, vision, pattern recognition and graphics
   Computer graphics
   Discrete mathematics in computer science
   Artificial intelligence (incl. robotics)

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

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

12.

    Chatterjee, S.
    Identity-Based encryption [Electronic resource] / S. Chatterjee, P. Sarkar. - Electronic text data. - Boston, Ma : Springer Science+Business Media LLC, 2011. - ISBN 978-1-4419-9383-0 : Б. ц.

Рубрики: Computer science
   Software engineering
   Data structures (computer science)
   Data encryption (computer science)
   Coding theory
   Computational complexity
   Algebra
   Computer science
   Data structures, cryptology and information theory
   Data encryption
   Software engineering
   Coding and information theory
   Discrete mathematics in computer science
   Algebra

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

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

13.

    Graph theoretic concepts in computer science [Electronic resource] : 36th international workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 : revised papers / ed. D. M. Thilikos. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6410). - ISBN 978-3-642-16926-7 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Data structures (computer science)
   Computer software
   Computational complexity
   Algorithms
   Geometry
   Computer science
   Discrete mathematics in computer science
   Algorithm analysis and problem complexity
   Geometry
   Algorithms
   Computer communication networks
   Data structures

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

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

14.

    Graph transformations [Electronic resource] : 5th international conference, ICGT 2010, Enschede, the Netherlands, September 27–October 2, 2010 : proceedings / eds. H. Ehrig [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6372). - ISBN 978-3-642-15928-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Data structures (computer science)
   Computer software
   Logic design
   Computational complexity
   Computer science
   Discrete mathematics in computer science
   Software engineering
   Data structures
   Logics and meanings of programs
   Algorithm analysis and problem complexity
   Mathematical logic and formal languages

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

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

15.

    Implementation and application of automata [Electronic resource] : 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers / ed. M. Domaratzki, K. Salomaa. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6482). - ISBN 978-3-642-18098-9 : Б. ц.

Рубрики: Computer science
   Data structures (computer science)
   Computer software
   Logic design
   Computational complexity
   Computer science
   Algorithm analysis and problem complexity
   Computation by abstract devices
   Mathematical logic and formal languages
   Discrete mathematics in computer science
   Logics and meanings of programs
   Data structures

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

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

16.

    Integer programming and combinatoral optimization [Electronic resource] : 15th international conference, IPCO 2011, New York, NY, USA, June 15-17, 2011: proceedings / eds. O. Günlük, G. J. Woeginger. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6655). - ISBN 978-3-642-20807-2 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Data structures (computer science)
   Computer software
   Electronic data processing
   Computational complexity
   Computer graphics
   Computer science
   Algorithm analysis and problem complexity
   Discrete mathematics in computer science
   Computer graphics
   Data structures
   Numeric computing
   Computer communication networks

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

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

17.

    Internet and network economics [Electronic resource] : 6th International workshop, WINE 2010, Stanford, Ca, USA, December 13-17, 2010: proceedings / ed. A. Saberi. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6484). - ISBN 978-3-642-17572-5 : Б. ц.

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

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

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

18.

    Information hiding [Electronic resource] : 12th international conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010 : revised selected papers / ed. R. Böhme [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6387). - ISBN 978-3-642-16435-4 : Б. ц.

Рубрики: Computer science
   Data encryption (computer science)
   Computer software
   Computational complexity
   Multimedia systems
   Computer graphics
   Computer vision
   Computer science
   Data encryption
   Algorithm analysis and problem complexity
   Multimedia information systems
   Discrete mathematics in computer science
   Image processing and computer vision
   Computer graphics

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

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

19.

    Information security and privacy [Electronic resource] : 15th australasian conference, ACISP 2010, Sydney, Australia, July 5-7, 2010 : proceedings / eds. R. Steinfeld, P. Hawkes. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6168). - ISBN 978-3-642-14081-5 : Б. ц.

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

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

Доп.точки доступа:
Steinfeld, R. \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)
Свободных экз. нет
Найти похожие

1-20 21-40 41-60

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

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

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