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

Базы данных


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

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


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


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


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


    Platzer, A.
    Logical analysis of hybrid systems [Electronic resource] : proving theorems for complex dynamics / A. Platzer. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-14509-4 : Б. ц.

Рубрики: Computer science
   Logic design
   Artificial intelligence
   Computer science
   Mathematical logic and formal languages
   Artificial intelligence (incl. robotics)
   Mathematics of computing
   Logics and meanings of programs
   Control, robotics, mechatronics

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

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


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


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


   
    Graph transformations [Electronic resource] : 5th international conference, ICGT 2010, Enschede, the Netherlands, September 27–October 2, 2010 : proceedings / eds. H. Ehrig [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6372). - ISBN 978-3-642-15928-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Data structures (computer science)
   Computer software
   Logic design
   Computational complexity
   Computer science
   Discrete mathematics in computer science
   Software engineering
   Data structures
   Logics and meanings of programs
   Algorithm analysis and problem complexity
   Mathematical logic and formal languages

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

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


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


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


   
    Integrated formal methods [Electronic resource] : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / eds.: D. Méry, S. Merz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6396). - ISBN 978-3-642-16265-7 : Б. ц.

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

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

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


   
    Hybrid metaheuristics [Electronic resource] : 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings / ed. M. J. Blesa [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6373). - ISBN 978-3-642-16054-7 : Б. ц.

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

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

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


   
    Graph transformations and model-driven engineering [Electronic resource] : essays dedicated to Manfred Nagl on the occasion of his 65th birthday / ed. G. Engels [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 5765). - ISBN 978-3-642-17322-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

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

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


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


   
    Testing software and systems [Electronic resource] : 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings / ed. A. Petrenko [et al.]. - Electronic text data. - Berlin ; Heidelberg : IFIP International Federation for Information Processing, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6435). - ISBN 978-3-642-16573-3 : Б. ц.

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

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

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


   
    Software architecture [Electronic resource] : 4th european conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010 : proceedings / eds. M. A. Babar, I. Gorton. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6285). - ISBN 978-3-642-15114-9 : Б. ц.

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

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

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


   
    Service research challenges and solutions for the future internet [Electronic resource] : S-Cube – Towards engineering, managing and adapting service-based systems / ed. M. P. Papazoglou [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6500). - ISBN 978-3-642-17599-2 : Б. ц.

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

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

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


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


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


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


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


   
    Multiagent system technologies [Electronic resource] : 8th German conference, MATES 2010, Leipzig, Germany, September 27-29, 2010 : proceedings / eds. J. Dix, C. Witteveen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6251). - ISBN 978-3-642-16178-0 : Б. ц.

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

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

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


   
    Model checking software [Electronic resource] : 17th international SPIN workshop, Enschede, the Netherlands, September 27-29, 2010 : proceedings / eds. J. Pol, M. Weber. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6349). - ISBN 978-3-642-16164-3 : Б. ц.

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

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

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


   
    Runtime verification [Electronic resource] : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings / ed. H. Barringer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6418). - ISBN 978-3-642-16612-9 : Б. ц.

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

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

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


   
    Rewriting logic and its applications [Electronic resource] : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers / ed.: P. C. Ölveczky. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6381). - ISBN 978-3-642-16310-4 : Б. ц.

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

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

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


   
    Programming languages and systems [Electronic resource] : 8th asian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 : proceedings / ed.: K. Ueda. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6461). - ISBN 978-3-642-17164-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Data protection
   Logic design
   Computer science
   Programming languages, compilers, interpreters
   Software engineering
   Logics and meanings of programs
   Systems and data security
   Programming techniques
   Mathematical logic and formal languages

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

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


   
    Evaluation of novel approaches to software engineering [Electronic resource] : 3rd and 4th international conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009 : revised selected papers / ed. L. A. Maciaszek [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2010. - (Communications in computer and information science, ISSN 1865-0929 ; 69). - ISBN 978-3-642-14819-4 : Б. ц.

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

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

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


   
    Computer performance engineering [Electronic resource] : 7th european performance engineering workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings / eds. A. Aldini [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6342). - ISBN 978-3-642-15784-4 : Б. ц.

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

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

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


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


   
    Algorithmic learning theory [Electronic resource] : 21st international conference, ALT 2010, Canberra, Australia, October 6-8, 2010 : proceedings / eds. M. Hutter [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6331). - ISBN 978-3-642-16108-7 : Б. ц.

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

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

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


   
    Computational logic in multi-agent systems [Electronic resource] : 10th international workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers / ed. J. Dix [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6214). - ISBN 978-3-642-16867-3 : Б. ц.

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

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

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