Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 11.187 Treffer
- OAIster 4.361 Treffer
- wiso 1.761 Treffer
- Scopus® 1.120 Treffer
- Bibliotheksverbund Bayern 626 Treffer
-
176 weitere Werte:
- MathSciNet via EBSCOhost 522 Treffer
- PASCAL Archive 508 Treffer
- VIDAL Consult 508 Treffer
- Westlaw UK 508 Treffer
- Harvard Library Bibliographic Dataset 493 Treffer
- Economena Document Library 454 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 454 Treffer
- Marketline Advantage 454 Treffer
- Music ID 454 Treffer
- NASA Technical Reports 454 Treffer
- OpenAIRE 454 Treffer
- Sexual Health Visual 454 Treffer
- IEEE Xplore Digital Library 446 Treffer
- dblp computer science bibliography 415 Treffer
- British Library Document Supply Centre Inside Serials & Conference Proceedings 385 Treffer
- Complementary Index 366 Treffer
- Ambrose Digital 209 Treffer
- Torrossa 209 Treffer
- Beeld en Geluid op school 209 Treffer
- Europeana 209 Treffer
- Films on Demand 209 Treffer
- Index New Zealand 209 Treffer
- McGraw-Hill Medical 209 Treffer
- Idunn.no 167 Treffer
- IndianJournals.com 167 Treffer
- LUNA Commons 167 Treffer
- SciELO 167 Treffer
- British Standards Online 167 Treffer
- IBISWorld 167 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 167 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 113 Treffer
- JoVE Science Education Database 113 Treffer
- Islamic Info 113 Treffer
- ClinicalTrials.gov 113 Treffer
- AraBase 113 Treffer
- Al Mandumah 113 Treffer
- HumanIndex 113 Treffer
- EduSearch 113 Treffer
- EcoLink 113 Treffer
- INTELECOM Video Library 113 Treffer
- Choice Reviews 113 Treffer
- ECONIS 105 Treffer
- Networked Digital Library of Theses & Dissertations 105 Treffer
- Children's Literature Comprehensive Database 102 Treffer
- Openedition.org 102 Treffer
- NUKAT 89 Treffer
- Supplemental Index 60 Treffer
- Swedish National Bibliography 57 Treffer
- FRANCIS Archive 54 Treffer
- NARCIS 53 Treffer
- RxTx 51 Treffer
- Psychotherapy.net 51 Treffer
- Naxos Sheet Music 51 Treffer
- Multilegis: Publicationes Actualizables 51 Treffer
- EMIS University M&A Information 51 Treffer
- EMIS University – Research Sources 51 Treffer
- EMIS University – News Sources 51 Treffer
- EMIS University – Company Information 51 Treffer
- Cairn.info International Edition 51 Treffer
- Agrow 51 Treffer
- Base SantéPsy 44 Treffer
- Zad Newspapers 42 Treffer
- Latin American Open Archives Portal 42 Treffer
- SZ LibraryNet 42 Treffer
- Credo Reference 40 Treffer
- OnArchitecture 38 Treffer
- Bloomsbury Collections 38 Treffer
- Australian Research Data Commons 38 Treffer
- Universalis 36 Treffer
- GBV Online Contents 30 Treffer
- Oxford Medicine Online 28 Treffer
- Ibuk.pl 28 Treffer
- Center for Research Libraries 28 Treffer
- African Journals 28 Treffer
- PsycheVisual 28 Treffer
- Roubini Global Economics 28 Treffer
- ICPSR Data Archive 26 Treffer
- First Research 26 Treffer
- BrillOnline Primary Source 26 Treffer
- McGraw-Hill eBook Library 26 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 26 Treffer
- Oxford Reference 26 Treffer
- BazTech 26 Treffer
- SAGE Business Researcher 26 Treffer
- Knovel 25 Treffer
- Credo Reference: Academic Core 23 Treffer
- Applied Science & Technology Source 22 Treffer
- British Library EThOS 22 Treffer
- ProjectMUSE 22 Treffer
- MLA International Bibliography with Full Text 21 Treffer
- National Diet Library Digital Collections - 国立国会図書館デジタルコレクション 20 Treffer
- ORBi 17 Treffer
- Allgemeines Künsterlexikon Online 15 Treffer
- 스콜라(Scholar) 9 Treffer
- New Palgrave Dictionary of Economics Online 9 Treffer
- Kanopy 9 Treffer
- DigitalNZ 9 Treffer
- Churchill Archive 9 Treffer
- eArticle 9 Treffer
- KERIS Theses & Dissertations 9 Treffer
- NUMDAM 9 Treffer
- Grove Music Online 8 Treffer
- ScienceDirect 7 Treffer
- ASM Micrograph Database 7 Treffer
- Leyex 7 Treffer
- Ambientalex 7 Treffer
- E-Periodica 7 Treffer
- BiblioBoard 7 Treffer
- Bibliomed 6 Treffer
- CEIC Data 6 Treffer
- University of Michigan Press Ebook Collection 6 Treffer
- GeoScienceWorld 6 Treffer
- FIS Bildung Literaturdatenbank (German Education Index) 6 Treffer
- Bloomsbury Applied Visual Arts 5 Treffer
- DBPIA 5 Treffer
- Dialnet 5 Treffer
- ARC Reports 5 Treffer
- SMART Imagebase 5 Treffer
- F1000Research 5 Treffer
- Economist Historical Archive 5 Treffer
- DigiBib.Zorg 5 Treffer
- Cambridge Core Books 5 Treffer
- Digital Access to Scholarship at Harvard (DASH) 4 Treffer
- Techniques de L'ingenieur 4 Treffer
- Gale Literature Criticism 4 Treffer
- Numérique Premium 4 Treffer
- Anopress 4 Treffer
- vLex 4 Treffer
- Biodiversity Heritage Library 4 Treffer
- Digitalia Public Libraries 3 Treffer
- KinoDen Kinokuniya Digital Library 3 Treffer
- RAMBI 3 Treffer
- Comprehensive Database of Archaeological Site Records in Japan –全国遺跡報告総覧 3 Treffer
- SciTech Connect 3 Treffer
- Britannica Online Japan 3 Treffer
- OnePetro 3 Treffer
- EconLit with Full Text 2 Treffer
- KRpia 2 Treffer
- KoreaScholar 2 Treffer
- Alexander Street 2 Treffer
- ERIC 2 Treffer
- Open Research Library 2 Treffer
- Making of the Modern World 2 Treffer
- RCAAP 2 Treffer
- Canada Commons 2 Treffer
- Digitalia Hispanica 2 Treffer
- OAPEN Library 2 Treffer
- Brill E-Book Collection 1 Treffer
- Bloom's Literature 1 Treffer
- PSYNDEX Literature with PSYNDEX Tests 1 Treffer
- Elgaronline 1 Treffer
- Memòria Digital de Catalunya (MDC) 1 Treffer
- Science Citation Index Expanded 1 Treffer
- Access Video on Demand 1 Treffer
- Government Publishing Office Catalog 1 Treffer
- Classroom Video on Demand 1 Treffer
- Gale In Context: Canada 1 Treffer
- Cairn.info 1 Treffer
- EU Bookshop 1 Treffer
- Data-Planet Statistical Datasets 1 Treffer
- Erudit 1 Treffer
- Persée 1 Treffer
- SwePub 1 Treffer
- Gale Business: Insights 1 Treffer
- Emerald Insight 1 Treffer
- Medtech Insight Reports 1 Treffer
- Literary Encyclopedia 1 Treffer
- Digital Library of the Caribbean 1 Treffer
- Learn360 1 Treffer
- Journals@OVID 1 Treffer
- IN VIVO 1 Treffer
- ERICdata Higher Education Knowledge 1 Treffer
- Digitalia Film Library 1 Treffer
- Eighteenth Century Collections Online 1 Treffer
- Gale in Context: Biography 1 Treffer
- Pink Sheet: Prescription Pharmaceuticals & Biotechnology 1 Treffer
Art der Quelle
- Academic Journals 73.130 Treffer
- Conference Materials 9.874 Treffer
- Books 9.377 Treffer
- Non-Print Resources 9.065 Treffer
- News 7.676 Treffer
-
14 weitere Werte:
- Magazines 7.585 Treffer
- Electronic Resources 5.283 Treffer
- Dissertations 3.741 Treffer
- Reports 2.838 Treffer
- eBooks 1.801 Treffer
- Audio 1.364 Treffer
- Reviews 1.301 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.334 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 874 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 520 Treffer
- [info]computer science [cs] 447 Treffer
- [shs.geo]humanities and social sciences/geography 442 Treffer
-
45 weitere Werte:
- orchestral music parts. 420 Treffer
- [sdv]life sciences [q-bio] 379 Treffer
- orchestre, musique d' parties. 360 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 324 Treffer
- orchestral music--parts 300 Treffer
- computing and processing 278 Treffer
- [sde]environmental sciences 269 Treffer
- [shs]humanities and social sciences 238 Treffer
- [shs.litt]humanities and social sciences/literature 237 Treffer
- [sde.ie]environmental sciences/environmental engineering 235 Treffer
- components, circuits, devices and systems 223 Treffer
- [shs.eco]humanities and social sciences/economics and finance 212 Treffer
- hist 199 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 194 Treffer
- [shs.envir]humanities and social sciences/environmental studies 181 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 178 Treffer
- communication, networking and broadcast technologies 178 Treffer
- formal verification 174 Treffer
- [phys]physics [physics] 161 Treffer
- [spi]engineering sciences [physics] 152 Treffer
- proof assistant 142 Treffer
- p01 - conservation de la nature et ressources foncieres 140 Treffer
- [info.info-dc]computer science [cs]/distributed 139 Treffer
- and cluster computing [cs.dc] 139 Treffer
- parallel 139 Treffer
- formal proof 130 Treffer
- data processing computer science 128 Treffer
- [info.info-es]computer science [cs]/embedded systems 123 Treffer
- computer science 120 Treffer
- theorem proving 120 Treffer
- type theory 118 Treffer
- coq proof assistant 116 Treffer
- verification 114 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 113 Treffer
- [shs.socio]humanities and social sciences/sociology 110 Treffer
- e14 - economie et politique du developpement 108 Treffer
- signal processing and analysis 103 Treffer
- fields, waves and electromagnetics 101 Treffer
- scipo 99 Treffer
- [spi.tron]engineering sciences [physics]/electronics 98 Treffer
- droit 91 Treffer
- engineered materials, dielectrics and plasmas 89 Treffer
- e10 - economie et politique agricoles 86 Treffer
- separation logic 86 Treffer
- formal methods 84 Treffer
Verlag
- hal ccsd 5.789 Treffer
- wti-frankfurt-digital gmbh 1.043 Treffer
- ieee 806 Treffer
- springer 559 Treffer
- s.n. 261 Treffer
-
45 weitere Werte:
- springer nature 258 Treffer
- centre de recherche bretonne et celtique 224 Treffer
- springer verlag 190 Treffer
- oxford university press 180 Treffer
- institute of electrical and electronics engineers inc. 130 Treffer
- springer, cham 127 Treffer
- elsevier 124 Treffer
- association for computing machinery 101 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 94 Treffer
- inria 75 Treffer
- deux coqs dor 70 Treffer
- cambridge university press 65 Treffer
- springer-verlag 64 Treffer
- encyclopaedia universalis 41 Treffer
- ssrn 35 Treffer
- editions quae 28 Treffer
- norstedt 25 Treffer
- desclee de brouwer 23 Treffer
- university of ottawa press 20 Treffer
- ieom society international 18 Treffer
- elsevier inc. 16 Treffer
- gallimard 16 Treffer
- a&c black 14 Treffer
- editions des deux coqs d'or 12 Treffer
- victoria university of wellington 12 Treffer
- du coq en l'asne voys saultant 7 Treffer
- 国立国会図書館 7 Treffer
- le coq-heron 6 Treffer
- university college london (university of london) 6 Treffer
- university of edinburgh 6 Treffer
- calmann-levy 4 Treffer
- editorial segismundo 4 Treffer
- korean institute of information scientists and engineers 4 Treffer
- librairie droz 4 Treffer
- librairie theatrale 4 Treffer
- payot 4 Treffer
- university of st andrews 4 Treffer
- wiley 4 Treffer
- britannica japan, co., ltd. 3 Treffer
- elsevier masson sas 3 Treffer
- nouveau monde 3 Treffer
- alexander street press 2 Treffer
- ed. du felin 2 Treffer
- elsevier ltd 2 Treffer
- the mit press 2 Treffer
Publikation
- lecture notes in computer science 506 Treffer
- wao world affairs online 99 Treffer
- interactive theorem proving 65 Treffer
- itp 57 Treffer
- cpp 46 Treffer
-
45 weitere Werte:
- building tomorrow's research agenda and bridging the science-policy gap 29 Treffer
- resilience and development: mobilising for transformation 29 Treffer
- openaire 27 Treffer
- acm international conference proceeding series 26 Treffer
- du coq a l'ame : l'art populaire au quebec 19 Treffer
- oxford music online 18 Treffer
- aip conference proceedings 16 Treffer
- dictionary of food: international food and cooking terms from a to z 12 Treffer
- theorem proving in higher order logics 12 Treffer
- proceedings of the international conference on industrial engineering & operations management 9 Treffer
- central european conference on information & intelligent systems 8 Treffer
- proceedings of the 2017 international annual conference of the american society for engineering management 8 Treffer
- theorem proving in higher order logics (9783540678632) 8 Treffer
- 2009 3rd european conference on antennas and propagation, antennas and propagation, 2009. eucap 2009. 3rd european conference on 6 Treffer
- automated reasoning 6 Treffer
- icse: international conference on software engineering 6 Treffer
- theorem proving in higher order logics (9783540406648) 6 Treffer
- types for proofs & programs 6 Treffer
- ieom north american conference proceedings 5 Treffer
- au library scholarly publishing services 4 Treffer
- baston, colm and capretta, venanzio (2018) the coinductive formulation of common knowledge. in: itp 2018 - interactive theorem proving, 9-12 august 2018, oxford, uk. 4 Treffer
- certified programming with dependent types 4 Treffer
- doi:10.1017/s0956796815000180 4 Treffer
- ieom annual international conference proceedings 4 Treffer
- the deluxe food lover's companion 4 Treffer
- the harvard dictionary of music 4 Treffer
- the hutchinson unabridged encyclopedia with atlas and weather guide 4 Treffer
- traumatismes psychiques 4 Treffer
- 한국정보과학회 학술발표논문집 4 Treffer
- dictionary of american family names 3 Treffer
- european poultry conference 3 Treffer
- gnomon 3 Treffer
- the oxford companion to food 3 Treffer
- the oxford essential dictionary of foreign terms in english 3 Treffer
- contemporary literary criticism 2 Treffer
- marges 2 Treffer
- seventeen provers of the world 2 Treffer
- short story criticism 2 Treffer
- sicherheit und risikomanagement in der supply chain 2 Treffer
- desafios, necesidades y oportunidades para el mundo rural 1 Treffer
- eighteenth century collections online 1 Treffer
- gale business insights 1 Treffer
- psyche 1 Treffer
- smallholders and stockbreeders: histories of foodcrop and livestock farming in southeast asia 1 Treffer
- st. james international dictionary of opera 1 Treffer
Sprache
- english 9.419 Treffer
- french 3.337 Treffer
- unknown 2.275 Treffer
- german 845 Treffer
- spanish; castilian 347 Treffer
-
37 weitere Werte:
- latin 302 Treffer
- italian 127 Treffer
- undetermined 92 Treffer
- swedish 82 Treffer
- multiple languages 74 Treffer
- portuguese 43 Treffer
- polish 25 Treffer
- japanese 24 Treffer
- hungarian 17 Treffer
- chinese 13 Treffer
- dutch; flemish 11 Treffer
- russian 11 Treffer
- korean 9 Treffer
- kurdish 9 Treffer
- danish 7 Treffer
- french, middle (ca.1400-1600) 7 Treffer
- arabic 6 Treffer
- czech 6 Treffer
- finnish 4 Treffer
- greek, ancient (to 1453) 4 Treffer
- hebrew 4 Treffer
- turkish 4 Treffer
- estonian 3 Treffer
- french, old (842-ca.1400) 3 Treffer
- indonesian 3 Treffer
- sinhala; sinhalese 3 Treffer
- occitan (post 1500) 2 Treffer
- persian 2 Treffer
- turkish, ottoman (1500-1928) 2 Treffer
- creoles and pidgins, french-based 1 Treffer
- dutch, middle (ca.1050-1350) 1 Treffer
- greek 1 Treffer
- niger-kordofanian languages 1 Treffer
- norwegian 1 Treffer
- serbian 1 Treffer
- spanish 1 Treffer
- ukrainian 1 Treffer
Geographischer Bezug
22.927 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: