Treffer 121 - 140 von 205.739

model checking 17.594 computing and processing 9.629 communication, networking and broadcast technologies 5.292 zugprufung 4.700 verification 4.450 components, circuits, devices and systems 4.277 mehr ... finite-elemente-methode 3.803 formal verification 3.671 computer science 3.653 signal processing and analysis 3.185 robotics and control systems 3.095 algorithms 2.659 software engineering 2.645 model-checking 2.443 computational modeling 2.339 power, energy and industry applications 2.276 mathematisches modell 2.268 mathematic-model 2.152 formal methods 2.124 mathematical-model 2.104 mathematical models 2.045 [info]computer science [cs] 2.015 artificial intelligence 1.965 large-scale-model 1.936 simulation 1.887 automata 1.869 semantics 1.800 machine learning 1.789 general topics for engineers 1.713 logic 1.692 weniger ...

ieee 15.927 elsevier b.v. 7.861 springer nature 7.450 springer 6.063 springer berlin heidelberg 2.687 elsevier 2.267 mehr ... wiley-blackwell 2.105 springer international publishing 1.749 taylor & francis ltd 1.706 mdpi ag 1.624 wiley 1.613 acm 1.502 mdpi 1.442 springer nature switzerland 1.365 association for computing machinery 1.352 iop publishing 960 springer-verlag 916 elsevier science bv 742 oxford university press / usa 729 biomed central 727 sage publications inc. 656 oxford university press 629 sage publications 616 public library of science 584 elsevier science 442 emerald publishing limited 393 american society of civil engineers 388 cambridge university press 381 frontiers media s.a. 371 academic press inc. 366 weniger ...

english 160.226 unknown 15.650 undetermined 3.248 french 1.940 german 1.904 portuguese 1.475 mehr ... chinese 1.066 russian 1.039 spanish; castilian 725 indonesian 559 ukrainian 512 persian 293 japanese 218 spanish 205 italian 195 turkish 155 croatian 145 czech 140 polish 133 arabic 120 lithuanian 74 thai 66 korean 61 slovenian 54 swedish 49 serbian 45 greek, modern (1453-) 38 hungarian 30 chamorro 29 romanian; moldavian; moldovan 22 weniger ...

france 1.202 united states 940 italy 391 china 337 united kingdom 305 spain 272 mehr ... india 237 australia 208 brazil 115 turkey 58 weniger ...

BASE 80.049 TEMA 27.986 Complementary Index 15.294 IEEE Xplore Digital Library 11.379 Academic Search Index 9.128 Science Citation Index Expanded 6.056 mehr ... MathSciNet via EBSCOhost 6.024 ScienceDirect 6.012 arXiv 4.601 wiso 4.562 Networked Digital Library of Theses & Dissertations 4.509 MEDLINE 3.920 Directory of Open Access Journals 3.874 Gale Academic OneFile 3.345 Business Source Premier 3.202 ACM Full-Text Collection 3.098 GBV Online Contents 2.968 Supplemental Index 2.396 APA PsycInfo 1.627 EconLit 640 JSTOR Journals 606 Harvard Library Bibliographic Dataset 594 eBook Index 573 ERIC 451 Social Sciences Citation Index 420 Library, Information Science & Technology Abstracts 283 SciTech Connect 261 Europeana 222 Emerald Insight 202 Books at JSTOR 194 weniger ...