Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- OAIster 4.361 Treffer
- BASE 671 Treffer
- Films on Demand 105 Treffer
- Index New Zealand 105 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 105 Treffer
-
80 weitere Werte:
- Janes Defence Equipment & Technology (JDET) - Air & Space 105 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 105 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 105 Treffer
- Janes Defence Equipment & Technology (JDET) - News 105 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 105 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 105 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 105 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 105 Treffer
- Janes Military & Security Assessments (JMSA) – News 105 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 105 Treffer
- Kotar Digital Library 105 Treffer
- McGraw-Hill Medical 105 Treffer
- Networked Digital Library of Theses & Dissertations 105 Treffer
- Openedition.org 105 Treffer
- Sustainable Organization Library (SOL) 105 Treffer
- Torrossa 105 Treffer
- Europeana 105 Treffer
- Beeld en Geluid op school 105 Treffer
- Ambrose Digital 105 Treffer
- SciELO 63 Treffer
- RAMBI 63 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 63 Treffer
- BiblioBoard 63 Treffer
- British Standards Online 63 Treffer
- CogPrints 63 Treffer
- HBO Kennisbank 63 Treffer
- IBISWorld 63 Treffer
- Idunn.no 63 Treffer
- IndianJournals.com 63 Treffer
- NARCIS 63 Treffer
- ProjectMUSE 63 Treffer
- LUNA Commons 63 Treffer
- OAPEN Library 49 Treffer
- Bibliotheksverbund Bayern 49 Treffer
- ECONIS 43 Treffer
- BrillOnline Primary Source 22 Treffer
- SAGE Business Researcher 22 Treffer
- Routledge Handbooks Online 22 Treffer
- PsychiatryOnline 22 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 22 Treffer
- McGraw-Hill eBook Library 22 Treffer
- Biodiversity Heritage Library 22 Treffer
- Teen Health & Wellness 22 Treffer
- First Research 22 Treffer
- Drama Online 22 Treffer
- British Library EThOS 22 Treffer
- BazTech 22 Treffer
- ICPSR Data Archive 22 Treffer
- Al Mandumah 10 Treffer
- Gale Business: Insights 10 Treffer
- Islamic Info 10 Treffer
- Choice Reviews 10 Treffer
- ClinicalTrials.gov 10 Treffer
- EcoLink 10 Treffer
- EduSearch 10 Treffer
- HumanIndex 10 Treffer
- INTELECOM Video Library 10 Treffer
- Shamaa 10 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 10 Treffer
- AraBase 10 Treffer
- JoVE Science Education Database 10 Treffer
- GBV Online Contents 7 Treffer
- Cambridge Core Books 5 Treffer
- Wiley Online Reference Works 4 Treffer
- Archives Unbound 4 Treffer
- Bibliomed 4 Treffer
- Bloomsbury Architecture Library 4 Treffer
- CEIC Data 4 Treffer
- Commonwealth iLibrary 4 Treffer
- GeoScienceWorld 4 Treffer
- Open Research Library 4 Treffer
- United Nations iLibrary (OECD) 4 Treffer
- University of Michigan Press Ebook Collection 4 Treffer
- AnthroSource 4 Treffer
- Anopress 4 Treffer
- ORBi 3 Treffer
- Harvard Library Bibliographic Dataset 2 Treffer
- NUKAT 1 Treffer
- EU Bookshop 1 Treffer
- Digital Library of the Caribbean 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
- orchestral music parts. 420 Treffer
- orchestre, musique d' parties. 360 Treffer
- orchestral music--parts 300 Treffer
- coq 141 Treffer
- historical 69 Treffer
-
45 weitere Werte:
- orchestral music scores. 56 Treffer
- paris 43 Treffer
- orchestral music--scores 42 Treffer
- orchestre, musique d' partitions. 42 Treffer
- iris 31 Treffer
- proof assistant 30 Treffer
- formal verification 29 Treffer
- separation logic 22 Treffer
- symphony orchestras--united states 21 Treffer
- verification 19 Treffer
- concurrency 17 Treffer
- motiv 17 Treffer
- vedute 17 Treffer
- stat 16 Treffer
- 004 15 Treffer
- info 15 Treffer
- distributed systems 14 Treffer
- orchestral music scores 14 Treffer
- classical 13 Treffer
- proof assistants 13 Treffer
- science policy 13 Treffer
- coq proof assistant 12 Treffer
- formal methods 12 Treffer
- formal proofs 12 Treffer
- world 12 Treffer
- compilation 11 Treffer
- mathematical software 11 Treffer
- schifffahrt 11 Treffer
- biochemistry 10 Treffer
- chemical sciences not elsewhere classified 10 Treffer
- type theory 10 Treffer
- dependent types 9 Treffer
- biological sciences not elsewhere classified 8 Treffer
- cartouches (ornement) 8 Treffer
- celestial 8 Treffer
- formal semantics 8 Treffer
- genetics 8 Treffer
- interaction trees 8 Treffer
- program notes 8 Treffer
- rust 8 Treffer
- choreographic programming 7 Treffer
- medicine 7 Treffer
- model-based testing 7 Treffer
- plant biology 7 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 6 Treffer
Verlag
- centre de recherche bretonne et celtique 224 Treffer
- s.n. 158 Treffer
- zenodo 147 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 104 Treffer
- cirad 100 Treffer
-
45 weitere Werte:
- l. houbloup 81 Treffer
- escholarship, university of california 67 Treffer
- bibliotheque de l'universite laval 53 Treffer
- inria 47 Treffer
- unit 47 Treffer
- elsevier 37 Treffer
- ssrn 35 Treffer
- massachusetts institute of technology 33 Treffer
- alma mater studiorum - university of bologna 31 Treffer
- red pp-al 31 Treffer
- cgiar 30 Treffer
- ed. quae 26 Treffer
- (paris) 24 Treffer
- lipics - leibniz international proceedings in informatics. 12th international conference on interactive theorem proving (itp 2021) 24 Treffer
- springer 23 Treffer
- lipics - leibniz international proceedings in informatics. 10th international conference on interactive theorem proving (itp 2019) 22 Treffer
- univ.- und landesbibliothek 22 Treffer
- hal ccsd 21 Treffer
- association for computing machinery (acm) 20 Treffer
- cgiar research program on climate change, agriculture and food security 20 Treffer
- stockholms universitet, matematiska institutionen 20 Treffer
- amsterdam 18 Treffer
- jodocus hondius ii 18 Treffer
- cambridge university press 9 Treffer
- university college london (university of london) 6 Treffer
- university of edinburgh 6 Treffer
- university of st andrews 4 Treffer
- edward stanford 3 Treffer
- im verlage des geographischen instituts 3 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
- mcgill university 2 Treffer
- university of bedfordshire 2 Treffer
- university of bristol 2 Treffer
- university of leicester 2 Treffer
- university of oxford 2 Treffer
- cultural resource solutions 1 Treffer
- national library of canada = bibliotheque nationale du canada 1 Treffer
- royal holloway, university of london 1 Treffer
- universite laval 1 Treffer
- university of cambridge 1 Treffer
- university of hull 1 Treffer
- university of southampton 1 Treffer
Publikation
- au library scholarly publishing services 4 Treffer
- baston, colm and capretta, venanzio (2018) the coinductive formulation of common knowledge. in: itp 2018 - interactive theorem proving, 9-12 august 2018, oxford, uk. 4 Treffer
- doi:10.1017/s0956796815000180 4 Treffer
- ciencia ergo-sum, issn 1405-0269, vol. 23, no. 1, 2016, pags. 58-66 2 Treffer
- cinta de moebio: revista electronica de epistemologia de ciencias sociales, issn 0717-554x, no. 22 (marzo), 2005 2 Treffer
-
16 weitere Werte:
- comparative and functional genomics : cfg 2 Treffer
- eindhoven : technische universiteit eindhoven, computer science reports, (2006) 2 Treffer
- international journal of rotating machinery 2 Treffer
- lider: revista labor interdisciplinaria de desarrollo regional, issn 0717-0165, no. 13, 2005, pags. 51-78 2 Treffer
- lider: revista labor interdisciplinaria de desarrollo regional, issn 0717-0165, no. 29, 2016, pags. 9-31 2 Treffer
- urn:issn:issn: 2275-9131 2 Treffer
- etudes episteme 1 Treffer
- https://inria.hal.science/hal-01954564 ; 2018 1 Treffer
- international journal of evolutionary biology 1 Treffer
- les cahiers anne hebert 1 Treffer
- neural plasticity 1 Treffer
- pan biblioteka kornicka 1 Treffer
- sagamore hill national historic site 1 Treffer
- the economists' voice 1 Treffer
- total quality management and business excellence 1 Treffer
- video recordings 1 Treffer
Sprache
Geographischer Bezug
5.338 Treffer
-
2024academicJournalZugriff:
-
2023Online Elektronische Ressource
-
2023Online Elektronische Ressource
-
2023Online Elektronische Ressource
-
2023Online Elektronische Ressource
-
2023Online Elektronische Ressource
-
2023Online Elektronische Ressource
-
2023Online Elektronische Ressource
-
2023academicJournalZugriff:
-
2023Online Elektronische RessourceZugriff:
-
2024Online Elektronische RessourceZugriff:
-
2022Online Elektronische Ressource
-
2022Online Elektronische Ressource
-
2022Online Elektronische Ressource
-
2022Online Elektronische Ressource
-
2022Online Elektronische Ressource
-
2022Online Elektronische Ressource