Поисковый запрос: (<.>R=27.03$<.>) |
Общее количество найденных документов : 229
Показаны документы с 1 по 30 |
|
1. 
|
Вид документа : Монографическая серия
Шифр издания : 510/K18
Автор(ы) : Kamareddine F., Nederpelt R., Laan T.
Заглавие : A modern perspective on type theory [Electronic resource]
: from its origins until today
Выходные данные : Dordrecht : Springer Science + Business Media Inc., 2005
Коллективы :
SpringerLink (Online service)
Серия: Applied logic series, ISSN 1386-2790; 29
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-4020-2335-4: Б.ц.
ГРНТИ : 27.03.19 + 50.07
УДК : 510 + 004.422.6
Предметные рубрики: Математическая логика
Теория типов
Программирования языки-- Теория
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 004/M78-948959
Автор(ы) : Fernandez M.
Заглавие : Models of computation [Electronic resource]
: an introduction to computability theory
Выходные данные : London : Springer, 2009
Коллективы :
SpringerLink (Online service)
Серия: Undergraduate topics in computer science, ISSN 1863-7310
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-848-82434-8: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.58
Ключевые слова (''Своб.индексиров.''): вычисления--модели--теория вычислимости
Найти похожие
|
3.
|
Вид документа : Продолжающееся издание
Шифр издания : 510.22/C38
Автор(ы) : Celikyilmaz A., Turksen I.B.
Заглавие : Modeling uncertainty with fuzzy logic [Electronic resource]
: with recent theory and applications
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы :
SpringerLink (Online service)
Серия: Studies in fuzziness and soft computing, ISSN 1434-9922; 240
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-89924-2: Б.ц.
ГРНТИ : 27.03.19
УДК : 510.22
Предметные рубрики: Нечеткая логика
Найти похожие
|
4.
|
Вид документа : Монографическая серия
Шифр издания : 510.7/H99-921148
Автор(ы) : Indrzejczak A.
Заглавие : Natural deduction, hybrid systems and modal logics [Electronic resource]
Выходные данные : Dordrecht : Springer, 2010
Коллективы :
SpringerLink (Online service)
Серия: Trends in logic; 30
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-90-481-8785-0: Б.ц.
ГРНТИ : 27.03.19
УДК : 510.643 + 510.7
Ключевые слова (''Своб.индексиров.''): естественный вывод--гибридные системы--модальные логики--теория доказательств
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 510.22/M88
Автор(ы) : Moschovakis Y.
Заглавие : Notes on set theory [Electronic resource]
. -2nd ed.
Выходные данные : New York, NY : Springer Science + Business Media Inc., 2006
Коллективы :
SpringerLink (Online service)
Серия: Undergraduate texts in mathematics, ISSN 0172-6056
Вид и объем ресурса: Electronic text data
ISBN, Цена 0-387-31609-4: Б.ц.
ГРНТИ : 27.03
УДК : 510.22
Ключевые слова (''Своб.индексиров.''): теория множеств
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 510/V31
Автор(ы) : Vath M.
Заглавие : Nonstandard analysis [Electronic resource]
Выходные данные : Basel : Birkhauser, 2007
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-7643-7774-8: Б.ц.
ГРНТИ : 27.03.19
УДК : 510
Ключевые слова (''Своб.индексиров.''): нестандартный анализ
Найти похожие
|
7.
|
Вид документа : Монографическая серия
Шифр издания : 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
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3526
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32266-5: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.52(063)
Предметные рубрики: Сложность вычислений-- Съезды и конференции
Найти похожие
|
8.
|
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/L85-392735
Заглавие : Logical foundations of computer science [Electronic resource]
: international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5407
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-92687-0: Б.ц.
ГРНТИ : 27.03.19 + 50.01.13
УДК : 510(063) + 004(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Вычислительная техника-- Съезды и конференции
Найти похожие
|
9.
|
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/L85
Заглавие : Logical approaches to computational barriers [Electronic resource]
: 2nd conference on computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings
Выходные данные : Berlin; Heidelberg : Springer, 2006
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3988
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-35468-0: Б.ц.
ГРНТИ : 27.03.19 + 50.01.13
УДК : 510.6(063) + 004(063)
Предметные рубрики: Математическая логика-- Съезды и конференции
Вычислительная техника-- Съезды и конференции
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 510/L85-110363
Заглавие : Logica universalis [Electronic resource]
: towards a general theory of logic
. -2nd ed.
Выходные данные : Basel : Birkhauser, 2007
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-7643-8354-1: Б.ц.
ГРНТИ : 27.03.19
УДК : 510.6
Ключевые слова (''Своб.индексиров.''): математическая логика
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : 510/S32
Автор(ы) : Schindler R.
Заглавие : Logische Grundlagen der Mathematik [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы :
SpringerLink (Online service)
Серия: Springer-Lehrbuch, ISSN 0937-7433
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-95932-8: Б.ц.
ГРНТИ : 27.03
УДК : 510
Ключевые слова (''Своб.индексиров.''): математика--логические основания
Найти похожие
|
12.
|
Вид документа : Монографическая серия
Шифр издания : 510.6/M39
Заглавие : Mathematical problems from applied logic II [Electronic resource]
: logics for the XXIst century
Выходные данные : New York, NY : Springer Science + Business Media LLC, 2007
Коллективы :
SpringerLink (Online service)
Серия: International mathematical series, ISSN 1571-5485; 5
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-69245-6: Б.ц.
ГРНТИ : 27.03.19
УДК : 510.6
Ключевые слова (''Своб.индексиров.''): математическая логика
Найти похожие
|
13.
|
Вид документа : Монографическая серия
Шифр издания : 510/M39-403753
Заглавие : Mathematical problems from applied logic I [Electronic resource]
: logics for the XXIst century
Выходные данные : New York, NY : Springer Science + Business Media Inc., 2006
Коллективы :
SpringerLink (Online service)
Серия: International mathematical series, ISSN 1571-5485; 4
Вид и объем ресурса: Electronic text data
ISBN, Цена 0-387-31072-X: Б.ц.
ГРНТИ : 27.03
УДК : 510.6
Ключевые слова (''Своб.индексиров.''): математическая логика
Найти похожие
|
14.
|
Вид документа : Монографическая серия
Шифр издания : 510.6/L66
Автор(ы) : Li W.
Заглавие : Mathematical logic [Electronic resource]
: foundations for information science
Выходные данные : Basel : Birkhauser, 2010
Коллективы :
SpringerLink (Online service)
Серия: Progress in computer science and applied logic (pcs); 25
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-764-39977-1: Б.ц.
ГРНТИ : 27.03.19
УДК : 510.6
Ключевые слова (''Своб.индексиров.''): математическая логика--информатика
Найти похожие
|
15.
|
Вид документа : Монографическая серия
Шифр издания : 510.5(063)/P93
Заглавие : Programs, proofs, processes [Electronic resource]
: 6th Conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010: proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6158
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-13962-8: Б.ц.
ГРНТИ : 27.03 + 50.07
УДК : 510.5(063)
Ключевые слова (''Своб.индексиров.''): теория вычислимости--конференции
Найти похожие
|
16.
|
Вид документа : Однотомное издание
Шифр издания : 510.22/K71
Автор(ы) : Komjath P., Totik V.
Заглавие : Problems and theorems in classical set theory [Electronic resource]
Выходные данные : New York, NY : Springer Science + Business Media LLC, 2006
Коллективы :
SpringerLink (Online service)
Серия: Problem books in mathematics, ISSN 0941-3502
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-36219-9: Б.ц.
ГРНТИ : 27.03.15
УДК : 510.22
Ключевые слова (''Своб.индексиров.''): теория множеств
Найти похожие
|
17.
|
Вид документа : Монографическая серия
Шифр издания : 51(09)/K97
Автор(ы) : Kvasz L.
Заглавие : Patterns of change [Electronic resource]
: linguistic innovations in the development of classical mathematics
Выходные данные : Basel [etc.]: Birkhauser, 2008
Коллективы :
SpringerLink (Online service)
Серия: Science networks. historical studies; 36
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-7643-8840-9: Б.ц.
ГРНТИ : 27.01.09 + 27.03.15
УДК : 51(09) + 510.21
Ключевые слова (''Своб.индексиров.''): математика--история--философские вопросы
Найти похожие
|
18.
|
Вид документа : Однотомное издание
Шифр издания : 510.7/P78
Автор(ы) : Pohlers W.
Заглавие : Proof theory [Electronic resource]
: the first step into impredicativity
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы :
SpringerLink (Online service)
Серия: Universitext
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-69319-2: Б.ц.
ГРНТИ : 27.03.19
УДК : 510.7
Ключевые слова (''Своб.индексиров.''): теория доказательств
Найти похожие
|
19.
|
Вид документа : Однотомное издание
Шифр издания : 510/G60
Автор(ы) : Goldrei D.
Заглавие : Propositional and predicate calculus [Electronic resource]
: a model of argument
Выходные данные : London : Springer-Verlag, 2005
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-846-28229-4: Б.ц.
ГРНТИ : 27.03.19
УДК : 510
Предметные рубрики: Математическая логика
Найти похожие
|
20.
|
Вид документа : Однотомное издание
Шифр издания : 510/A28-650569
Автор(ы) : Aigner M., Ziegler G.M., Quarteroni A.
Заглавие : Proofs from the book [Electronic resource]
Выходные данные : Milano : Springer-Verlag, 2006
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-8-847-00451-1: Б.ц.
ГРНТИ : 27.03.19
УДК : 510.7
Ключевые слова (''Своб.индексиров.''): теория доказательств
Найти похожие
|
21.
|
Вид документа : Однотомное издание
Шифр издания : 510.7/A28
Автор(ы) : Aigner M., Ziegler G.M.
Заглавие : Proofs from the book [Electronic resource]
. -4th ed.
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-00856-6: Б.ц.
ГРНТИ : 27.03.19
УДК : 510.7
Ключевые слова (''Своб.индексиров.''): доказательств теория
Найти похожие
|
22.
|
Вид документа : Монографическая серия
Шифр издания : 510.52(063)/P25
Заглавие : Parameterized and exact computation [Electronic resource]
: third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5018
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-79723-4: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.52(063)
Предметные рубрики: Сложность вычислений-- Съезды и конференции
Найти похожие
|
23.
|
Вид документа : Однотомное издание
Шифр издания : 510.522/L79
Автор(ы) : Lipton R.J.
Заглавие : The p=np question and godel’s lost letter [Electronic resource]
Выходные данные : Boston, Ma : Springer Science+Business Media LLC, 2010
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-4419-7155-5: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.522
Ключевые слова (''Своб.индексиров.''): вопрос равенства классов p=np--теория алгоритмов--теория вычислительной сложности--утраченное письмо гёделя
Найти похожие
|
24.
|
Вид документа : Монографическая серия
Шифр издания : 510.22/C19
Автор(ы) : Cao B.
Заглавие : Optimal models and methods with fuzzy quantities [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2010
Коллективы :
SpringerLink (Online service)
Серия: Studies in fuzziness and soft computing, ISSN 1434-9922; 248
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-10712-2: Б.ц.
ГРНТИ : 27.03
УДК : 510.22
Ключевые слова (''Своб.индексиров.''): оптимальные модели--оптимальные методы--нечеткие множества--линейное программирование--геометрическое программирование
Найти похожие
|
25.
|
Вид документа : Монографическая серия
Шифр издания : 510.52(063)/P25
Заглавие : Parameterized and exact computation [Electronic resource]
: 4th international workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5917
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-11269-0: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.52(063)
Ключевые слова (''Своб.индексиров.''): сложность вычислений--конференции
Найти похожие
|
26.
|
Вид документа : Монографическая серия
Шифр издания : 510.22/P29
Автор(ы) : Moshkov M.J., Kacprzyk J., Piliszczuk M., Zielosko B.
Заглавие : Partial covers, reducts and decision rules in rough sets [Electronic resource]
: theory and applications
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы :
SpringerLink (Online service)
Серия: Studies in computational intelligence, ISSN 1860-949X; 145
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-69029-0: Б.ц.
ГРНТИ : 27.03
УДК : 510.22
Предметные рубрики: Множеств теория
Найти похожие
|
27.
|
Вид документа : Однотомное издание
Шифр издания : 510.52/F70
Автор(ы) : Flum J., Grohe M.
Заглавие : Parameterized complexity theory [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы :
SpringerLink (Online service)
Серия: Texts in theoretical computer science. an eatcs series
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-29953-0: Б.ц.
ISBN, Цена 3-540-29953-X: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.52
Предметные рубрики: Сложность вычислений
Найти похожие
|
28.
|
Вид документа : Монографическая серия
Шифр издания : 510.52(063)/P25
Заглавие : Parameterized and exact computation [Electronic resource]
: second international workshop, IWPEC 2006, Zurich, Switzerland, September 13-15, 2006 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4169
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-54039-101-2: Б.ц.
ГРНТИ : 27.03.17
УДК : 510.52(063)
Предметные рубрики: Сложность вычислений-- Съезды и конференции
Найти похожие
|
29.
|
Вид документа : Однотомное издание
Шифр издания : 510.22/S65
Автор(ы) : Sivanandam S.N., Deepa S.N., Sumathi S.
Заглавие : Introduction to fuzzy logic using MATLAB [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-35781-0: Б.ц.
ГРНТИ : 27.03.19
УДК : 510.22
Предметные рубрики: Нечеткая логика
Найти похожие
|
30.
|
Вид документа : Однотомное издание
Шифр издания : 512.563/G50
Автор(ы) : Givant S., Halmos P.
Заглавие : Introduction to boolean algebras [Electronic resource]
Выходные данные : New York, NY: Springer, 2009
Коллективы :
SpringerLink (Online service)
Серия: Undergraduate texts in mathematics, ISSN 0172-6056
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-387-68436-9: Б.ц.
ГРНТИ : 27.03.19
УДК : 512.563
Предметные рубрики: Алгебра логики
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных