Отображение
1 - 6
результаты of
6
для поиска '
'
Пропуск в контексте
VuFind
Ваш логин
Выход
Институтский логин
Язык
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Все поля
Автор
Заглавие
Заглавие журнала
Предмет
ISBN/ISSN
Метка
Найти
Расширенный поиск
Reset Filters
Предмет:
logics of programming
Reset Filters
Show filters (1)
Предмет:
logics of programming
Результаты поиска
Отображение
1 - 6
результаты of
6
для поиска '
'
, время запроса: 0.06сек.
Отмена результатов
Результаты на странице
10
20
40
60
80
100
Сортировка
Релевантность
Нижняя дата
Верхняя дата
Автор
Заглавие
Список
Сетка
Загрузка...
Foundations of Software Science and Computation Structures
Полный текст
Загрузка...
Foundations of Software Science and Computation Structures
Полный текст
Загрузка...
Foundations of Software Science and Computation Structures
Полный текст
Загрузка...
Foundations of Software Science and Computation Structures
Полный текст
Загрузка...
Foundations of Software Science and Computation Structures
Полный текст
Загрузка...
Foundations of Software Science and Computation Structures
Полный текст
Инструменты поиска:
RSS-поток
—
Отправить результаты поиска по Email
—
Сохранить запрос
Назад
Сужение результатов поиска
Институт
DOAB
6
[исключить]
Коллекция
Directory of Open Access Books
6
[исключить]
Формат
Livro
6
[исключить]
Автор
Kobayashi, Naoki
2
[исключить]
Worrell, James
2
[исключить]
Abdulla, Parosh Aziz
1
[исключить]
Bouyer, Patricia
1
[исключить]
Goubault-Larrecq, Jean
1
[исключить]
Kesner, Delia
1
[исключить]
больше ...
Kiefer, Stefan
1
[исключить]
König, Barbara
1
[исключить]
Schröder, Lutz
1
[исключить]
Tasson, Christine
1
[исключить]
см. все ...
меньше ...
Предмет
language theory, automata, and games
6
[исключить]
logics of programming
modal, spatial, and temporal logics
6
[исключить]
models of software security
6
[исключить]
categorical models and logics
5
[исключить]
emerging models of computation
5
[исключить]
больше ...
logical aspects of computational complexity
5
[исключить]
software specification and refinement
5
[исключить]
program analysis
4
[исключить]
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
4
[исключить]
concurrency theory
3
[исключить]
concurrency theory and process calculi
3
[исключить]
rewriting theory
3
[исключить]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
3
[исключить]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
3
[исключить]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
3
[исключить]
type theory and proof theory
3
[исключить]
Computer programming / software engineering
2
[исключить]
Programming Techniques
2
[исключить]
formal logic
2
[исключить]
logical foundations of data bases
2
[исключить]
semantics of programming languages
2
[исключить]
thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory
2
[исключить]
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic
2
[исключить]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[исключить]
thema EDItEUR::U Computing and Information Technology::UY Computer science
2
[исключить]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
2
[исключить]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[исключить]
Artificial intelligence
1
[исключить]
Categorical models and logics
1
[исключить]
см. все ...
меньше ...
Язык
Inglês
6
[исключить]
Дата издания
от:
по:
Дата издания
Очистить
×
Загрузка...