Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 6.576 Treffer
- Scopus® 1.041 Treffer
- MathSciNet via EBSCOhost 514 Treffer
- Marketline Advantage 443 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 443 Treffer
-
113 weitere Werte:
- Classiques Garnier Numerique: Littérature Française et Francophone 443 Treffer
- Economena Document Library 443 Treffer
- Emerald Insight 443 Treffer
- Health Reference Center 443 Treffer
- Music ID 443 Treffer
- NASA Technical Reports 443 Treffer
- OpenAIRE 443 Treffer
- Sexual Health Visual 443 Treffer
- Techniques de L'ingenieur 443 Treffer
- IEEE Xplore Digital Library 440 Treffer
- ABC-CLIO eBooks 414 Treffer
- Politics Trove 414 Treffer
- E-knihovna 414 Treffer
- Elgaronline 414 Treffer
- ASTM Compass 414 Treffer
- dblp computer science bibliography 414 Treffer
- World Religions 414 Treffer
- Westlaw UK 414 Treffer
- VIDAL Consult 414 Treffer
- Universalis 414 Treffer
- Bloom's Literature 414 Treffer
- FRANCIS Archive 414 Treffer
- PASCAL Archive 414 Treffer
- Memòria Digital de Catalunya (MDC) 414 Treffer
- British Library Document Supply Centre Inside Serials & Conference Proceedings 385 Treffer
- Complementary Index 162 Treffer
- SciELO 42 Treffer
- RAMBI 42 Treffer
- ProjectMUSE 42 Treffer
- Swedish National Bibliography 42 Treffer
- NARCIS 42 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 42 Treffer
- IndianJournals.com 42 Treffer
- IBISWorld 42 Treffer
- British Standards Online 42 Treffer
- BiblioBoard 42 Treffer
- LUNA Commons 42 Treffer
- Idunn.no 42 Treffer
- Applied Science & Technology Source 22 Treffer
- ORBi 7 Treffer
- NUKAT 7 Treffer
- KRpia 7 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 7 Treffer
- eArticle 7 Treffer
- KERIS Theses & Dissertations 7 Treffer
- Korean Studies Information Service System 7 Treffer
- 스콜라(Scholar) 7 Treffer
- JoVE Science Education Database 7 Treffer
- Shamaa 7 Treffer
- INTELECOM Video Library 7 Treffer
- Al Mandumah 7 Treffer
- Islamic Info 7 Treffer
- Cambridge Core Books 7 Treffer
- Choice Reviews 7 Treffer
- ClinicalTrials.gov 7 Treffer
- AraBase 7 Treffer
- Gale Business: Insights 7 Treffer
- HumanIndex 7 Treffer
- EduSearch 7 Treffer
- EcoLink 7 Treffer
- Digital Library of the Caribbean 7 Treffer
- DBPIA 5 Treffer
- Digital Access to Scholarship at Harvard (DASH) 4 Treffer
- OnePetro 3 Treffer
- SciTech Connect 3 Treffer
- SAGE Research Methods 3 Treffer
- RxTx 3 Treffer
- Psychotherapy.net 3 Treffer
- Naxos Sheet Music 3 Treffer
- Multilegis: Publicationes Actualizables 3 Treffer
- EMIS University M&A Information 3 Treffer
- Gale OneFile: CPI.Q 3 Treffer
- Gale Literature Criticism 3 Treffer
- Gale In Context: Middle School 3 Treffer
- Agrow 3 Treffer
- EMIS University – Research Sources 3 Treffer
- EMIS University – News Sources 3 Treffer
- EMIS University – Company Information 3 Treffer
- Cairn.info International Edition 3 Treffer
- Base SantéPsy 3 Treffer
- KoreaScholar 2 Treffer
- ScienceDirect 1 Treffer
- ERIC 1 Treffer
- ECONIS 1 Treffer
- Cairn.info 1 Treffer
- Persée 1 Treffer
- Ambrose Digital 1 Treffer
- Beeld en Geluid op school 1 Treffer
- DieselNet Technology Guide 1 Treffer
- Europeana 1 Treffer
- Films on Demand 1 Treffer
- Index New Zealand 1 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 1 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 1 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 1 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 1 Treffer
- Janes Defence Equipment & Technology (JDET) - News 1 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 1 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 1 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 1 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 1 Treffer
- Janes Military & Security Assessments (JMSA) – News 1 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 1 Treffer
- Kotar Digital Library 1 Treffer
- LearningExpress Library 1 Treffer
- McGraw-Hill Medical 1 Treffer
- Openedition.org 1 Treffer
- Sustainable Organization Library (SOL) 1 Treffer
- Torrossa 1 Treffer
- Data-Planet Statistical Datasets 1 Treffer
- Erudit 1 Treffer
- SwePub 1 Treffer
- Supplemental Index 1 Treffer
Art der Quelle
- Academic Journals 73.124 Treffer
- Conference Materials 9.871 Treffer
- Books 9.377 Treffer
- Non-Print Resources 9.065 Treffer
- News 7.675 Treffer
-
14 weitere Werte:
- Magazines 7.583 Treffer
- Electronic Resources 5.283 Treffer
- Dissertations 3.741 Treffer
- Reports 2.838 Treffer
- eBooks 1.800 Treffer
- Audio 1.364 Treffer
- Reviews 1.300 Treffer
- Trade Publications 497 Treffer
- Maps 239 Treffer
- Videos 222 Treffer
- Music Scores 62 Treffer
- Research Starters 15 Treffer
- Primary Source Documents 13 Treffer
- Biographies 10 Treffer
Schlagwort
- coq 1.134 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 837 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 499 Treffer
- [info]computer science [cs] 432 Treffer
- [sdv]life sciences [q-bio] 359 Treffer
-
45 weitere Werte:
- [phys.astr]physics [physics]/astrophysics [astro-ph] 324 Treffer
- [shs.geo]humanities and social sciences/geography 320 Treffer
- computing and processing 275 Treffer
- [sde]environmental sciences 264 Treffer
- [sde.ie]environmental sciences/environmental engineering 235 Treffer
- components, circuits, devices and systems 223 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 194 Treffer
- communication, networking and broadcast technologies 178 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 162 Treffer
- [shs.envir]humanities and social sciences/environmental studies 160 Treffer
- [phys]physics [physics] 158 Treffer
- [spi]engineering sciences [physics] 148 Treffer
- formal verification 142 Treffer
- [info.info-dc]computer science [cs]/distributed 135 Treffer
- and cluster computing [cs.dc] 135 Treffer
- parallel 135 Treffer
- [shs]humanities and social sciences 134 Treffer
- data processing computer science 128 Treffer
- [shs.eco]humanities and social sciences/economics and finance 127 Treffer
- formal proof 121 Treffer
- [info.info-es]computer science [cs]/embedded systems 120 Treffer
- theorem proving 111 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 103 Treffer
- signal processing and analysis 103 Treffer
- coq proof assistant 102 Treffer
- fields, waves and electromagnetics 101 Treffer
- type theory 100 Treffer
- hist 99 Treffer
- [spi.tron]engineering sciences [physics]/electronics 98 Treffer
- proof assistant 98 Treffer
- verification 92 Treffer
- engineered materials, dielectrics and plasmas 89 Treffer
- semantics 88 Treffer
- p01 - conservation de la nature et ressources foncieres 86 Treffer
- aerospace 74 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 72 Treffer
- power, energy and industry applications 71 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 69 Treffer
- formal methods 69 Treffer
- gallus gallus 68 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 67 Treffer
- antenna measurements 66 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 65 Treffer
- program verification 65 Treffer
- separation logic 65 Treffer
Verlag
- hal ccsd 4.971 Treffer
- ieee 802 Treffer
- springer 454 Treffer
- acm 199 Treffer
- springer verlag 170 Treffer
-
45 weitere Werte:
- institute of electrical and electronics engineers inc. 130 Treffer
- springer, cham 130 Treffer
- schloss dagstuhl. leibniz-zent. inform., wadern 99 Treffer
- association for computing machinery, inc 95 Treffer
- association for computing machinery 92 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 86 Treffer
- springer, berlin 78 Treffer
- springer-verlag 55 Treffer
- spie 52 Treffer
- eptcs, [place of publication not identified] 42 Treffer
- springer, heidelberg 38 Treffer
- ieee computer society 37 Treffer
- springer science and business media deutschland gmbh 36 Treffer
- elsevier 33 Treffer
- acm press 31 Treffer
- association for computing machinery (acm) 27 Treffer
- inria 26 Treffer
- springer-verlag, berlin 25 Treffer
- open publishing association 23 Treffer
- berlin; springer; c 19 Treffer
- heidelberg; springer; c 19 Treffer
- ieom society international 18 Treffer
- heidelberg; springer 17 Treffer
- american institute of physics 14 Treffer
- asic 13 Treffer
- ios press 13 Treffer
- edp sciences 12 Treffer
- osa 12 Treffer
- institution of engineering and technology 10 Treffer
- american society for engineering management 9 Treffer
- faculty of organization & informatics 8 Treffer
- acs 6 Treffer
- amta 6 Treffer
- asm international 6 Treffer
- institute of electrical and electronics engineers (ieee) 6 Treffer
- elsevier bv 5 Treffer
- institute of electrical and electronics engineers 5 Treffer
- korean institute of information scientists and engineers 4 Treffer
- elsevier masson sas 3 Treffer
- asme 2 Treffer
- 대한안전경영과학회 2 Treffer
- calenda 1 Treffer
- centre pour l'edition electronique ouverte 1 Treffer
- international textile manufacturers federation 1 Treffer
- 한국식품영양과학회 1 Treffer
Publikation
- lecture notes in computer science 485 Treffer
- itp 57 Treffer
- interactive theorem proving 53 Treffer
- cpp 46 Treffer
- building tomorrow's research agenda and bridging the science-policy gap 29 Treffer
-
45 weitere Werte:
- resilience and development: mobilising for transformation 29 Treffer
- acm international conference proceeding series 26 Treffer
- tphols 25 Treffer
- types 25 Treffer
- acm sigplan notices 23 Treffer
- studies in surface science and catalysis 18 Treffer
- aip conference proceedings 16 Treffer
- inqua ; https://hal.science/hal-04168515 ; inqua, jul 2023, roma, italy 16 Treffer
- hyper article en ligne - sciences de l'homme et de la societe 15 Treffer
- proceedings of the international conference on industrial engineering & operations management 9 Treffer
- automated deduction in geometry 8 Treffer
- central european conference on information & intelligent systems 8 Treffer
- proceedings of spie 8 Treffer
- proceedings of the 2017 international annual conference of the american society for engineering management 8 Treffer
- 2009 3rd european conference on antennas & propagation 6 Treffer
- 2009 3rd european conference on antennas and propagation, antennas and propagation, 2009. eucap 2009. 3rd european conference on 6 Treffer
- icse: international conference on software engineering 6 Treffer
- ieom north american conference proceedings 5 Treffer
- verification, model checking, and abstract interpretation 5 Treffer
- 2010 proceedings of the fourth european conference on antennas & propagation (eucap) 4 Treffer
- 2021 ieee 34th computer security foundations symposium (csf), computer security foundations symposium (csf), 2021 ieee 34th, csf 4 Treffer
- 2023 china automation congress (cac), automation congress (cac), 2023 china 4 Treffer
- ieom annual international conference proceedings 4 Treffer
- proceedings of the fourth european conference on antennas and propagation, antennas and propagation (eucap), 2010 proceedings of the fourth european conference on 4 Treffer
- 한국정보과학회 학술발표논문집 4 Treffer
- 11th international symposium on antenna technology and applied electromagnetics [antem 2005], antenna technology and applied electromagnetics [antem 2005], 11th international symposium on 3 Treffer
- 2006 first european conference on antennas and propagation, antennas and propagation, 2006. eucap 2006. first european conference on 3 Treffer
- 2008 asia-pacific microwave conference, microwave conference, 2008. apmc 2008. asia-pacific 3 Treffer
- 2012 27th annual ieee symposium on logic in computer science, logic in computer science (lics), 2012 27th annual ieee symposium on 3 Treffer
- 2012 european frequency and time forum, european frequency and time forum (eftf), 2012 3 Treffer
- 2014 european frequency and time forum (eftf), european frequency and time forum (eftf), 2014 3 Treffer
- 2015 9th european conference on antennas and propagation (eucap), antennas and propagation (eucap), 2015 9th european conference on 3 Treffer
- 2016 ieee 29th computer security foundations symposium (csf), computer security foundations symposium (csf), 2016 ieee 29th 3 Treffer
- 2017 conference on lasers and electro-optics europe & european quantum electronics conference (cleo/europe-eqec), lasers and electro-optics europe & european quantum electronics conference (cleo/europe-eqec, 2017 conference on) 3 Treffer
- 2017 joint conference of the european frequency and time forum and ieee international frequency control symposium (eftf/ifcs), frequency and time forum and ieee international frequency control symposium (eftf/ifcs), 2017 joint conference of the european 3 Treffer
- 2022 ieee 35th computer security foundations symposium (csf), computer security foundations symposium (csf), 2022 ieee 35th, csf 3 Treffer
- 대한안전경영과학회 학술대회 2 Treffer
- 13th international conference on interactive theorem proving (itp 2022) 1 Treffer
- calenda 1 Treffer
- cpp 2021 1 Treffer
- formal aspects of component software 1 Treffer
- international textile manufacturers federation. annual conference report 1 Treffer
- neuropsychiatrie de l'enfance et de l'adolescence 1 Treffer
- proceedings 2nd workshop on algebra of communicating processes (acp'95, eindhoven, the netherlands, april 1995) 1 Treffer
- proceedings eighth international workshop on termination (wst 2006, seattle wa, usa, august 15-16, 2006) 1 Treffer
Sprache
Geographischer Bezug
9.626 Treffer
-
In: 2023 9th International Conference on Computer and Communications (ICCC), 2023-12-08, S. 1520-1524KonferenzZugriff:
-
In: 2023 China Automation Congress (CAC), 2023-11-17, S. 5726-5730KonferenzZugriff:
-
In: 2023 China Automation Congress (CAC), 2023-11-17, S. 2792-2796KonferenzZugriff:
-
In: 2023 China Automation Congress (CAC), 2023-11-17, S. 6683-6687KonferenzZugriff:
-
In: 2023 9th International Conference on Computer and Communications (ICCC), 2023-12-08, S. 1510-1514KonferenzZugriff:
-
In: 2023 China Automation Congress (CAC), 2023-11-17, S. 1926-1930KonferenzZugriff:
-
In: 2023 International Conference on Networking, Informatics and Computing (ICNETIC), 2023-05-01, S. 360-364KonferenzZugriff:
-
In: 2022 IEEE Real-Time Systems Symposium (RTSS), 2022-12-01, S. 197-210KonferenzZugriff:
-
In: 2022 China Automation Congress (CAC), 2022-11-25, S. 3433-3436KonferenzZugriff:
-
In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021-06-01, S. 1-16KonferenzZugriff:
-
In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021-05-01, S. 21-24KonferenzZugriff:
-
In: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2022-10-13, S. 1-9KonferenzZugriff:
-
In: 2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2020-10-01, S. 89-92Online KonferenzZugriff:
-
In: 2020 IEEE/ACS 17th International Conference on Computer Systems and Applications (AICCSA), 2020-11-01, S. 1-6KonferenzZugriff:
-
In: 2019 Chinese Automation Congress (CAC), 2019-11-01, S. 2256-2260KonferenzZugriff:
-
In: 2019 Chinese Automation Congress (CAC), 2019-11-01, S. 1001-1005KonferenzZugriff:
-
In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019-11-01, S. 539-551Online KonferenzZugriff:
-
In: 2019 Chinese Control Conference (CCC), 2019-07-01, S. 2685-2691KonferenzZugriff:
-
In: FMBC@CAV, 2024, S. 1-14KonferenzZugriff:
-
In: SAC, 2024, S. 1684-1693KonferenzZugriff: