Web ИРБИС

Базы данных

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

Вид поиска

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

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

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

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

Поисковый запрос: (<.>S=Models and principles<.>)

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

    Advances in computational intelligence [Electronic resource] : 11th international work-conference on artificial neural networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011 : poceedings, pt. 1 / ed. Gabestany [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6691). - ISBN 978-3-642-21501-8 : Б. ц.

Рубрики: Computer science
   Data mining
   Artificial intelligence
   Optical pattern recognition
   Bioinformatics
   Computer science
   Computational biology/bioinformatics
   Pattern recognition
   Artificial intelligence (incl. robotics)
   Data mining and knowledge discovery
   Models and principles
   Bioinformatics

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

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

    Advances in computational intelligence [Electronic resource] : 11th international work-conference on artificial neural networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011 : proceedings, pt. 2 / ed. J. Cabestany [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6692). - ISBN 978-3-642-21498-1 : Б. ц.

Рубрики: Computer science
   Data mining
   Artificial intelligence
   Optical pattern recognition
   Bioinformatics
   Computer science
   Computational biology/bioinformatics
   Pattern recognition
   Artificial intelligence (incl. robotics)
   Data mining and knowledge discovery
   Models and principles
   Bioinformatics

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

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

    Algorithmic game theory [Electronic resource] : third international symposium, SAGT 2010, Athens, Greece, October 18-20, 2010 : proceedings / ed.: S. Kontogiannis [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6386). - ISBN 978-3-642-16170-4 : Б. ц.

Рубрики: Computer science
   Electronic data processing
   Computer simulation
   Computer science
   Simulation and modeling
   e-Commerce/e-business
   Models and principles
   Computers and society
   Numeric computing
   Probability and statistics in computer science

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

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

    Architecting dependable systems VII [Electronic resource] / ed. A. Casimiro [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6420). - ISBN 978-3-642-17245-8 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computer science
   Software engineering
   Programming languages, compilers, interpreters
   Programming techniques
   Logics and meanings of programs
   Software engineering/programming and operating systems
   Models and principles

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

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

    Business process management [Electronic resource] : 8th international conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010 : proceedings / eds. R. Hull [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6336). - ISBN 978-3-642-15618-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer software
   Logic design
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Programming techniques
   Algorithm analysis and problem complexity
   Models and principles

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

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

    Declarative agent languages and technologies VIII [Electronic resource] : 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers / ed. A. Omicini [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6619). - ISBN 978-3-642-20715-0 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Models and principles
   Computer communication networks
   Software engineering
   Programming languages, compilers, interpreters
   Logics and meanings of programs

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

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

    Digital privacy [Electronic resource] : PRIME - privacy and identity management for Europe / ed. J. Camenisch [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6545). - ISBN 978-3-642-19050-6 : Б. ц.

Рубрики: Computer science
   Data encryption (computer science)
   Information systems
   Information systems
   Computer science
   Computers and society
   Management of computing and information systems
   Information systems applications (incl.internet)
   Models and principles
   Computer appl. in administrative data processing
   Data encryption

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

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

    Engineering secure software and systems [Electronic resource] : third international symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011: proceedings / ed. Ú. Erlingsson [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6542). - ISBN 978-3-642-19125-1 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Data structures (computer science)
   Data encryption (computer science)
   Computer science
   Computer communication networks
   Data encryption
   Software engineering/programming and operating systems
   Data structures, cryptology and information theory
   Math applications in computer science
   Models and principles

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

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

    The evolution of conceptual modeling [Electronic resource] : from a historical perspective towards the future of conceptual modeling / eds. R. Kaschek, L. Delcambre. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6520). - ISBN 978-3-642-17505-3 : Б. ц.

Рубрики: Computer science
   Software engineering
   Data mining
   Information systems
   Artificial intelligence
   Computer science
   Data mining and knowledge discovery
   Information systems applications (incl.internet)
   Mathematical logic and formal languages
   Artificial intelligence (incl. robotics)
   Models and principles
   Software engineering

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

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

10.

    Graph drawing [Electronic resource] : 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / ed. U. Brandes, S. Cornelsen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6502). - ISBN 978-3-642-18469-7 : Б. ц.

Рубрики: Computer science
   Computer software
   Computational complexity
   Algebra--Data processing
   Computer science
   Discrete mathematics in computer science
   Math applications in computer science
   Algorithm analysis and problem complexity
   Models and principles
   Symbolic and algebraic manipulation
   User interfaces and human computer interaction

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

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

11.

    Languages and compilers for parallel computing [Electronic resource] : 23rd International workshop, LCPC 2010, Houston, Tx, USA, October 7-9, 2010: revised selected papers / ed. K. Cooper [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6548). - ISBN 978-3-642-19595-2 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Data structures (computer science)
   Electronic data processing
   Computer science
   Programming languages, compilers, interpreters
   Programming techniques
   Data structures
   Computing methodologies
   Models and principles
   Computer communication networks

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

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

12.

    Xing, H.
    M8.0 wenchuan earthquake [Electronic resource] / H. Xing, X. Xu. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in earth sciences, ISSN 0930-0317 ; 123). - ISBN 978-3-642-01901-2 : Б. ц.

Рубрики: Geography
   Geology, structural
   Computer science
   Physical geography
   Mathematics
   Earth sciences
   Structural geology
   Models and principles
   Physical geography
   Environmental monitoring/analysis
   Popular science in mathematics/computer science/natural science/technology

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

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

13.

    Rewriting logic and its applications [Electronic resource] : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers / ed.: P. C. Ölveczky. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6381). - ISBN 978-3-642-16310-4 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computer science
   Logics and meanings of programs
   Software engineering
   Programming techniques
   Programming languages, compilers, interpreters
   Mathematical logic and formal languages
   Models and principles

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

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

14.

    Run-time models for self-managing systems and applications [Electronic resource] / eds.: D. Ardagna, L. Zhang. - Electronic text data. - Basel : Springer, 2010. - (Autonomic systems). - ISBN 978-3-034-60433-8 : Б. ц.

Рубрики: Computer science
   Computer simulation
   Information systems
   Computer science
   Management of computing and information systems
   Models and principles
   Simulation and modeling

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

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

15.

    Testing software and systems [Electronic resource] : 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings / ed. A. Petrenko [et al.]. - Electronic text data. - Berlin ; Heidelberg : IFIP International Federation for Information Processing, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6435). - ISBN 978-3-642-16573-3 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computer science
   Software engineering
   Programming languages, compilers, interpreters
   Logics and meanings of programs
   Mathematical logic and formal languages
   Programming techniques
   Models and principles

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

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

16.

    Top productivity through software reuse [Electronic resource] : 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings / ed. K. Schmid. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6727). - ISBN 978-3-642-21347-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer science
   Software engineering
   Programming techniques
   Programming languages, compilers, interpreters
   Software engineering/programming and operating systems
   Models and principles

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

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

17.

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

18.

    Transactions on petri nets and other models of concurrency IV [Electronic resource] / ed. K. Jensen [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6550). - 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

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

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

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

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

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