Поисковый запрос: (<.>U=510<.>) |
Общее количество найденных документов : 17
Показаны документы с 1 по 10 |
|
1. 
|
Вид документа : Монографическая серия
Шифр издания : 510/A35
Заглавие : Algebraic and proof-theoretic aspects of non-classical logics [Electronic resource]
: papers in honor of Daniele Mundici on the occasion of his 60th birthday
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4460
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-75939-3: Б.ц.
ГРНТИ : 27.03.19
УДК : 510
Предметные рубрики: Математическая логика
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 004/M44
Автор(ы) : Mazzola G., Milmeister G., Weissmann J.
Заглавие : Comprehensive mathematics for computer scientists 2 [Electronic resource]
: calculus and ODEs, splines, probability, fourier and wavelet theory, fractals and neural networks, categories and lambda calculus
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 3-540-20861-5: Б.ц.
ГРНТИ : 50.07 + 27
УДК : 004 + 510 + 51"735"
Предметные рубрики: Вычислительная техника
Математическая логика
Конечная математика
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 519.713/G64
Автор(ы) : Gopalakrishnan G.
Заглавие : Computation engineering [Electronic resource]
: applied automata theory and logic
Выходные данные : Boston, Ma: Springer Science + Business Media LLC, 2006
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 0-387-32520-4: Б.ц.
ГРНТИ : 28.25 + 27.03.19 + 50.05.13
УДК : 519.713 + 510 + 004.415.5
Предметные рубрики: Автоматов теория
Математическая логика
Программы для ЭВМ-- Верификация
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 510/K84
Автор(ы) : Kroening D., Strichman O.
Заглавие : Decision procedures [Electronic resource]
: an algorithmic point of view
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы :
SpringerLink (Online service)
Серия: Texts in theoretical computer science, an EATCS series, ISSN 1862-4499
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-74105-3: Б.ц.
ГРНТИ : 27.03.19 + 50.05.13
УДК : 510 + 004.415.5
Предметные рубрики: Математическая логика
Программы для ЭВМ-- Верификация
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 51(092)Цермело Э./E14
Автор(ы) : Ebbinghaus H.
Заглавие : Ernst Zermelo [Electronic resource]
: an approach to his life and work
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-49553-6: Б.ц.
ГРНТИ : 27.01.09 + 27.03
УДК : 51(092)Цермело Э. + 510
Ключевые слова (''Своб.индексиров.''): математика--биографии--аксиома выбора--теория множеств--аксиоматизация
Найти похожие
|
6.
|
Вид документа : Монографическая серия
Шифр издания : 510/F50
Заглавие : Fields of logic and computation [Electronic resource]
: essays dedicated to yuri gurevich on the occasion of his 70th birthday
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6300
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-15025-8: Б.ц.
ГРНТИ : 27.03.19 + 50.01
УДК : 510 + 004
Ключевые слова (''Своб.индексиров.''): математическая логика--вычислительная техника--эссе
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : 510/W46
Автор(ы) : Weinstein S.
Заглавие : Finite model theory and its applications [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы :
SpringerLink (Online service)
Серия: Texts in theoretical computer science an eatcs series, ISSN 1862-4499
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-68804-4: Б.ц.
ГРНТИ : 27.03.19 + 50
УДК : 510 + 004
Предметные рубрики: Математическая логика
Вычислительная техника
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 510/D53
Автор(ы) : Diaconescu R.
Заглавие : Institution-independent model theory [Electronic resource]
Выходные данные : Basel : Birkhauser, 2008
Коллективы :
SpringerLink (Online service)
Серия: Studies in universal logic
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-7643-8708-2: Б.ц.
ГРНТИ : 27.03.19
УДК : 510
Ключевые слова (''Своб.индексиров.''): теория моделей--математическая логика
Найти похожие
|
9.
|
Вид документа : Монографическая серия
Шифр издания : 510/W69
Автор(ы) : Williams H.P.
Заглавие : Logic and integer programming [Electronic resource]
Выходные данные : Boston, Ma: Springer, 2009
Коллективы :
SpringerLink (Online service)
Серия: International series in operations research & management science, ISSN 0884-8289; 130
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-92279-9: Б.ц.
ГРНТИ : 27.03.19 + 27.47.19
УДК : 510 + 519.854
Предметные рубрики: Математическая логика
Программирование целочисленное
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 510/L85
Заглавие : Logica universalis [Electronic resource]
: towards a general theory of logic
Выходные данные : Basel [etc.]: Birkhauser Verl., 2005
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-7643-7304-7: Б.ц.
ГРНТИ : 27.03.19
УДК : 510
Ключевые слова (''Своб.индексиров.''): универсальная логика--логика--теория--абстрактная логика--логические структуры--теория моделей
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных