Näytetään
1 - 20
yhteensä
409
tuloksesta haulle '
Tools and Algorithms for the Construction and Analysis of Systems
'
Siirry sisältöön
VuFind
Oma tili
Kirjaudu ulos
Kirjaudu sisään
Kieli
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
हिंदी
Kaikki kentät
Tekijä
Nimeke
Lehden nimi
Aihe
ISBN/ISSN
Tagi
Hae
Tarkennettu
Hakutulokset - Tools and Algorithms for the Construction and Analysis of Systems
Näytetään
1 - 20
yhteensä
409
tuloksesta haulle '
Tools and Algorithms for the Construction and Analysis of Systems
'
, hakuaika: 0,12s
Tarkenna hakua
Tuloksia sivulla
10
20
40
60
80
100
Järjestä
Relevanssi
Aika (uusimmat ensin)
Aika (vanhimmat ensin)
Tekijä
Nimeke
Lista
Ruudukko
Lataa...
Tools
and
algorithms
for the
construction
and
analysis
of
systems
17th International Conference...
Hae kokoteksti
Lataa...
Business Information
Systems
12th International Conference, BIS 2009, Poznan, Poland, April 27-29, 2009, proceedings /
Hae kokoteksti
Lataa...
Analysis
, architectures and modelling of embedded
systems
Third IFIP TC 10 International Embedded...
Hae kokoteksti
Lataa...
New results in dependability and computer
systems
proceedings of the 8th international conference...
Hae kokoteksti
Lataa...
Web information
systems
and technologies 5th International Conference, WEBIST 2009, Lisbon, Portugal, March 23-26, 2009, revised selected papers /
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
Lataa...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Hae kokoteksti
1
2
3
4
5
6
7
8
9
10
11
Seuraava
[21]
Työkalut:
RSS-syöte
—
Lähetä haku sähköpostilla
—
Tallenna haku
Takaisin
Rajaa hakua
Organisaatio
US NLM
240
[jätä pois]
UFRJ
74
[jätä pois]
DOAJ
62
[jätä pois]
DOAB
31
[jätä pois]
Redalyc
2
[jätä pois]
Kokoelma
PubMed Central
240
[jätä pois]
Minerva
72
[jätä pois]
Directory of Open Access Journals
62
[jätä pois]
Directory of Open Access Books
31
[jätä pois]
Portal de Periódicos
2
[jätä pois]
Sistema de Información Científica Redalyc
2
[jätä pois]
Aineistotyyppi
Artigo
304
[jätä pois]
Livro
103
[jätä pois]
Online
2
[jätä pois]
Tekijä
Beyer, Dirk
7
[jätä pois]
Katoen, Joost-Pieter
6
[jätä pois]
Vojnar, Tomáš
5
[jätä pois]
Barrett, Clark
4
[jätä pois]
Biere, Armin
4
[jätä pois]
Huisman, Marieke
4
[jätä pois]
lisää ...
Budde, Carlos E.
3
[jätä pois]
Burge, Mark J.
3
[jätä pois]
Burger, Wilhelm
3
[jätä pois]
Finkbeiner, Bernd
3
[jätä pois]
Fisman, Dana
3
[jätä pois]
Groote, Jan Friso
3
[jätä pois]
Gurfinkel, Arie
3
[jätä pois]
Hermanns, Holger
3
[jätä pois]
Heule, Marijn
3
[jätä pois]
Heule, Marijn J. H.
3
[jätä pois]
Junges, Sebastian
3
[jätä pois]
Kovács, Laura
3
[jätä pois]
Steffen, Bernhard
3
[jätä pois]
TACAS (Conferência)
3
[jätä pois]
Universidade Federal do Rio de Janeiro
3
[jätä pois]
Zhang, Lijun
3
[jätä pois]
Šoková, Veronika
3
[jätä pois]
Abate, Alessandro
2
[jätä pois]
Ahmed, Daniele
2
[jätä pois]
Arditi, David
2
[jätä pois]
Bendík, Jaroslav
2
[jätä pois]
Cankorur-Cetinkaya, Ayca
2
[jätä pois]
Chakraborty, Supratik
2
[jätä pois]
Chalupa, Marek
2
[jätä pois]
näytä kaikki ...
vähemmän ...
Aihe
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
9
[jätä pois]
thema EDItEUR::U Computing and Information Technology::UY Computer science
9
[jätä pois]
testing
7
[jätä pois]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
7
[jätä pois]
Computer science
6
[jätä pois]
model checking
6
[jätä pois]
lisää ...
software engineering
6
[jätä pois]
TACAS
5
[jätä pois]
embedded systems
5
[jätä pois]
formal logic
5
[jätä pois]
formal verification
5
[jätä pois]
hardware systems
5
[jätä pois]
machine learning
5
[jätä pois]
probabilistic programming
5
[jätä pois]
program synthesis
5
[jätä pois]
simulations
5
[jätä pois]
software and hardware verification
5
[jätä pois]
software systems
5
[jätä pois]
specification and verification techniques
5
[jätä pois]
static analysis
5
[jätä pois]
static and dynamic program analysis
5
[jätä pois]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
5
[jätä pois]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
5
[jätä pois]
verification of machine
5
[jätä pois]
Algorithms & data structures
4
[jätä pois]
Control Structures and Microprogramming
4
[jätä pois]
Mathematical theory of computation
4
[jätä pois]
SAT and SMT solving
4
[jätä pois]
automata theory
4
[jätä pois]
finite element analysis
4
[jätä pois]
näytä kaikki ...
vähemmän ...
Kieli
Inglês
392
[jätä pois]
Russo
10
[jätä pois]
Português
3
[jätä pois]
eng
2
[jätä pois]
Espanhol
1
[jätä pois]
Polonês
1
[jätä pois]
Julkaisuvuosi
Alkaen:
Päättyen:
Julkaisuvuosi
Tyhjennä
×
Lataa...