Knihovna AV ČR, v. v. i.
Odhlásit
Přihlášení
Jazyk
English
Čeština
Instituce
Knihovna AV ČR
Souborný katalog AV ČR
Archeologický ústav Brno
Archeologický ústav Praha
Astronomický ústav
Biofyzikální ústav
Botanický ústav
Etnologický ústav
Filosofický ústav
Fyzikální ústav
Fyziologický ústav
Geofyzikální ústav
Geologický ústav
Historický ústav
Masarykův ústav
Matematický ústav
Orientální ústav
Psychologický ústav
Slovanský ústav
Sociologický ústav
Ústav analytické chemie
Ústav anorganické chemie
Ústav pro českou literaturu
Ústav dějin umění
Ústav fyziky atmosféry
Ústav fotoniky a elektroniky
Ústav fyzikální chemie J. H.
Ústav fyziky materiálů
Ústav geoniky
Ústav pro hydrodynamiku
Ústav chemických procesů
Ústav informatiky
Ústav pro jazyk český
Ústav jaderné fyziky
Ústav makromolekulární chemie
Ústav pro soudobé dějiny
Ústav přístrojové techniky
Ústav státu a práva
Ústav struktury a mechaniky hornin
Ústav teoretické a aplikované mechaniky
Ústav teorie informace a automatizace
Ústav výzkumu globální změny
×
Všechna pole
Název
Autor
Hledat
Pokročilé vyhledávání
Zahrnout EIZ
Zachovat současné nastavení filtrů
EXPAND:"fulltext"
Domovská stránka
Vyhledávání: "Model-checking"
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
115 057
pro vyhledávání:
'"Model-checking"'
Řazení
od nejnovějšího
Podle data vzestupně
podle relevance
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
Vybrat výsledek číslo 1
1
Kniha
Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings. [elektronicky zdroj]
Autor:
Caltais, Georgiana
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)
Vybrat výsledek číslo 2
2
Kniha
Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. [elektronicky zdroj]
Autor:
Legunsen, Owolabi
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)
Vybrat výsledek číslo 3
3
Kniha
Model Checking Software : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. [elektronicyk zdroj]
Autor:
Laarman, Alfons
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)
Vybrat výsledek číslo 4
4
Kniha
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings. [elektronicky zdroj]
Autor:
Biondi, Fabrizio
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 5
5
Kniha
Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. [elektronicky zdroj]
Autor:
Gallardo, María del Mar
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 6
6
Elektronická kniha
Handbook of Model Checking. [electronic resource]
Autor:
Clarke, Edmund M.
Externí odkaz:
Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.
Vybrat výsledek číslo 7
7
Kniha
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-Located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings. [elektronicky zdroj]
Autor:
Bosnački, Dragan
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 8
8
Kniha
Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. [elektronicky zdroj]
Autor:
Fischer, Bernd
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 9
9
Kniha
Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. [elektronicky zdroj]
Autor:
Havelund, Klaus
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 10
10
Kniha
Principles of model checking [elektronicky zdroj] / Christel Baier, Joost-Pieter Katoen.
Autor:
Baier, Christel
Externí odkaz:
Kolekce e-knih KNAV
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
1
2
3
4
5
6
7
8
9
10
11
Další »
[11506]
Vyhledávací nástroje:
RSS
Poslat e-mailem
Upřesnit hledání
Omezení vyhledávání
Plný text
Recenzováno
Digitální knihovna AV ČR
Zdroje
Pouze tištěné dokumenty
Zahrnout EIZ
Typ dokumentu
41 352
Akademické články
20 962
Konferenční materiály
13 454
Knihy
12 105
Elektronické knihy
2 094
Reports
1 579
Časopisy
1 329
Dissertations
1 056
Electronic Resources
512
Recenze
133
Trade Publications
23
News
11
Non-Print Resources
2
Biographies
1
Research Starters
Předmět
28 500
model checking
20 084
computer science
7 075
computer
6 804
theoretical computer science
6 224
computer.software_genre
5 942
software engineering
5 874
formal verification
5 550
business
5 535
business.industry
4 582
02 engineering and technology
4 410
programming language
4 358
0202 electrical engineering, electronic engineering, information engineering
3 989
software
3 933
artificial intelligence
3 672
verification
3 435
algorithms
3 352
formal methods
3 352
temporal logic
3 091
algorithm
2 838
mathematics
2 477
020207 software engineering
2 474
020201 artificial intelligence & image processing
2 330
computer science - logic in computer science
2 080
computer.programming_language
2 061
theoryofcomputation_mathematicallogicandformallanguages
2 038
distributed computing
1 955
computer networks
1 903
model-checking
1 826
fos: computer and information sciences
1 729
01 natural sciences
1 729
machine theory
1 724
software verification
1 644
computer software
1 556
correctness
1 549
automaton
1 542
computer science::logic in computer science
1 538
theoryofcomputation_logicsandmeaningsofprograms
1 469
mathematical models
1 455
computer programming
1 450
logic
1 419
semantics
1 402
formal specification
1 400
application software
1 399
0102 computer and information sciences
1 399
010201 computation theory & mathematics
1 365
linear temporal logic
1 253
petri nets
1 238
discrete mathematics
1 182
logics and meanings of programs
1 171
computer security
Vydavatel
15 649
springer nature
13 935
ieee
9 300
springer
6 647
association for computing machinery
3 878
wiley-blackwell
3 857
springer berlin heidelberg
2 322
springer verlag
2 230
elsevier b.v.
2 033
ios press
2 030
taylor & francis ltd
1 828
mdpi
1 771
oxford university press / usa
1 528
springer international publishing
610
world scientific publishing company
570
biomed central
555
elsevier science bv
546
cambridge university press
512
wiley
495
public library of science
454
elsevier
404
springer international publishing ag
390
ieee-inst electrical electronics engineers inc
352
open publishing association
223
springer heidelberg
212
academic press inc.
191
trans tech publications ltd
177
emerald publishing limited
176
mdpi ag
153
world scientific
151
sage publications, ltd.
149
igi global, inc.
128
american society of civil engineers
124
de gruyter
101
oxford university press
98
edp sciences
80
ai access foundation
49
sciendo
44
br
44
sage publications ltd
41
mit press
33
university of chicago press
17
sage publications inc
11
routledge journals, taylor & francis ltd
3
associated newspapers ltd
3
encyclopedia britannica, inc.
1
carol i national defence university publishing house
1
faculty of organization and informatics, university of zagreb
1
fakultet organizacije i informatike, sveuciliste u zagrebu
1
hryhorii skovoroda university in pereiaslav
1
vilniaus universiteto leidykla
Publikováno v
3 665
lecture notes in computer science
1 584
international journal on software tools for technology transfer
1 104
formal methods in system design
975
fundamenta informaticae
970
electronic notes in theoretical computer science
741
theoretical computer science
641
ieee transactions on software engineering
635
science of computer programming
619
software & systems modeling
482
formal aspects of computing
440
biometrics
390
ieee transactions on computer-aided design of integrated circuits & systems
374
plos one
364
acta informatica
336
journal of computer security
321
ieee access
319
statistics in medicine
314
information and computation
313
acm transactions on computational logic
295
journal of the american statistical association
279
communications of the acm
278
acm computing surveys
277
logical methods in computer science
249
ieee transactions on automatic control
247
journal of automated reasoning
243
acm transactions on programming languages & systems
234
international journal of foundations of computer science
233
acm transactions on embedded computing systems
212
ieee transactions on computers
212
theory of computing systems
206
automated software engineering
204
lifetime data analysis
202
journal of the acm
196
scandinavian journal of statistics
172
journal of applied statistics
171
logic journal of the igpl
154
ai communications
154
bmc bioinformatics
131
biometrika
129
artificial intelligence
114
information processing letters
106
expert systems with applications
104
bmc systems biology
86
information (2078-2489)
75
synthese
73
applied psychological measurement
66
information sciences
41
statistica sinica
27
journal of business & economic statistics
9
ecology
Zdroj
41 433
Complementary Index
25 194
OpenAIRE
14 040
Scopus®
10 999
eBook Index
6 651
Academic Search Ultimate
4 441
Science Citation Index Expanded
2 774
Business Source Ultimate
1 981
arXiv
1 942
Supplemental Index
1 466
Networked Digital Library of Theses & Dissertations
873
eBook Collection (EBSCOhost)
844
Vybrané kolekce e-knih
762
Directory of Open Access Journals
567
ScienceDirect
464
MEDLINE
197
JSTOR Journals
120
Social Sciences Citation Index
78
Emerald Insight
57
NORA (Norwegian Open Research Archive)
35
Regional Business News
33
Library, Information Science & Technology Abstracts
31
OAPEN Library
18
GreenFILE
16
Arts & Humanities Citation Index
15
SAGE Research Methods
8
SAGE Knowledge
8
Oxford Scholarship Online
4
Central and Eastern European Online Library (CEEOL)
3
Britannica Online
1
Oxford Reference
1
E-LIS (Eprints in Library & Information Science)
1
Research Starters
Geografie
219
united states
164
china
53
australia
48
europe
44
canada
41
brazil
27
india
22
italy
22
japan
15
netherlands
Rok vydání
Od:
do:
×
načítá se......