Treffer 161 - 180 von 206.703

model checking 17.666 computing and processing 9.598 communication, networking and broadcast technologies 5.275 zugprufung 4.700 verification 4.468 components, circuits, devices and systems 4.268 mehr ... finite-elemente-methode 3.815 formal verification 3.676 computer science 3.652 signal processing and analysis 3.169 robotics and control systems 3.078 algorithms 2.656 software engineering 2.637 model-checking 2.453 computational modeling 2.337 mathematisches modell 2.310 power, energy and industry applications 2.264 mathematic-model 2.150 formal methods 2.134 mathematical-model 2.103 mathematical models 2.044 [info]computer science [cs] 2.015 artificial intelligence 1.956 large-scale-model 1.935 simulation 1.912 automata 1.869 semantics 1.794 machine learning 1.777 general topics for engineers 1.706 logic 1.687 weniger ...

ieee 15.890 elsevier b.v. 7.855 springer nature 7.445 springer 6.060 springer berlin heidelberg 2.686 elsevier 2.265 mehr ... wiley-blackwell 2.099 acm 1.777 springer international publishing 1.751 taylor & francis ltd 1.702 mdpi ag 1.617 wiley 1.612 mdpi 1.441 association for computing machinery 1.352 springer nature switzerland 1.350 iop publishing 956 springer-verlag 916 elsevier science bv 742 oxford university press / usa 729 biomed central 726 sage publications inc. 656 oxford university press 628 sage publications 616 public library of science 584 elsevier science 441 emerald publishing limited 393 american society of civil engineers 388 cambridge university press 380 frontiers media s.a. 371 academic press inc. 366 weniger ...

english 161.224 unknown 15.646 undetermined 3.248 french 1.944 german 1.941 portuguese 1.474 mehr ... chinese 1.064 russian 1.038 spanish; castilian 726 indonesian 557 ukrainian 510 persian 291 japanese 217 spanish 205 italian 194 turkish 153 croatian 145 czech 140 polish 133 arabic 120 lithuanian 74 thai 66 korean 61 slovenian 53 swedish 49 serbian 45 greek, modern (1453-) 38 hungarian 30 chamorro 29 romanian; moldavian; moldovan 22 weniger ...

france 1.202 united states 941 italy 391 china 337 united kingdom 305 spain 272 mehr ... india 236 australia 206 brazil 115 turkey 57 weniger ...

BASE 80.005 TEMA 27.968 Complementary Index 15.279 IEEE Xplore Digital Library 11.343 Academic Search Index 9.118 Science Citation Index Expanded 6.055 mehr ... MathSciNet via EBSCOhost 5.998 ScienceDirect 5.991 wiso 5.098 arXiv 4.586 Networked Digital Library of Theses & Dissertations 4.509 MEDLINE 3.914 Directory of Open Access Journals 3.862 ACM Full-Text Collection 3.751 Gale Academic OneFile 3.339 Business Source Premier 3.201 GBV Online Contents 2.968 Supplemental Index 2.394 APA PsycInfo 1.625 EconLit 640 JSTOR Journals 606 Harvard Library Bibliographic Dataset 594 eBook Index 574 ERIC 451 Social Sciences Citation Index 419 Library, Information Science & Technology Abstracts 283 SciTech Connect 261 Europeana 222 Emerald Insight 202 Books at JSTOR 187 weniger ...