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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Logics and meanings of programs<.>)
Общее количество найденных документов : 94
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.


   
    Integrated circuit and system design. power and timing modeling, optimization, and simulation [Electronic resource] : 20th international workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010: revised selected papers / eds. R. Leuken, G. Sicard. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6448). - ISBN 978-3-642-17752-1 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Computer system performance
   Software engineering
   Computer software
   Logic design
   Computer simulation
   Computer science
   System performance and evaluation
   Simulation and modeling
   Computer communication networks
   Software engineering
   Logics and meanings of programs
   Algorithm analysis and problem complexity

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

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


   
    Implementation and application of functional languages [Electronic resource] : 21st international symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009 : revised selected papers / eds.: M. T. Morazán, S. Scholz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6041). - ISBN 978-3-642-16478-1 : Б. ц.

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

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

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


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


   
    Software composition [Electronic resource] : 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011: proceedings / eds. S. Apel, E. Jackson. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6708). - ISBN 978-3-642-22045-6 : Б. ц.

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

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

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


   
    Rigorous software development [Electronic resource] : an introduction to program verification / J. B. Almeida [et al.]. - Electronic text data. - London : Springer, 2011. - (Undergraduate topics in computer science, ISSN 1863-7310). - ISBN 978-0-85729-018-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Algebra--Data processing
   Computer science
   Software engineering
   Logics and meanings of programs
   Symbolic and algebraic manipulation

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

Доп.точки доступа:
Almeida, J.B.; Frade, M.J.; Pinto, J.S.; Melo de Sousa, S.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
6.


   
    Logic and its applications [Electronic resource] : 4th indian conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings / eds. M. Banerjee, A. Seth. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6521). - ISBN 978-3-642-18026-2 : Б. ц.

Рубрики: Computer science
   Computer software
   Logic design
   Electronic data processing
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Logics and meanings of programs
   Algorithm analysis and problem complexity
   Mathematical logic and formal languages
   Computing methodologies
   Mathematics of computing

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

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


    Dowek, G.
    Introduction to the theory of programming languages [Electronic resource] / G. Dowek, J. Lévy. - Electronic text data. - London : Springer, 2011. - (Undergraduate topics in computer science, ISSN 1863-7310). - ISBN 978-0-85729-076-2 : Б. ц.

Рубрики: Computer science
   Information theory
   Logic design
   Computer science
   Theory of computation
   Logics and meanings of programs

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

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


   
    Software language engineering [Electronic resource] : third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers / ed. B. Malloy [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6563). - ISBN 978-3-642-19440-5 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computer science
   Software engineering
   Programming languages, compilers, interpreters
   Logics and meanings of programs
   User interfaces and human computer interaction

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

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


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


   
    Fundamental approaches to software engineering [Electronic resource] : 14th international conference, FASE 2011, held as part of the joint european conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011 : proceedings / eds.: D. Giannakopoulou, F. Orejas. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6603). - ISBN 978-3-642-19811-3 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Information systems
   Computer science
   Software engineering
   Computer communication networks
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Programming techniques
   Management of computing and information systems

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

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