Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 11.563 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 5.479 Treffer
- LearningExpress Library 5.479 Treffer
- Kotar Digital Library 5.479 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 5.479 Treffer
-
178 weitere Werte:
- Janes Military & Security Assessments (JMSA) – News 5.479 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 5.479 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 5.479 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 5.479 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 5.479 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 5.479 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 5.479 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 5.479 Treffer
- Index New Zealand 5.479 Treffer
- Films on Demand 5.479 Treffer
- DieselNet Technology Guide 5.479 Treffer
- Janes Defence Equipment & Technology (JDET) - News 5.479 Treffer
- McGraw-Hill Medical 5.479 Treffer
- Sustainable Organization Library (SOL) 5.479 Treffer
- Torrossa 5.479 Treffer
- Beeld en Geluid op school 5.479 Treffer
- Ambrose Digital 5.479 Treffer
- Europeana 5.175 Treffer
- Gallica Bibliothèque numérique 1.477 Treffer
- Scopus® 1.041 Treffer
- MathSciNet via EBSCOhost 514 Treffer
- Economena Document Library 445 Treffer
- Emerald Insight 445 Treffer
- Health Reference Center 445 Treffer
- Marketline Advantage 445 Treffer
- Music ID 445 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 445 Treffer
- OpenAIRE 445 Treffer
- Sexual Health Visual 445 Treffer
- Techniques de L'ingenieur 445 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 445 Treffer
- NASA Technical Reports 445 Treffer
- IEEE Xplore Digital Library 442 Treffer
- ABC-CLIO eBooks 416 Treffer
- Elgaronline 416 Treffer
- ASTM Compass 416 Treffer
- PASCAL Archive 416 Treffer
- Politics Trove 416 Treffer
- Universalis 416 Treffer
- E-knihovna 416 Treffer
- VIDAL Consult 416 Treffer
- Westlaw UK 416 Treffer
- FRANCIS Archive 416 Treffer
- dblp computer science bibliography 414 Treffer
- British Library Document Supply Centre Inside Serials & Conference Proceedings 385 Treffer
- Networked Digital Library of Theses & Dissertations 303 Treffer
- Complementary Index 162 Treffer
- Bridgeman Education 154 Treffer
- OAIster 84 Treffer
- OpenDissertations 79 Treffer
- OAPEN Library 62 Treffer
- Bibliotheksverbund Bayern 62 Treffer
- IndianJournals.com 55 Treffer
- British Standards Online 55 Treffer
- ProjectMUSE 55 Treffer
- RAMBI 55 Treffer
- SciELO 55 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 55 Treffer
- IBISWorld 55 Treffer
- Idunn.no 55 Treffer
- NARCIS 48 Treffer
- TDX 25 Treffer
- Applied Science & Technology Source 22 Treffer
- PsychiatryOnline 22 Treffer
- SAGE Business Researcher 22 Treffer
- Teen Health & Wellness 22 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 22 Treffer
- Routledge Handbooks Online 22 Treffer
- McGraw-Hill eBook Library 22 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 22 Treffer
- Drama Online 22 Treffer
- British Library EThOS 22 Treffer
- Biodiversity Heritage Library 22 Treffer
- ICPSR Data Archive 22 Treffer
- BazTech 22 Treffer
- First Research 22 Treffer
- BrillOnline Primary Source 22 Treffer
- eArticle 20 Treffer
- 스콜라(Scholar) 20 Treffer
- Korean Studies Information Service System 20 Treffer
- KRpia 20 Treffer
- KERIS Theses & Dissertations 13 Treffer
- EcoLink 12 Treffer
- AraBase 12 Treffer
- Gale Business: Insights 12 Treffer
- Cambridge Core Books 12 Treffer
- Choice Reviews 12 Treffer
- ClinicalTrials.gov 12 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 12 Treffer
- JoVE Science Education Database 12 Treffer
- Islamic Info 12 Treffer
- INTELECOM Video Library 12 Treffer
- HumanIndex 12 Treffer
- EduSearch 12 Treffer
- Al Mandumah 12 Treffer
- ORBi 11 Treffer
- National Diet Library Digital Collections - 国立国会図書館デジタルコレクション 10 Treffer
- APA PsycInfo 9 Treffer
- Oxford Biblical Studies Online 8 Treffer
- Oxford Bibliographies 8 Treffer
- Oxford African American Studies Center 8 Treffer
- Oxford Medicine Online 8 Treffer
- Oxford Scholarly Editions Online 8 Treffer
- PsycheVisual 8 Treffer
- R2 Digital Library 8 Treffer
- Roubini Global Economics 8 Treffer
- Ibuk.pl 8 Treffer
- Gale Literature Resource Center 8 Treffer
- Center for Research Libraries 8 Treffer
- African Journals 8 Treffer
- Oxford Islamic Studies Online 8 Treffer
- Harvard Library Bibliographic Dataset 5 Treffer
- Digital Access to Scholarship at Harvard (DASH) 5 Treffer
- DBPIA 5 Treffer
- LUNA Commons 4 Treffer
- OnePetro 3 Treffer
- ECONIS 3 Treffer
- Gale In Context: Middle School 3 Treffer
- Base SantéPsy 3 Treffer
- Agrow 3 Treffer
- EMIS University – News Sources 3 Treffer
- EMIS University – Research Sources 3 Treffer
- EMIS University – Company Information 3 Treffer
- EMIS University M&A Information 3 Treffer
- SciTech Connect 3 Treffer
- SAGE Research Methods 3 Treffer
- Cairn.info International Edition 3 Treffer
- Psychotherapy.net 3 Treffer
- Gale Literature Criticism 3 Treffer
- Naxos Sheet Music 3 Treffer
- Multilegis: Publicationes Actualizables 3 Treffer
- Gale OneFile: CPI.Q 3 Treffer
- RxTx 3 Treffer
- KoreaScholar 2 Treffer
- Swedish National Bibliography 2 Treffer
- Memòria Digital de Catalunya (MDC) 2 Treffer
- ScienceDirect 1 Treffer
- Otzar Online 1 Treffer
- NORA (Norwegian Open Research Archive) 1 Treffer
- Leyex 1 Treffer
- Brill E-Book Collection 1 Treffer
- E-Periodica 1 Treffer
- ASM Medical Materials Database 1 Treffer
- ASM Alloy Center Database 1 Treffer
- Ambientalex 1 Treffer
- Digital Library of the Caribbean 1 Treffer
- HBO Kennisbank 1 Treffer
- FIS Bildung Literaturdatenbank (German Education Index) 1 Treffer
- ERIC 1 Treffer
- Oxford Research Encyclopedias 1 Treffer
- UC Press E-Books 1 Treffer
- Theologische Realenzyklopädie Online 1 Treffer
- Manuvo Make-Make 1 Treffer
- Gale Literature: Book Review Index 1 Treffer
- F1000Research 1 Treffer
- Economist Historical Archive 1 Treffer
- Digitalia Public Libraries 1 Treffer
- Digitalia Hispanica 1 Treffer
- DigiBib.Zorg 1 Treffer
- Dialnet 1 Treffer
- Central and Eastern European Online Library (CEEOL) 1 Treffer
- Bloomsbury Applied Visual Arts 1 Treffer
- BC Open Textbook Project 1 Treffer
- Openedition.org 1 Treffer
- BMJ Best Practice US 1 Treffer
- Churchill Archive 1 Treffer
- Kanopy 1 Treffer
- Manager Focus 1 Treffer
- New Palgrave Dictionary of Economics Online 1 Treffer
- NUMDAM 1 Treffer
- Cairn.info 1 Treffer
- Data-Planet Statistical Datasets 1 Treffer
- Erudit 1 Treffer
- Persée 1 Treffer
- SwePub 1 Treffer
- Supplemental Index 1 Treffer
- MGG Online 1 Treffer
- ARC Reports 1 Treffer
Art der Quelle
- Academic Journals 73.129 Treffer
- Conference Materials 9.873 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.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 2.004 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 921 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 553 Treffer
- [info]computer science [cs] 454 Treffer
- [sdv]life sciences [q-bio] 401 Treffer
-
45 weitere Werte:
- france 332 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 328 Treffer
- [shs.geo]humanities and social sciences/geography 328 Treffer
- computing and processing 277 Treffer
- belgium 270 Treffer
- [sde]environmental sciences 265 Treffer
- [sde.ie]environmental sciences/environmental engineering 240 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 240 Treffer
- components, circuits, devices and systems 223 Treffer
- formal verification 219 Treffer
- rooster 219 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 185 Treffer
- [shs]humanities and social sciences 181 Treffer
- proof assistant 179 Treffer
- communication, networking and broadcast technologies 178 Treffer
- type theory 167 Treffer
- world war i 166 Treffer
- [phys]physics [physics] 163 Treffer
- [shs.envir]humanities and social sciences/environmental studies 160 Treffer
- formal proof 160 Treffer
- monograph 157 Treffer
- gallus gallus 152 Treffer
- [spi]engineering sciences [physics] 150 Treffer
- verification 145 Treffer
- hist 142 Treffer
- [info.info-dc]computer science [cs]/distributed 139 Treffer
- and cluster computing [cs.dc] 139 Treffer
- chicken 139 Treffer
- parallel 139 Treffer
- data processing computer science 128 Treffer
- [shs.eco]humanities and social sciences/economics and finance 127 Treffer
- formal methods 127 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 125 Treffer
- [info.info-es]computer science [cs]/embedded systems 124 Treffer
- coq proof assistant 123 Treffer
- animal 118 Treffer
- scenes historiques -- 17e siecle 117 Treffer
- theorem proving 114 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 113 Treffer
- scenes historiques -- 1701-1788 112 Treffer
- envir 109 Treffer
- sweden 108 Treffer
- photography 107 Treffer
- phil 105 Treffer
- semantics 104 Treffer
Verlag
- hal ccsd 5.606 Treffer
- ieee 802 Treffer
- springer 454 Treffer
- acm 201 Treffer
- springer verlag 170 Treffer
-
45 weitere Werte:
- bridgeman education 154 Treffer
- institute of electrical and electronics engineers inc. 130 Treffer
- springer, cham 127 Treffer
- schloss dagstuhl. leibniz-zent. inform., wadern 99 Treffer
- association for computing machinery, inc 95 Treffer
- association for computing machinery 92 Treffer
- s.n. 91 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 84 Treffer
- springer, berlin 78 Treffer
- [s.n.] 66 Treffer
- spie 52 Treffer
- massachusetts institute of technology 39 Treffer
- elsevier 33 Treffer
- association for computing machinery (acm) 27 Treffer
- inria 26 Treffer
- () 24 Treffer
- ieom society international 18 Treffer
- ios press 13 Treffer
- universitat de barcelona 13 Treffer
- universidad de granada 11 Treffer
- american society for engineering management 9 Treffer
- edp sciences 9 Treffer
- proquest information & learning 9 Treffer
- faculty of organization & informatics 8 Treffer
- university college london (university of london) 6 Treffer
- university of edinburgh 6 Treffer
- korean institute of information scientists and engineers 4 Treffer
- universidad de cordoba, servicio de publicaciones 4 Treffer
- university of st andrews 4 Treffer
- 国立国会図書館 4 Treffer
- elsevier masson sas 3 Treffer
- university of kent 3 Treffer
- direction generale des travaux publics 1 Treffer
- ecole nationale veterinaire 1 Treffer
- eth 1 Treffer
- foulon 1 Treffer
- h. le soudier 1 Treffer
- impr. e. drouillard 1 Treffer
- international textile manufacturers federation 1 Treffer
- jouve 1 Treffer
- the university of bergen 1 Treffer
- universidad de la rioja (espana) 1 Treffer
- universite d'abomey-calavi, abomey-calavi, benin 1 Treffer
- universite de liege 1 Treffer
- universite de liege, liege, belgique 1 Treffer
Publikation
- lecture notes in computer science 485 Treffer
- item held by national library of australia 104 Treffer
- theses.fr 68 Treffer
- itp 57 Treffer
- interactive theorem proving 53 Treffer
-
45 weitere Werte:
- cpp 46 Treffer
- acm international conference proceeding series 26 Treffer
- aip conference proceedings 16 Treffer
- dissertation abstracts international 9 Treffer
- proceedings of the international conference on industrial engineering & operations management 9 Treffer
- central european conference on information & intelligent systems 8 Treffer
- dissertation abstracts international: section b: the sciences and engineering 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
- repositorio institucional da unb 4 Treffer
- unb 4 Treffer
- universidade de brasilia 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
- repositorio institucional da ufrn 3 Treffer
- ufrn 3 Treffer
- universidade federal do rio grande do norte 3 Treffer
- graduate theses and dissertations 2 Treffer
- 13th international conference on interactive theorem proving (itp 2022) 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
- english 8.674 Treffer
- french 5.145 Treffer
- unknown 1.816 Treffer
- multiple languages 710 Treffer
- spanish; castilian 557 Treffer
-
50 weitere Werte:
- german 368 Treffer
- portuguese 287 Treffer
- swedish 241 Treffer
- dutch; flemish 196 Treffer
- indonesian 155 Treffer
- latin 117 Treffer
- italian 99 Treffer
- greek, modern (1453-) 48 Treffer
- undetermined 42 Treffer
- japanese 28 Treffer
- czech 23 Treffer
- korean 16 Treffer
- turkish 15 Treffer
- zh-tw 15 Treffer
- polish 14 Treffer
- german, middle high (ca.1050-1500) 13 Treffer
- norwegian 12 Treffer
- en_us 11 Treffer
- chinese 10 Treffer
- french, middle (ca.1400-1600) 10 Treffer
- hungarian 10 Treffer
- no linguistic content; not applicable 9 Treffer
- estonian 8 Treffer
- finnish 7 Treffer
- lithuanian 7 Treffer
- persian 7 Treffer
- catalan; valencian 5 Treffer
- croatian 5 Treffer
- thai 5 Treffer
- creoles and pidgins, english based 4 Treffer
- hebrew 4 Treffer
- russian 4 Treffer
- breton 3 Treffer
- cat 3 Treffer
- slovenian 3 Treffer
- afrikaans 2 Treffer
- arabic 2 Treffer
- bokm�l, norwegian; norwegian bokm�l 2 Treffer
- en-us 2 Treffer
- slovak 2 Treffer
- albanian 1 Treffer
- creoles and pidgins, french-based 1 Treffer
- french, old (842-ca.1400) 1 Treffer
- greek 1 Treffer
- greek, ancient (to 1453) 1 Treffer
- icelandic 1 Treffer
- serbian 1 Treffer
- turkish, ottoman (1500-1928) 1 Treffer
- ukrainian 1 Treffer
- 中文 1 Treffer
Geographischer Bezug
22.067 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: