1. 
| Шифр: V4694 (Журнал) Archive for Mathematical Logic [Текст]. - Berlin : springer, 1950 - . - Выходит раз в два месяца. - ISSN 0933-5846
Аннотация: Статьи и обзоры по исследованиям в области математической логики, а также по теориям компьютерной науки, философии и др., где значительную роль играет применение математической логики.
Зарегистрированы поступления:
Vol. 32; N: 2; ; Vol. 31; N: 3-6 |
journal link (full text - НТО-3)
Найти похожие
2.
| Шифр: V4097 () Journal of Classification [Электронный ресурс]. - Berlin : springer, 1984 - (Springer). - Выходит дважды в год. - ISSN 0176-4268
Аннотация: Научный журнал. Статьи, обзоры, краткие сообщения и комментарии по исследованиям в области методологии классификации, численной таксономии, многомерного масштабирования и др. методов ординации, кластеризации, древовидных структур и других сетевых моделей (с меньшим вниманием к основным компонентам анализа, факторному и дискриминантному анализу), а также ассоциированных моделей и алгоритмов. Тематика охватывает компьютерные науки, математику, химию, инженерию, геологию, географию, астрономию, статистику, информационный поиск, экономику, бизнес, маркетинг, биологию, медицину, социологию, политические науки, психологию, антропологию, археологию, лингвистику, психиатрию и почвоведение. Публикуются также рефераты программного обеспечения и обзоры книг.
journal link (full text - НТО-3)
Найти похожие
| 3.
| () Journal of Logic and Computation [Электронный ресурс]. - Oxford : Oxford University Press, 1990 - . - Выходит раз в два месяца. - ISSN 0955-792X
Аннотация: Статьи, обзоры, дискуссии по исследованиям в области логики и вычислений: логические системы (классическая и неклассическая логика, конструктивная логика, категориальная логика, модальная логика, теория типов и др.); логика в логическом программировании, системах с базами знаний и автоматизированных рассуждениях; логика в представлении знаний (немонотонные рассуждения и системы знаний и убеждений); логика и семантика программирования; спецификация и верификация программ и систем; приложения логики в аппаратном обеспечении и СБИС, естественных языках, параллельных вычислениях, планировании и базах данных. Обзоры материалов конференций, письма в редакцию.
journal link (full text - из читальных залов ГПНТБ)
Найти похожие
| 4.
| () Parallel Processing Letters [Электронный ресурс]. - [S. l.] : World Scientific Publishing Co. Pte. Ltd, 1991 - (Ul'2008). - Выходит ежеквартально. - ISSN 0129-6264
Аннотация: Краткие статьи и имеющие научную ценность письма читателей о последних достижениях в области параллельной обработки данных: проектирование и анализ параллельных и распределенных алгоритмов; теория параллельных вычислений; языки параллельного программирования; среды параллельного программирования; параллельные архитектуры; СБИС; результаты экспериментов, содержащие анализ, соответствующий абстрактной модели вычислений.
journal link (full text - НТО-3)
Найти похожие
| 5.
| () Numerical Algorithms [Электронный ресурс]. - Berlin : springer, 1991 - (Springer). - Выходит ежеквартально. - ISSN 1017-1398
Аннотация: Статьи и обзоры по всем аспектам численных алгоритмов: новые алгоритмы, теоретические результаты, реализация, численная стабильность, сложность, параллельный компьютинг, подпрограммы и применение; статьи по компьютерной алгебре, связанные с получением численных результатов. Обзоры книг, анонсы научных конференций.
journal link (full text - НТО-3)
Найти похожие
| 6.
| 510.22
T82
Transactions on rough sets II [Electronic resource] : rough sets and fuzzy sets / ed. J. F. Peters [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2004. - (Lecture notes in computer science, ISSN 0302-9743 ; 3135). - ISBN 978-3-540-27778-1 : Б. ц.
Рубрики: Множеств теория
См. : Текст издания
Доп.точки доступа:
Peters, J.F. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 7.
| 510.6(063)/T44-548262
Theorem proving in higher order logics [Electronic resource] : 18th international conference, TPHOLs 2005 Oxford, UK, August 22-25, 2005 : proceedings / ed. J. Hurd. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3603). - ISBN 978-3-540-31820-0 : Б. ц.
Рубрики: Математическая логика--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Hurd, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 8.
| 510.25
E26
Edwards, H. M.
Essays in constructive mathematics [Electronic resource] / H. M. Edwards. - Electronic text data. - New York, NY : Springer, 2005. - ISBN 978-0-387-27130-9 : Б. ц.
Рубрики: Конструктивная математика
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 9.
| 510.6(063)/L85-446688
Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 11th International conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005: proceedings / ed. : F. Baader, A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3452). - ISBN 978-3-540-32275-7 : Б. ц.
Рубрики: Математическая логика--Съезды и конференции
Программирование для ЭВМ--Съезды и конференции
Искусственный интеллект--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Baader, F. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 10.
| 519.1
G73
Graph theory, combinatorics and algorithms [Electronic resource] : interdisciplinary applications / ed. M. C. Golumbic, I. B. Hartman. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - (Operations research/computer science interfaces series, ISSN 1387-666X ; 34). - ISBN 978-0-387-25036-6 : Б. ц.
Рубрики: Графов теория
Комбинаторика (матем.)
Алгоритмы
См. : Текст издания
Доп.точки доступа:
Golumbic, M.C. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 11.
| 510.6(063)/A16-695517
Abstraction, reformulation and approximation [Electronic resource] : 6th international symposium, SARA 2005 Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings / eds. L. Saitta, J. Zucker. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3607). - ISBN 978-3-540-31882-8 : Б. ц.
Рубрики: Математическая логика--Съезды и конференции
Вычислительная техника--Съезды и конференции
Искусственный интеллект--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Saitta, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 12.
| 510.6(063)/T99-262765
Typed lambda calculi and applications [Electronic resource] : 7th international conference,TLCA 2005 Nara,Japan, April 21-23 2005: proc. / ed. P. Urzyczyn. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3461). - ISBN 978-35403-2014-2 : Б. ц.
Рубрики: Математическая логика--Съезды и конференции
Вычислительная техника--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Urzyczyn, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 13.
| 510
G60
Goldrei, D.
Propositional and predicate calculus [Electronic resource] : a model of argument / D. Goldrei. - Electronic text data. - London : Springer-Verlag, 2005. - ISBN 978-1-846-28229-4 : Б. ц.
Рубрики: Математическая логика
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 14.
| 004.42(063)/T37-841735
Term rewriting and applications [Electronic resource] : 16th international conf. RTA 2005, Nara, Japan 19-21, 2005: proc. / ed. J. Giesl. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3467). - ISBN 978-35403-2033-3 : Б. ц.
Рубрики: Теория вычислимости--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Giesl, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 15.
| 004.8(063)/F94-923439
Frontiers of combining systems [Electronic resource] : 5th international workshop, FroCoS 2005, Vienna Austria, September 19-21, 2005: proceedings / ed. B. Gramlich. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3717). - ISBN 978-3-540-31730-2 : Б. ц.
Рубрики: Математическая логика--Съезды и конференции
Искусственный интеллект--Съезды и конференции
Программирование для ЭВМ--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Gramlich, B. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 16.
| 510.22
B92
Buckley, J.
Fuzzy probabilities [Electronic resource] : new approach and aplications / J. Buckley. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Studies in fuzziness and soft computing, ISSN 1434-9922 ; 115). - ISBN 3-540-32388-0 : Б. ц.
Рубрики: Нечеткие множества
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 17.
| 510.22(063)
F98
Fuzzy systems and knowledge discovery [Electronic resource] : second international conference, FSKD 2005 Changsha, China, August 27-29, 2005 : proceedings : part I / ed. L. Wang. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3613). - ISBN 9783540318309. - ISBN 11539506 : Б. ц.
Рубрики: Нечеткие множества--Съезды и конференции
Информационный поиск--Автоматизация--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Wang, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 18.
| 510.6(063)/C74-459942
Computer science logic [Electronic resource] : 19th international workshop, CSL 2005, 14th annual conference of the EACSL Oxford, UK, August 22-25, 2005 : proceedings / ed. L. Ong. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3634). - ISBN 978-3-540-31897-2 : Б. ц.
Рубрики: Математическая логика--Съезды и конференции
Вычислительная техника--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Ong, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 19.
| 510.5
H86
HromkoviC, J.
Design and analysis of randomized algorithms [Electronic resource] : introduction to design paradigms / J. HromkoviC. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Texts in theoretical computer science an eatcs series). - ISBN 3-540-27903-2 : Б. ц.
Рубрики: Алгоритмы
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 20.
| 510.52(063)
F97
Fundamentals of computation theory [Electronic resource] : 15th international symposium, FCT 2005 Lubeck, Germany, August 17-20, 2005 : proceedings / ed. M. Liskiewicz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3623). - ISBN 978-3-540-31873-6 : Б. ц.
Рубрики: Сложность вычислений--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Liskiewicz, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 21.
| 510
L85
Logica universalis [Electronic resource] : towards a general theory of logic / ed. J. Beziau. - Electronic text data. - Basel [etc.] : Birkhauser Verl., 2005. - ISBN 978-3-7643-7304-7 : Б. ц.
Кл.слова (ненормированные):
универсальная логика -- логика -- теория -- абстрактная логика -- логические структуры -- теория моделей
См. : Текст издания
Доп.точки доступа:
Beziau, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 22.
| 510.52
W40
Wegener, I.
Complexity theory [Electronic resource] : exploring the limits of efficient algorithms / I. Wegener. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - ISBN 3-540-27477-4 : Б. ц.
Рубрики: Сложность вычислений
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 23.
| 510.6(063)/L85-251982
Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings / ed. G. Sutcliffe, A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3835). - ISBN 978-3-540-31650-3 : Б. ц.
Рубрики: Математическая логика--Съезды и конференции
Программирование для ЭВМ--Съезды и конференции
Искусственный интеллект--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Sutcliffe, G. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 24.
| 510.22(063)
F98
Fuzzy systems and knowledge discovery [Electronic resource] : second international conference, FSKD 2005 Changsha, China, August 27-29, 2005 : proceedings : part II / ed. L. Wang. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3614). - ISBN 978-3-540-31828-6 : Б. ц.
Рубрики: Нечеткие множества--Съезды и конференции
Информационный поиск--Автоматизация--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Wang, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 25.
| 510
K18
Kamareddine, F.
A modern perspective on type theory [Electronic resource] : from its origins until today / F. Kamareddine, R. Nederpelt, T. Laan. - Electronic text data. - Dordrecht : Springer Science + Business Media Inc., 2005. - (Applied logic series, ISSN 1386-2790 ; 29). - ISBN 978-1-4020-2335-4 : Б. ц.
Рубрики: Математическая логика
Теория типов
Программирования языки--Теория
См. : Текст издания
Доп.точки доступа:
Nederpelt, R.; Laan, T.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 26.
| 510.52(063)
N52
New computational paradigms [Electronic resource] : first Conference on computability in Europe, CiE 2005 Amsterdam, The Netherlands, June 8-12, 2005: proceedings / ed. B. Cooper [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3526). - ISBN 978-3-540-32266-5 : Б. ц.
Рубрики: Сложность вычислений--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Cooper, B. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 27.
| 510.22(063)
R83
Rough sets, fuzzy sets, data mining, and granular computing [Electronic resource] : 10th international conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005 : proceedings : part 2 / eds. D. Slezak [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3642). - ISBN 978-3-540-31824-8 : Б. ц.
Рубрики: Множеств теория--Съезды и конференции
Информационный поиск--Автоматизация--Съезды и конференции
Информация--Обработка--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Slezak, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 28.
| 510.22(063)
R83
Rough sets, fuzzy sets, data mining, and granular computing [Electronic resource] : 10th international conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005 : proceedings : part I / eds. D. Slezak [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3641). - ISBN 978-3-540-31825-5 : Б. ц.
Рубрики: Множеств теория--Съезды и конференции
Информационный поиск--Автоматизация--Съезды и конференции
Информация--Обработка--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Slezak, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 29.
| 510.22
B55
Bhutani, K. R.
Fuzzy group theory [Electronic resource] / K. R. Bhutani, J. N. Mordeson, A. Rosenfeld. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Studies in fuzziness and soft computing, ISSN 1434-9922 ; 182). - ISBN 978-3-540-32395-2 : Б. ц.
Рубрики: Нечеткие множества
См. : Текст издания
Доп.точки доступа:
Mordeson, J.N.; Rosenfeld, A.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
| 30.
| 510.5
T72
Tomassini, M.
Spatially structured evolutionary algorithms [Electronic resource] : artificial evolution in space and time / M. Tomassini. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Natural computing series, ISSN 1619-7127). - ISBN 3-540-29938-6 : Б. ц.
Рубрики: Алгоритмы
Эволюционные вычисления
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
|
|
|
|
|
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
|
Главная страница
Российский сводный каталог по научно-технической литературе
