Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 6.394 Treffer
- Scopus® 1.031 Treffer
- MathSciNet via EBSCOhost 511 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 443 Treffer
- Economena Document Library 443 Treffer
-
112 weitere Werte:
- Emerald Insight 443 Treffer
- Health Reference Center 443 Treffer
- Marketline Advantage 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
- Classiques Garnier Numerique: Littérature Française et Francophone 443 Treffer
- IEEE Xplore Digital Library 440 Treffer
- ABC-CLIO eBooks 411 Treffer
- PASCAL Archive 411 Treffer
- VIDAL Consult 411 Treffer
- Universalis 411 Treffer
- Politics Trove 411 Treffer
- Memòria Digital de Catalunya (MDC) 411 Treffer
- Westlaw UK 411 Treffer
- Elgaronline 411 Treffer
- FRANCIS Archive 411 Treffer
- World Religions 411 Treffer
- dblp computer science bibliography 411 Treffer
- Bloom's Literature 411 Treffer
- ASTM Compass 411 Treffer
- E-knihovna 411 Treffer
- British Library Document Supply Centre Inside Serials & Conference Proceedings 385 Treffer
- Complementary Index 160 Treffer
- RAMBI 42 Treffer
- SciELO 42 Treffer
- Idunn.no 42 Treffer
- ProjectMUSE 42 Treffer
- Swedish National Bibliography 42 Treffer
- NARCIS 42 Treffer
- BiblioBoard 42 Treffer
- IndianJournals.com 42 Treffer
- IBISWorld 42 Treffer
- British Standards Online 42 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 42 Treffer
- LUNA Commons 42 Treffer
- Applied Science & Technology Source 22 Treffer
- ORBi 7 Treffer
- Shamaa 7 Treffer
- 스콜라(Scholar) 7 Treffer
- INTELECOM Video Library 7 Treffer
- Korean Studies Information Service System 7 Treffer
- KERIS Theses & Dissertations 7 Treffer
- eArticle 7 Treffer
- NUKAT 7 Treffer
- KRpia 7 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 7 Treffer
- Gale Business: Insights 7 Treffer
- Islamic Info 7 Treffer
- JoVE Science Education Database 7 Treffer
- Cambridge Core Books 7 Treffer
- Choice Reviews 7 Treffer
- ClinicalTrials.gov 7 Treffer
- Digital Library of the Caribbean 7 Treffer
- Al Mandumah 7 Treffer
- EcoLink 7 Treffer
- EduSearch 7 Treffer
- HumanIndex 7 Treffer
- DBPIA 5 Treffer
- Digital Access to Scholarship at Harvard (DASH) 4 Treffer
- RxTx 3 Treffer
- EMIS University – Company Information 3 Treffer
- EMIS University – News Sources 3 Treffer
- EMIS University – Research Sources 3 Treffer
- EMIS University M&A Information 3 Treffer
- Gale In Context: Middle School 3 Treffer
- Gale Literature Criticism 3 Treffer
- Gale OneFile: CPI.Q 3 Treffer
- Multilegis: Publicationes Actualizables 3 Treffer
- Naxos Sheet Music 3 Treffer
- Cairn.info International Edition 3 Treffer
- OnePetro 3 Treffer
- SAGE Research Methods 3 Treffer
- SciTech Connect 3 Treffer
- Base SantéPsy 3 Treffer
- Agrow 3 Treffer
- Psychotherapy.net 3 Treffer
- KoreaScholar 2 Treffer
- ERIC 1 Treffer
- ScienceDirect 1 Treffer
- ECONIS 1 Treffer
- Ambrose Digital 1 Treffer
- Persée 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
- Cairn.info 1 Treffer
- Data-Planet Statistical Datasets 1 Treffer
- Erudit 1 Treffer
- SwePub 1 Treffer
- Supplemental Index 1 Treffer
Art der Quelle
- Academic Journals 72.494 Treffer
- Conference Materials 9.671 Treffer
- Books 9.270 Treffer
- Non-Print Resources 9.033 Treffer
- News 7.639 Treffer
-
14 weitere Werte:
- Magazines 7.557 Treffer
- Electronic Resources 5.244 Treffer
- Dissertations 3.687 Treffer
- Reports 2.804 Treffer
- eBooks 1.753 Treffer
- Audio 1.364 Treffer
- Reviews 1.288 Treffer
- Trade Publications 490 Treffer
- Maps 239 Treffer
- Videos 220 Treffer
- Music Scores 62 Treffer
- Research Starters 15 Treffer
- Primary Source Documents 13 Treffer
- Biographies 10 Treffer
Schlagwort
- coq 1.127 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 833 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 497 Treffer
- [info]computer science [cs] 400 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 327 Treffer
-
45 weitere Werte:
- [shs.geo]humanities and social sciences/geography 313 Treffer
- computing and processing 275 Treffer
- [sdv]life sciences [q-bio] 261 Treffer
- [sde]environmental sciences 253 Treffer
- [sde.ie]environmental sciences/environmental engineering 237 Treffer
- components, circuits, devices and systems 223 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 192 Treffer
- communication, networking and broadcast technologies 178 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 159 Treffer
- [phys]physics [physics] 158 Treffer
- [shs.envir]humanities and social sciences/environmental studies 157 Treffer
- [spi]engineering sciences [physics] 146 Treffer
- formal verification 139 Treffer
- [info.info-dc]computer science [cs]/distributed 136 Treffer
- and cluster computing [cs.dc] 136 Treffer
- parallel 136 Treffer
- data processing computer science 129 Treffer
- [shs]humanities and social sciences 126 Treffer
- [shs.eco]humanities and social sciences/economics and finance 125 Treffer
- formal proof 121 Treffer
- [info.info-es]computer science [cs]/embedded systems 115 Treffer
- theorem proving 111 Treffer
- signal processing and analysis 103 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 101 Treffer
- coq proof assistant 101 Treffer
- fields, waves and electromagnetics 101 Treffer
- [spi.tron]engineering sciences [physics]/electronics 99 Treffer
- hist 99 Treffer
- proof assistant 97 Treffer
- type theory 97 Treffer
- verification 91 Treffer
- engineered materials, dielectrics and plasmas 89 Treffer
- semantics 87 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
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 67 Treffer
- formal methods 66 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 65 Treffer
- envir 64 Treffer
- photonics and electrooptics 64 Treffer
- program verification 64 Treffer
- separation logic 64 Treffer
Verlag
- hal ccsd 4.794 Treffer
- ieee 800 Treffer
- springer 453 Treffer
- acm 196 Treffer
- springer verlag 170 Treffer
-
45 weitere Werte:
- springer, cham 129 Treffer
- institute of electrical and electronics engineers inc. 126 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 85 Treffer
- springer, berlin 78 Treffer
- springer-verlag 55 Treffer
- spie 50 Treffer
- eptcs, [place of publication not identified] 40 Treffer
- springer, heidelberg 38 Treffer
- ieee computer society 37 Treffer
- elsevier 34 Treffer
- springer science and business media deutschland gmbh 34 Treffer
- acm press 31 Treffer
- association for computing machinery (acm) 28 Treffer
- inria 26 Treffer
- springer-verlag, berlin 25 Treffer
- open publishing association 22 Treffer
- berlin; springer; c 19 Treffer
- heidelberg; springer; c 19 Treffer
- ieom society international 18 Treffer
- heidelberg; springer 17 Treffer
- asic 13 Treffer
- ios press 13 Treffer
- edp sciences 12 Treffer
- osa 12 Treffer
- american institute of physics 10 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 483 Treffer
- itp 57 Treffer
- interactive theorem proving 53 Treffer
- cpp 46 Treffer
- resilience and development: mobilising for transformation 30 Treffer
-
45 weitere Werte:
- building tomorrow's research agenda and bridging the science-policy gap 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
- hyper article en ligne - sciences de l'homme et de la societe 16 Treffer
- inqua ; https://hal.science/hal-04168515 ; inqua, jul 2023, roma, italy 15 Treffer
- aip conference proceedings 12 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.426 Treffer
-
In: 2023 9th International Conference on Computer and Communications (ICCC), 2023-12-08, S. 1520-1524KonferenzZugriff:
-
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. 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 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-92KonferenzZugriff:
-
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-551KonferenzZugriff:
-
In: 2019 Chinese Control Conference (CCC), 2019-07-01, S. 2685-2691KonferenzZugriff:
-
In: TACAS (1), 2024, S. 370-389KonferenzZugriff:
-
In: CPP, 2024, S. 230-245KonferenzZugriff: