Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 263 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 84 Treffer
- chicken 77 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 76 Treffer
- proof assistant 72 Treffer
-
45 weitere Werte:
- gallus gallus 71 Treffer
- type theory 66 Treffer
- formal verification 64 Treffer
- phil 57 Treffer
- theorie des types 55 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 54 Treffer
- qh301 biology 54 Treffer
- chickens 52 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 46 Treffer
- formal methods 45 Treffer
- envir 43 Treffer
- hist 43 Treffer
- [sdv]life sciences [q-bio] 42 Treffer
- assistant de preuve 41 Treffer
- formal proof 39 Treffer
- verification 39 Treffer
- methodes formelles 38 Treffer
- preuve formelle 38 Treffer
- ddc:630 37 Treffer
- proof assistants 36 Treffer
- lang 35 Treffer
- static analysis 35 Treffer
- analyse statique 33 Treffer
- compilation 33 Treffer
- verification formelle 33 Treffer
- computer science 32 Treffer
- aves 30 Treffer
- biology 30 Treffer
- birds 28 Treffer
- coenzyme q 28 Treffer
- assistants de preuve 27 Treffer
- gallus gallus domesticus 27 Treffer
- certification 26 Treffer
- ddc:570 26 Treffer
- etd 26 Treffer
- programming languages 26 Treffer
- genetics 25 Treffer
- socio 24 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 23 Treffer
- geo 23 Treffer
- litt 23 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 22 Treffer
- [info]computer science [cs] 22 Treffer
- gene expression 22 Treffer
- avian 21 Treffer
Verlag
- hal ccsd 561 Treffer
- the university of edinburgh 49 Treffer
- pe 47 Treffer
- brasil 45 Treffer
- universidade estadual paulista (unesp) 44 Treffer
-
45 weitere Werte:
- linkopings universitet, institutionen for fysik, kemi och biologi 29 Treffer
- mcgill university 28 Treffer
- biblioteca digitais de teses e dissertacoes da usp 26 Treffer
- [yogyakarta] : universitas gadjah mada 25 Treffer
- fakultas kedokteran hewan 21 Treffer
- massachusetts institute of technology 20 Treffer
- springer 20 Treffer
- university of north texas 20 Treffer
- linkopings universitet, biologi 19 Treffer
- escholarship, university of california 16 Treffer
- figshare 16 Treffer
- linkopings universitet, tekniska hogskolan 16 Treffer
- br 15 Treffer
- universite d'ottawa / university of ottawa 15 Treffer
- biblioteca digital de teses e dissertacoes da usp 14 Treffer
- universidade de sao paulo 14 Treffer
- universidad nacional de trujillo 13 Treffer
- oregon state university 12 Treffer
- universidade federal de uberlandia 12 Treffer
- university of british columbia 12 Treffer
- florianopolis, sc 11 Treffer
- univerzita karlova, evangelicka teologicka fakulta 11 Treffer
- fakultas kedokteran hewan universitas syiah kuala 10 Treffer
- texas a&m university 10 Treffer
- universidad de buenos aires. facultad de ciencias exactas y naturales 10 Treffer
- universidade federal de pernambuco 10 Treffer
- universita degli studi di padova 10 Treffer
- university of guelph 10 Treffer
- university of pretoria 10 Treffer
- virginia tech 10 Treffer
- brock university 9 Treffer
- saarlandische universitats- und landesbibliothek 9 Treffer
- universidad de chile 9 Treffer
- universidad nacional mayor de san marcos 9 Treffer
- universidade tecnologica federal do parana 9 Treffer
- utfpr 9 Treffer
- benemerita universidad autonoma de puebla 8 Treffer
- programa de pos-graduacao em ciencias veterinarias 8 Treffer
- tierarztliche hochschule 8 Treffer
- ufpe 8 Treffer
- ufrn 8 Treffer
- univerzita karlova, filozoficka fakulta 8 Treffer
- alma mater studiorum - universita di bologna 7 Treffer
- justus-liebig-universitat giessen 7 Treffer
- texas a&m university. libraries 7 Treffer
Publikation
- theses.fr 68 Treffer
- $2 28 Treffer
- tdx (tesis doctorals en xarxa 13 Treffer
- universidad nacional de trujillo ; repositorio institucional - unitru 13 Treffer
- escholarship@mcgill: discover theses, dissertations, articles, and more 8 Treffer
-
45 weitere Werte:
- 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
- https://theses.hal.science/tel-00835078 ; sciences de la terre. universite d'orleans, 2012. francais. ⟨nnt : 2012orle2054⟩ 4 Treffer
- https://theses.hal.science/tel-03600951 ; genetique animale. universite paris-saclay, 2021. francais. ⟨nnt : 2021upasl096⟩ 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
- 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-01503244 ; genie des procedes. ecole des mines d'albi-carmaux, 2016. francais. ⟨nnt : 2016emac0013⟩ 3 Treffer
- https://theses.hal.science/tel-02337901 ; numerical analysis [cs.na]. universite de lyon, 2019. english. ⟨nnt : 2019lysen032⟩ 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
- universidad catolica de cuenca ; repositorio institucional - ucacue 3 Treffer
- universidad san ignacio de loyola ; repositorio institucional - usil 3 Treffer
- usf tampa graduate theses and dissertations 3 Treffer
- dissertations, theses, and capstone projects 2 Treffer
- giessen : vvb laufersweiler 2 Treffer
- hcnso student theses and dissertations 2 Treffer
- https://theses.hal.science/tel-01406351 ; category theory [math.ct]. universite de nantes, 2016 2 Treffer
- https://theses.hal.science/tel-03167534 ; intelligence artificielle [cs.ai]. universite aix-marseille; ecole doctorale 251, 2014. francais. ⟨nnt : ⟩ 2 Treffer
- https://theses.hal.science/tel-04274811 ; sociologie. institut national des langues et civilisations orientales- inalco paris - langues o', 2022. francais. ⟨nnt : 2022inal0015⟩ 2 Treffer
- maribor 2 Treffer
- paper copy kept in the centre for newfoundland studies, memorial university libraries 2 Treffer
- repositorio de tesis - unmsm ; universidad nacional mayor de san marcos 2 Treffer
- universidad catolica de santa maria - ucsm ; repositorio de tesis de la universidad catolica de santa maria 2 Treffer
- universidad cientifica del sur ; repositorio institucional - ucsur 2 Treffer
- universidad nacional agraria la molina ; repositorio institucional - unalm ; ingenieria de alimentos y productos agropecuarios ; universidad nacional agraria la molina. facultad de industrias alimentarias ; ingeniero en industrias alimentarias ; titulo profesional 2 Treffer
- universidad nacional de huancavelica ; repositorio institucional - unh 2 Treffer
- universidad nacional de piura / unp 2 Treffer
- universidad nacional hermilio valdizan ; repositorio institucional - unheval 2 Treffer
- universidad nacional pedro ruiz gallo ; repositorio institucional - concytec 2 Treffer
- universidad peruana del centro ; repositorio institucional - upecen 2 Treffer
- universidad privada del norte ; repositorio institucional - upn 2 Treffer
- aachen (2020). = bachelorarbeit, rwth aachen university, 2020 1 Treffer
- aachen 121 s. : ill., graph. darst. (1989). = aachen, techn. hochsch., diss., 1989 1 Treffer
- biblioteka uniwersytetu medycznego w poznaniu 1 Treffer
- cali 1 Treffer
- cck batchload 20201023 1 Treffer
Sprache
- english 1.360 Treffer
- french 556 Treffer
- unknown 400 Treffer
- spanish; castilian 386 Treffer
- portuguese 251 Treffer
-
28 weitere Werte:
- indonesian 154 Treffer
- german 126 Treffer
- latin 24 Treffer
- czech 23 Treffer
- greek, modern (1453-) 15 Treffer
- italian 15 Treffer
- turkish 14 Treffer
- polish 11 Treffer
- chinese 8 Treffer
- estonian 8 Treffer
- swedish 8 Treffer
- hungarian 7 Treffer
- lithuanian 7 Treffer
- finnish 6 Treffer
- croatian 5 Treffer
- thai 5 Treffer
- catalan; valencian 4 Treffer
- japanese 3 Treffer
- russian 3 Treffer
- slovenian 3 Treffer
- afrikaans 2 Treffer
- bokm�l, norwegian; norwegian bokm�l 2 Treffer
- dutch; flemish 2 Treffer
- norwegian 2 Treffer
- icelandic 1 Treffer
- korean 1 Treffer
- slovak 1 Treffer
- ukrainian 1 Treffer
Geographischer Bezug
3.356 Treffer
-
2024HochschulschriftZugriff:
-
2024HochschulschriftZugriff:
-
In: Universidad Nacional de Jaén||Repositorio Institucional - UNJ, 2023HochschulschriftZugriff:
-
2024Online HochschulschriftZugriff:
-
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:
-
In: https://theses.hal.science/tel-04165484 ; Logique en informatique [cs.LO]. Université Paris-Saclay, 2023. Français. ⟨NNT : 2023UPASG040⟩, 2023Online HochschulschriftZugriff:
-
In: https://shs.hal.science/tel-04601298 ; Geography. Le Mans Université, 2024, 2024Online HochschulschriftZugriff: