Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 2.095 Treffer
- arXiv 670 Treffer
- Business Source Ultimate 19 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 17 Treffer
- Emerald Insight 17 Treffer
-
62 weitere Werte:
- Health Reference Center 17 Treffer
- IEEE Xplore Digital Library 17 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 17 Treffer
- OpenAIRE 17 Treffer
- Sexual Health Visual 17 Treffer
- Techniques de L'ingenieur 17 Treffer
- Music ID 17 Treffer
- EduSearch 15 Treffer
- Cambridge Core Books 15 Treffer
- Digital Library of the Caribbean 15 Treffer
- EcoLink 15 Treffer
- Choice Reviews 15 Treffer
- HumanIndex 15 Treffer
- Islamic Info 15 Treffer
- JoVE Science Education Database 15 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 15 Treffer
- AraBase 15 Treffer
- NUKAT 15 Treffer
- Shamaa 15 Treffer
- INTELECOM Video Library 15 Treffer
- Al Mandumah 15 Treffer
- ProjectMUSE 14 Treffer
- RAMBI 14 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 14 Treffer
- Swedish National Bibliography 14 Treffer
- British Standards Online 14 Treffer
- Idunn.no 14 Treffer
- IndianJournals.com 14 Treffer
- BiblioBoard 14 Treffer
- LUNA Commons 14 Treffer
- NARCIS 14 Treffer
- Knovel 14 Treffer
- ClinicalTrials.gov 11 Treffer
- Marketline Advantage 10 Treffer
- NASA Technical Reports 7 Treffer
- ERIC 7 Treffer
- ORBi 4 Treffer
- Complementary Index 4 Treffer
- NORA (Norwegian Open Research Archive) 2 Treffer
- Otzar Online 2 Treffer
- FIS Bildung Literaturdatenbank (German Education Index) 2 Treffer
- Agrow 2 Treffer
- Brill E-Book Collection 2 Treffer
- Base SantéPsy 2 Treffer
- Cairn.info International Edition 2 Treffer
- EMIS University – Company Information 2 Treffer
- EMIS University – News Sources 2 Treffer
- EMIS University – Research Sources 2 Treffer
- EMIS University M&A Information 2 Treffer
- Gale In Context: Middle School 2 Treffer
- Gale Literature Criticism 2 Treffer
- Multilegis: Publicationes Actualizables 2 Treffer
- Naxos Sheet Music 2 Treffer
- Psychotherapy.net 2 Treffer
- RxTx 2 Treffer
- SciTech Connect 2 Treffer
- Hoover's Company Profiles 2 Treffer
- ASM Alloy Center Database 2 Treffer
- ASM Medical Materials Database 2 Treffer
- ASM Micrograph Database 2 Treffer
- E-Periodica 2 Treffer
- Mergent Online 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
- computer science - logic in computer science 398 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 261 Treffer
- computer science - programming languages 242 Treffer
- cern lhc coll 225 Treffer
- atlas 221 Treffer
-
45 weitere Werte:
- coq 207 Treffer
- p p: scattering 187 Treffer
- experimental results 155 Treffer
- [shs.geo]humanities and social sciences/geography 137 Treffer
- [info]computer science [cs] 126 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 111 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 110 Treffer
- p p: colliding beams 99 Treffer
- info:eu-repo/classification/ddc/530 89 Treffer
- [shs.envir]humanities and social sciences/environmental studies 88 Treffer
- [shs.eco]humanities and social sciences/economics and finance 76 Treffer
- formal proof 64 Treffer
- 8000 gev-cms 60 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 59 Treffer
- background 57 Treffer
- proof assistant 56 Treffer
- [phys.phys.phys-ins-det]physics [physics]/physics [physics]/instrumentation and detectors [physics.ins-det] 52 Treffer
- 13000 gev-cms 47 Treffer
- ddc:330 47 Treffer
- [shs.socio]humanities and social sciences/sociology 45 Treffer
- f.4.1 44 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 41 Treffer
- mathematics - logic 40 Treffer
- [info.info-dc]computer science [cs]/distributed 38 Treffer
- and cluster computing [cs.dc] 38 Treffer
- parallel 38 Treffer
- [phys.hexp]physics [physics]/high energy physics - experiment [hep-ex] 36 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 35 Treffer
- computer science - software engineering 35 Treffer
- transverse momentum: missing-energy 35 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 33 Treffer
- fos computer and information sciences 33 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 32 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 32 Treffer
- preuve formelle 32 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 31 Treffer
- [shs.scipo]humanities and social sciences/political science 30 Treffer
- computer science - artificial intelligence 30 Treffer
- mathematics - category theory 30 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 29 Treffer
- [sde]environmental sciences 29 Treffer
- physics - optics 29 Treffer
- rewriting 29 Treffer
- top: pair production 29 Treffer
- certification 28 Treffer
Verlag
- hal ccsd 1.135 Treffer
- cirad 105 Treffer
- springer 44 Treffer
- arxiv 39 Treffer
- persee 30 Treffer
-
45 weitere Werte:
- union europeenne 29 Treffer
- cgiar 23 Treffer
- art-dev 21 Treffer
- cgiar research program on climate change, agriculture and food security 19 Treffer
- serena 18 Treffer
- north-holland publ. 16 Treffer
- persee : universite de lyon, cnrs & ens de lyon 16 Treffer
- s.n. 13 Treffer
- stockholm: stockholm school of economics, stockholm institute of transition economics (site) 12 Treffer
- marketline, a progressive digital media business 11 Treffer
- zurich: center for research in economics, management and the arts (crema) 11 Treffer
- marketline 10 Treffer
- soc. 10 Treffer
- stockholm: stockholm school of economics, the economic research institute (efi) 9 Treffer
- editions des deux coqs d'or 8 Treffer
- inra 8 Treffer
- paris 8 Treffer
- nasa center for aerospace information (casi) 7 Treffer
- university of pretoria 7 Treffer
- cirad-tera 6 Treffer
- cornell university 6 Treffer
- globaldata uk ltd 6 Treffer
- la compagnie du livre 6 Treffer
- aps 5 Treffer
- not available 5 Treffer
- mclean hospital 2 Treffer
- technische universiteit eindhoven 2 Treffer
- arkansas children's hospital research institute 1 Treffer
- beijing tongren hospital 1 Treffer
- bridge tower media holding company d/b/a bridge tower media 1 Treffer
- centre on regulation in europe (cerre) 1 Treffer
- children's hospital medical center, cincinnati 1 Treffer
- forbes inc. 1 Treffer
- hadassah medical organization 1 Treffer
- harvard university 1 Treffer
- hpci media limited 1 Treffer
- m. shanken communications, inc. 1 Treffer
- massachusetts general hospital 1 Treffer
- nantes university hospital 1 Treffer
- national institute on aging (nia) 1 Treffer
- pwxyz llc 1 Treffer
- the university of bergen 1 Treffer
- uliege 1 Treffer
- university of rochester 1 Treffer
- weill medical college of cornell university 1 Treffer
Publikation
- olvi plc marketline company profile 11 Treffer
- https://hal.science/hal-02054506 ; [rapport de recherche] mission de recherche droit & justice. 2018, http://www.gip-recherche-justice.fr/wp-content/uploads/2018/05/15-24-rapport-final_%c3%89tat-civil-de-demain-et-transidentit%c3%a9_mai-2018.pdf 9 Treffer
- https://shs.hal.science/halshs-02071681 ; [0] saisine n° 2014-sa-0016, anses. 2016, 345 p 9 Treffer
- https://hal.science/hal-04193484 ; [rapport de recherche] eveha - etudes et valorisations archeologiques (limoges); service regional de l'archeologie centre-val de loire. 2022, pp.416 8 Treffer
- logic group preprint series 8 Treffer
-
45 weitere Werte:
- https://hal.in2p3.fr/in2p3-00438264 ; [research report] lapp. 2009, pp.52 7 Treffer
- https://hal.in2p3.fr/in2p3-00462509 ; 2010 7 Treffer
- https://hal.sorbonne-universite.fr/hal-03111541 ; 2021 7 Treffer
- https://hal.science/hal-04210610 ; cnrs letg. 2020 6 Treffer
- https://hal.science/hal-03557760 ; [research report] irif; irisa; insa rennes. 2022, pp.1-36 5 Treffer
- https://hal.sorbonne-universite.fr/hal-01762962 ; [research report] sorbonne universite, cnrs, laboratoire d'informatique de paris 6, lip6, f-75005 paris, france. 2018, pp.1-12 5 Treffer
- https://inria.hal.science/hal-04550762 ; rr-9547, inria. 2024, pp.13 5 Treffer
- aroq - just-food.com (global news) 4 Treffer
- https://hal.science/hal-03113589 ; [research report] university of pretoria. 2014, 46 p 4 Treffer
- https://hal.science/hal-04225130 ; inria sophia antipolis - mediterranee, universite cote d'azur; national institute of advanced industrial science and technology (aist), japan; onera / dtis, universite de toulouse, france. 2023, pp.1-12 4 Treffer
- https://hal.science/hal-04382873 ; 2024 4 Treffer
- 32 pp. (2014 3 Treffer
- https://anses.hal.science/anses-04082679 ; saisine n°2022-sa-0139, anses. 2022, 46 p 3 Treffer
- https://hal.in2p3.fr/in2p3-00011367 ; 1996, pp.189 3 Treffer
- https://hal.in2p3.fr/in2p3-00011368 ; 1996, pp.100 3 Treffer
- https://hal.in2p3.fr/in2p3-00011404 ; 1994, pp.1-289 3 Treffer
- https://hal.science/hal-00834633 ; [research report] 1560, lri - cnrs, university paris-sud. 2013 3 Treffer
- https://hal.science/hal-01801851 ; 2018 3 Treffer
- https://inria.hal.science/hal-03194113 ; [research report] rr-9401, inria, france. 2021, pp.38 3 Treffer
- https://inria.hal.science/hal-04008820 ; 2023 3 Treffer
- https://inria.hal.science/inria-00383793 ; [research report] rr-6927, inria. 2009, pp.34 3 Treffer
- orbi : universite de liege 3 Treffer
- aroq - just-style.com (global news) 2 Treffer
- ecommons : open scholarship at cornell 2 Treffer
- educational research and reviews 2 Treffer
- https://hal.science/hal-03006397 ; 2020 2 Treffer
- https://hal.science/hal-03016385 ; 2020 2 Treffer
- https://hal.science/hal-04570627 ; 2024 2 Treffer
- https://inria.hal.science/hal-03564379 ; [research report] rr-9457, institut national de recherche en informatique et en automatique (inria). 2023, pp.17 2 Treffer
- https://shs.hal.science/halshs-02476743 ; [rapport de recherche] cirad. 2019 2 Treffer
- https://univ-pantheon-assas.hal.science/hal-04318563 ; 2023 2 Treffer
- hyper article en ligne - sciences de l'homme et de la societe ; 2014 2 Treffer
- hyper article en ligne - sciences de l'homme et de la societe ; 2015 2 Treffer
- revista brasileira de parasitologia veterinaria v.27 n.3 2018 2 Treffer
- 12 pp. (2014 1 Treffer
- 19 pp. (2014 1 Treffer
- 20 pp. (2014 1 Treffer
- 26 ; 1 1 Treffer
- 29 pp. (2014 1 Treffer
- acta didactica napocensia 1 Treffer
- artificial intelligence preprint series 1 Treffer
- design and application of strategies/tactics in higher order logics 1 Treffer
- developmental disabilities research reviews 1 Treffer
- proceedings of the first nasa formal methods symposium 1 Treffer
- proceedings of the third international workshop on proof-carrying code and software certification 1 Treffer