Showing
1 - 20
results of
409
for search '
Tools and Algorithms for the Construction and Analysis of Systems
'
Skip to content
VuFind
Your Account
Log Out
Login
Language
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
हिंदी
All Fields
Author
Title
Journal Title
Subject
ISBN/ISSN
Tag
Find
Advanced
Search Results - Tools and Algorithms for the Construction and Analysis of Systems
Showing
1 - 20
results of
409
for search '
Tools and Algorithms for the Construction and Analysis of Systems
'
, query time: 0.11s
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Loading...
Tools
and
algorithms
for the
construction
and
analysis
of
systems
17th International Conference...
Get full text
Loading...
Business Information
Systems
12th International Conference, BIS 2009, Poznan, Poland, April 27-29, 2009, proceedings /
Get full text
Loading...
Analysis
, architectures and modelling of embedded
systems
Third IFIP TC 10 International Embedded...
Get full text
Loading...
New results in dependability and computer
systems
proceedings of the 8th international conference...
Get full text
Loading...
Web information
systems
and technologies 5th International Conference, WEBIST 2009, Lisbon, Portugal, March 23-26, 2009, revised selected papers /
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
Loading...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Get full text
1
2
3
4
5
6
7
8
9
10
11
Next
[21]
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Institution
US NLM
240
Exclude matching results
UFRJ
74
Exclude matching results
DOAJ
62
Exclude matching results
DOAB
31
Exclude matching results
Redalyc
2
Exclude matching results
Collection
PubMed Central
240
Exclude matching results
Minerva
72
Exclude matching results
Directory of Open Access Journals
62
Exclude matching results
Directory of Open Access Books
31
Exclude matching results
Portal de Periódicos
2
Exclude matching results
Sistema de Información Científica Redalyc
2
Exclude matching results
Format
Artigo
304
Exclude matching results
Livro
103
Exclude matching results
Online
2
Exclude matching results
Author
Beyer, Dirk
7
Exclude matching results
Katoen, Joost-Pieter
6
Exclude matching results
Vojnar, Tomáš
5
Exclude matching results
Barrett, Clark
4
Exclude matching results
Biere, Armin
4
Exclude matching results
Huisman, Marieke
4
Exclude matching results
more ...
Budde, Carlos E.
3
Exclude matching results
Burge, Mark J.
3
Exclude matching results
Burger, Wilhelm
3
Exclude matching results
Finkbeiner, Bernd
3
Exclude matching results
Fisman, Dana
3
Exclude matching results
Groote, Jan Friso
3
Exclude matching results
Gurfinkel, Arie
3
Exclude matching results
Hermanns, Holger
3
Exclude matching results
Heule, Marijn
3
Exclude matching results
Heule, Marijn J. H.
3
Exclude matching results
Junges, Sebastian
3
Exclude matching results
Kovács, Laura
3
Exclude matching results
Steffen, Bernhard
3
Exclude matching results
TACAS (Conferência)
3
Exclude matching results
Universidade Federal do Rio de Janeiro
3
Exclude matching results
Zhang, Lijun
3
Exclude matching results
Šoková, Veronika
3
Exclude matching results
Abate, Alessandro
2
Exclude matching results
Ahmed, Daniele
2
Exclude matching results
Arditi, David
2
Exclude matching results
Bendík, Jaroslav
2
Exclude matching results
Cankorur-Cetinkaya, Ayca
2
Exclude matching results
Chakraborty, Supratik
2
Exclude matching results
Chalupa, Marek
2
Exclude matching results
see all ...
less ...
Subject
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
9
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science
9
Exclude matching results
testing
7
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
7
Exclude matching results
Computer science
6
Exclude matching results
model checking
6
Exclude matching results
more ...
software engineering
6
Exclude matching results
TACAS
5
Exclude matching results
embedded systems
5
Exclude matching results
formal logic
5
Exclude matching results
formal verification
5
Exclude matching results
hardware systems
5
Exclude matching results
machine learning
5
Exclude matching results
probabilistic programming
5
Exclude matching results
program synthesis
5
Exclude matching results
simulations
5
Exclude matching results
software and hardware verification
5
Exclude matching results
software systems
5
Exclude matching results
specification and verification techniques
5
Exclude matching results
static analysis
5
Exclude matching results
static and dynamic program analysis
5
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
5
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
5
Exclude matching results
verification of machine
5
Exclude matching results
Algorithms & data structures
4
Exclude matching results
Control Structures and Microprogramming
4
Exclude matching results
Mathematical theory of computation
4
Exclude matching results
SAT and SMT solving
4
Exclude matching results
automata theory
4
Exclude matching results
finite element analysis
4
Exclude matching results
see all ...
less ...
Language
Inglês
392
Exclude matching results
Russo
10
Exclude matching results
Português
3
Exclude matching results
eng
2
Exclude matching results
Espanhol
1
Exclude matching results
Polonês
1
Exclude matching results
Year of Publication
From:
To:
Year of Publication
Clear
×
Loading...