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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Software engineering/programming and operating systems<.>)
Общее количество найденных документов : 56
Показаны документы с 1 по 30
 1-30    31-56 
1.


    Fan, Y.
    Accelerating test, validation and debug of high speed serial interfaces [Electronic resource] / Y. Fan, Z. Zilic. - Electronic text data. - Dordrecht : Springer Science+Business media B.V., 2011. - ISBN 978-9-048-19398-1 : Б. ц.

Рубрики: Engineering
   Computer system performance
   Software engineering
   Electronics
   Systems engineering
   Engineering
   Circuits and systems
   Software engineering/programming and operating systems
   Electronics and microelectronics, instrumentation
   System performance and evaluation

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

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


   
    Adaptive and natural computing algorithms [Electronic resource] : 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings, pt. 2 / ed. A. Dobnikar [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6594). - ISBN 978-3-642-20267-4 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer software
   Artificial intelligence
   Computer vision
   Computer science
   Computation by abstract devices
   Algorithm analysis and problem complexity
   Software engineering/programming and operating systems
   Programming techniques
   Computer imaging, vision, pattern recognition and graphics
   Artificial intelligence (incl. robotics)

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

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


   
    Advances in software engineering [Electronic resource] : international conference, ASEA 2010, held as part of the future generation information technology conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010 : proceedings / ed. T. Kim [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Communications in computer and information science, ISSN 1865-0929 ; 117). - ISBN 978-3-642-17578-7 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Data mining
   Information systems
   Computer science
   Software engineering
   Data mining and knowledge discovery
   Information systems applications (incl.internet)
   Computer communication networks
   Programming techniques
   Software engineering/programming and operating systems

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

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


    Ao, S.
    Applied time series analysis and innovative computing [Electronic resource] / S. Ao. - Electronic text data. - Dordrecht : Springer, 2010. - (Lecture notes in electrical engineering, ISSN 1876-1100 ; 59). - ISBN 978-90-481-8768-3 : Б. ц.

Рубрики: Engineering
   Software engineering
   Fourier analysis
   Engineering mathematics
   Electronics
   Engineering
   Appl.Mathematics/Computational methods of engineering
   Fourier analysis
   Electronics and microelectronics, instrumentation
   Software engineering/programming and operating systems

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

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


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


   
    Automated technology for verification and analysis [Electronic resource] : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings / eds. A. Bouajjani, W. Chin. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6252). - ISBN 978-3-642-15643-4 : Б. ц.

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

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

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


   
    Conceptual modeling – ER 2010 [Electronic resource] : 29th international conference on conceptual modeling, Vancouver, BC, Canada, November 1-4, 2010 : proceedings / ed. J. Parsons [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6412). - ISBN 978-3-642-16373-9 : Б. ц.

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

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

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


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


   
    Electrical engineering and applied computing [Electronic resource] / eds.: S. Ao, L. Gelman. - Electronic text data. - Dordrecht : Springer Science+Business Media B.V., 2011. - (Lecture notes in electrical engineering, ISSN 1876-1100 ; 90). - ISBN 978-9-400-71192-1 : Б. ц.

Рубрики: Engineering
   Computer network architectures
   Software engineering
   Electronics
   Engineering
   Electronics and microelectronics, instrumentation
   Software engineering/programming and operating systems
   Computer systems organization and communication networks

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

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


    Marwedel, P.
    Embedded system design [Electronic resource] : embedded systems foundations of cyber-physical systems / P. Marwedel. - 2nd ed. - Electronic text data. - Dordrecht : Springer Science+Business Media B.V., 2011. - (Embedded systems). - ISBN 978-94-007-0257-8 : Б. ц.

Рубрики: Engineering
   Software engineering
   Systems engineering
   Engineering
   Circuits and systems
   Software engineering/programming and operating systems

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

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


   
    End-user development [Electronic resource] : third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011: proceedings / ed. M. F. Costabile [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6654). - ISBN 978-3-642-21530-8 : Б. ц.

Рубрики: Computer science
   Software engineering
   Text processing (computer science
   Information systems
   Computer science
   Software engineering/programming and operating systems
   Programming techniques
   Document preparation and text processing
   Management of computing and information systems
   Personal computing

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

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


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


    Bruns, R.
    Event-Driven Architecture [Electronic resource] : Softwarearchitektur fur ereignisgesteuerte Geschaftsprozesse / R. Bruns, J. Dunkel. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Xpert.press, ISSN 1439-5428). - ISBN 978-3-642-02439-9 : Б. ц.

Рубрики: Information systems
   Processor architectures
   Business information systems
   Economics/Management science
   Information systems
   Management information systems
   Software engineering/programming and operating systems
   Software engineering
   Information systems applications (incl.internet)
   Software engineering
   Computer science
   Economics
   Management of computing and information systems

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

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


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


   
    Facing the multicore-challenge [Electronic resource] : aspects of new paradigms and technologies in parallel computing / ed. R. Keller [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6310). - ISBN 978-3-642-16233-6 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer software
   Electronic data processing
   Computer science--Mathematics
   Physics
   Engineering
   Computer science
   Numeric computing
   Software engineering/programming and operating systems
   Algorithm analysis and problem complexity
   Complexity
   Computational mathematics and numerical analysis

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

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


   
    Formal methods for components and objects [Electronic resource] : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers / ed. F. S. Boer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6286). - ISBN 978-3-642-17071-3 : Б. ц.

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

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

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


   
    Formal methods for eternal networked software systems [Electronic resource] : 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures / eds. M. Bernardo, V. Issarny. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6659). - ISBN 978-3-642-21455-4 : Б. ц.

Рубрики: Computer science
   Software engineering
   Information systems
   Computer science
   Software engineering
   Software engineering/programming and operating systems
   Mathematical logic and formal languages
   Programming languages, compilers, interpreters
   Information systems applications (incl.internet)

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

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


   
    Generative and transformational techniques in software engineering iii [Electronic resource] : international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009: revised papers / ed. J. M. Fernandes [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6491). - ISBN 978-3-642-18023-1 : Б. ц.

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

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

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


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


    Koranne, S.
    Handbook of open source tools [Electronic resource] / S. Koranne. - Electronic text data. - Boston, Ma : Springer, 2011. - ISBN 978-1-4419-7719-9 : Б. ц.

Рубрики: Computer science
   Software engineering
   Information systems
   Engineering mathematics
   Computer science
   Software engineering/programming and operating systems
   Appl.Mathematics/Computational methods of engineering
   Programming techniques
   Information systems applications (incl.internet)
   Programming languages, compilers, interpreters

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

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


   
    High performance computing for computational science – vecpar 2010 [Electronic resource] : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers / ed. J. M. Palma [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6449). - ISBN 978-3-642-19328-6 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Information theory
   Computer science
   Software engineering/programming and operating systems
   Theory of computation
   Computer communication networks
   Mathematics of computing
   Computational science and engineering

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

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


   
    Information computing and applications [Electronic resource] : international conference, ICICA 2010, Tangshan, China, October 15-18, 2010: proceedings, part 2 / ed. R. Zhu [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Communications in computer and information science, ISSN 1865-0929 ; 106). - ISBN 978-3-642-16339-5 : Б. ц.

Рубрики: Computer science
   Computer network architectures
   Computer communication networks
   Software engineering
   Information theory
   Computer software
   Computer science
   Computer communication networks
   Algorithm analysis and problem complexity
   Software engineering
   Software engineering/programming and operating systems
   Theory of computation
   Computer systems organization and communication networks

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

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


   
    Information computing and applications [Electronic resource] : international conference, ICICA 2010, Tangshan, China, October 15-18, 2010 : proceedings, pt. I / ed. R. Zhu [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Communications in computer and information science, ISSN 1865-0929 ; 105). - ISBN 978-3-642-16336-4 : Б. ц.

Рубрики: Computer science
   Computer network architectures
   Computer communication networks
   Software engineering
   Information theory
   Computer software
   Computer science
   Computer communication networks
   Algorithm analysis and problem complexity
   Software engineering
   Software engineering/programming and operating systems
   Theory of computation
   Computer systems organization and communication networks

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

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


   
    Information computing and applications [Electronic resource] : First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings / R. Zhu [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6377). - ISBN 9783642161674 : Б. ц.

Рубрики: Computer science
   Computer network architectures
   Computer communication networks
   Software engineering
   Information theory
   Computer software
   Computer science
   Computer communication networks
   Algorithm analysis and problem complexity
   Software engineering
   Software engineering/programming and operating systems
   Theory of computation
   Computer systems organization and communication networks

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

Доп.точки доступа:
Zhu, R.; Zhang, Y.; Liu, B.; Liu, C.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
25.


   
    Information systems development [Electronic resource] : asian experiences / ed. W. W. Song [et al.]. - Electronic text data. - New York, NY : Springer Science+Business Media LLC, 2011. - ISBN 978-1-441-97355-9 : Б. ц.

Рубрики: Computer science
   Software engineering
   Database management
   Information storage and retrieval systems
   Management information systems
   Computer science
   Database management
   Information storage and retrieval
   Business information systems
   Software engineering/programming and operating systems

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

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


   
    Intelligent automation and computer engineering [Electronic resource] / ed. S. Ao [et al.]. - Electronic text data. - Dordrecht : Springer, 2010. - (Lecture notes in electrical engineering, ISSN 1876-1100 ; 52). - ISBN 978-90-481-3517-2 : Б. ц.

Рубрики: Engineering
   Software engineering
   Electronics
   Engineering
   Computational intelligence
   Software engineering/programming and operating systems
   Electronics and microelectronics, instrumentation

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

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


   
    Job scheduling strategies for parallel processing [Electronic resource] : 15th international workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010 : revised selected papers / ed. E. Frachtenberg, U. Schwiegelshohn. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6253). - ISBN 978-3-642-16505-4 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Operating systems (computers)
   Computer software
   Computer simulation
   Computer science
   Software engineering
   Operating systems
   Computer communication networks
   Algorithm analysis and problem complexity
   Software engineering/programming and operating systems
   Simulation and modeling

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

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


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


   
    Methods and tools of parallel programming multicomputers [Electronic resource] : second Russia-Taiwan symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010 : revised selected papers / ed. C. Hsu, V. Malyshkin. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6083). - ISBN 978-3-642-14822-4 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer software
   Electronic data processing
   Information systems
   Computer science
   Algorithm analysis and problem complexity
   Numeric computing
   Software engineering/programming and operating systems
   Information systems applications (incl.internet)
   Software engineering
   Programming techniques

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

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


   
    Migratory interactive applications for ubiquitous environments [Electronic resource] / ed. F. Paternò. - Electronic text data. - London : Springer, 2011. - (Human-Computer interaction series, ISSN 1571-5035). - ISBN 978-0-85729-250-6 : Б. ц.

Рубрики: Computer science
   Computer network architectures
   Software engineering
   Information systems
   Computer science
   Information systems and communication service
   User interfaces and human computer interaction
   Software engineering/programming and operating systems
   Personal computing
   Computer applications
   Computer systems organization and communication networks

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

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