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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Software engineering<.>)
Общее количество найденных документов : 313
Показаны документы с 1 по 20
 1-20    21-40   41-60      
1.


   
    Web engineering [Electronic resource] : 5th international conference, ICWE 2005, Sydney, Australia, July 27-29, 2005: proceedings / eds.: D. Lowe, M. Gaedke. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3579). - ISBN 978-3-540-31484-4 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Information storage and retrieval systems
   Information systems
   Multimedia systems
   Artificial intelligence
   Computer science
   Information storage and retrieval
   Computer communication networks
   Software engineering
   Information systems applications (incl.internet)
   Multimedia information systems
   Artificial intelligence (incl. robotics)

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

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


    Ganter, B.
    Formal concept analysis [Electronic resource] : foundations and applications / B. Ganter, G. Stumme, R. Wille. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3626). - ISBN 978-3-540-31881-1 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computational complexity
   Information storage and retrieval systems
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Software engineering
   Mathematical logic and formal languages
   Discrete mathematics in computer science
   Information storage and retrieval

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

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


    Hagen, W.
    The definitive guide to GCC [Electronic resource] / W. Hagen. - 2nd ed. - Electronic text data. - Berkeley, Ca : Apress, 2006. - ISBN 978-1-4302-0219-6 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer science
   Software engineering/programming and operating systems

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

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


    Syme, D.
    Expert f# 2.0 [Electronic resource] / D. Syme, A. Granicz, A. Cisternino. - Electronic text data. - Berkeley, Ca : Apress, 2009. - ISBN 978-1-4302-2432-7 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer science
   Computer science, general
   Software engineering/programming and operating systems

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

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


    Chen, J. X.
    Guide to graphics software tools [Electronic resource] / J. X. Chen. - 2nd ed. - Electronic text data. - London : Springer, 2009. - ISBN 978-1-84800-901-1 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer graphics
   Computer vision
   Computer science
   Computer graphics
   Image processing and computer vision
   Software engineering/programming and operating systems

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

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


   
    Logics in artificial intelligence [Electronic resource] : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 : proceedings / eds. T. Janhunen, I. Niemelä. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6341). - ISBN 978-3-642-15675-5 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Algebra--Data processing
   Information systems
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Mathematical logic and formal languages
   Information systems applications (incl.internet)
   Software engineering
   Logics and meanings of programs
   Symbolic and algebraic manipulation

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

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


   
    Logic, language and meaning [Electronic resource] : 17th Amsterdam colloquium, Amsterdam, the Netherlands, December 16-18, 2009 : revised selected papers / eds. M. Aloni [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6042). - ISBN 978-3-642-14287-1 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Algebra--Data processing
   Artificial intelligence
   Information systems
   Computer science
   Symbolic and algebraic manipulation
   Computer appl. in arts and humanities
   Mathematical logic and formal languages
   Artificial intelligence (incl. robotics)
   Logics and meanings of programs
   Software engineering

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

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


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


   
    Mobile lightweight wireless systems [Electronic resource] : second international ICST conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010 : revised selected papers / ed. P. Chatzimisios [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes of the institute for computer sciences, social informatics and telecommunications engineering, ISSN 1867-8211 ; 45). - ISBN 978-3-642-16644-0 : Б. ц.

Рубрики: Computer science
   Operating systems (computers)
   Computer communication networks
   Software engineering
   Computer software
   Computer simulation
   Information systems
   Computer science
   Computer communication networks
   Software engineering
   Performance and reliability
   Algorithm analysis and problem complexity
   Management of computing and information systems
   Simulation and modeling

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

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


   
    Middleware 2010 [Electronic resource] : ACM/IFIP/USENIX 11th international middleware conference, Bangalore, India, November 29 - December 3, 2010 : proceedings / eds.: I. Gupta, C. Mascolo. - Electronic text data. - Berlin ; Heidelberg : IFIP International Federation of Information Processing, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6452). - ISBN 978-3-642-16955-7 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Information storage and retrieval systems
   Information systems
   Information systems
   Computer science
   Computer communication networks
   Information systems applications (incl.internet)
   Software engineering
   Information storage and retrieval
   Management of computing and information systems
   Computers and society

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

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


   
    Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / eds.: C. G. Fermüller, A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6397). - ISBN 978-3-642-16242-8 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Software engineering
   Logics and meanings of programs
   Mathematical logic and formal languages
   Programming techniques
   Programming languages, compilers, interpreters

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

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


   
    Leveraging applications of formal methods, verification, and validation [Electronic resource] : 4th international symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 : proceedings, pt. 2 / ed. T. Margaria, B. Steffen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6416). - ISBN 978-3-642-16561-0 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Data mining
   Information systems
   Computer science
   Logics and meanings of programs
   Software engineering
   Programming languages, compilers, interpreters
   Computer communication networks
   Information systems applications (incl.internet)
   Data mining and knowledge discovery

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

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


   
    Leveraging applications of formal methods, verification, and validation [Electronic resource] : 4th international symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 : proceedings, pt. 1 / ed. T. Margaria, B. Steffen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6415). - ISBN 978-3-642-16558-0 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Data mining
   Information systems
   Computer science
   Logics and meanings of programs
   Software engineering
   Programming languages, compilers, interpreters
   Computer communication networks
   Information systems applications (incl.internet)
   Data mining and knowledge discovery

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

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


   
    Life system modeling and intelligent computing [Electronic resource] : international conference on life system modeling and simulation, LSMS 2010, and international conference on intelligent computing for sustainable energy and environment, ICSEE 2010, Wuxi, China, September 17-20, 2010 : proceedings : pt. II / eds. K. Li [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6329). - ISBN 978-3-642-15597-0 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer software
   Computer simulation
   Computer vision
   Bioinformatics
   Computer science
   Computational biology/bioinformatics
   Computation by abstract devices
   Algorithm analysis and problem complexity
   Image processing and computer vision
   Simulation and modeling
   Special purpose and application-based systems

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

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


    Schaumont, P. R.
    A practical introduction to hardware/software codesign [Electronic resource] / P. R. Schaumont. - Electronic text data. - Boston, Ma : Springer Science+Business Media LLC, 2010. - ISBN 978-1-4419-6000-9 : Б. ц.

Рубрики: Engineering
   Software engineering
   Computer aided design
   Systems engineering
   Engineering
   Circuits and systems
   Computer-Aided engineering (cad, cae) and design
   Software engineering/programming and operating systems

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

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


   
    Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 16th International conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010: revised selected papers / eds. E. M. Clarke, A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6355). - ISBN 978-3-642-17511-4 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Programming techniques
   Software engineering
   Logics and meanings of programs
   Mathematical logic and formal languages
   Programming languages, compilers, interpreters

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

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


   
    Mobile wireless middleware, operating systems, and applications [Electronic resource] : third international conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010 : revised selected papers / ed. Y. Cai [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes of the institute for computer sciences, social informatics and telecommunications engineering, ISSN 1867-8211 ; 48). - ISBN 978-3-642-17758-3 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Information storage and retrieval systems
   Information systems
   Artificial intelligence
   Computer science
   Computer communication networks
   Information systems applications (incl.internet)
   User interfaces and human computer interaction
   Software engineering
   Information storage and retrieval
   Artificial intelligence (incl. robotics)

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

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


   
    Network and parallel computing [Electronic resource] : international conference, NPC 2010, Zhengzhou, China, September 13-15, 2010 : proceedings / eds. C. Ding [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6289). - ISBN 978-3-642-15672-4 : Б. ц.

Рубрики: Computer science
   Software engineering
   Operating systems (computers)
   Computer software
   Electronic data processing
   Computer science
   Programming techniques
   Computing methodologies
   Algorithm analysis and problem complexity
   Software engineering
   Software engineering/programming and operating systems
   Operating systems

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

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


   
    Multiple access communications [Electronic resource] : third international workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010 : proceedings / eds. A. Vinel [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6235). - ISBN 978-3-642-15428-7 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Data encryption (computer science)
   Computer software
   Information systems
   Information systems
   Computer science
   Computer communication networks
   Algorithm analysis and problem complexity
   Information systems applications (incl.internet)
   Management of computing and information systems
   Software engineering
   Data encryption

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

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


   
    Objects and databases [Electronic resource] : third international conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010 : proceedings / eds. A. Dearle, R. V. Zicari. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6348). - ISBN 9783642160929 : Б. ц.

Рубрики: Computer science
   Software engineering
   Data structures (computer science)
   Database management
   Data mining
   Information storage and retrieval systems
   Information systems
   Computer science
   Database management
   Information systems applications (incl.internet)
   Software engineering
   Information storage and retrieval
   Data mining and knowledge discovery
   Data structures

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

Доп.точки доступа:
Dearle, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
 1-20    21-40   41-60      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)