Отображение
1 - 7
результаты of
7
для поиска '
'
Пропуск в контексте
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
Предмет:
computer software selection and evaluation
Reset Filters
Show filters (1)
Предмет:
computer software selection and evaluation
Результаты поиска
Отображение
1 - 7
результаты of
7
для поиска '
'
, время запроса: 0.13сек.
Отмена результатов
Результаты на странице
10
20
40
60
80
100
Сортировка
Релевантность
Нижняя дата
Верхняя дата
Автор
Заглавие
Список
Сетка
Загрузка...
Fundamental Approaches to Software Engineering
Полный текст
Загрузка...
Fundamental Approaches to Software Engineering: 21st International Conference, F...
Полный текст
Загрузка...
Principles of Security and Trust: 7th International Conference, POST 2018, Held...
Полный текст
Загрузка...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP...
Полный текст
Загрузка...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Полный текст
Загрузка...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Полный текст
Загрузка...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Полный текст
Инструменты поиска:
RSS-поток
—
Отправить результаты поиска по Email
—
Сохранить запрос
Назад
Сужение результатов поиска
Институт
DOAB
7
[исключить]
Коллекция
Directory of Open Access Books
7
[исключить]
Формат
Livro
7
[исключить]
Автор
Beyer, Dirk
2
[исключить]
Huisman, Marieke
2
[исключить]
Alessandra Russo
1
[исключить]
Amal Ahmed
1
[исключить]
Andy Schürr
1
[исключить]
Bauer, Lujo
1
[исключить]
больше ...
Dirk Beyer
1
[исключить]
Küsters, Ralf
1
[исключить]
Marieke Huisman
1
[исключить]
Russo, Alessandra
1
[исключить]
Schürr, Andy
1
[исключить]
см. все ...
меньше ...
Предмет
computer software selection and evaluation
formal logic
7
[исключить]
semantics
7
[исключить]
formal methods
6
[исключить]
programming languages
6
[исключить]
software engineering
6
[исключить]
больше ...
verification
6
[исключить]
program compilers
5
[исключить]
specifications
5
[исключить]
formal specification
4
[исключить]
thema EDItEUR::U Computing and Information Technology::UY Computer science
4
[исключить]
QA75.5-76.95
3
[исключить]
bic Book Industry Communication::U Computing & information technology::UY Computer science
3
[исключить]
computer architecture
3
[исключить]
model checking
3
[исключить]
separation logic
3
[исключить]
authentication
2
[исключить]
computer science
2
[исключить]
computer software maintenance
2
[исключить]
cryptography
2
[исключить]
data privacy
2
[исключить]
internet
2
[исключить]
model checker
2
[исключить]
multi core processors
2
[исключить]
privacy
2
[исключить]
security systems
2
[исключить]
state space
2
[исключить]
world wide web
2
[исключить]
artificial intelligence
1
[исключить]
distributed computer systems
1
[исключить]
см. все ...
меньше ...
Язык
Inglês
7
[исключить]
Дата издания
от:
по:
Дата издания
Очистить
×
Загрузка...