Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 2.296 Treffer
- arXiv 670 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 77 Treffer
- RAMBI 77 Treffer
- ProjectMUSE 77 Treffer
-
91 weitere Werte:
- Knovel 77 Treffer
- IndianJournals.com 77 Treffer
- Idunn.no 77 Treffer
- British Standards Online 77 Treffer
- LUNA Commons 63 Treffer
- Business Source Ultimate 19 Treffer
- Harvard Library Bibliographic Dataset 19 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 17 Treffer
- Emerald Insight 17 Treffer
- Health Reference Center 17 Treffer
- IEEE Xplore Digital Library 17 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 17 Treffer
- Music ID 17 Treffer
- OpenAIRE 17 Treffer
- Techniques de L'ingenieur 17 Treffer
- Islamic Info 16 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 16 Treffer
- Shamaa 16 Treffer
- HumanIndex 16 Treffer
- EduSearch 16 Treffer
- EcoLink 16 Treffer
- Choice Reviews 16 Treffer
- Cambridge Core Books 16 Treffer
- Al Mandumah 16 Treffer
- AraBase 16 Treffer
- Bibliotheksverbund Bayern 15 Treffer
- OAPEN Library 15 Treffer
- NARCIS 14 Treffer
- ClinicalTrials.gov 11 Treffer
- Marketline Advantage 10 Treffer
- Alexander Street 8 Treffer
- ERIC 7 Treffer
- NASA Technical Reports 7 Treffer
- ORBi 4 Treffer
- BMJ Best Practice US 4 Treffer
- UC Press E-Books 4 Treffer
- NUMDAM 4 Treffer
- New Palgrave Dictionary of Economics Online 4 Treffer
- Manager Focus 4 Treffer
- Kanopy 4 Treffer
- Churchill Archive 4 Treffer
- Complementary Index 4 Treffer
- Hoover's Company Profiles 2 Treffer
- Otzar Online 2 Treffer
- FIS Bildung Literaturdatenbank (German Education Index) 2 Treffer
- Brill E-Book Collection 2 Treffer
- E-Periodica 2 Treffer
- ASM Medical Materials Database 2 Treffer
- ASM Alloy Center Database 2 Treffer
- SciTech Connect 2 Treffer
- RxTx 2 Treffer
- Naxos Sheet Music 2 Treffer
- Multilegis: Publicationes Actualizables 2 Treffer
- Gale Literature Criticism 2 Treffer
- EMIS University M&A Information 2 Treffer
- NORA (Norwegian Open Research Archive) 2 Treffer
- EMIS University – Research Sources 2 Treffer
- EMIS University – Company Information 2 Treffer
- Cairn.info International Edition 2 Treffer
- Base SantéPsy 2 Treffer
- Agrow 2 Treffer
- EMIS University – News Sources 2 Treffer
- ASM Micrograph Database 2 Treffer
- Gale General OneFile 1 Treffer
- Gale OneFile: LegalTrac 1 Treffer
- Gale eBooks 1 Treffer
- Gale in Context: Biography 1 Treffer
- NUKAT 1 Treffer
- Gale In Context: High School 1 Treffer
- Beeld en Geluid op school 1 Treffer
- Torrossa 1 Treffer
- DieselNet Technology Guide 1 Treffer
- Europeana 1 Treffer
- Index New Zealand 1 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 1 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 1 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 1 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 1 Treffer
- Janes Defence Equipment & Technology (JDET) - News 1 Treffer
- Mergent Online 1 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 1 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 1 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 1 Treffer
- Janes Military & Security Assessments (JMSA) – News 1 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 1 Treffer
- Kotar Digital Library 1 Treffer
- LearningExpress Library 1 Treffer
- Openedition.org 1 Treffer
- Sustainable Organization Library (SOL) 1 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 1 Treffer
- Naxos Video Library 1 Treffer
Art der Quelle
- Academic Journals 73.130 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 209 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
- historical 69 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
- paris 43 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
Verlag
- hal ccsd 1.149 Treffer
- cirad 105 Treffer
- l. houbloup 81 Treffer
- amsterdam 18 Treffer
- jodocus hondius ii 18 Treffer
-
45 weitere Werte:
- s.n. 13 Treffer
- marketline, a progressive digital media business 11 Treffer
- marketline 10 Treffer
- nasa center for aerospace information (casi) 7 Treffer
- globaldata uk ltd 6 Treffer
- clc productions 5 Treffer
- edward stanford 3 Treffer
- im verlage des geographischen instituts 3 Treffer
- criticalmention, inc. 2 Treffer
- mclean hospital 2 Treffer
- sony pictures home entertainment 2 Treffer
- technische universiteit eindhoven 2 Treffer
- wellspring media 2 Treffer
- arkansas children's hospital research institute 1 Treffer
- artificial eye 1 Treffer
- beijing tongren hospital 1 Treffer
- bridge tower media holding company d/b/a bridge tower media 1 Treffer
- c major entertainment 1 Treffer
- children's hospital medical center, cincinnati 1 Treffer
- christal films 1 Treffer
- distributed by pbs distribution 1 Treffer
- first run features 1 Treffer
- forbes inc. 1 Treffer
- great chefs television 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 film and sound archive of australia 1 Treffer
- national institute on aging (nia) 1 Treffer
- naxos digital services us inc. 1 Treffer
- picture this! home video 1 Treffer
- pwxyz llc 1 Treffer
- studio canal 1 Treffer
- tdk 1 Treffer
- the university of bergen 1 Treffer
- uliege 1 Treffer
- university of rochester 1 Treffer
- video artists international 1 Treffer
- vpro 1 Treffer
- weill medical college of cornell university 1 Treffer
- wgbh 1 Treffer
- wgbh boston video 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.campus-aar.fr/medihal-01345726 ; 2003 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
- leo baeck institute lbi photograph collection 15 west 16th street, new york, ny 10011 2 Treffer
- local broadcast video content 2 Treffer
- revista brasileira de parasitologia veterinaria v.27 n.3 2018 2 Treffer
- 12 pp. (2014 1 Treffer
- 19 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