Отображение
1 - 20
результаты of
409
для поиска '
Tools and Algorithms for the Construction and Analysis of Systems
'
Пропуск в контексте
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
Метка
Найти
Расширенный поиск
Результаты поиска - Tools and Algorithms for the Construction and Analysis of Systems
Отображение
1 - 20
результаты of
409
для поиска '
Tools and Algorithms for the Construction and Analysis of Systems
'
, время запроса: 0.09сек.
Отмена результатов
Результаты на странице
10
20
40
60
80
100
Сортировка
Релевантность
Нижняя дата
Верхняя дата
Автор
Заглавие
Список
Сетка
Загрузка...
Tools
and
algorithms
for the
construction
and
analysis
of
systems
17th International Conference...
Полный текст
Загрузка...
Business Information
Systems
12th International Conference, BIS 2009, Poznan, Poland, April 27-29, 2009, proceedings /
Полный текст
Загрузка...
Analysis
, architectures and modelling of embedded
systems
Third IFIP TC 10 International Embedded...
Полный текст
Загрузка...
New results in dependability and computer
systems
proceedings of the 8th international conference...
Полный текст
Загрузка...
Web information
systems
and technologies 5th International Conference, WEBIST 2009, Lisbon, Portugal, March 23-26, 2009, revised selected papers /
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
Загрузка...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Полный текст
1
2
3
4
5
6
7
8
9
10
11
Следующий
[21]
Инструменты поиска:
RSS-поток
—
Отправить результаты поиска по Email
—
Сохранить запрос
Назад
Сужение результатов поиска
Институт
US NLM
240
[исключить]
UFRJ
74
[исключить]
DOAJ
62
[исключить]
DOAB
31
[исключить]
Redalyc
2
[исключить]
Коллекция
PubMed Central
240
[исключить]
Minerva
72
[исключить]
Directory of Open Access Journals
62
[исключить]
Directory of Open Access Books
31
[исключить]
Portal de Periódicos
2
[исключить]
Sistema de Información Científica Redalyc
2
[исключить]
Формат
Artigo
304
[исключить]
Livro
103
[исключить]
Online
2
[исключить]
Автор
Beyer, Dirk
7
[исключить]
Katoen, Joost-Pieter
6
[исключить]
Vojnar, Tomáš
5
[исключить]
Barrett, Clark
4
[исключить]
Biere, Armin
4
[исключить]
Huisman, Marieke
4
[исключить]
больше ...
Budde, Carlos E.
3
[исключить]
Burge, Mark J.
3
[исключить]
Burger, Wilhelm
3
[исключить]
Finkbeiner, Bernd
3
[исключить]
Fisman, Dana
3
[исключить]
Groote, Jan Friso
3
[исключить]
Gurfinkel, Arie
3
[исключить]
Hermanns, Holger
3
[исключить]
Heule, Marijn
3
[исключить]
Heule, Marijn J. H.
3
[исключить]
Junges, Sebastian
3
[исключить]
Kovács, Laura
3
[исключить]
Steffen, Bernhard
3
[исключить]
TACAS (Conferência)
3
[исключить]
Universidade Federal do Rio de Janeiro
3
[исключить]
Zhang, Lijun
3
[исключить]
Šoková, Veronika
3
[исключить]
Abate, Alessandro
2
[исключить]
Ahmed, Daniele
2
[исключить]
Arditi, David
2
[исключить]
Bendík, Jaroslav
2
[исключить]
Cankorur-Cetinkaya, Ayca
2
[исключить]
Chakraborty, Supratik
2
[исключить]
Chalupa, Marek
2
[исключить]
см. все ...
меньше ...
Предмет
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
9
[исключить]
thema EDItEUR::U Computing and Information Technology::UY Computer science
9
[исключить]
testing
7
[исключить]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
7
[исключить]
Computer science
6
[исключить]
model checking
6
[исключить]
больше ...
software engineering
6
[исключить]
TACAS
5
[исключить]
embedded systems
5
[исключить]
formal logic
5
[исключить]
formal verification
5
[исключить]
hardware systems
5
[исключить]
machine learning
5
[исключить]
probabilistic programming
5
[исключить]
program synthesis
5
[исключить]
simulations
5
[исключить]
software and hardware verification
5
[исключить]
software systems
5
[исключить]
specification and verification techniques
5
[исключить]
static analysis
5
[исключить]
static and dynamic program analysis
5
[исключить]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
5
[исключить]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
5
[исключить]
verification of machine
5
[исключить]
Algorithms & data structures
4
[исключить]
Control Structures and Microprogramming
4
[исключить]
Mathematical theory of computation
4
[исключить]
SAT and SMT solving
4
[исключить]
automata theory
4
[исключить]
finite element analysis
4
[исключить]
см. все ...
меньше ...
Язык
Inglês
392
[исключить]
Russo
10
[исключить]
Português
3
[исключить]
eng
2
[исключить]
Espanhol
1
[исключить]
Polonês
1
[исключить]
Дата издания
от:
по:
Дата издания
Очистить
×
Загрузка...