Treffer 221 - 240 von 26.685

computing and processing 2.060 components, circuits, devices and systems 1.650 computer-aided design 1.135 validierung 1.087 verification 784 formal verification 760 mehr ... rechnersimulation 737 communication, networking and broadcast technologies 719 hardware 671 computer science 657 rechnerunterstuetzter schaltungsentwurf 645 computational modeling 610 simulation 604 software engineering 534 software 516 rechnerunterstuetzung 509 design automation 495 integrated circuit modeling 485 signal processing and analysis 481 vlsi-schaltung 477 computer-simulation 470 robotics and control systems 459 computertomographie 452 rechnerunterstuetzter entwurf 436 algorithms 428 algorithmus 408 model checking 406 rechnerunterstutzter schaltungsentwurf 400 integrated circuits 392 computer-aided engineering 380 weniger ...

ieee 3.923 springer nature 1.283 springer berlin heidelberg 1.204 wti-frankfurt-digital gmbh 893 springer international publishing 681 springer, cham 677 mehr ... springer 568 elsevier b.v. 548 wiley-blackwell 411 ieee-inst electrical electronics engineers inc 409 springer nature switzerland 364 elsevier ltd 261 ieee comput. soc. press 257 elsevier 174 united business media llc 171 acm 145 wiley 121 springer-verlag 116 mdpi ag 112 mdpi 108 taylor & francis ltd 98 ieee computer society press 84 iop publishing 81 north-holland 54 springer us 53 sage publications inc. 50 springer verlag 50 emerald publishing limited 48 american society of mechanical engineers 37 taylor & francis 36 weniger ...

english 20.108 unknown 1.982 german 923 undetermined 350 french 100 chinese 92 mehr ... russian 55 japanese 37 polish 25 spanish; castilian 23 ukrainian 15 portuguese 14 czech 11 turkish 11 swedish 8 italian 4 korean 4 spanish 4 dutch; flemish 3 multiple languages 3 chamorro 2 croatian 2 serbian 2 breton 1 catalan 1 catalan; valencian 1 hungarian 1 lithuanian 1 romanian; moldavian; moldovan 1 shona 1 weniger ...

united states 146 germany 34 china 16 japan 8 sweden 6 brazil 5 mehr ... davis (calif.) 5 pakistan 4 ontario 3 hong kong (china) 2 weniger ...

TEMA 7.173 BASE 6.202 IEEE Xplore Digital Library 2.458 Complementary Index 2.193 MathSciNet via EBSCOhost 1.361 Academic Search Index 1.229 mehr ... wiso 899 Business Source Premier 687 Science Citation Index Expanded 659 Gale Academic OneFile 656 ScienceDirect 602 MEDLINE 417 GBV Online Contents 407 Supplemental Index 402 Networked Digital Library of Theses & Dissertations 302 eBook Index 185 ACM Full-Text Collection 183 arXiv 172 Directory of Open Access Journals 146 Harvard Library Bibliographic Dataset 85 SciTech Connect 64 OAPEN Library 29 Directory of Open Access Books 27 Emerald Insight 22 APA PsycInfo 20 Oxford Scholarship Online 16 JSTOR Journals 15 HathiTrust 13 SPORTDiscus 10 ERIC 9 weniger ...