Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- OAIster 4.361 Treffer
- BASE 505 Treffer
- Europeana 105 Treffer
- Films on Demand 105 Treffer
- Index New Zealand 105 Treffer
-
65 weitere Werte:
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 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
- Beeld en Geluid op school 105 Treffer
- Ambrose Digital 105 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 105 Treffer
- OAPEN Library 49 Treffer
- Bibliotheksverbund Bayern 49 Treffer
- ECONIS 43 Treffer
- BazTech 22 Treffer
- Drama Online 22 Treffer
- First Research 22 Treffer
- ICPSR Data Archive 22 Treffer
- McGraw-Hill eBook Library 22 Treffer
- BrillOnline Primary Source 22 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 22 Treffer
- PsychiatryOnline 22 Treffer
- Routledge Handbooks Online 22 Treffer
- SAGE Business Researcher 22 Treffer
- Teen Health & Wellness 22 Treffer
- Biodiversity Heritage Library 22 Treffer
- British Library EThOS 22 Treffer
- Islamic Info 9 Treffer
- Al Mandumah 9 Treffer
- Gale Business: Insights 9 Treffer
- Choice Reviews 9 Treffer
- ClinicalTrials.gov 9 Treffer
- EcoLink 9 Treffer
- EduSearch 9 Treffer
- HumanIndex 9 Treffer
- INTELECOM Video Library 9 Treffer
- Shamaa 9 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 9 Treffer
- AraBase 9 Treffer
- JoVE Science Education Database 9 Treffer
- GBV Online Contents 7 Treffer
- Cambridge Core Books 5 Treffer
- CEIC Data 4 Treffer
- Archives Unbound 4 Treffer
- Bibliomed 4 Treffer
- Bloomsbury Architecture Library 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
- Wiley Online Reference Works 4 Treffer
- AnthroSource 4 Treffer
- Anopress 4 Treffer
- ORBi 3 Treffer
- Digital Library of the Caribbean 1 Treffer
- EU Bookshop 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
- orchestral music scores. 56 Treffer
-
45 weitere Werte:
- 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
- stat 16 Treffer
- 004 15 Treffer
- info 15 Treffer
- distributed systems 14 Treffer
- orchestral music scores 14 Treffer
- proof assistants 13 Treffer
- science policy 13 Treffer
- coq proof assistant 12 Treffer
- formal methods 12 Treffer
- formal proofs 12 Treffer
- compilation 11 Treffer
- mathematical software 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
- 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
- analyse statique 6 Treffer
- cell biology 6 Treffer
- http 6 Treffer
- information systems not elsewhere classified 6 Treffer
- interactive theorem proving 6 Treffer
- program logics 6 Treffer
- static analysis 6 Treffer
- ambiguity 5 Treffer
- aneris 5 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:
- 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
- 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
- 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
- desclee de brouwer 18 Treffer
- (paris) 17 Treffer
- berlin : springer 16 Treffer
- editions france agricole 15 Treffer
- e-papers 14 Treffer
- sfer 14 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
- university of kent 3 Treffer
- anglia ruskin university 2 Treffer
- heriot-watt university 2 Treffer
- j. ridgway 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
-
15 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
- 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.106 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