Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 3.199 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 303 Treffer
- Canada Commons 303 Treffer
- DieselNet Technology Guide 303 Treffer
- Europeana 303 Treffer
-
119 weitere Werte:
- Films on Demand 303 Treffer
- Index New Zealand 303 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 303 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 303 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 303 Treffer
- Janes Defence Equipment & Technology (JDET) - News 303 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 303 Treffer
- Beeld en Geluid op school 303 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 303 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 303 Treffer
- Janes Military & Security Assessments (JMSA) – News 303 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 303 Treffer
- Kotar Digital Library 303 Treffer
- LearningExpress Library 303 Treffer
- McGraw-Hill Medical 303 Treffer
- Networked Digital Library of Theses & Dissertations 303 Treffer
- Openedition.org 303 Treffer
- Sustainable Organization Library (SOL) 303 Treffer
- Torrossa 303 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 303 Treffer
- Ambrose Digital 303 Treffer
- OpenDissertations 79 Treffer
- TDX 25 Treffer
- Biodiversity Heritage Library 22 Treffer
- BazTech 22 Treffer
- BrillOnline Primary Source 22 Treffer
- British Library EThOS 22 Treffer
- Drama Online 22 Treffer
- First Research 22 Treffer
- ICPSR Data Archive 22 Treffer
- McGraw-Hill eBook Library 22 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 22 Treffer
- PsychiatryOnline 22 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 22 Treffer
- SAGE Business Researcher 22 Treffer
- Teen Health & Wellness 22 Treffer
- Routledge Handbooks Online 22 Treffer
- DBPIA 14 Treffer
- eArticle 14 Treffer
- KERIS Theses & Dissertations 14 Treffer
- Korean Studies Information Service System 14 Treffer
- KoreaScholar 14 Treffer
- KRpia 14 Treffer
- 스콜라(Scholar) 14 Treffer
- IndianJournals.com 9 Treffer
- Knovel 9 Treffer
- LUNA Commons 9 Treffer
- ProjectMUSE 9 Treffer
- RAMBI 9 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 9 Treffer
- British Standards Online 9 Treffer
- BiblioBoard 9 Treffer
- APA PsycInfo 9 Treffer
- Idunn.no 9 Treffer
- SciELO 9 Treffer
- IBISWorld 9 Treffer
- Oxford Bibliographies 8 Treffer
- Oxford Islamic Studies Online 8 Treffer
- Oxford African American Studies Center 8 Treffer
- Ibuk.pl 8 Treffer
- Gale Literature Resource Center 8 Treffer
- Center for Research Libraries 8 Treffer
- Oxford Medicine Online 8 Treffer
- Oxford Biblical Studies Online 8 Treffer
- Oxford Scholarly Editions Online 8 Treffer
- African Journals 8 Treffer
- R2 Digital Library 8 Treffer
- PsycheVisual 8 Treffer
- Roubini Global Economics 8 Treffer
- National Diet Library Digital Collections - 国立国会図書館デジタルコレクション 7 Treffer
- NARCIS 6 Treffer
- NUKAT 4 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 4 Treffer
- JoVE Science Education Database 4 Treffer
- Islamic Info 4 Treffer
- INTELECOM Video Library 4 Treffer
- HumanIndex 4 Treffer
- EduSearch 4 Treffer
- Digital Library of the Caribbean 4 Treffer
- ClinicalTrials.gov 4 Treffer
- Choice Reviews 4 Treffer
- Cambridge Core Books 4 Treffer
- Gale Business: Insights 4 Treffer
- ORBi 4 Treffer
- EcoLink 4 Treffer
- AraBase 4 Treffer
- Al Mandumah 4 Treffer
- ECONIS 2 Treffer
- Swedish National Bibliography 2 Treffer
- Manuvo Make-Make 1 Treffer
- HBO Kennisbank 1 Treffer
- Digital Access to Scholarship at Harvard (DASH) 1 Treffer
- Otzar Online 1 Treffer
- NORA (Norwegian Open Research Archive) 1 Treffer
- ARC Reports 1 Treffer
- BC Open Textbook Project 1 Treffer
- Bloomsbury Applied Visual Arts 1 Treffer
- Central and Eastern European Online Library (CEEOL) 1 Treffer
- Dialnet 1 Treffer
- DigiBib.Zorg 1 Treffer
- Digitalia Hispanica 1 Treffer
- Library Stack 1 Treffer
- Digitalia Public Libraries 1 Treffer
- F1000Research 1 Treffer
- Ambientalex 1 Treffer
- ASM Alloy Center Database 1 Treffer
- ASM Medical Materials Database 1 Treffer
- ASM Micrograph Database 1 Treffer
- Brill E-Book Collection 1 Treffer
- E-Periodica 1 Treffer
- FIS Bildung Literaturdatenbank (German Education Index) 1 Treffer
- Gale Literature: Book Review Index 1 Treffer
- Wiley Digital Archives 1 Treffer
- Theologische Realenzyklopädie Online 1 Treffer
- SMART Imagebase 1 Treffer
- Oxford Research Encyclopedias 1 Treffer
- MGG Online 1 Treffer
- Economist Historical Archive 1 Treffer
- Leyex 1 Treffer
Art der Quelle
- Academic Journals 72.512 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.568 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 331 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 81 Treffer
- proof assistant 81 Treffer
- chicken 76 Treffer
- formal verification 76 Treffer
-
45 weitere Werte:
- [info.info-oh]computer science [cs]/other [cs.oh] 75 Treffer
- type theory 74 Treffer
- theorie des types 69 Treffer
- gallus gallus 68 Treffer
- phil 57 Treffer
- computer science 55 Treffer
- formal methods 55 Treffer
- qh301 biology 55 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 54 Treffer
- verification 52 Treffer
- preuve formelle 50 Treffer
- assistant de preuve 49 Treffer
- chickens 48 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 46 Treffer
- compilation 44 Treffer
- formal proof 44 Treffer
- methodes formelles 44 Treffer
- envir 43 Treffer
- hist 43 Treffer
- proof assistants 43 Treffer
- static analysis 42 Treffer
- verification formelle 42 Treffer
- analyse statique 40 Treffer
- coenzyme q 37 Treffer
- ddc:630 37 Treffer
- assistants de preuve 35 Treffer
- lang 35 Treffer
- certification 34 Treffer
- [sdv]life sciences [q-bio] 32 Treffer
- biology 30 Treffer
- programming languages 30 Treffer
- aves 29 Treffer
- coq proof assistant 28 Treffer
- gallus gallus domesticus 27 Treffer
- ddc:570 26 Treffer
- etd 26 Treffer
- mitochondria 26 Treffer
- biochemistry 24 Treffer
- socio 24 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 23 Treffer
- [info:info_oh] computer science/other 23 Treffer
- geo 23 Treffer
- interpretation abstraite 23 Treffer
- litt 23 Treffer
- reecriture 23 Treffer
Verlag
- hal ccsd 532 Treffer
- brasil 49 Treffer
- massachusetts institute of technology 39 Treffer
- universite d'ottawa / university of ottawa 21 Treffer
- universidad de granada 11 Treffer
-
45 weitere Werte:
- ecole polytechnique x 10 Treffer
- proquest information & learning 9 Treffer
- universitat de barcelona 9 Treffer
- universite paris-diderot - paris vii 9 Treffer
- universidad de cordoba, servicio de publicaciones 8 Treffer
- university of st andrews 8 Treffer
- university of southampton 7 Treffer
- university college london (university of london) 6 Treffer
- university of cambridge 6 Treffer
- university of edinburgh 6 Treffer
- the university of bergen 4 Treffer
- 国立国会図書館 4 Treffer
- university of kent 3 Treffer
- anglia ruskin university 2 Treffer
- heriot-watt university 2 Treffer
- king's college london (university of london) 2 Treffer
- university of bedfordshire 2 Treffer
- university of bristol 2 Treffer
- university of leicester 2 Treffer
- university of oxford 2 Treffer
- 부산대학교 2 Treffer
- 성균관대학교 일반대학원 2 Treffer
- 한남대학교 대학원 2 Treffer
- [s.l. : s.n.] 1 Treffer
- de haagse hogeschool 1 Treffer
- ecole nationale veterinaire 1 Treffer
- economic research institute, stockholm school of economics (efi) 1 Treffer
- eth 1 Treffer
- foulon 1 Treffer
- h. le soudier 1 Treffer
- impr. e. drouillard 1 Treffer
- jouve 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
- univesity of twente 1 Treffer
- 가천대학교 일반대학원 1 Treffer
- 건국대학교 대학원 1 Treffer
- 경상대학교 대학원 1 Treffer
- 경희대학교 대학원 1 Treffer
- 고려대학교 대학원 1 Treffer
- 부경대학교 대학원 1 Treffer
- 숙명여자대학교 대학원 1 Treffer
- 영남대학교 대학원 1 Treffer
Publikation
- theses.fr 68 Treffer
- tdx (tesis doctorals en xarxa 13 Treffer
- universidad nacional de trujillo ; repositorio institucional - unitru 13 Treffer
- dissertation abstracts international 9 Treffer
- dissertation abstracts international: section b: the sciences and engineering 8 Treffer
-
45 weitere Werte:
- escholarship@mcgill: discover theses, dissertations, articles, and more 8 Treffer
- universidad nacional mayor de san marcos ; repositorio de tesis - unmsm 7 Treffer
- universidad nacional de san cristobal de huamanga ; repositorio institucional - unsch 6 Treffer
- https://theses.hal.science/tel-03177641 ; ecologie, environnement. universite paris sciences et lettres, 2020. francais. ⟨nnt : 2020upslp041⟩ 5 Treffer
- repositorio institucional - ucv ; universidad cesar vallejo 5 Treffer
- universidad catolica de santa maria ; repositorio de la universidad catolica de santa maria - ucsm 5 Treffer
- universidad nacional de san agustin de arequipa ; repositorio institucional - unsa 5 Treffer
- repositorio institucional da unb 4 Treffer
- unb 4 Treffer
- universidad nacional agraria de la selva ; repositorio institucional unas 4 Treffer
- universidad nacional del santa ; repositorio institucional - uns 4 Treffer
- universidad nacional jorge basadre grohmann ; repositorio institucional - unjbg 4 Treffer
- universidade de brasilia 4 Treffer
- corpusul 3 Treffer
- doctoral thesis, university of london 3 Treffer
- https://dumas.ccsd.cnrs.fr/dumas-00530710 ; symbolic computation [cs.sc]. 2010 3 Treffer
- https://theses.hal.science/tel-01486550 ; logic in computer science [cs.lo]. ecole des mines de nantes, 2016. english. ⟨nnt : 2016emna0298⟩ 3 Treffer
- https://theses.hal.science/tel-03167534 ; intelligence artificielle [cs.ai]. universite aix-marseille; ecole doctorale 251, 2014. francais. ⟨nnt : ⟩ 3 Treffer
- https://theses.hal.science/tel-04274811 ; sociologie. institut national des langues et civilisations orientales- inalco paris - langues o', 2022. francais. ⟨nnt : 2022inal0015⟩ 3 Treffer
- https://theses.hal.science/tel-04368459 ; chemical and process engineering. ecole nationale superieure mines-telecom atlantique, 2021. english. ⟨nnt : 2021imta0267⟩ 3 Treffer
- repositorio institucional - uns 3 Treffer
- repositorio institucional da ufrn 3 Treffer
- theses and dissertations 3 Treffer
- ufrn 3 Treffer
- universidad san ignacio de loyola ; repositorio institucional - usil 3 Treffer
- universidade federal do rio grande do norte 3 Treffer
- usf tampa graduate theses and dissertations 3 Treffer
- dissertations, theses, and capstone projects 2 Treffer
- graduate theses and dissertations 2 Treffer
- biblioteca digital de teses e dissertacoes da usp 1 Treffer
- dissertation abstracts international section a: humanities and social sciences 1 Treffer
- etsu faculty works 1 Treffer
- master's theses 1 Treffer
- masters theses (all theses, all years) 1 Treffer
- repositorio institucional da ufpe 1 Treffer
- repositorio institucional da unicamp 1 Treffer
- repositorio institucional da unisinos 1 Treffer
- ufpe 1 Treffer
- unicamp 1 Treffer
- unisinos 1 Treffer
- universidade de sao paulo 1 Treffer
- universidade do vale do rio dos sinos 1 Treffer
- universidade estadual de campinas 1 Treffer
- universidade federal de pernambuco 1 Treffer
- usp 1 Treffer
Sprache
- english 1.485 Treffer
- french 628 Treffer
- spanish; castilian 389 Treffer
- unknown 342 Treffer
- portuguese 268 Treffer
-
33 weitere Werte:
- indonesian 152 Treffer
- german 128 Treffer
- latin 24 Treffer
- czech 23 Treffer
- greek, modern (1453-) 15 Treffer
- italian 15 Treffer
- zh-tw 15 Treffer
- turkish 14 Treffer
- en_us 11 Treffer
- polish 11 Treffer
- korean 10 Treffer
- swedish 9 Treffer
- chinese 8 Treffer
- hungarian 7 Treffer
- lithuanian 7 Treffer
- estonian 6 Treffer
- finnish 6 Treffer
- croatian 5 Treffer
- thai 5 Treffer
- catalan; valencian 4 Treffer
- cat 3 Treffer
- dutch; flemish 3 Treffer
- japanese 3 Treffer
- russian 3 Treffer
- slovenian 3 Treffer
- afrikaans 2 Treffer
- bokm�l, norwegian; norwegian bokm�l 2 Treffer
- en-us 2 Treffer
- norwegian 2 Treffer
- slovak 2 Treffer
- icelandic 1 Treffer
- ukrainian 1 Treffer
- 中文 1 Treffer
Geographischer Bezug
3.684 Treffer
-
2024HochschulschriftZugriff:
-
2018HochschulschriftZugriff:
-
In: Universidad Nacional de Jaén||Repositorio Institucional - UNJ, 2023HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-04405955 ; Systems and Control [cs.SY]. Université de Rennes, 2023. English. ⟨NNT : 2023URENS060⟩, 2023Online HochschulschriftZugriff:
-
2023Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-04165484 ; Logique en informatique [cs.LO]. Université Paris-Saclay, 2023. Français. ⟨NNT : 2023UPASG040⟩, 2023Online HochschulschriftZugriff:
-
2015Online HochschulschriftZugriff:
-
2021Online HochschulschriftZugriff:
-
2021HochschulschriftZugriff: