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

Базы данных


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

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


   
    Algebraic informatics [Electronic resource] : 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011: proceedings / ed. F. Winkler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6742). - ISBN 978-3-642-21493-6 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computational complexity
   Algebra--Data processing
   Computer science
   Logics and meanings of programs
   Mathematical logic and formal languages
   Symbolic and algebraic manipulation
   Software engineering
   Discrete mathematics in computer science
   Mathematics of computing

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

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


   
    Algebraic methodology and software technology [Electronic resource] : 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010: revised selected papers / eds. M. Johnson, D. Pavlovic. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6486). - ISBN 978-3-642-17796-5 : Б. ц.

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

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

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


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


    Cheng, D.
    Analysis and control of boolean networks [Electronic resource] : a semi-tensor product approach / D. Cheng, H. Qi, Z. Li. - Electronic text data. - London : Springer, 2011. - (Communications and control engineering, ISSN 0178-5354). - ISBN 978-0-85729-097-7 : Б. ц.

Рубрики: Mathematics
   Computer science
   Biological models
   Biology--Mathematics
   Systems theory
   Mathematics
   Systems theory, control
   Control
   Mathematical biology in general
   Biological networks, systems biology
   Systems biology
   Mathematical logic and formal languages

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

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


   
    Applications and theory of petri nets [Electronic resource] : 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011: proceedings / eds. L. M. Kristensen, L. Petrucci. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6709). - ISBN 978-3-642-21834-7 : Б. ц.

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

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

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


   
    Automata, languages and programming [Electronic resource] : 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011: proceedings: part 2 / ed. L. Aceto [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6756). - ISBN 978-3-642-22012-8 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Computer software
   Logic design
   Computer science
   Logics and meanings of programs
   Software engineering
   Mathematical logic and formal languages
   Computer communication networks
   Algorithm analysis and problem complexity
   Computation by abstract devices

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

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


   
    Automated deduction in geometry [Electronic resource] : 7th international workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers / ed. T. Sturm, C. Zengler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6301). - ISBN 978-3-642-21046-4 : Б. ц.

Рубрики: Computer science
   Logic design
   Computational complexity
   Artificial intelligence
   Computer graphics
   Discrete groups
   Computer science
   Artificial intelligence (incl. robotics)
   Computer graphics
   Mathematical logic and formal languages
   Logics and meanings of programs
   Discrete mathematics in computer science
   Convex and discrete geometry

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

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


   
    Automated reasoning with analytic tableaux and related methods [Electronic resource] : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings / eds. K. Brünnler, G. Metcalfe. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6793). - ISBN 978-3-642-22119-4 : Б. ц.

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

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

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


   
    Central european functional programming school [Electronic resource] : Third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009: revised selected lectures / ed. Z. Horváth [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6299). - ISBN 978-3-642-17685-2 : Б. ц.

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

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

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


   
    Compiler construction [Electronic resource] : 20th international conference, CC 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 / ed. J. Knoop. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6601). - ISBN 978-3-642-19861-8 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Computer software
   Computer science
   Software engineering
   Programming languages, compilers, interpreters
   Programming techniques
   Mathematical logic and formal languages
   Computer communication networks
   Algorithm analysis and problem complexity

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

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


   
    Computation, cooperation, and life [Electronic resource] : essays dedicated to gheorghe păun on the occasion of his 60th birthday / eds. J. Kelemen, A. Kelemenová. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6610). - ISBN 978-3-642-20000-7 : Б. ц.

Рубрики: Computer science
   Computational complexity
   Computer science
   Computation by abstract devices
   Mathematical logic and formal languages
   Discrete mathematics in computer science

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

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


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


   
    Computer science – theory and applications [Electronic resource] : 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011 : proceedings / eds. A. Kulikov, N. Vereshchagin. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6651). - ISBN 978-3-642-20712-9 : Б. ц.

Рубрики: Computer science
   Computer software
   Logic design
   Computational complexity
   Computer science
   Algorithm analysis and problem complexity
   Logics and meanings of programs
   Mathematical logic and formal languages
   Discrete mathematics in computer science
   Computation by abstract devices
   Mathematics of computing

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

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


   
    Computers and games [Electronic resource] : 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010: revised selected papers / ed. H. J. Herik [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6515). - ISBN 978-3-642-17928-0 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Computer software
   Computational complexity
   Artificial intelligence
   Computer science
   Algorithm analysis and problem complexity
   Artificial intelligence (incl. robotics)
   Computer communication networks
   Computation by abstract devices
   Discrete mathematics in computer science
   Mathematical logic and formal languages

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

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


   
    Conceptual structures: common semantics for sharing knowledge [Electronic resource] : 13th international conference on conceptual structures, ICCS 2005, Kassel, Germany, July 17-22, 2005: proceedings / ed. F. Dau [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3596). - ISBN 978-3-540-31885-9 : Б. ц.

Рубрики: Computer science
   Computer software
   Computational complexity
   Information systems
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Algorithm analysis and problem complexity
   Mathematical logic and formal languages
   Discrete mathematics in computer science
   Information systems applications (incl.internet)

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

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


    Chiswell, I. M.
    A course in formal languages, automata and groups [Electronic resource] / I. M. Chiswell. - Electronic text data. - London : Springer-Verlag, 2009. - (Universitext). - ISBN 978-1-84800-940-0 : Б. ц.

Рубрики: Mathematics
   Computer science
   Algebra
   Group theory
   Algebraic topology
   Cell aggregation--Mathematics
   Mathematics
   Group theory and generalizations
   Mathematical logic and formal languages
   Algebraic topology
   Manifolds and cell complexes (incl. diff.topology)
   Category theory, homological algebra

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

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


    David, R.
    Discrete, continuous, and hybrid petri nets [Electronic resource] / R. David, H. Alla. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - ISBN 978-3-642-10669-9 : Б. ц.

Рубрики: Engineering
   Computer science
   Artificial intelligence
   Mathematics
   Systems theory
   Engineering
   Control, robotics, mechatronics
   Computational intelligence
   Mathematical logic and formal languages
   Artificial intelligence (incl. robotics)
   Systems theory, control
   Applications of mathematics

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

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


   
    e-Business and telecommunications [Electronic resource] : 6th international joint conference, ICETE 2009, Milan, Italy, July 7-10, 2009: revised selected papers / eds. M. S. Obaidat, J. Filipe. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Communications in computer and information science, ISSN 1865-0929 ; 130). - ISBN 978-3-642-20077-9 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Data structures (computer science)
   Data encryption (computer science)
   Coding theory
   Computer science
   Computer communication networks
   e-Commerce/e-business
   Data structures, cryptology and information theory
   Coding and information theory
   Data encryption
   Mathematical logic and formal languages

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

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


   
    The evolution of conceptual modeling [Electronic resource] : from a historical perspective towards the future of conceptual modeling / eds. R. Kaschek, L. Delcambre. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6520). - ISBN 978-3-642-17505-3 : Б. ц.

Рубрики: Computer science
   Software engineering
   Data mining
   Information systems
   Artificial intelligence
   Computer science
   Data mining and knowledge discovery
   Information systems applications (incl.internet)
   Mathematical logic and formal languages
   Artificial intelligence (incl. robotics)
   Models and principles
   Software engineering

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

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


   
    FM 2011: formal methods [Electronic resource] : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011: proceedings / eds. M. Butler, W. Schulte. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6664). - ISBN 978-3-642-21437-0 : Б. ц.

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

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

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