Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- Classiques Garnier Numerique: Littérature Française et Francophone 189 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 189 Treffer
- Economena Document Library 189 Treffer
- Emerald Insight 189 Treffer
- IEEE Xplore Digital Library 189 Treffer
-
64 weitere Werte:
- Marketline Advantage 189 Treffer
- Health Reference Center 189 Treffer
- NASA Technical Reports 189 Treffer
- OpenAIRE 189 Treffer
- Sexual Health Visual 189 Treffer
- Techniques de L'ingenieur 189 Treffer
- Music ID 189 Treffer
- BASE 102 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 20 Treffer
- Janes Defence Equipment & Technology (JDET) - News 20 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 20 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 20 Treffer
- LearningExpress Library 20 Treffer
- Janes Military & Security Assessments (JMSA) – News 20 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 20 Treffer
- Kotar Digital Library 20 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 20 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 20 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 20 Treffer
- DieselNet Technology Guide 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
- McGraw-Hill Medical 20 Treffer
- Beeld en Geluid op school 20 Treffer
- Ambrose Digital 20 Treffer
- Sustainable Organization Library (SOL) 20 Treffer
- Torrossa 20 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 20 Treffer
- Networked Digital Library of Theses & Dissertations 20 Treffer
- Complementary Index 11 Treffer
- OpenDissertations 8 Treffer
- Applied Science & Technology Source 5 Treffer
- SAGE Business Researcher 2 Treffer
- Teen Health & Wellness 2 Treffer
- Routledge Handbooks Online 2 Treffer
- PsychiatryOnline 2 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 2 Treffer
- McGraw-Hill eBook Library 2 Treffer
- First Research 2 Treffer
- ICPSR Data Archive 2 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 2 Treffer
- British Library EThOS 2 Treffer
- BrillOnline Primary Source 2 Treffer
- Biodiversity Heritage Library 2 Treffer
- BazTech 2 Treffer
- Drama Online 2 Treffer
- EMIS University M&A Information 1 Treffer
- Cairn.info International Edition 1 Treffer
- Base SantéPsy 1 Treffer
- EMIS University – Company Information 1 Treffer
- EMIS University – News Sources 1 Treffer
- EMIS University – Research Sources 1 Treffer
- Gale In Context: Middle School 1 Treffer
- SAGE Research Methods 1 Treffer
- Gale OneFile: CPI.Q 1 Treffer
- Multilegis: Publicationes Actualizables 1 Treffer
- Naxos Sheet Music 1 Treffer
- Psychotherapy.net 1 Treffer
- SciTech Connect 1 Treffer
- RxTx 1 Treffer
- Gale Literature Criticism 1 Treffer
- Agrow 1 Treffer
Art der Quelle
Schlagwort
- computing and processing 151 Treffer
- computer bugs 146 Treffer
- components, circuits, devices and systems 121 Treffer
- communication, networking and broadcast technologies 84 Treffer
- hardware 51 Treffer
-
45 weitere Werte:
- model checking 32 Treffer
- signal processing and analysis 31 Treffer
- testing 31 Treffer
- verification formelle 30 Treffer
- engineered materials, dielectrics and plasmas 26 Treffer
- power, energy and industry applications 26 Treffer
- microprocessors 25 Treffer
- logic 22 Treffer
- logic design 22 Treffer
- debugging 21 Treffer
- permission 21 Treffer
- computational modeling 19 Treffer
- design automation 18 Treffer
- protocols 18 Treffer
- robotics and control systems 18 Treffer
- computer science 17 Treffer
- tools 17 Treffer
- logic gates 16 Treffer
- static analysis 16 Treffer
- verification 16 Treffer
- bioengineering 15 Treffer
- registers 15 Treffer
- boolean functions 14 Treffer
- computer architecture 14 Treffer
- design engineering 14 Treffer
- hardware design languages 14 Treffer
- photonics and electrooptics 14 Treffer
- safety 14 Treffer
- software 14 Treffer
- automata 13 Treffer
- cryptography 13 Treffer
- java 13 Treffer
- security 13 Treffer
- state-space methods 13 Treffer
- software testing 12 Treffer
- aerospace 11 Treffer
- algorithm design and analysis 11 Treffer
- analytical models 11 Treffer
- bounded model checking 11 Treffer
- costs 11 Treffer
- productivity 11 Treffer
- complexity theory 10 Treffer
- data structures 10 Treffer
- design methodology 10 Treffer
- general topics for engineers 10 Treffer
Verlag
- ieee 183 Treffer
- hal ccsd 33 Treffer
- association for computing machinery 10 Treffer
- georgia institute of technology 8 Treffer
- virginia tech 8 Treffer
-
45 weitere Werte:
- vysoke uceni technicke v brne. fakulta informacnich technologii 8 Treffer
- edaa 4 Treffer
- north dakota state university 4 Treffer
- acm 3 Treffer
- scitepress 3 Treffer
- springer verlag 3 Treffer
- brasil 2 Treffer
- fachbereich 03: mathematik/informatik (fb 03) 2 Treffer
- kth, skolan for elektroteknik och datavetenskap (eecs) 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
- university of waterloo 2 Treffer
- apollo - university of cambridge repository 1 Treffer
- auckland university of technology 1 Treffer
- biblioteca digitais de teses e dissertacoes da usp 1 Treffer
- br 1 Treffer
- ceur-ws : workshop proceedings 1 Treffer
- country:deu 1 Treffer
- country:italy 1 Treffer
- engenharia eletrica 1 Treffer
- escholarship, university of california 1 Treffer
- faculdade de tecnologia 1 Treffer
- ieee/acm 1 Treffer
- instituto de computa????o 1 Treffer
- johns hopkins university 1 Treffer
- kit-bibliothek, karlsruhe 1 Treffer
- lipics - leibniz international proceedings in informatics. 39th iarcs annual conference on foundations of software technology and theoretical computer science (fsttcs 2019) 1 Treffer
- politecnico di torino 1 Treffer
- programa de p??s-gradua????o em inform??tica 1 Treffer
- programa de pos-graduacao em engenharia eletrica 1 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 1 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 1 Treffer
- springer international publishing 1 Treffer
- springer-verlag 1 Treffer
- the ohio state university / ohiolink 1 Treffer
- universidade de sao paulo 1 Treffer
- universitat politecnica de catalunya 1 Treffer
- universitat tubingen 1 Treffer
- usa 1 Treffer
- usp 1 Treffer
- wien 1 Treffer
- 서울대학교 대학원 1 Treffer
Publikation
- icse: international conference on software engineering 6 Treffer
- dac: annual acm/ieee design automation conference 4 Treffer
- 2006 43rd acm/ieee design automation conference, design automation conference, 2006 43rd acm/ieee, design automation conference 3 Treffer
- eurosys 2020 - european conference on computer systems ; https://inria.hal.science/hal-02554342 ; eurosys 2020 - european conference on computer systems, apr 2020, heraklion / virtual, greece. ⟨10.1145/3342195.3387544⟩ 3 Treffer
- formal methods in computer aided design, formal methods in computer-aided design (fmcad), 2010 3 Treffer
-
45 weitere Werte:
- proceedings. 42nd design automation conference, 2005., design automation conference, 2005. proceedings. 42nd, design automation 3 Treffer
- 18th ieee/ifip international workshop on rapid system prototyping (rsp '07), rapid system prototyping, 2007. rsp 2007. 18th ieee/ifip international workshop on 2 Treffer
- 2004 ieee international symposium on circuits and systems (iscas), circuits and systems (iscas), 2004 ieee international symposium on, circuits and systems 2 Treffer
- 2007 44th acm/ieee design automation conference, design automation conference, 2007. dac '07. 44th acm/ieee 2 Treffer
- 2007 canadian conference on electrical and computer engineering, electrical and computer engineering, 2007. ccece 2007. canadian conference on 2 Treffer
- 2008 45th acm/ieee design automation conference, design automation conference, 2008. dac 2008. 45th acm/ieee 2 Treffer
- 2008 design, automation and test in europe, design, automation and test in europe, 2008. date '08 2 Treffer
- 2009 46th acm/ieee design automation conference, design automation conference, 2009. dac '09. 46th acm/ieee 2 Treffer
- 2009 formal methods in computer-aided design, formal methods in computer-aided design, 2009. fmcad 2009 2 Treffer
- 2010 15th asia and south pacific design automation conference (asp-dac), design automation conference (asp-dac), 2010 15th asia and south pacific 2 Treffer
- 2019 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2019 2 Treffer
- 2021 58th acm/ieee design automation conference (dac), design automation conference (dac), 2021 58th acm/ieee 2 Treffer
- 2022 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2022 2 Treffer
- asp-dac 2004: asia and south pacific design automation conference 2004 (ieee cat. no.04ex753), design automation conference, 2004. proceedings of the asp-dac 2004. asia and south pacific, design automation 2 Treffer
- international test conference, 2003. proceedings. itc 2003., test conference, 2003. proceedings. itc 2003. international, international test conference 2 Treffer
- proceedings 1999 design automation conference (cat. no. 99ch36361), design automation conference, 1999. proceedings. 36th, design automation 99 2 Treffer
- proceedings 2003. design automation conference (ieee cat. no.03ch37451), design automation conference, 2003. proceedings, design automation conference 2 Treffer
- proceedings international conference on computer design vlsi in computers and processors, computer design: vlsi in computers and processors, 1997. iccd '97. proceedings., 1997 ieee international conference on, vlsi in computers and processors 2 Treffer
- proceedings of asp-dac/vlsi design 2002. 7th asia and south pacific design automation conference and 15h international conference on vlsi design, design automation conference, 2002. proceedings of asp-dac 2002. 7th asia and south pacific and the 15th international conference on vlsi design. proceedings., asia-south pacific design automation and vlsi design 2 Treffer
- proceedings. second acm and ieee international conference on formal methods and models for co-design, 2004. memocode '04., formal methods and models for co-design, 2004. memocode '04. proceedings. second acm and ieee international conference on, formal methods and models for co-design 2 Treffer
- theses.fr 2 Treffer
- [1991 proceedings] 13th international conference on software engineering, software engineering, 1991. proceedings., 13th international conference on 1 Treffer
- 12th asia-pacific software engineering conference (apsec'05), software engineering conference, 2005. apsec '05. 12th asia-pacific, asia-pacific software engineering conference 1 Treffer
- 14th asian test symposium (ats'05), test symposium, 2005. proceedings. 14th asian 1 Treffer
- 15th annual ieee international asic/soc conference, asic/soc conference, 2002. 15th annual ieee international, asic/soc conference 1 Treffer
- 16th asia and south pacific design automation conference (asp-dac 2011), design automation conference (asp-dac), 2011 16th asia and south pacific 1 Treffer
- 16th international conference on parallel architecture and compilation techniques (pact 2007), parallel architecture and compilation techniques, 2007. pact 2007. 16th international conference on 1 Treffer
- 16th international conference on vlsi design, 2003. proceedings., vlsi design, 2003. proceedings. 16th international conference on, vlsi design 1 Treffer
- 17th international conference on vlsi design. proceedings., vlsi design, 2004. proceedings. 17th international conference on, vlsi design 1 Treffer
- 1991 international workshop on the hol theorem proving system and its applications, hol theorem proving system and its applications, 1991., international workshop on the 1 Treffer
- 1997 ieee pacific rim conference on communications, computers and signal processing, pacrim. 10 years networking the pacific rim, 1987-1997, communications, computers and signal processing, 1997. 10 years pacrim 1987-1997 - networking the pacific rim. 1997 ieee pacific rim conference on, communications, computers and signal processing 1 Treffer
- 1998 ieee international performance, computing and communications conference. proceedings (cat. no.98ch36191), performance, computing and communications, 1998. ipccc '98., ieee international, performance, computing and communications 1 Treffer
- 1998 ieee/acm international conference on computer-aided design. digest of technical papers (ieee cat. no.98cb36287), computer-aided design, 1998. iccad 98. digest of technical papers. 1998 ieee/acm international conference on, computer-aided design 1 Treffer
- 2000 ieee international symposium on circuits and systems (iscas), circuits and systems (iscas), 2000 ieee international symposium on, circuits and systems 1 Treffer
- 2003 design, automation and test in europe conference and exhibition, design, automation and test in europe conference and exhibition, 2003, design, automation and test in europe 1 Treffer
- 2005 6th international conference on asic, asic, 2005. asicon 2005. 6th international conference on, asic proceedings 1 Treffer
- 2005 international symposium on system-on-chip, system-on-chip, 2005. proceedings. 2005 international symposium on 1 Treffer
- 2005 sixth international workshop on microprocessor test and verification, microprocessor test and verification, 2005. mtv '05. sixth international workshop on 1 Treffer
- 2006 10th international conference on computer supported cooperative work in design, computer supported cooperative work in design, 2006. cscwd '06. 10th international conference on 1 Treffer
- biblioteca digital de teses e dissertacoes da ufam 1 Treffer
- biblioteca digital de teses e dissertacoes da usp 1 Treffer
- ufam 1 Treffer
- universidade de sao paulo 1 Treffer
- universidade federal do amazonas 1 Treffer
- usp 1 Treffer
Sprache
Geographischer Bezug
337 Treffer
-
In: 2018 IEEE 61st International Midwest Symposium on Circuits and Systems (MWSCAS), 2018-08-01, S. 1034-1037KonferenzZugriff:
-
In: Fifteenth International Symposium on Quality Electronic Design, 2014-03-01, S. 597-603KonferenzZugriff:
-
In: 2024 25th International Symposium on Quality Electronic Design (ISQED), 2024-04-03, S. 1-8KonferenzZugriff:
-
In: 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2024-03-02, S. 349-358KonferenzZugriff:
-
In: International Test Conference, 2003. Proceedings. ITC, Jg. 1 (2003), S. 138-147KonferenzZugriff:
-
In: 2024 IEEE 14th Annual Computing and Communication Workshop and Conference (CCWC), 2024-01-08, S. 357-364KonferenzZugriff:
-
In: 2023 8th South-East Europe Design Automation, Computer Engineering, 2023-11-10, S. 1-7KonferenzZugriff:
-
In: [1991 Proceedings] 13th International Conference on Software Engineering, 1991, S. 13-22KonferenzZugriff:
-
In: 2023 IEEE 16th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC), 2023-12-18, S. 508-515KonferenzZugriff:
-
In: 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 2023-10-28, S. 1-9KonferenzZugriff:
-
In: 2023 IEEE International Test Conference India (ITC India), 2023-07-23, S. 1-5KonferenzZugriff:
-
In: 2023 60th ACM/IEEE Design Automation Conference (DAC), 2023-07-09, S. 1-6KonferenzZugriff:
-
In: Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC, 1994, S. 132-136KonferenzZugriff:
-
In: 2022 Formal Methods in Computer-Aided Design (FMCAD), 2022-10-18, S. 151-159KonferenzZugriff:
-
In: TENCON 2006 - 2006 IEEE Region 10 Conference, 2006-11-01, S. 1KonferenzZugriff:
-
In: 2023 International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC), 2023-06-25, S. 1-6KonferenzZugriff:
-
In: 2023 International Conference on Sustainable Computing and Smart Systems (ICSCSS), 2023-06-14, S. 1410-1414KonferenzZugriff:
-
In: 2022 Formal Methods in Computer-Aided Design (FMCAD), 2022-10-18, S. 99-107KonferenzZugriff:
-
In: 2021 58th ACM/IEEE Design Automation Conference (DAC), 2021-12-05, S. 991-996KonferenzZugriff:
-
In: 2022 2nd International Conference on Intelligent Technologies (CONIT), 2022-06-24, S. 1-8KonferenzZugriff: