Prikaz rezultata
1 – 20
od
409
za pretraživanje '
Tools and Algorithms for the Construction and Analysis of Systems
'
Preskoči na sadržaj
VuFind
Tvoj račun
Odjavi se
Prijava
Jezik
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
हिंदी
Sva polja
Autor
Naslov
Naslov žurnala
Tema
ISBN/ISSN
Oznaka
Nađi
Napredno
Rezultati pretraživanja - Tools and Algorithms for the Construction and Analysis of Systems
Prikaz rezultata
1 – 20
od
409
za pretraživanje '
Tools and Algorithms for the Construction and Analysis of Systems
'
, vrijeme pretraživanja: 0,10s
Detaljiziraj rezultate
Broj rezultata po stranici
10
20
40
60
80
100
Razvrstaj
Značajnost
Datum uzlazno
Datum silazno
Autor
Naslov
Popis
Mreža
Učitavanje...
Tools
and
algorithms
for the
construction
and
analysis
of
systems
17th International Conference...
Preuzmi cijeli tekst
Učitavanje...
Business Information
Systems
12th International Conference, BIS 2009, Poznan, Poland, April 27-29, 2009, proceedings /
Preuzmi cijeli tekst
Učitavanje...
Analysis
, architectures and modelling of embedded
systems
Third IFIP TC 10 International Embedded...
Preuzmi cijeli tekst
Učitavanje...
New results in dependability and computer
systems
proceedings of the 8th international conference...
Preuzmi cijeli tekst
Učitavanje...
Web information
systems
and technologies 5th International Conference, WEBIST 2009, Lisbon, Portugal, March 23-26, 2009, revised selected papers /
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
Učitavanje...
Tools
and
Algorithms
for the
Construction
and
Analysis
of
Systems
Preuzmi cijeli tekst
1
2
3
4
5
6
7
8
9
10
11
Dalje
[21]
Alati za pretraživanje:
Preuzmi RSS sažetak
—
Pošalji ovo pretraživanje e-poštom
—
Spremi pretraživanje
Natrag
Uže pretraživanje
Institucija
US NLM
240
Isključi poklapajuće rezultate
UFRJ
74
Isključi poklapajuće rezultate
DOAJ
62
Isključi poklapajuće rezultate
DOAB
31
Isključi poklapajuće rezultate
Redalyc
2
Isključi poklapajuće rezultate
Zbirka
PubMed Central
240
Isključi poklapajuće rezultate
Minerva
72
Isključi poklapajuće rezultate
Directory of Open Access Journals
62
Isključi poklapajuće rezultate
Directory of Open Access Books
31
Isključi poklapajuće rezultate
Portal de Periódicos
2
Isključi poklapajuće rezultate
Sistema de Información Científica Redalyc
2
Isključi poklapajuće rezultate
Format
Artigo
304
Isključi poklapajuće rezultate
Livro
103
Isključi poklapajuće rezultate
Online
2
Isključi poklapajuće rezultate
Autor
Beyer, Dirk
7
Isključi poklapajuće rezultate
Katoen, Joost-Pieter
6
Isključi poklapajuće rezultate
Vojnar, Tomáš
5
Isključi poklapajuće rezultate
Barrett, Clark
4
Isključi poklapajuće rezultate
Biere, Armin
4
Isključi poklapajuće rezultate
Huisman, Marieke
4
Isključi poklapajuće rezultate
više ...
Budde, Carlos E.
3
Isključi poklapajuće rezultate
Burge, Mark J.
3
Isključi poklapajuće rezultate
Burger, Wilhelm
3
Isključi poklapajuće rezultate
Finkbeiner, Bernd
3
Isključi poklapajuće rezultate
Fisman, Dana
3
Isključi poklapajuće rezultate
Groote, Jan Friso
3
Isključi poklapajuće rezultate
Gurfinkel, Arie
3
Isključi poklapajuće rezultate
Hermanns, Holger
3
Isključi poklapajuće rezultate
Heule, Marijn
3
Isključi poklapajuće rezultate
Heule, Marijn J. H.
3
Isključi poklapajuće rezultate
Junges, Sebastian
3
Isključi poklapajuće rezultate
Kovács, Laura
3
Isključi poklapajuće rezultate
Steffen, Bernhard
3
Isključi poklapajuće rezultate
TACAS (Conferência)
3
Isključi poklapajuće rezultate
Universidade Federal do Rio de Janeiro
3
Isključi poklapajuće rezultate
Zhang, Lijun
3
Isključi poklapajuće rezultate
Šoková, Veronika
3
Isključi poklapajuće rezultate
Abate, Alessandro
2
Isključi poklapajuće rezultate
Ahmed, Daniele
2
Isključi poklapajuće rezultate
Arditi, David
2
Isključi poklapajuće rezultate
Bendík, Jaroslav
2
Isključi poklapajuće rezultate
Cankorur-Cetinkaya, Ayca
2
Isključi poklapajuće rezultate
Chakraborty, Supratik
2
Isključi poklapajuće rezultate
Chalupa, Marek
2
Isključi poklapajuće rezultate
pogledaj sve ...
manje ...
Tema
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
9
Isključi poklapajuće rezultate
thema EDItEUR::U Computing and Information Technology::UY Computer science
9
Isključi poklapajuće rezultate
testing
7
Isključi poklapajuće rezultate
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
7
Isključi poklapajuće rezultate
Computer science
6
Isključi poklapajuće rezultate
model checking
6
Isključi poklapajuće rezultate
više ...
software engineering
6
Isključi poklapajuće rezultate
TACAS
5
Isključi poklapajuće rezultate
embedded systems
5
Isključi poklapajuće rezultate
formal logic
5
Isključi poklapajuće rezultate
formal verification
5
Isključi poklapajuće rezultate
hardware systems
5
Isključi poklapajuće rezultate
machine learning
5
Isključi poklapajuće rezultate
probabilistic programming
5
Isključi poklapajuće rezultate
program synthesis
5
Isključi poklapajuće rezultate
simulations
5
Isključi poklapajuće rezultate
software and hardware verification
5
Isključi poklapajuće rezultate
software systems
5
Isključi poklapajuće rezultate
specification and verification techniques
5
Isključi poklapajuće rezultate
static analysis
5
Isključi poklapajuće rezultate
static and dynamic program analysis
5
Isključi poklapajuće rezultate
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
5
Isključi poklapajuće rezultate
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
5
Isključi poklapajuće rezultate
verification of machine
5
Isključi poklapajuće rezultate
Algorithms & data structures
4
Isključi poklapajuće rezultate
Control Structures and Microprogramming
4
Isključi poklapajuće rezultate
Mathematical theory of computation
4
Isključi poklapajuće rezultate
SAT and SMT solving
4
Isključi poklapajuće rezultate
automata theory
4
Isključi poklapajuće rezultate
finite element analysis
4
Isključi poklapajuće rezultate
pogledaj sve ...
manje ...
Jezik
Inglês
392
Isključi poklapajuće rezultate
Russo
10
Isključi poklapajuće rezultate
Português
3
Isključi poklapajuće rezultate
eng
2
Isključi poklapajuće rezultate
Espanhol
1
Isključi poklapajuće rezultate
Polonês
1
Isključi poklapajuće rezultate
Godina izdanja
Od:
Do:
Godina izdanja
Isprazni
×
Učitavanje...