Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 8.663 Treffer
- Scopus® 1.041 Treffer
- Springer Nature eBooks 932 Treffer
- arXiv 670 Treffer
- MathSciNet via EBSCOhost 514 Treffer
-
161 weitere Werte:
- Techniques de L'ingenieur 461 Treffer
- Sexual Health Visual 461 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 461 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 461 Treffer
- OpenAIRE 461 Treffer
- Health Reference Center 461 Treffer
- Music ID 461 Treffer
- IEEE Xplore Digital Library 440 Treffer
- ASTM Compass 414 Treffer
- PASCAL Archive 414 Treffer
- Bloom's Literature 414 Treffer
- dblp computer science bibliography 414 Treffer
- E-knihovna 414 Treffer
- World Religions 414 Treffer
- Westlaw UK 414 Treffer
- VIDAL Consult 414 Treffer
- FRANCIS Archive 414 Treffer
- Universalis 414 Treffer
- Politics Trove 414 Treffer
- Memòria Digital de Catalunya (MDC) 414 Treffer
- eBook Index 391 Treffer
- British Library Document Supply Centre Inside Serials & Conference Proceedings 385 Treffer
- Complementary Index 166 Treffer
- ScholarVox 121 Treffer
- Gale eBooks 90 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 81 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 81 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 81 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 81 Treffer
- Janes Military & Security Assessments (JMSA) – News 81 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 81 Treffer
- Janes Defence Equipment & Technology (JDET) - News 81 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 81 Treffer
- ProjectMUSE 81 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 81 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 81 Treffer
- Kotar Digital Library 81 Treffer
- Index New Zealand 81 Treffer
- Films on Demand 81 Treffer
- Europeana 81 Treffer
- DieselNet Technology Guide 81 Treffer
- Beeld en Geluid op school 81 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 81 Treffer
- Swedish National Bibliography 81 Treffer
- BiblioBoard 81 Treffer
- Sustainable Organization Library (SOL) 81 Treffer
- RAMBI 81 Treffer
- LUNA Commons 81 Treffer
- British Standards Online 81 Treffer
- Ambrose Digital 81 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 81 Treffer
- LearningExpress Library 81 Treffer
- Openedition.org 81 Treffer
- IndianJournals.com 81 Treffer
- Idunn.no 81 Treffer
- NARCIS 56 Treffer
- Credo Reference 40 Treffer
- Making of the Modern World 40 Treffer
- Zad Newspapers 40 Treffer
- SZ LibraryNet 40 Treffer
- Erudit 30 Treffer
- Persée 30 Treffer
- Cairn.info 29 Treffer
- Shamaa 27 Treffer
- NUKAT 27 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 27 Treffer
- JoVE Science Education Database 27 Treffer
- Islamic Info 27 Treffer
- INTELECOM Video Library 27 Treffer
- HumanIndex 27 Treffer
- EduSearch 27 Treffer
- EcoLink 27 Treffer
- Digital Library of the Caribbean 27 Treffer
- Choice Reviews 27 Treffer
- AraBase 27 Treffer
- Al Mandumah 27 Treffer
- Knovel 25 Treffer
- Building Types Online 23 Treffer
- Australian Research Data Commons 23 Treffer
- Allgemeines Künsterlexikon Online 23 Treffer
- Credo Reference: Academic Core 23 Treffer
- Historisches Wörterbuch der Rhetorik Online 23 Treffer
- Livres et revues numériques 23 Treffer
- nano Online 23 Treffer
- OnArchitecture 23 Treffer
- Encyclopedia of the Bible and its Reception Online 23 Treffer
- Verfasser-Datenbank 23 Treffer
- Applied Science & Technology Source 22 Treffer
- Business Source Ultimate 19 Treffer
- ORBi 11 Treffer
- ClinicalTrials.gov 11 Treffer
- Marketline Advantage 10 Treffer
- 스콜라(Scholar) 7 Treffer
- KRpia 7 Treffer
- eArticle 7 Treffer
- Korean Studies Information Service System 7 Treffer
- NASA Technical Reports 7 Treffer
- ERIC 7 Treffer
- KERIS Theses & Dissertations 7 Treffer
- Cairn.info International Edition 5 Treffer
- Base SantéPsy 5 Treffer
- DBPIA 5 Treffer
- EMIS University – News Sources 5 Treffer
- EMIS University – Research Sources 5 Treffer
- EMIS University M&A Information 5 Treffer
- EMIS University – Company Information 5 Treffer
- Agrow 5 Treffer
- SciTech Connect 5 Treffer
- Multilegis: Publicationes Actualizables 5 Treffer
- Naxos Sheet Music 5 Treffer
- Psychotherapy.net 5 Treffer
- RxTx 5 Treffer
- Gale Literature Criticism 5 Treffer
- Cambridge Core Books 5 Treffer
- Gale In Context: Middle School 5 Treffer
- Numérique Premium 4 Treffer
- Digital Access to Scholarship at Harvard (DASH) 4 Treffer
- Biodiversity Heritage Library 3 Treffer
- SAGE Business Researcher 3 Treffer
- Routledge Handbooks Online 3 Treffer
- PsychiatryOnline 3 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 3 Treffer
- McGraw-Hill eBook Library 3 Treffer
- Drama Online 3 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 3 Treffer
- British Library EThOS 3 Treffer
- BrillOnline Primary Source 3 Treffer
- BazTech 3 Treffer
- Teen Health & Wellness 3 Treffer
- OnePetro 3 Treffer
- Hoover's Company Profiles 2 Treffer
- KoreaScholar 2 Treffer
- NORA (Norwegian Open Research Archive) 2 Treffer
- ASM Medical Materials Database 2 Treffer
- OAPEN Library 2 Treffer
- Bibliotheksverbund Bayern 2 Treffer
- Otzar Online 2 Treffer
- FIS Bildung Literaturdatenbank (German Education Index) 2 Treffer
- E-Periodica 2 Treffer
- Brill E-Book Collection 2 Treffer
- ASM Micrograph Database 2 Treffer
- ASM Alloy Center Database 2 Treffer
- Ibuk.pl 1 Treffer
- Oxford Scholarship Online 1 Treffer
- University Press Scholarship Online 1 Treffer
- SwePub 1 Treffer
- ScienceDirect 1 Treffer
- African Journals 1 Treffer
- Minha Biblioteca 1 Treffer
- Center for Research Libraries 1 Treffer
- Mergent Online 1 Treffer
- Oxford Islamic Studies Online 1 Treffer
- Oxford Biblical Studies Online 1 Treffer
- Gale in Context: Biography 1 Treffer
- Oxford Bibliographies 1 Treffer
- Emerald Insight 1 Treffer
- ECONIS 1 Treffer
- Oxford Scholarly Editions Online 1 Treffer
- PsycheVisual 1 Treffer
- Oxford African American Studies Center 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.464 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1.098 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 609 Treffer
- [info]computer science [cs] 558 Treffer
- [shs.geo]humanities and social sciences/geography 457 Treffer
-
45 weitere Werte:
- computer science - logic in computer science 398 Treffer
- [sdv]life sciences [q-bio] 385 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 324 Treffer
- proof assistant 296 Treffer
- [sde]environmental sciences 293 Treffer
- computing and processing 275 Treffer
- [shs.envir]humanities and social sciences/environmental studies 248 Treffer
- computer science - programming languages 242 Treffer
- [sde.ie]environmental sciences/environmental engineering 235 Treffer
- cern lhc coll 233 Treffer
- atlas 230 Treffer
- components, circuits, devices and systems 223 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 221 Treffer
- formal proof 205 Treffer
- [shs.eco]humanities and social sciences/economics and finance 203 Treffer
- p p: scattering 195 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 194 Treffer
- formal verification 184 Treffer
- communication, networking and broadcast technologies 178 Treffer
- type theory 176 Treffer
- [info.info-dc]computer science [cs]/distributed 173 Treffer
- and cluster computing [cs.dc] 173 Treffer
- parallel 173 Treffer
- experimental results 163 Treffer
- [phys]physics [physics] 160 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 148 Treffer
- [shs]humanities and social sciences 148 Treffer
- [spi]engineering sciences [physics] 148 Treffer
- [info.info-es]computer science [cs]/embedded systems 145 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 134 Treffer
- coq proof assistant 128 Treffer
- data processing computer science 128 Treffer
- theorem proving 128 Treffer
- hist 118 Treffer
- verification 116 Treffer
- p01 - conservation de la nature et ressources foncieres 111 Treffer
- p p: colliding beams 106 Treffer
- separation logic 103 Treffer
- signal processing and analysis 103 Treffer
- semantics 102 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 101 Treffer
- fields, waves and electromagnetics 101 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 99 Treffer
- [shs.socio]humanities and social sciences/sociology 98 Treffer
- [spi.tron]engineering sciences [physics]/electronics 98 Treffer
Verlag
- hal ccsd 6.106 Treffer
- ieee 802 Treffer
- springer 511 Treffer
- springer berlin heidelberg 490 Treffer
- springer international publishing 385 Treffer
-
45 weitere Werte:
- springer verlag 170 Treffer
- 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 98 Treffer
- association for computing machinery 92 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 84 Treffer
- gale, cengage learning 58 Treffer
- ieee computer society 37 Treffer
- elsevier 35 Treffer
- editions l'harmattan 33 Treffer
- weyrich 30 Treffer
- association for computing machinery (acm) 27 Treffer
- inria 26 Treffer
- editions quae 25 Treffer
- ieom society international 18 Treffer
- presses universitaires de rennes 17 Treffer
- a&c black 14 Treffer
- edp sciences 12 Treffer
- editions france agricole 11 Treffer
- marketline, a progressive digital media business 11 Treffer
- champ social 10 Treffer
- american society for engineering management 9 Treffer
- cambridge university press 9 Treffer
- desclee de brouwer 8 Treffer
- faculty of organization & informatics 8 Treffer
- ink book 8 Treffer
- presses de l'enssib 8 Treffer
- dunod 6 Treffer
- les 400 coups 6 Treffer
- oxford university press 5 Treffer
- barron's educational series 4 Treffer
- bridgeman 4 Treffer
- harvard university press 4 Treffer
- helicon 4 Treffer
- korean institute of information scientists and engineers 4 Treffer
- penguin 4 Treffer
- reaktion books 4 Treffer
- elsevier masson sas 3 Treffer
- mcgraw-hill education 3 Treffer
- nouveau monde 2 Treffer
- contexto 1 Treffer
- filia 1 Treffer
- international textile manufacturers federation 1 Treffer
- the university of bergen 1 Treffer
Publikation
- lecture notes in computer science 485 Treffer
- itp 57 Treffer
- interactive theorem proving 53 Treffer
- cpp 46 Treffer
- openaire 44 Treffer
-
45 weitere Werte:
- acronyms, initialisms & abbreviations dictionary 36 Treffer
- building tomorrow's research agenda and bridging the science-policy gap 29 Treffer
- resilience and development: mobilising for transformation 29 Treffer
- acm international conference proceeding series 26 Treffer
- aip conference proceedings 16 Treffer
- certified programs and proofs : first international conference, cpp 2011, kenting, taiwan, december 7-9, 2011. proceedings 15 Treffer
- interactive theorem proving : 6th international conference, itp 2015, nanjing, china, august 24-27, 2015, proceedings 13 Treffer
- dictionary of food: international food and cooking terms from a to z 12 Treffer
- interactive theorem proving : 5th international conference, itp 2014, held as part of the vienna summer of logic, vsl 2014, vienna, austria, july 14-17, 2014. proceedings 12 Treffer
- interactive theorem proving : 8th international conference, itp 2017, brasilia, brazil, september 26-29, 2017, proceedings 12 Treffer
- interactive theorem proving : first international conference, itp 2010, edinburgh, uk, july 11-14, 2010. proceedings 12 Treffer
- certified programs and proofs : second international conference, cpp 2012, kyoto, japan, december 13-15, 2012. proceedings 11 Treffer
- interactive theorem proving : 4th international conference, itp 2013, rennes, france, july 22-26, 2013. proceedings 11 Treffer
- olvi plc marketline company profile 11 Treffer
- interactive theorem proving : 9th international conference, itp 2018, held as part of the federated logic conference, floc 2018, oxford, uk, july 9-12, 2018, proceedings 10 Treffer
- projet de vie au domicile pour les personnes en etat de conscience alteree apres un coma 10 Treffer
- proceedings of the international conference on industrial engineering & operations management 9 Treffer
- central european conference on information & intelligent systems 8 Treffer
- logic group preprint series 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
- 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
- aroq - just-food.com (global news) 4 Treffer
- encyclopedia of movement disorders 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
- 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
- 한국정보과학회 학술발표논문집 4 Treffer
- 100 ideas that changed street style 2 Treffer
- brewer's dictionary of irish phrase and fable 2 Treffer
- bridgeman images: christies collection 2 Treffer
- bridgeman images: deagostini library 2 Treffer
- dictionary of leisure, travel and tourism 2 Treffer
- dictionary of microbiology & molecular biology 2 Treffer
- educational research and reviews 2 Treffer
- international textile manufacturers federation. annual conference report 1 Treffer
- neuropsychiatrie de l'enfance et de l'adolescence 1 Treffer
- the jacquerie of 1358 : a french peasants' revolt 1 Treffer
Sprache
- english 8.874 Treffer
- french 1.657 Treffer
- unknown 543 Treffer
- spanish; castilian 292 Treffer
- german 94 Treffer
-
16 weitere Werte:
- multiple languages 72 Treffer
- italian 51 Treffer
- portuguese 26 Treffer
- japanese 19 Treffer
- spanish 9 Treffer
- korean 7 Treffer
- undetermined 7 Treffer
- latin 4 Treffer
- czech 3 Treffer
- hungarian 2 Treffer
- chinese 1 Treffer
- french, middle 1 Treffer
- indonesian 1 Treffer
- serbian 1 Treffer
- thai 1 Treffer
- turkish 1 Treffer
Geographischer Bezug
14.214 Treffer
-
2023Online E-BookZugriff:
-
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:
-
2023Online E-BookZugriff: