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

Базы данных


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

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


   
    Verification, model checking, and abstract interpretation [Electronic resource] : 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011: proceedings / eds. R. Jhala, D. Schmidt. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6538). - ISBN 978-3-642-18275-4 : Б. ц.

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

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

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


   
    Verification, induction, termination analysis [Electronic resource] : festschrift for Christoph Walther on the occasion of his 60th birthday / ed. S. Siegler, N. Wasser. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6463). - ISBN 978-3-642-17172-7 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Information systems
   Artificial intelligence
   Computer science
   Software engineering
   Computer communication networks
   Logics and meanings of programs
   Artificial intelligence (incl. robotics)
   Mathematical logic and formal languages
   Information systems applications (incl.internet)

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

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


   
    Unifying theories of programming [Electronic resource] : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 : proceedings / ed. S. Qin. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6445). - ISBN 978-3-642-16690-7 : Б. ц.

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

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

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


    Roscoe, A.
    Understanding concurrent systems [Electronic resource] / A. Roscoe. - Electronic text data. - London : Springer, 2011. - (Texts in computer science, ISSN 1868-0941). - ISBN 978-1-84882-258-0 : Б. ц.

Рубрики: Computer science
   Operating systems (computers)
   Logic design
   Computer science
   Operating systems
   Logics and meanings of programs

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

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


   
    Unconventional computation [Electronic resource] : 10th international conference, UC 2011, Turku, Finland, June 6-10, 2011 : proceedings / eds. C. S. Calude [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6714). - ISBN 978-3-642-21341-0 : Б. ц.

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

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

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


   
    Typed lambda calculi and applications [Electronic resource] : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / ed. L. Ong. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6690). - ISBN 978-3-642-21691-6 : Б. ц.

Рубрики: Computer science
   Logic design
   Algebra--Data processing
   Electronic data processing
   Logic, symbolic and mathematical
   Computer science
   Mathematical logic and formal languages
   Mathematics of computing
   Logics and meanings of programs
   Symbolic and algebraic manipulation
   Computing methodologies
   Mathematical logic and foundations

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

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


   
    Transactions on aspect-oriented software development vii [Electronic resource] : a common case study for aspect-oriented modeling / eds. S. Katz [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6210). - ISBN 978-3-642-16086-8 : Б. ц.

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

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

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


   
    Tools and algorithms for the construction and analysis of systems [Electronic resource] : 17th international conference, TACAS 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.: P. A. Abdulla, K. R. Leino. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6605). - ISBN 978-3-642-19835-9 : Б. ц.

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

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

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


   
    Theory and practice of model transformations [Electronic resource] : 4th international conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011: proceedings / eds J. Cabot, E. Visser. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6707). - ISBN 978-3-642-21732-6 : Б. ц.

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

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

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


   
    Theory and applications of satisfiability testing - sat 2011 [Electronic resource] : 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / eds. K. A. Sakallah, L. Simon. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6695). - ISBN 978-3-642-21581-0 : Б. ц.

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

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

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