Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
- BASE 2.065 Treffer
- Springer Nature eBooks 932 Treffer
- arXiv 668 Treffer
- eBook Index 389 Treffer
- Gale eBooks 90 Treffer
-
133 weitere Werte:
- Beeld en Geluid op school 80 Treffer
- DieselNet Technology Guide 80 Treffer
- Europeana 80 Treffer
- Films on Demand 80 Treffer
- Index New Zealand 80 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 80 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 80 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 80 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 80 Treffer
- Janes Defence Equipment & Technology (JDET) - News 80 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 80 Treffer
- Ambrose Digital 80 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 80 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 80 Treffer
- Janes Military & Security Assessments (JMSA) – News 80 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 80 Treffer
- Kotar Digital Library 80 Treffer
- LearningExpress Library 80 Treffer
- Openedition.org 80 Treffer
- Sustainable Organization Library (SOL) 80 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 80 Treffer
- ScholarVox 75 Treffer
- Credo Reference 40 Treffer
- Making of the Modern World 40 Treffer
- Zad Conference Proceedings 40 Treffer
- Zad Newspapers 40 Treffer
- SZ LibraryNet 40 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 39 Treffer
- BiblioBoard 39 Treffer
- British Standards Online 39 Treffer
- Idunn.no 39 Treffer
- IndianJournals.com 39 Treffer
- LUNA Commons 39 Treffer
- ProjectMUSE 39 Treffer
- RAMBI 39 Treffer
- Swedish National Bibliography 39 Treffer
- Persée 29 Treffer
- Cairn.info 29 Treffer
- Erudit 29 Treffer
- Knovel 25 Treffer
- Australian Research Data Commons 23 Treffer
- OnArchitecture 23 Treffer
- nano Online 23 Treffer
- Livres et revues numériques 23 Treffer
- Historisches Wörterbuch der Rhetorik Online 23 Treffer
- Encyclopedia of the Bible and its Reception Online 23 Treffer
- Credo Reference: Academic Core 23 Treffer
- Building Types Online 23 Treffer
- Allgemeines Künsterlexikon Online 23 Treffer
- Verfasser-Datenbank 23 Treffer
- Digital Library of the Caribbean 20 Treffer
- Choice Reviews 20 Treffer
- Al Mandumah 20 Treffer
- Shamaa 20 Treffer
- AraBase 20 Treffer
- EduSearch 20 Treffer
- EcoLink 20 Treffer
- INTELECOM Video Library 20 Treffer
- Islamic Info 20 Treffer
- JoVE Science Education Database 20 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 20 Treffer
- NUKAT 20 Treffer
- HumanIndex 20 Treffer
- Music ID 18 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 18 Treffer
- OpenAIRE 18 Treffer
- Sexual Health Visual 18 Treffer
- IEEE Xplore Digital Library 18 Treffer
- Health Reference Center 18 Treffer
- Business Source Ultimate 18 Treffer
- Techniques de L'ingenieur 18 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 18 Treffer
- NARCIS 14 Treffer
- ClinicalTrials.gov 11 Treffer
- Marketline Advantage 10 Treffer
- ERIC 7 Treffer
- NASA Technical Reports 7 Treffer
- Cambridge Core Books 5 Treffer
- ORBi 4 Treffer
- Numérique Premium 4 Treffer
- Complementary Index 4 Treffer
- McGraw-Hill eBook Library 3 Treffer
- BrillOnline Primary Source 3 Treffer
- Biodiversity Heritage Library 3 Treffer
- BazTech 3 Treffer
- British Library EThOS 3 Treffer
- Drama Online 3 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 3 Treffer
- PsychiatryOnline 3 Treffer
- Routledge Handbooks Online 3 Treffer
- SAGE Business Researcher 3 Treffer
- Teen Health & Wellness 3 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 3 Treffer
- Bibliotheksverbund Bayern 2 Treffer
- OAPEN Library 2 Treffer
- Hoover's Company Profiles 2 Treffer
- Cairn.info International Edition 2 Treffer
- Gale Literature Criticism 2 Treffer
- ASM Alloy Center Database 2 Treffer
- ASM Medical Materials Database 2 Treffer
- ASM Micrograph Database 2 Treffer
- RxTx 2 Treffer
- E-Periodica 2 Treffer
- FIS Bildung Literaturdatenbank (German Education Index) 2 Treffer
- NORA (Norwegian Open Research Archive) 2 Treffer
- Otzar Online 2 Treffer
- Psychotherapy.net 2 Treffer
- Naxos Sheet Music 2 Treffer
- Multilegis: Publicationes Actualizables 2 Treffer
- Gale In Context: Middle School 2 Treffer
- EMIS University M&A Information 2 Treffer
- Brill E-Book Collection 2 Treffer
- EMIS University – Research Sources 2 Treffer
- EMIS University – News Sources 2 Treffer
- EMIS University – Company Information 2 Treffer
- SciTech Connect 2 Treffer
- Base SantéPsy 2 Treffer
- Agrow 2 Treffer
- University Press Scholarship Online 1 Treffer
- Oxford Scholarship Online 1 Treffer
- Ibuk.pl 1 Treffer
- Minha Biblioteca 1 Treffer
- Mergent Online 1 Treffer
- Oxford African American Studies Center 1 Treffer
- Oxford Bibliographies 1 Treffer
- Oxford Biblical Studies Online 1 Treffer
- Emerald Insight 1 Treffer
- Oxford Islamic Studies Online 1 Treffer
- Oxford Scholarly Editions Online 1 Treffer
- PsycheVisual 1 Treffer
- African Journals 1 Treffer
- Gale in Context: Biography 1 Treffer
- Center for Research Libraries 1 Treffer
Art der Quelle
- Academic Journals 72.511 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.565 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
- computer science - logic in computer science 397 Treffer
- coq 330 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 258 Treffer
- computer science - programming languages 241 Treffer
- cern lhc coll 225 Treffer
-
45 weitere Werte:
- atlas 221 Treffer
- proof assistant 198 Treffer
- p p: scattering 187 Treffer
- experimental results 160 Treffer
- [shs.geo]humanities and social sciences/geography 130 Treffer
- [info]computer science [cs] 122 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 112 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 111 Treffer
- p p: colliding beams 99 Treffer
- info:eu-repo/classification/ddc/530 89 Treffer
- [shs.envir]humanities and social sciences/environmental studies 86 Treffer
- formal proof 82 Treffer
- type theory 76 Treffer
- [shs.eco]humanities and social sciences/economics and finance 72 Treffer
- 8000 gev-cms 60 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 59 Treffer
- background 57 Treffer
- [phys.phys.phys-ins-det]physics [physics]/physics [physics]/instrumentation and detectors [physics.ins-det] 47 Treffer
- 13000 gev-cms 47 Treffer
- ddc:330 47 Treffer
- [shs.socio]humanities and social sciences/sociology 44 Treffer
- f.4.1 44 Treffer
- formal verification 43 Treffer
- proof obligation 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
- inductive type 38 Treffer
- parallel 38 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
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 32 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 32 Treffer
- separation logic 32 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 31 Treffer
- operational semantic 31 Treffer
- preuve formelle 31 Treffer
- [phys.hexp]physics [physics]/high energy physics - experiment [hep-ex] 30 Treffer
- certification 30 Treffer
- computer science - artificial intelligence 30 Treffer
- fos computer and information sciences 30 Treffer
- mathematics - category theory 30 Treffer
Verlag
- hal ccsd 1.113 Treffer
- springer berlin heidelberg 486 Treffer
- springer international publishing 350 Treffer
- gale, cengage learning 58 Treffer
- springer 57 Treffer
-
45 weitere Werte:
- editions l'harmattan 33 Treffer
- weyrich 27 Treffer
- editions quae 24 Treffer
- collection xix 19 Treffer
- presses universitaires de rennes 17 Treffer
- a&c black 14 Treffer
- american society for quality (asq) 13 Treffer
- champ social 10 Treffer
- marketline 10 Treffer
- marketline, a progressive digital media business 10 Treffer
- cambridge university press 9 Treffer
- de gruyter 8 Treffer
- editions france agricole 8 Treffer
- nasa center for aerospace information (casi) 7 Treffer
- presses de l'enssib 7 Treffer
- desclee de brouwer 6 Treffer
- globaldata uk ltd 6 Treffer
- dunod 5 Treffer
- oxford university press 5 Treffer
- barron's educational series 4 Treffer
- bridgeman 4 Treffer
- dorling kindersley publishing, inc. 4 Treffer
- espace nord 4 Treffer
- harvard university press 4 Treffer
- helicon 4 Treffer
- ink book 4 Treffer
- les 400 coups 4 Treffer
- maurice nadeau 4 Treffer
- penguin 4 Treffer
- reaktion books 4 Treffer
- elsevier science 3 Treffer
- encyclopaedia universalis 3 Treffer
- mcgraw-hill education 3 Treffer
- michalon editeur 3 Treffer
- wiley 3 Treffer
- chambers harrap 2 Treffer
- columbia university press 2 Treffer
- houghton mifflin 2 Treffer
- laurence king 2 Treffer
- nouveau monde 2 Treffer
- oxford university press, inc. 2 Treffer
- contexto 1 Treffer
- filia 1 Treffer
- seuil 1 Treffer
- the university of bergen 1 Treffer
Publikation
- openaire 44 Treffer
- acronyms, initialisms & abbreviations dictionary 36 Treffer
- certified programs and proofs : first international conference, cpp 2011, kenting, taiwan, december 7-9, 2011. proceedings 15 Treffer
- interactive theorem proving : 6th international conference, itp 2015, nanjing, china, august 24-27, 2015, proceedings 13 Treffer
- dictionary of food: international food and cooking terms from a to z 12 Treffer
-
45 weitere Werte:
- interactive theorem proving : 5th international conference, itp 2014, held as part of the vienna summer of logic, vsl 2014, vienna, austria, july 14-17, 2014. proceedings 12 Treffer
- interactive theorem proving : 8th international conference, itp 2017, brasilia, brazil, september 26-29, 2017, proceedings 12 Treffer
- interactive theorem proving : first international conference, itp 2010, edinburgh, uk, july 11-14, 2010. proceedings 12 Treffer
- certified programs and proofs : second international conference, cpp 2012, kyoto, japan, december 13-15, 2012. proceedings 11 Treffer
- interactive theorem proving : 4th international conference, itp 2013, rennes, france, july 22-26, 2013. proceedings 11 Treffer
- https://shs.hal.science/halshs-02071681 ; [0] saisine n° 2014-sa-0016, anses. 2016, 345 p 10 Treffer
- interactive theorem proving : 9th international conference, itp 2018, held as part of the federated logic conference, floc 2018, oxford, uk, july 9-12, 2018, proceedings 10 Treffer
- olvi plc marketline company profile 10 Treffer
- projet de vie au domicile pour les personnes en etat de conscience alteree apres un coma 10 Treffer
- coenzyme q in aging 9 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
- automated reasoning : 10th international joint conference, ijcar 2020, paris, france, july 1-4, 2020, proceedings, part ii 8 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
- interactive theorem proving : 7th international conference, itp 2016, nancy, france, august 22-25, 2016, proceedings 8 Treffer
- interactive theorem proving : second international conference, itp 2011, berg en dal, the netherlands, august 22-25, 2011. proceedings 8 Treffer
- logic group preprint series 8 Treffer
- programming languages and systems : 27th european symposium on programming, esop 2018, held as part of the european joint conferences on theory and practice of software, etaps 2018, thessaloniki, greece, april 14-20, 2018, proceedings 8 Treffer
- theorem proving in higher order logics : 13th international conference, tphols 2000 portland, or, usa, august 14-18, 2000 proceedings 8 Treffer
- theorem proving in higher order logics : 15th international conference, tphols 2002 hampton, va, usa, august 20-23, 2002 proceedings 8 Treffer
- theorem proving in higher order logics : 22nd international conference, tphols 2009, munich, germany, august 17-20, 2009. proceedings 8 Treffer
- 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.science/hal-04210610 ; cnrs letg. 2020 6 Treffer
- aroq - just-food.com (global news) 4 Treffer
- encyclopedia of movement disorders 4 Treffer
- the deluxe food lover's companion 4 Treffer
- the harvard dictionary of music 4 Treffer
- the hutchinson unabridged encyclopedia with atlas and weather guide 4 Treffer
- 100 ideas that changed street style 2 Treffer
- aroq - just-style.com (global news) 2 Treffer
- brewer's dictionary of irish phrase and fable 2 Treffer
- bridgeman images: christies collection 2 Treffer
- bridgeman images: deagostini library 2 Treffer
- dictionary of leisure, travel and tourism 2 Treffer
- dictionary of microbiology & molecular biology 2 Treffer
- educational research and reviews 2 Treffer
- penguin dictionary of biology 2 Treffer
- the american heritage abbreviations dictionary 2 Treffer
- the columbia encyclopedia 2 Treffer
- the new penguin dictionary of music 2 Treffer
- the oxford companion to food 2 Treffer
- design and application of strategies/tactics in higher order logics 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
- the jacquerie of 1358 : a french peasants' revolt 1 Treffer
Sprache
Geographischer Bezug
4.516 Treffer
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2018Online E-BookZugriff: