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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Symbolic and algebraic manipulation<.>)
Общее количество найденных документов : 20
Показаны документы с 1 по 20
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.


   
    Combinatorial algorithms [Electronic resource] : 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers / eds.: C. S. Iliopoulos, W. F. Smyth. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6460). - ISBN 978-3-642-19222-7 : Б. ц.

Рубрики: Computer science
   Data structures (computer science)
   Coding theory
   Computer software
   Computational complexity
   Algebra--Data processing
   Algorithms
   Computer science
   Discrete mathematics in computer science
   Symbolic and algebraic manipulation
   Algorithm analysis and problem complexity
   Data structures
   Algorithms
   Coding and information theory

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

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


   
    Combinatorial optimization and applications [Electronic resource] : 4th International conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010: proceedings: pt. 2 / eds. W. Wu, O. Daescu. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6509). - ISBN 978-3-642-17461-2 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Computer software
   Computational complexity
   Algebra--Data processing
   Computer graphics
   Bioinformatics
   Computer science
   Algorithm analysis and problem complexity
   Discrete mathematics in computer science
   Computer communication networks
   Computer graphics
   Computational biology/bioinformatics
   Symbolic and algebraic manipulation

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

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


   
    Combinatorial optimization and applications [Electronic resource] : 4th International conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010: proceedings: pt. 1 / eds. W. Wu, O. Daescu. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6508). - ISBN 978-3-642-17458-2 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Computer software
   Computational complexity
   Algebra--Data processing
   Computer graphics
   Bioinformatics
   Computer science
   Algorithm analysis and problem complexity
   Discrete mathematics in computer science
   Computer communication networks
   Computer graphics
   Computational biology/bioinformatics
   Symbolic and algebraic manipulation

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

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


   
    Comparative genomics [Electronic resource] : international workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010 : proceedings / ed. E. Tannier. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6398). - ISBN 978-3-642-16181-0 : Б. ц.

Рубрики: Computer science
   Computer software
   Computational complexity
   Algebra--Data processing
   Bioinformatics
   Biology--Data processing
   Computer science
   Computational biology/bioinformatics
   Computer appl. in life sciences
   Bioinformatics
   Symbolic and algebraic manipulation
   Discrete mathematics in computer science
   Algorithm analysis and problem complexity

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

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


   
    Computer algebra in scientific computing [Electronic resource] : 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010 : proceedings / eds. V. P. Gerdt [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6244). - ISBN 978-3-642-15274-0 : Б. ц.

Рубрики: Computer science
   Computer software
   Electronic data processing
   Computational complexity
   Algebra--Data processing
   Computer graphics
   Computer science
   Symbolic and algebraic manipulation
   Discrete mathematics in computer science
   Algorithm analysis and problem complexity
   Computer graphics
   Numeric computing
   Arithmetic and logic structures

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

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


   
    Cryptology and network security [Electronic resource] : 9th international conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010 : proceedings / ed. S. Heng [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6467). - ISBN 978-3-642-17619-7 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Data structures (computer science)
   Data encryption (computer science)
   Coding theory
   Computational complexity
   Algebra--Data processing
   Computer science
   Data encryption
   Computer communication networks
   Discrete mathematics in computer science
   Coding and information theory
   Data structures, cryptology and information theory
   Symbolic and algebraic manipulation

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

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


   
    Formal grammar [Electronic resource] : 14th international conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers / ed. P. Groote [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 5591). - ISBN 978-3-642-20169-1 : Б. ц.

Рубрики: Computer science
   Algebra--Data processing
   Artificial intelligence
   Computational linguistics
   Grammar, comparative and general
   Computer science
   Artificial intelligence (incl. robotics)
   Mathematical logic and formal languages
   Computation by abstract devices
   Symbolic and algebraic manipulation
   Computational linguistics
   Grammar

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

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


   
    Functional and constraint logic programming [Electronic resource] : 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers / ed. J. Mariño. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6559). - ISBN 978-3-642-20775-4 : Б. ц.

Рубрики: Computer science
   Logic design
   Algebra--Data processing
   Artificial intelligence
   Computer science
   Logics and meanings of programs
   Mathematical logic and formal languages
   Programming languages, compilers, interpreters
   Artificial intelligence (incl. robotics)
   Symbolic and algebraic manipulation

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

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


   
    Graph drawing [Electronic resource] : 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / ed. U. Brandes, S. Cornelsen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6502). - ISBN 978-3-642-18469-7 : Б. ц.

Рубрики: Computer science
   Computer software
   Computational complexity
   Algebra--Data processing
   Computer science
   Discrete mathematics in computer science
   Math applications in computer science
   Algorithm analysis and problem complexity
   Models and principles
   Symbolic and algebraic manipulation
   User interfaces and human computer interaction

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

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


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


   
    Logic, language, information and computation [Electronic resource] : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / ed. L. D. Beklemishev, R. Queiroz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6642). - ISBN 978-3-642-20920-8 : Б. ц.

Рубрики: Computer science
   Computer software
   Logic design
   Computational complexity
   Algebra--Data processing
   Computer science
   Mathematical logic and formal languages
   Logics and meanings of programs
   Algorithm analysis and problem complexity
   Computation by abstract devices
   Discrete mathematics in computer science
   Symbolic and algebraic manipulation

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

Доп.точки доступа:
Beklemishev, L.D. \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.


   
    Parameterized and exact computation [Electronic resource] : 5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings / eds. V. Raman, S. Saurabh. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6478). - ISBN 978-3-642-17493-3 : Б. ц.

Рубрики: Computer science
   Information theory
   Computer software
   Computational complexity
   Algebra--Data processing
   Algorithms
   Computer science
   Algorithm analysis and problem complexity
   Algorithms
   Discrete mathematics in computer science
   Theory of computation
   Symbolic and algebraic manipulation
   Computation by abstract devices

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

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


   
    Principles of distributed systems [Electronic resource] : 14th International conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010: proceedings / ed. C. Lu [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6490). - ISBN 978-3-642-17653-1 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Computer software
   Computational complexity
   Algebra--Data processing
   Artificial intelligence
   Computer science
   Computer communication networks
   Algorithm analysis and problem complexity
   Discrete mathematics in computer science
   Software engineering
   Artificial intelligence (incl. robotics)
   Symbolic and algebraic manipulation

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

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


   
    Recent advances in constraints [Electronic resource] : 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers / eds.: J. Larrosa, B. O’Sullivan. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6384). - ISBN 978-3-642-19486-3 : Б. ц.

Рубрики: Computer science
   Computer software
   Logic design
   Algebra--Data processing
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Logics and meanings of programs
   Mathematical logic and formal languages
   Programming languages, compilers, interpreters
   Symbolic and algebraic manipulation
   Algorithm analysis and problem complexity

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

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


   
    Relational and algebraic methods in computer science [Electronic resource] : 12th international conference, RAMICS 2011, Rotterdam, the Netherlands, May 30 – June 3, 2011 : proceedings / ed. H. Swart. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6663). - ISBN 978-3-642-21070-9 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Algebra--Data processing
   Artificial intelligence
   Computer simulation
   Computer science
   Mathematical logic and formal languages
   Symbolic and algebraic manipulation
   Logics and meanings of programs
   Software engineering
   Simulation and modeling
   Artificial intelligence (incl. robotics)

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

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


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


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


   
    WALCOM: algorithms and computation [Electronic resource] : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings / ed. N. Katoh, A. Kumar. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6552). - ISBN 978-3-642-19094-0 : Б. ц.

Рубрики: Computer science
   Computer software
   Computational complexity
   Algebra--Data processing
   Bioinformatics
   Algorithms
   Computer science
   Algorithm analysis and problem complexity
   Discrete mathematics in computer science
   Math applications in computer science
   Symbolic and algebraic manipulation
   Computational biology/bioinformatics
   Algorithms

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

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