*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 40*number_thousands_separator*089
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
Academic Journals
17*number_thousands_separator*059
Conference Materials
9*number_thousands_separator*450
Books
4*number_thousands_separator*438
Reviews
1*number_thousands_separator*250
Electronic Resources
1*number_thousands_separator*101
Reports
488
*more* ...
Dissertations
373
eBooks
343
Magazines
137
Trade Publications
100
Patents
4
News
2
Maps
1
Standards
1
*less* ...
*Published in*
lecture notes in computer science
2*number_thousands_separator*177
ieee transactions on computer-aided design of integrated circuits and systems
1*number_thousands_separator*732
ieee transactions on computer-aided design of integrated circuits & systems
1*number_thousands_separator*101
computer aided verification
436
international journal of rf & microwave computer-aided engineering
287
computer-aided design
172
*more* ...
international journal of advanced manufacturing technology
169
international journal of rf and microwave computer-aided engineering
165
medical physics
163
physics in medicine and biology
144
computer aided design
121
aip conference proceedings
99
formal methods in system design
98
electronic design
83
computer-aided civil and infrastructure engineering
79
european radiology
76
ieee access
58
international journal of production research
57
scientific reports
52
ieee transactions on software engineering
48
computer aided surgery
45
ieee transactions on computers
44
computers & chemical engineering
41
integrated computer-aided engineering
35
international journal of computer integrated manufacturing
32
assembly automation
30
computers in industry
30
expert systems with applications
27
ieee transactions on electron devices
24
computers in biology and medicine
23
*less* ...
*SubjectEDS*
formal verification
4*number_thousands_separator*718
computing and processing
2*number_thousands_separator*087
02 engineering and technology
1*number_thousands_separator*955
logic cad
1*number_thousands_separator*722
components, circuits, devices and systems
1*number_thousands_separator*677
computer aided instruction
1*number_thousands_separator*620
*more* ...
0202 electrical engineering, electronic engineering, information engineering
1*number_thousands_separator*514
circuit cad
1*number_thousands_separator*386
program verification
1*number_thousands_separator*332
validierung
1*number_thousands_separator*211
integrated circuit design
1*number_thousands_separator*152
computer-aided design
1*number_thousands_separator*045
formal specification
1*number_thousands_separator*027
hardware description languages
922
circuit simulation
908
vlsi
892
logic testing
842
logic design
796
cad
782
circuit analysis computing
760
communication, networking and broadcast technologies
742
rechnersimulation
738
circuit layout cad
724
verification
724
hardware
674
rechnerunterstuetzter schaltungsentwurf
645
computational modeling
603
simulation
597
teaching
586
computer science
567
*less* ...
*Publisher*
ieee
8*number_thousands_separator*343
springer nature
1*number_thousands_separator*638
springer verlag
1*number_thousands_separator*509
springer-verlag
1*number_thousands_separator*330
wti-frankfurt-digital gmbh
893
ieee comput. soc. press
816
*more* ...
springer, cham
673
springer
620
acm
618
springer international publishing
602
elsevier b.v.
532
institute of electrical and electronics engineers (ieee)
522
wiley-blackwell
421
ieee-inst electrical electronics engineers inc
405
wiley
339
ieee computer society
236
elsevier
233
iop publishing
233
mdpi
194
springer berlin heidelberg
179
association for computing machinery
121
springer nature switzerland
120
trans tech publications
118
sae international
106
taylor & francis ltd
97
mdpi ag
96
american society of mechanical engineers
73
sage publications
71
taylor & francis
68
asme
61
*less* ...
*RangeLexile*
*Language*
english
32*number_thousands_separator*306
undetermined
1*number_thousands_separator*938
german
1*number_thousands_separator*065
chinese
333
japanese
146
french
83
*more* ...
russian
71
polish
60
korean
42
turkish
42
italian
38
pol
14
czech
12
eng
12
spanish; castilian
12
ukrainian
12
portuguese
11
dutch
10
spanish
10
slovenian
6
croatian
4
multiple languages
3
serbian
3
swedish
3
chamorro
2
danish
2
dutch; flemish
2
romanian
2
romanian; moldavian; moldovan
2
slovak
2
*less* ...
*Category*
computers / computer science
83
computers / artificial intelligence / general
72
computers / software development & engineering / general
66
computers / design, graphics & media / cad-cam
58
technology & engineering / electronics / circuits / general
51
technology & engineering / electrical
43
*more* ...
computers / hardware / general
35
computers / computer architecture
27
computers / networking / general
22
computers / computer simulation
21
*less* ...
*SourceEDS*
Inspec
13*number_thousands_separator*330
TEMA
7*number_thousands_separator*173
OpenAIRE
3*number_thousands_separator*657
Scopus®
3*number_thousands_separator*295
IEEE Xplore Digital Library
2*number_thousands_separator*489
Complementary Index
2*number_thousands_separator*200
*more* ...
MathSciNet via EBSCOhost
1*number_thousands_separator*361
Academic Search Index
1*number_thousands_separator*235
OAIster
1*number_thousands_separator*104
wiso
899
Business Source Premier
689
Science Citation Index Expanded
660
MEDLINE
424
Supplemental Index
402
CEABA
305
eBook Index
185
arXiv
172
Directory of Open Access Journals
150
dblp computer science bibliography
98
BazTech
50
Biomedical Index
43
SAE Mobilus
42
British Library EThOS
25
Emerald Insight
22
APA PsycInfo
21
JSTOR Journals
15
RePEc
12
BazEkon
7
GeoRef
7
Europeana
4
*less* ...
*adv_search_year*
*Filter*