Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 10.394 Treffer
- wiso 1.761 Treffer
- Scopus® 1.111 Treffer
- Bibliotheksverbund Bayern 577 Treffer
- MathSciNet via EBSCOhost 518 Treffer
-
176 weitere Werte:
- Westlaw UK 505 Treffer
- VIDAL Consult 505 Treffer
- PASCAL Archive 505 Treffer
- Harvard Library Bibliographic Dataset 493 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 452 Treffer
- Economena Document Library 452 Treffer
- Marketline Advantage 452 Treffer
- Music ID 452 Treffer
- OpenAIRE 452 Treffer
- Sexual Health Visual 452 Treffer
- NASA Technical Reports 452 Treffer
- IEEE Xplore Digital Library 444 Treffer
- dblp computer science bibliography 412 Treffer
- British Library Document Supply Centre Inside Serials & Conference Proceedings 385 Treffer
- Complementary Index 364 Treffer
- LUNA Commons 167 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 167 Treffer
- British Standards Online 167 Treffer
- SciELO 167 Treffer
- IBISWorld 167 Treffer
- Idunn.no 167 Treffer
- IndianJournals.com 167 Treffer
- Choice Reviews 109 Treffer
- Digital Library of the Caribbean 109 Treffer
- JoVE Science Education Database 109 Treffer
- INTELECOM Video Library 109 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 109 Treffer
- ClinicalTrials.gov 109 Treffer
- Children's Literature Comprehensive Database 102 Treffer
- NUKAT 89 Treffer
- ECONIS 61 Treffer
- Supplemental Index 60 Treffer
- Swedish National Bibliography 57 Treffer
- FRANCIS Archive 54 Treffer
- NARCIS 53 Treffer
- EMIS University – Research Sources 51 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 – News Sources 51 Treffer
- Cairn.info International Edition 51 Treffer
- Agrow 51 Treffer
- EMIS University – Company Information 51 Treffer
- Base SantéPsy 44 Treffer
- Ambrose Digital 36 Treffer
- Beeld en Geluid op school 36 Treffer
- DieselNet Technology Guide 36 Treffer
- Europeana 36 Treffer
- Films on Demand 36 Treffer
- Index New Zealand 36 Treffer
- McGraw-Hill Medical 36 Treffer
- Universalis 36 Treffer
- Torrossa 36 Treffer
- Openedition.org 34 Treffer
- Oxford Medicine Online 28 Treffer
- Ibuk.pl 28 Treffer
- Center for Research Libraries 28 Treffer
- African Journals 28 Treffer
- Roubini Global Economics 28 Treffer
- PsycheVisual 28 Treffer
- Oxford Reference 26 Treffer
- Knovel 25 Treffer
- GBV Online Contents 23 Treffer
- ProjectMUSE 22 Treffer
- Applied Science & Technology Source 22 Treffer
- MLA International Bibliography with Full Text 21 Treffer
- National Diet Library Digital Collections - 国立国会図書館デジタルコレクション 20 Treffer
- Australian Research Data Commons 15 Treffer
- OnArchitecture 15 Treffer
- Allgemeines Künsterlexikon Online 15 Treffer
- nano Online 15 Treffer
- Bloomsbury Collections 15 Treffer
- Livres et revues numériques 15 Treffer
- ORBi 14 Treffer
- NUMDAM 9 Treffer
- New Palgrave Dictionary of Economics Online 9 Treffer
- Kanopy 9 Treffer
- DigitalNZ 9 Treffer
- BMJ Best Practice US 9 Treffer
- Churchill Archive 9 Treffer
- eArticle 9 Treffer
- KERIS Theses & Dissertations 9 Treffer
- 스콜라(Scholar) 9 Treffer
- Grove Music Online 8 Treffer
- ScienceDirect 7 Treffer
- Leyex 7 Treffer
- ASM Micrograph Database 7 Treffer
- E-Periodica 7 Treffer
- Ambientalex 7 Treffer
- ASM Alloy Center Database 7 Treffer
- ASM Medical Materials Database 7 Treffer
- BiblioBoard 7 Treffer
- FIS Bildung Literaturdatenbank (German Education Index) 6 Treffer
- Bloomsbury Applied Visual Arts 5 Treffer
- DBPIA 5 Treffer
- SMART Imagebase 5 Treffer
- EcoLink 5 Treffer
- F1000Research 5 Treffer
- Economist Historical Archive 5 Treffer
- ARC Reports 5 Treffer
- Dialnet 5 Treffer
- DigiBib.Zorg 5 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 4 Treffer
- First Research 4 Treffer
- Digital Access to Scholarship at Harvard (DASH) 4 Treffer
- British Library EThOS 4 Treffer
- McGraw-Hill eBook Library 4 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 4 Treffer
- SAGE Business Researcher 4 Treffer
- ICPSR Data Archive 4 Treffer
- Techniques de L'ingenieur 4 Treffer
- BrillOnline Primary Source 4 Treffer
- BazTech 4 Treffer
- Gale Literature Criticism 4 Treffer
- vLex 4 Treffer
- Numérique Premium 4 Treffer
- Biodiversity Heritage Library 4 Treffer
- Maruzen eBook Library 3 Treffer
- Comprehensive Database of Archaeological Site Records in Japan –全国遺跡報告総覧 3 Treffer
- Britannica Online Japan 3 Treffer
- KinoDen Kinokuniya Digital Library 3 Treffer
- OnePetro 3 Treffer
- RAMBI 3 Treffer
- SciTech Connect 3 Treffer
- Digitalia Public Libraries 3 Treffer
- Anopress 2 Treffer
- KoreaScholar 2 Treffer
- KRpia 2 Treffer
- EconLit with Full Text 2 Treffer
- Bibliomed 2 Treffer
- ERIC 2 Treffer
- University of Michigan Press Ebook Collection 2 Treffer
- Open Research Library 2 Treffer
- GeoScienceWorld 2 Treffer
- RCAAP 2 Treffer
- CEIC Data 2 Treffer
- Digital Literacy 2 Treffer
- Financial Literacy 2 Treffer
- A&AePortal 2 Treffer
- Zad Newspapers 2 Treffer
- Canada Commons 2 Treffer
- Alexander Street 2 Treffer
- Making of the Modern World 2 Treffer
- Digitalia Hispanica 2 Treffer
- SZ LibraryNet 2 Treffer
- OAPEN Library 2 Treffer
- Latin American Open Archives Portal 2 Treffer
- Government Publishing Office Catalog 1 Treffer
- Data-Planet Statistical Datasets 1 Treffer
- Cairn.info 1 Treffer
- Journals@OVID 1 Treffer
- PSYNDEX Literature with PSYNDEX Tests 1 Treffer
- Gale Business: Insights 1 Treffer
- Science Citation Index Expanded 1 Treffer
- Brill E-Book Collection 1 Treffer
- Bloom's Literature 1 Treffer
- Gale In Context: Canada 1 Treffer
- Gale in Context: Biography 1 Treffer
- Erudit 1 Treffer
- Eighteenth Century Collections Online 1 Treffer
- SwePub 1 Treffer
- Elgaronline 1 Treffer
- Memòria Digital de Catalunya (MDC) 1 Treffer
- Pink Sheet: Prescription Pharmaceuticals & Biotechnology 1 Treffer
- Access Video on Demand 1 Treffer
- Classroom Video on Demand 1 Treffer
- Emerald Insight 1 Treffer
- Digitalia Film Library 1 Treffer
- Medtech Insight Reports 1 Treffer
- ERICdata Higher Education Knowledge 1 Treffer
- IN VIVO 1 Treffer
- Literary Encyclopedia 1 Treffer
- Learn360 1 Treffer
- Persée 1 Treffer
Art der Quelle
- Academic Journals 72.513 Treffer
- Conference Materials 9.665 Treffer
- Books 9.319 Treffer
- Non-Print Resources 9.031 Treffer
- News 7.654 Treffer
-
14 weitere Werte:
- Magazines 7.569 Treffer
- Electronic Resources 5.243 Treffer
- Dissertations 3.687 Treffer
- Reports 2.806 Treffer
- eBooks 1.752 Treffer
- Audio 1.364 Treffer
- Reviews 1.289 Treffer
- Trade Publications 490 Treffer
- Maps 239 Treffer
- Videos 221 Treffer
- Music Scores 62 Treffer
- Research Starters 15 Treffer
- Primary Source Documents 13 Treffer
- Biographies 10 Treffer
Schlagwort
- coq 1.187 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 863 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 514 Treffer
- [shs.geo]humanities and social sciences/geography 426 Treffer
- [info]computer science [cs] 409 Treffer
-
45 weitere Werte:
- [phys.astr]physics [physics]/astrophysics [astro-ph] 326 Treffer
- [sdv]life sciences [q-bio] 276 Treffer
- computing and processing 276 Treffer
- [sde]environmental sciences 256 Treffer
- [shs.litt]humanities and social sciences/literature 238 Treffer
- [sde.ie]environmental sciences/environmental engineering 236 Treffer
- [shs]humanities and social sciences 227 Treffer
- components, circuits, devices and systems 223 Treffer
- [shs.eco]humanities and social sciences/economics and finance 205 Treffer
- hist 200 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 192 Treffer
- communication, networking and broadcast technologies 178 Treffer
- [shs.envir]humanities and social sciences/environmental studies 176 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 175 Treffer
- [phys]physics [physics] 160 Treffer
- [spi]engineering sciences [physics] 149 Treffer
- formal verification 143 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
- data processing computer science 128 Treffer
- formal proof 125 Treffer
- computer science 120 Treffer
- [info.info-es]computer science [cs]/embedded systems 118 Treffer
- theorem proving 116 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 111 Treffer
- e14 - economie et politique du developpement 108 Treffer
- [shs.socio]humanities and social sciences/sociology 107 Treffer
- type theory 105 Treffer
- proof assistant 104 Treffer
- coq proof assistant 103 Treffer
- signal processing and analysis 103 Treffer
- fields, waves and electromagnetics 101 Treffer
- [spi.tron]engineering sciences [physics]/electronics 99 Treffer
- scipo 99 Treffer
- verification 95 Treffer
- droit 91 Treffer
- engineered materials, dielectrics and plasmas 89 Treffer
- e10 - economie et politique agricoles 86 Treffer
- logics and meanings of programs 81 Treffer
- artificial intelligence (incl. robotics) 80 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 77 Treffer
- guillaume de machaut 75 Treffer
- [shs.scipo]humanities and social sciences/political science 74 Treffer
Verlag
- hal ccsd 5.561 Treffer
- wti-frankfurt-digital gmbh 1.043 Treffer
- ieee 806 Treffer
- springer 535 Treffer
- springer nature 255 Treffer
-
45 weitere Werte:
- springer verlag 190 Treffer
- oxford university press 181 Treffer
- institute of electrical and electronics engineers inc. 127 Treffer
- springer, cham 126 Treffer
- s.n. 103 Treffer
- association for computing machinery 92 Treffer
- elsevier 88 Treffer
- deux coqs dor 70 Treffer
- encyclopaedia universalis 36 Treffer
- norstedt 25 Treffer
- university of ottawa press 20 Treffer
- editions quae 19 Treffer
- ieom society international 18 Treffer
- elsevier inc. 16 Treffer
- gallimard 16 Treffer
- editions des deux coqs d'or 12 Treffer
- victoria university of wellington 9 Treffer
- 国立国会図書館 7 Treffer
- centre international d'etudes pedagogiques 6 Treffer
- ekonomiska forskningsinst. 6 Treffer
- le coq-heron 6 Treffer
- desclee de brouwer 5 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
- presses universitaires de vincennes 4 Treffer
- revue internationale d'education de sevres 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
- gunter narr verlag 2 Treffer
- promodis 2 Treffer
- stauffenburg verlag brigitte narr gmbh 2 Treffer
- the mit press 2 Treffer
- air force human resources laboratory, air force systems command 1 Treffer
- british library 1 Treffer
- burrows brothers 1 Treffer
- gale 1 Treffer
- kress library of business and economics, harvard university 1 Treffer
Publikation
- lecture notes in computer science 504 Treffer
- wao world affairs online 99 Treffer
- interactive theorem proving 65 Treffer
- itp 57 Treffer
- cpp 46 Treffer
-
45 weitere Werte:
- resilience and development: mobilising for transformation 30 Treffer
- building tomorrow's research agenda and bridging the science-policy gap 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 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 spie 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
- theorem proving in higher order logics (9783642033582) 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
- certified programming with dependent types 4 Treffer
- ieom annual international conference proceedings 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 essential dictionary of foreign terms in english 3 Treffer
- contemporary literary criticism 2 Treffer
- making of the modern world 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
- مجله الاسكندريه للبحوث المحاسبيه 1 Treffer
- مجله الاقتصاد المنزلي 1 Treffer
- مجله البحوث الماليه والتجاريه 1 Treffer
- مجله تكريت للعلوم الاداريه والاقتصاديه 1 Treffer
- مجله دراسات اقتصاديه 1 Treffer
Sprache
- english 8.877 Treffer
- french 3.149 Treffer
- unknown 1.911 Treffer
- german 834 Treffer
- spanish; castilian 342 Treffer
-
38 weitere Werte:
- latin 301 Treffer
- italian 126 Treffer
- undetermined 92 Treffer
- swedish 82 Treffer
- multiple languages 74 Treffer
- portuguese 43 Treffer
- polish 25 Treffer
- japanese 24 Treffer
- fre 20 Treffer
- hungarian 16 Treffer
- chinese 13 Treffer
- dutch; flemish 11 Treffer
- russian 11 Treffer
- arabic 10 Treffer
- korean 9 Treffer
- kurdish 9 Treffer
- french, middle (ca.1400-1600) 7 Treffer
- czech 5 Treffer
- danish 4 Treffer
- finnish 4 Treffer
- hebrew 4 Treffer
- turkish 4 Treffer
- estonian 3 Treffer
- french, old (842-ca.1400) 3 Treffer
- greek, ancient (to 1453) 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
- eng 1 Treffer
- greek 1 Treffer
- niger-kordofanian languages 1 Treffer
- norwegian 1 Treffer
- serbian 1 Treffer
- ukrainian 1 Treffer
Geographischer Bezug
17.386 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-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: TACAS (1), 2024, S. 370-389KonferenzZugriff:
-
In: CPP, 2024, S. 230-245KonferenzZugriff: