Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 127 Treffer
- Sexual Health Visual 37 Treffer
- Techniques de L'ingenieur 37 Treffer
- OnePetro 37 Treffer
- NASA Technical Reports 37 Treffer
-
64 weitere Werte:
- Music ID 37 Treffer
- OpenAIRE 37 Treffer
- IEEE Xplore Digital Library 37 Treffer
- Economena Document Library 37 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 37 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 37 Treffer
- Marketline Advantage 37 Treffer
- Complementary Index 22 Treffer
- Applied Science & Technology Source 20 Treffer
- Networked Digital Library of Theses & Dissertations 20 Treffer
- McGraw-Hill Medical 20 Treffer
- LearningExpress Library 20 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 20 Treffer
- Janes Military & Security Assessments (JMSA) – News 20 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 20 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 20 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 20 Treffer
- Janes Defence Equipment & Technology (JDET) - News 20 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 20 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 20 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 20 Treffer
- Index New Zealand 20 Treffer
- Films on Demand 20 Treffer
- Europeana 20 Treffer
- DieselNet Technology Guide 20 Treffer
- Beeld en Geluid op school 20 Treffer
- Ambrose Digital 20 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 20 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 20 Treffer
- Academic Search Index 16 Treffer
- Business Source Ultimate 11 Treffer
- Science Citation Index Expanded 9 Treffer
- OpenDissertations 8 Treffer
- China Science & Technology Journal Database 7 Treffer
- World Religions 7 Treffer
- VIDAL Consult 7 Treffer
- Universalis 7 Treffer
- Politics Trove 7 Treffer
- PASCAL Archive 7 Treffer
- Memòria Digital de Catalunya (MDC) 7 Treffer
- E-knihovna 7 Treffer
- Bloom's Literature 7 Treffer
- ABC-CLIO eBooks 7 Treffer
- Springer Nature Journals 6 Treffer
- Philippine E-Journals 5 Treffer
- Animal Pharm 5 Treffer
- Directory of Open Access Journals 5 Treffer
- Milne Open Textbooks 5 Treffer
- Oxfam Policy & Practice 5 Treffer
- Zad E-Books 5 Treffer
- Scopus® 4 Treffer
- J-STAGE 3 Treffer
- Teen Health & Wellness 2 Treffer
- BazTech 2 Treffer
- British Library EThOS 2 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 2 Treffer
- Drama Online 2 Treffer
- First Research 2 Treffer
- ICPSR Data Archive 2 Treffer
- McGraw-Hill eBook Library 2 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 2 Treffer
- BrillOnline Primary Source 2 Treffer
- Routledge Handbooks Online 2 Treffer
- Library, Information Science & Technology Abstracts 1 Treffer
Art der Quelle
Schlagwort
- computer bugs 46 Treffer
- model checking 39 Treffer
- computing and processing 37 Treffer
- verification formelle 37 Treffer
- components, circuits, devices and systems 26 Treffer
-
45 weitere Werte:
- computational modeling 23 Treffer
- software 22 Treffer
- hardware 21 Treffer
- tools 21 Treffer
- simulation 19 Treffer
- debugging 17 Treffer
- computer architecture 16 Treffer
- cryptography 16 Treffer
- integrated circuit modeling 16 Treffer
- equivalence checking 15 Treffer
- computer science 14 Treffer
- formal methods 14 Treffer
- security 14 Treffer
- integrated circuits 13 Treffer
- blockchain 12 Treffer
- sat 12 Treffer
- bounded model checking 11 Treffer
- computers 11 Treffer
- bayes methods 10 Treffer
- grobner bases 10 Treffer
- software verification 10 Treffer
- coq 9 Treffer
- embedded software 9 Treffer
- finite fields 9 Treffer
- theorem proving 9 Treffer
- communication, networking and broadcast technologies 8 Treffer
- complexity theory 8 Treffer
- formalni verifikace 8 Treffer
- functional verification 8 Treffer
- integrated circuit verification 8 Treffer
- java 8 Treffer
- logic circuits 8 Treffer
- optimization 8 Treffer
- sparks 8 Treffer
- synchronization 8 Treffer
- verification 8 Treffer
- aerospace 7 Treffer
- bioengineering 7 Treffer
- data structures 7 Treffer
- electronics 7 Treffer
- engineered materials, dielectrics and plasmas 7 Treffer
- engineering profession 7 Treffer
- fields, waves and electromagnetics 7 Treffer
- general topics for engineers 7 Treffer
- informatique 7 Treffer
Verlag
- ieee 84 Treffer
- hal ccsd 24 Treffer
- springer nature 13 Treffer
- georgia institute of technology 8 Treffer
- virginia tech 8 Treffer
-
45 weitere Werte:
- vysoke uceni technicke v brne. fakulta informacnich technologii 8 Treffer
- association for computing machinery 5 Treffer
- mdpi ag 5 Treffer
- elsevier b.v. 4 Treffer
- ieee-inst electrical electronics engineers inc 4 Treffer
- mdpi 4 Treffer
- north dakota state university 4 Treffer
- aircc publishing corporation 3 Treffer
- multidisciplinary digital publishing institute 3 Treffer
- the institute of electronics, information and communication engineers 3 Treffer
- aosa, inc. 2 Treffer
- brasil 2 Treffer
- fachbereich 03: mathematik/informatik (fb 03) 2 Treffer
- grenze scientific society 2 Treffer
- ieee computer soc 2 Treffer
- institute of software, chinese academy of sciences 2 Treffer
- international institute of informatics and cybernetics 2 Treffer
- kth, skolan for elektroteknik och datavetenskap (eecs) 2 Treffer
- springer 2 Treffer
- springer berlin heidelberg 2 Treffer
- ufam 2 Treffer
- universidade federal do amazonas 2 Treffer
- universitat bremen 2 Treffer
- university of cambridge 2 Treffer
- university of oxford 2 Treffer
- assoc computing machinery 1 Treffer
- br 1 Treffer
- centrum voor wiskunde en informatica 1 Treffer
- editura acad romane 1 Treffer
- engenharia eletrica 1 Treffer
- faculdade de tecnologia 1 Treffer
- ieice-inst electronics information communications eng 1 Treffer
- institute of electrical and electronics engineers 1 Treffer
- institute of electronics, information and communication, engineers, ieice 1 Treffer
- institution of engineering and technology 1 Treffer
- kluwer academic publishers 1 Treffer
- oxford university press 1 Treffer
- programa de pos-graduacao em engenharia eletrica 1 Treffer
- publishing house of the romanian academy 1 Treffer
- science in china press 1 Treffer
- springer netherlands 1 Treffer
- springer us 1 Treffer
- the ohio state university / ohiolink 1 Treffer
- universidade de sao paulo 1 Treffer
- usp 1 Treffer
Publikation
- ieee transactions on computer-aided design of integrated circuits & systems 32 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems, computer-aided design of integrated circuits and systems, ieee transactions on, ieee trans. comput.-aided des. integr. circuits syst. 14 Treffer
- ieice transactions on information and systems 5 Treffer
- international journal of parallel programming 5 Treffer
- $2 4 Treffer
-
45 weitere Werte:
- ieee access 4 Treffer
- ieee transactions on parallel & distributed systems 4 Treffer
- ieee transactions on very large scale integration (vlsi) systems 4 Treffer
- international journal on software tools for technology transfer 4 Treffer
- science of computer programming 4 Treffer
- ieee transactions on computers 3 Treffer
- information (2078-2489) 3 Treffer
- journal of automated reasoning 3 Treffer
- software & systems modeling 3 Treffer
- acm transactions on embedded computing systems 2 Treffer
- formal aspects of computing 2 Treffer
- grenze international journal of engineering & technology (gijet) 2 Treffer
- international journal of software & informatics 2 Treffer
- journal of software 2 Treffer
- journal of systemics, cybernetics and informatics 2 Treffer
- romanian journal of information science and technology 2 Treffer
- theses.fr 2 Treffer
- 软件学报 2 Treffer
- acm transactions on computer systems 1 Treffer
- application of electronic technique 1 Treffer
- biblioteca digital de teses e dissertacoes da ufam 1 Treffer
- biblioteca digital de teses e dissertacoes da usp 1 Treffer
- chinese journal of computers 1 Treffer
- communications of the acm 1 Treffer
- computer engineering 1 Treffer
- computer engineering and design 1 Treffer
- electronics 1 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems 1 Treffer
- ieee transactions on parallel and distributed systems 1 Treffer
- ieee transactions on software engineering 1 Treffer
- ieice transactions on fundamentals of electronics, communications and computer sciences 1 Treffer
- iet computers & digital techniques (print) 1 Treffer
- information 1 Treffer
- jisuanji xuebao/chinese journal of computers 1 Treffer
- journal of computer science and technology 1 Treffer
- journal of supercomputing 1 Treffer
- proceedings of the ieee 1 Treffer
- report - software engineering 1 Treffer
- science in china series f: information sciences 1 Treffer
- scientia sinica informationis 1 Treffer
- software and systems modeling 1 Treffer
- ufam 1 Treffer
- universidade de sao paulo 1 Treffer
- universidade federal do amazonas 1 Treffer
- usp 1 Treffer
Sprache
Geographischer Bezug
305 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 42 (2023-09-01), Heft 9, S. 3105-3117Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 42 (2023-04-01), Heft 4, S. 1365-1378Online academicJournalZugriff:
-
In: IEEE Transactions on Software Engineering, Jg. 49 (2023), Heft 1, S. 304-324Online academicJournalZugriff:
-
In: IEEE Transactions on Parallel and Distributed Systems, Jg. 33 (2022-07-01), Heft 7, S. 1711-1724Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 40 (2021-05-01), Heft 5, S. 985-998Online academicJournalZugriff:
-
In: IEEE Security & Privacy, Jg. 20 (2022-05-01), Heft 3, S. 65-70Online academicJournalZugriff:
-
In: Report - Software engineering, 2007, Heft 8, S. 1-24academicJournalZugriff:
-
In: IEEE Access, Jg. 9 (2021), S. 25002-25013Online academicJournalZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 38 (2019-07-01), Heft 7, S. 1378-1382Online academicJournalZugriff:
-
In: IEEE Access, Jg. 9 (2021), S. 83067-83079Online academicJournalZugriff:
-
In: IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Jg. 28 (2020-07-01), Heft 7, S. 1638-1651Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: IEEE Access, Jg. 8 (2020), S. 190760-190783Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
2010HochschulschriftZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 37 (2018-08-01), Heft 8, S. 1692-1692Online academicJournalZugriff:
-
In: IEEE Embedded Systems Letters, Jg. 7 (2015-09-01), Heft 3, S. 85-88Online academicJournalZugriff:
-
In: IEEE Embedded Systems Letters, Jg. 1 (2009-05-01), Heft 1, S. 14-18Online academicJournalZugriff: