Web ИРБИС

Базы данных

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

Вид поиска

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

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

в найденном

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

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

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

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

1-20 21-40 41-60

    Conceptual structures: common semantics for sharing knowledge [Electronic resource] : 13th international conference on conceptual structures, ICCS 2005, Kassel, Germany, July 17-22, 2005: proceedings / ed. F. Dau [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3596). - ISBN 978-3-540-31885-9 : Б. ц.

Рубрики: Computer science
   Computer software
   Computational complexity
   Information systems
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Algorithm analysis and problem complexity
   Mathematical logic and formal languages
   Discrete mathematics in computer science
   Information systems applications (incl.internet)

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

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

    Lipsky, L.
    Queueing theory [Electronic resource] : a linear algebraic approach / L. Lipsky. - Electronic text data. - New York, NY : Springer Science+Business Media LLC, 2009. - ISBN 978-0-387-49706-8 : Б. ц.

Рубрики: Mathematics
   Computer software
   Information systems
   Operations research
   Distribution (probability theory)
   Economics, mathematical
   Mathematics
   Operations research, mathematical programming
   Operations research/decision theory
   Information systems and communication service
   Probability theory and stochastic processes
   Game theory/mathematical methods
   Algorithm analysis and problem complexity

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

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

    Public key infrastructures, services and applications [Electronic resource] : 6th european workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009 : revised selected papers / eds.: F. Martinelli, B. Preneel. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6391). - ISBN 978-3-642-16441-5 : Б. ц.

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

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

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

    Radio frequency identification: security and privacy issues [Electronic resource] : 6th international workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010 : revised selected paper / ed. Y. S. Ors Yalcin. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6370). - ISBN 978-3-642-16822-2 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Data protection
   Data encryption (computer science)
   Computer software
   Information systems
   Computer science
   Computer communication networks
   Data encryption
   Systems and data security
   Algorithm analysis and problem complexity
   Management of computing and information systems
   Special purpose and application-based systems

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

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

    Fomin, F. V.
    Exact exponential algorithms [Electronic resource] / F. V. Fomin, D. Kratsch. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Texts in theoretical computer science. an eatcs series, ISSN 1862-4499). - ISBN 978-3-642-16533-7 : Б. ц.

Рубрики: Computer science
   Computer software
   Combinatorics
   Mathematical optimization
   Computer science
   Algorithm analysis and problem complexity
   Optimization
   Combinatorics

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

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

    Recent advances in the message passing interface [Electronic resource] : 17th european MPI users’ group meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010 : proceedings / eds. R. Keller [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6305). - ISBN 978-3-642-15646-5 : Б. ц.

Рубрики: Computer science
   Computer network architectures
   Computer communication networks
   Software engineering
   Computer software
   Computer simulation
   Computer science
   Algorithm analysis and problem complexity
   Computer communication networks
   Software engineering
   Programming techniques
   Computer systems organization and communication networks
   Simulation and modeling

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

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

    Discovery science [Electronic resource] : 13th international conference, DS 2010, Canberra, Australia, October 6-8, 2010 : proceedings / ed. B. Pfahringer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6332). - ISBN 978-3-642-16184-1 : Б. ц.

Рубрики: Computer science
   Computer software
   Database management
   Data mining
   Information storage and retrieval systems
   Information systems
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Information storage and retrieval
   Information systems applications (incl.internet)
   Database management
   Data mining and knowledge discovery
   Algorithm analysis and problem complexity

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

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

    Recent advances in intrusion detection [Electronic resource] : 13th international symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010 : proceedings / eds. S. Jha [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6307). - ISBN 978-3-642-15512-3 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Data structures (computer science)
   Data encryption (computer science)
   Computer software
   Artificial intelligence
   Computer science
   Computer communication networks
   Data encryption
   Computers and society
   Algorithm analysis and problem complexity
   Data structures, cryptology and information theory
   Artificial intelligence (incl. robotics)

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

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

    Euro-Par 2010 - parallel processing [Electronic resource] : 16th international Euro-Par conference, Ischia, Italia, August 31 - September 3, 2010 : proceedings : pt. I / eds. P. D’Ambra [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6271). - ISBN 978-3-642-15277-1 : Б. ц.

Рубрики: Computer science
   Operating systems (computers)
   Computer system performance
   Computer software
   Electronic data processing
   Computer science
   System performance and evaluation
   Algorithm analysis and problem complexity
   Programming techniques
   Numeric computing
   Processor architectures
   Performance and reliability

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

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

10.

    Euro-Par 2010 - parallel processing [Electronic resource] : 16th international Euro-Par conference, Ischia, Italy, August 31 - September 3, 2010 : proceedings : pt. 2 / eds. P. D’Ambra [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6272). - ISBN 978-3-642-15291-7 : Б. ц.

Рубрики: Computer science
   Operating systems (computers)
   Computer system performance
   Computer software
   Electronic data processing
   Computer science
   System performance and evaluation
   Algorithm analysis and problem complexity
   Programming techniques
   Numeric computing
   Processor architectures
   Performance and reliability

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

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

11.

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

12.

    From animals to animats 11 [Electronic resource] : 11th international conference on simulation of adaptive behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010 : proceedings / eds. S. Doncieux [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6226). - ISBN 978-3-642-15193-4 : Б. ц.

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

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

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

13.

    Future generation information technology [Electronic resource] : second international conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010 : proceedings / ed. T. Kim [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6485). - ISBN 978-3-642-17569-5 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Computer software
   Information systems
   Artificial intelligence
   Optical pattern recognition
   Computer science
   Computer communication networks
   Artificial intelligence (incl. robotics)
   Information systems applications (incl.internet)
   Algorithm analysis and problem complexity
   Software engineering
   Pattern recognition

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

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

14.

    Principles and practice of constraint programming – CP 2010 [Electronic resource] : 16th international conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010 : proceedings / ed. D. Cohen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6308). - ISBN 978-3-642-15396-9 : Б. ц.

Рубрики: Computer science
   Computer software
   Logic design
   Artificial intelligence
   Computer science
   Algorithm analysis and problem complexity
   Mathematical logic and formal languages
   Logics and meanings of programs
   Artificial intelligence (incl. robotics)
   Programming languages, compilers, interpreters
   Computation by abstract devices

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

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

15.

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

16.

    Formal methods and software engineering [Electronic resource] : 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings / ed. J. S. Dong, H. Zhu. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6447). - ISBN 978-3-642-16901-4 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Computer software
   Computer science
   Software engineering
   Programming techniques
   Programming languages, compilers, interpreters
   Algorithm analysis and problem complexity
   Mathematical logic and formal languages
   Computer communication networks

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

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

17.

    Provable security [Electronic resource] : 4th international conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. : proceedings / eds.: S. Heng, K. Kurosawa. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6402). - ISBN 978-3-642-16280-0 : Б. ц.

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

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

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

18.

    Formal modeling and analysis of timed systems [Electronic resource] : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings / eds. K. Chatterjee, T. A. Henzinger. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6246). - ISBN 978-3-642-15297-9 : Б. ц.

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

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

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

19.

    From active data management to event-based systems and more [Electronic resource] : papers in honor of Alejandro Buchmann on the occasion of his 60th birthday / ed. K. Sachs [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6462). - ISBN 978-3-642-17226-7 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Computer software
   Information storage and retrieval systems
   Information systems
   Artificial intelligence
   Computer science
   Computer communication networks
   Information systems applications (incl.internet)
   Software engineering
   Artificial intelligence (incl. robotics)
   Information storage and retrieval
   Algorithm analysis and problem complexity

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

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

20.

    Foundational and practical aspects of resource analysis [Electronic resource] : first international workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009 : revised selected papers / eds. M. Eekelen, O. Shkaravska. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6324). - ISBN 978-3-642-15331-0 : Б. ц.

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

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

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

1-20 21-40 41-60

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

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

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