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í: "Verification"
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
3 766 363
pro vyhledávání:
'"Verification"'
Ř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
Verification : How Much Is Enough?. [elektronicky zdroj]
Autor:
Krass, Allan S.
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
Elektronická kniha
Verification : Monitoring Disarmament. [electronic resource]
Autor:
Calogero, Francesco
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 3
3
Kniha
Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers. [elektronicky zdroj]
Autor:
Bloem, Roderick
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
Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings. [elektronicky zdroj]
Autor:
Katsaros, Panagiotis
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 5
5
Kniha
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers. [elektronicky zdroj]
Autor:
Christakis, Maria
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 6
6
Kniha
Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings. [elektronicky zdroj]
Autor:
Deshmukh, Jyotirmoy
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 7
7
Kniha
Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings. [elektronicky zdroj]
Autor:
Dang, Thao
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 8
8
Kniha
Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. [elektronicky zdroj]
Autor:
Finkbeiner, 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
Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings. [elektronicky zdroj]
Autor:
Feng, Lu
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 10
10
Kniha
Verification 1996 : Arms Control, Peacekeeping, and the Environment. Elektronicky zdroj
Autor:
Poole, J. B.
Externí odkaz:
Kolekce e-knih KNAV 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še | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
1
2
3
4
5
6
7
8
9
10
11
Další »
[376637]
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
2 070 244
Akademické články
468 747
Elektronické knihy
245 592
Konferenční materiály
170 350
Časopisy
89 224
Knihy
61 741
Trade Publications
54 064
News
44 588
Reports
31 196
Dissertations
15 326
Recenze
11 361
Electronic Resources
3 592
Primary Source Documents
284
Research Starters
89
Biographies
48
Non-Print Resources
18
Videa
2
Zvuková nahrávka
Předmět
148 056
business
143 253
business.industry
135 120
computer science
54 754
artificial intelligence
51 684
computer
45 132
02 engineering and technology
44 001
verification
43 526
computer.software_genre
41 335
engineering
40 005
algorithms
36 752
machine learning
34 961
software
33 040
medicine
31 900
finite element method
30 876
0202 electrical engineering, electronic engineering, information engineering
25 721
software engineering
25 030
mathematics
24 848
law
24 090
deep learning
23 326
computer simulation
23 075
01 natural sciences
22 314
humans
22 080
law.invention
21 966
materials science
21 528
gene expression
21 262
formal verification
20 677
mathematical models
20 449
technology
19 444
health and medicine
19 379
physics
19 096
chemistry
18 872
computer software
18 641
general medicine
18 420
electrical and electronic engineering
18 338
simulation
17 988
media_common
17 713
mechanical engineering
17 663
media_common.quotation_subject
16 984
education
15 964
clinical research
15 941
theoretical computer science
15 875
clinical trials and studies
15 650
computer vision
15 647
artificial neural networks
15 513
feature extraction
15 394
remote sensing
15 365
simulation methods & models
14 842
psychology
14 790
descriptive statistics
14 670
computer security
Vydavatel
370 876
springer nature
254 108
ieee
232 501
wiley-blackwell
211 829
mdpi
148 717
taylor & francis ltd
92 392
springer
53 966
biomed central
46 800
oxford university press / usa
43 766
elsevier b.v.
43 465
hindawi limited
42 731
iop publishing
41 767
sage publications inc.
32 702
routledge
31 380
association for computing machinery
25 029
cambridge university press
24 204
emerald publishing limited
20 959
wiley
20 891
american meteorological society
19 570
american society of civil engineers
18 743
ios press
16 256
lippincott williams & wilkins
15 371
sage publications, ltd.
15 231
endeavor business media
14 605
elsevier
14 481
crc press
12 988
mdpi ag
12 818
associated newspapers ltd
12 746
bnp media
12 292
edp sciences
11 599
de gruyter
9 728
royal society of chemistry
8 354
springer verlag
7 943
elsevier ltd
6 784
sciendo
6 168
oxford university press
4 620
ieee-inst electrical electronics engineers inc
4 479
bmj publishing group
3 268
pergamon-elsevier science ltd
3 152
elsevier science bv
3 114
university of chicago press
2 949
american chemical society
2 794
academic press inc.
2 029
nature publishing group
1 979
sage publications ltd
1 876
mit press
1 208
springer-verlag
873
united nations
790
iwa publishing
722
taylor & francis
254
routledge journals, taylor & francis ltd
Publikováno v
28 996
plos one
25 518
scientific reports
24 067
sensors (14248220)
19 985
energies (19961073)
14 660
remote sensing
12 403
medical physics
11 994
daily mail
10 888
international journal of advanced manufacturing technology
10 801
international journal of molecular sciences
10 270
federal register (national archives & records service, office of the federal register)
9 968
aip conference proceedings
7 919
gao reports
7 881
journal of physics: conference series
5 533
monthly weather review
3 859
ieee access
3 571
e3s web of conferences
3 351
ieee transactions on industrial electronics
3 216
frontiers in oncology
2 833
journal of climate
2 730
ieee transactions on magnetics
2 614
ieee transactions on software engineering
2 489
physics in medicine and biology
2 407
nature
2 380
frontiers in psychology
2 356
frontiers in pharmacology
2 332
journal of applied clinical medical physics
2 245
radiotherapy and oncology
2 120
sensors
2 115
bulletin of the atomic scientists
1 986
international journal on software tools for technology transfer
1 717
ieee transactions on automatic control
1 615
ieee transactions on computers
1 534
measurement techniques
1 498
energies
1 335
applied optics
1 308
acm sigplan notices
1 295
annals of nuclear energy
1 275
ieee transactions on vehicular technology
1 254
science of computer programming
1 017
bulletin of the american meteorological society
928
theoretical computer science
919
engineering structures
844
ocean engineering
694
pattern recognition
681
heliyon
590
expert systems with applications
562
information sciences
452
sustainability
334
speech communication
32
synthese
Zdroj
1 715 246
Complementary Index
463 976
Academic Search Ultimate
401 538
eBook Index
398 620
OpenAIRE
196 072
Business Source Ultimate
135 720
Scopus®
76 013
Regional Business News
64 837
eBook Collection (EBSCOhost)
60 621
MEDLINE
59 507
Science Citation Index Expanded
54 984
Supplemental Index
39 601
Directory of Open Access Journals
32 732
Networked Digital Library of Theses & Dissertations
15 650
arXiv
13 568
Emerald Insight
10 516
ScienceDirect
6 865
Vybrané kolekce e-knih
4 306
JSTOR Journals
3 413
Social Sciences Citation Index
3 015
GreenFILE
2 536
Central and Eastern European Online Library (CEEOL)
2 033
SAGE Knowledge
1 334
NORA (Norwegian Open Research Archive)
1 288
Library, Information Science & Technology Abstracts
633
SAGE Research Methods
342
Oxford Scholarship Online
284
Research Starters
278
BrillOnline Reference Works
258
Arts & Humanities Citation Index
125
Oxford Reference
117
Katalog Knihovny AV ČR
112
OAPEN Library
65
E-LIS (Eprints in Library & Information Science)
52
Britannica Online
50
SSOAR – Social Science Open Access Repository
29
Brill E-Book Collection
23
Digitalni knihovny ČR
3
Manuscriptorium Digital Library
1
Oxford Scholarly Editions Online
Geografie
74 538
united states
28 418
china
9 868
united kingdom
8 324
india
5 391
australia
5 327
japan
5 119
canada
4 666
russia
1 023
slovakia
778
korea
Umístění
93
Baze Knava - Analytika
24
Knav
Rok vydání
Od:
do:
×
načítá se......
