Zobrazeno 1 - 10
of 87 571
pro vyhledávání: '"Vérification"'
1
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
2
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
3
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
4
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
10
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Vyhledávací nástroje:
Upřesnit hledání
- 30 342 verification
- 5 948 formal verification
- 2 987 validation
- 2 948 model checking
- 2 628 speaker verification
- 2 323 experimental verification
- 2 257 model
- 2 114 simulation
- 1 907 design
- 1 791 system
- 1 654 security
- 1 534 systems
- 1 513 performance
- 1 486 experimental-verification
- 1 420 formal methods
- 1 245 radiotherapy
- 1 234 program verification
- 1 217 identification
- 1 170 verification and validation
- 1 076 biometrics
- 1 055 algorithms
- 1 051 recognition
- 1 017 reliability
- 996 model verification
- 913 authentication
- 907 runtime verification
- 891 optimization
- 881 forecast verification
- 865 prediction
- 865 specification
- 858 temporal logic
- 857 calibration
- 813 algorithm
- 790 face verification
- 784 forecast verification/skill
- 772 models
- 766 languages
- 753 petri nets
- 748 theory
- 739 software verification
- 731 imrt
- 708 deep learning
- 703 modeling
- 696 signature verification
- 672 blockchain
- 668 accuracy
- 649 uncertainty
- 648 radiation-therapy
- 648 testing
- 644 safety
- 7 157 institute of electrical and electronics engineers inc.
- 3 569 springer
- 3 057 ieee-inst electrical electronics engineers inc
- 2 182 elsevier science bv
- 2 113 springer verlag
- 1 880 assoc computing machinery
- 1 873 pergamon-elsevier science ltd
- 1 594 mdpi
- 1 523 elsevier sci ltd
- 1 481 elsevier
- 1 085 amer meteorological soc
- 1 075 wiley
- 1 034 hal ccsd
- 1 020 iop publishing ltd
- 1 008 elsevier science inc
- 632 wiley-blackwell
- 588 springer heidelberg
- 483 taylor & francis ltd
- 477 sage publications ltd
- 464 academic press inc elsevier science
- 457 elsevier ireland ltd
- 286 frontiers media sa
- 283 ios press
- 265 academic press ltd- elsevier science ltd
- 209 sage publications inc
- 198 taylor & francis inc
- 191 routledge journals, taylor & francis ltd
- 153 amer psychological assoc
- 153 cambridge univ press
- 151 routledge
- 135 biomed central ltd
- 67 cambridge university press
- 63 springer/plenum publishers
- 56 psychology press
- 42 blackwell publishing
- 18 ecole normale superieure de cachan - ens cachan
- 16 universite de grenoble
- 13 universite rennes 1
- 3 deu
- 3 prt
- 2 admee-canada
- 2 canadian science publishing
- 2 chaire de dynamique sociale - presses de l'universite de kinshasa
- 2 misc
- 2 renewable energy development center (cder)
- 2 universite de limoges
- 1 ase publishing house
- 1 dimitrie cantemir christian university
- 1 editura ase
- 1 universitatea crestina "dimitrie cantemir"
- 2 795 lecture notes in computer science
- 1 142 medical physics
- 944 acm sigplan notices
- 774 physics in medicine and biology
- 772 ieee access
- 761 weather and forecasting
- 625 formal methods in system design
- 562 ieee transactions on computer-aided design of integrated circuits and systems
- 497 science of computer programming
- 442 radiotherapy and oncology
- 405 journal of applied clinical medical physics
- 382 pattern recognition
- 237 ieice transactions on information and systems
- 234 expert systems with applications
- 222 speech communication
- 122 computer speech and language
- 92 remote sensing
- 91 sustainability
- 86 energy
- 72 systems engineering
- 27 economic theory
- 26 journal of experimental psychology-learning memory and cognition
- 17 social psychology quarterly
- 13 synthese
- 12 journal of cognitive psychology
- 10 journal of archaeological science
- 10 psychological science
- 10 sociological perspectives
- 9 biometrics
- 9 management science
- 8 american antiquity
- 8 international journal of the history of sport
- 8 psychological inquiry
- 8 zygon
- 7 journal of memory and language
- 6 language and cognition
- 6 natural language semantics
- 5 minds and machines
- 5 voprosy filosofii
- 4 acta linguistica academica
- 3 mesure et evaluation en education
- 2 applied physiology nutrition and metabolism physiologie appliquee nutrition et metabolisme
- 2 ingenierie des systemes d'information
- 2 interfaces numeriques
- 2 mouvements et enjeux sociaux
- 2 revue des energies renouvelables
- 1 dialogos
- 1 revista univers strategic
- 1 the strategic universe journal
- 1 these en texte integral
- 49 888 Scopus®
- 32 997 Science Citation Index Expanded
- 2 221 Social Sciences Citation Index
- 1 191 OpenAIRE
- 578 Networked Digital Library of Theses & Dissertations
- 240 eBook Index
- 125 JSTOR Journals
- 122 Arts & Humanities Citation Index
- 120 ScienceDirect
- 59 eBook Collection (EBSCOhost)
- 10 arXiv
- 8 SSOAR – Social Science Open Access Repository
- 6 Directory of Open Access Journals
- 4 MEDLINE
- 2 Central and Eastern European Online Library (CEEOL)