Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
- BASE 5.967 Treffer
- wiso 1.761 Treffer
- arXiv 668 Treffer
- Bibliotheksverbund Bayern 577 Treffer
- Harvard Library Bibliographic Dataset 493 Treffer
-
156 weitere Werte:
- Scopus® 370 Treffer
- Complementary Index 208 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 139 Treffer
- British Standards Online 139 Treffer
- Idunn.no 139 Treffer
- LUNA Commons 139 Treffer
- IndianJournals.com 139 Treffer
- Choice Reviews 117 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 117 Treffer
- JoVE Science Education Database 117 Treffer
- Digital Library of the Caribbean 117 Treffer
- INTELECOM Video Library 117 Treffer
- Children's Literature Comprehensive Database 102 Treffer
- NUKAT 89 Treffer
- ECONIS 61 Treffer
- Supplemental Index 59 Treffer
- Swedish National Bibliography 57 Treffer
- Westlaw UK 57 Treffer
- VIDAL Consult 57 Treffer
- PASCAL Archive 57 Treffer
- RxTx 50 Treffer
- Psychotherapy.net 50 Treffer
- Naxos Sheet Music 50 Treffer
- Multilegis: Publicationes Actualizables 50 Treffer
- EMIS University M&A Information 50 Treffer
- EMIS University – Research Sources 50 Treffer
- EMIS University – News Sources 50 Treffer
- EMIS University – Company Information 50 Treffer
- Cairn.info International Edition 50 Treffer
- Agrow 50 Treffer
- Base SantéPsy 44 Treffer
- Universalis 36 Treffer
- Ambrose Digital 35 Treffer
- Beeld en Geluid op school 35 Treffer
- DieselNet Technology Guide 35 Treffer
- Europeana 35 Treffer
- Films on Demand 35 Treffer
- Index New Zealand 35 Treffer
- Torrossa 35 Treffer
- McGraw-Hill Medical 35 Treffer
- Openedition.org 33 Treffer
- African Journals 28 Treffer
- Center for Research Libraries 28 Treffer
- Ibuk.pl 28 Treffer
- Oxford Medicine Online 28 Treffer
- PsycheVisual 28 Treffer
- Sexual Health Visual 27 Treffer
- OpenAIRE 27 Treffer
- Music ID 27 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 27 Treffer
- Oxford Reference 26 Treffer
- NARCIS 25 Treffer
- Knovel 25 Treffer
- GBV Online Contents 23 Treffer
- ProjectMUSE 22 Treffer
- MLA International Bibliography with Full Text 21 Treffer
- National Diet Library Digital Collections - 国立国会図書館デジタルコレクション 20 Treffer
- Business Source Ultimate 18 Treffer
- FRANCIS Archive 17 Treffer
- Australian Research Data Commons 15 Treffer
- OnArchitecture 15 Treffer
- Bloomsbury Collections 15 Treffer
- nano Online 15 Treffer
- Allgemeines Künsterlexikon Online 15 Treffer
- Livres et revues numériques 15 Treffer
- ClinicalTrials.gov 11 Treffer
- ORBi 11 Treffer
- Marketline Advantage 10 Treffer
- ASM Medical Materials Database 9 Treffer
- E-Periodica 9 Treffer
- ASM Micrograph Database 9 Treffer
- ASM Alloy Center Database 9 Treffer
- BMJ Best Practice US 9 Treffer
- Churchill Archive 9 Treffer
- DigitalNZ 9 Treffer
- Kanopy 9 Treffer
- New Palgrave Dictionary of Economics Online 9 Treffer
- NUMDAM 9 Treffer
- Grove Music Online 8 Treffer
- ERIC 7 Treffer
- NASA Technical Reports 7 Treffer
- MathSciNet via EBSCOhost 7 Treffer
- BiblioBoard 7 Treffer
- ScienceDirect 6 Treffer
- FIS Bildung Literaturdatenbank (German Education Index) 6 Treffer
- Economist Historical Archive 5 Treffer
- Dialnet 5 Treffer
- F1000Research 5 Treffer
- SMART Imagebase 5 Treffer
- Bloomsbury Applied Visual Arts 5 Treffer
- EcoLink 5 Treffer
- Techniques de L'ingenieur 5 Treffer
- BrillOnline Primary Source 4 Treffer
- SAGE Business Researcher 4 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 4 Treffer
- Gale Literature Criticism 4 Treffer
- vLex 4 Treffer
- Numérique Premium 4 Treffer
- McGraw-Hill eBook Library 4 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 4 Treffer
- BazTech 4 Treffer
- Biodiversity Heritage Library 4 Treffer
- IEEE Xplore Digital Library 4 Treffer
- British Library EThOS 4 Treffer
- Maruzen eBook Library 3 Treffer
- Britannica Online Japan 3 Treffer
- KinoDen Kinokuniya Digital Library 3 Treffer
- Digitalia Public Libraries 3 Treffer
- RAMBI 3 Treffer
- 스콜라(Scholar) 2 Treffer
- KoreaScholar 2 Treffer
- KRpia 2 Treffer
- University of Michigan Press Ebook Collection 2 Treffer
- EconLit with Full Text 2 Treffer
- NORA (Norwegian Open Research Archive) 2 Treffer
- Open Research Library 2 Treffer
- GeoScienceWorld 2 Treffer
- Hoover's Company Profiles 2 Treffer
- SciTech Connect 2 Treffer
- Financial Literacy 2 Treffer
- Digital Literacy 2 Treffer
- RCAAP 2 Treffer
- Bibliomed 2 Treffer
- Anopress 2 Treffer
- KERIS Theses & Dissertations 2 Treffer
- eArticle 2 Treffer
- A&AePortal 2 Treffer
- Canada Commons 2 Treffer
- Digitalia Hispanica 2 Treffer
- Zad Newspapers 2 Treffer
- OAPEN Library 2 Treffer
- Zad Conference Proceedings 2 Treffer
- Making of the Modern World 2 Treffer
- Alexander Street 2 Treffer
- SZ LibraryNet 2 Treffer
- Journals@OVID 1 Treffer
- Gale Business: Insights 1 Treffer
- Science Citation Index Expanded 1 Treffer
- PSYNDEX Literature with PSYNDEX Tests 1 Treffer
- Mergent Online 1 Treffer
- ERICdata Higher Education Knowledge 1 Treffer
- Digitalia Film Library 1 Treffer
- Classroom Video on Demand 1 Treffer
- Brill E-Book Collection 1 Treffer
- Government Publishing Office Catalog 1 Treffer
- Emerald Insight 1 Treffer
- Gale In Context: Canada 1 Treffer
- Gale in Context: Biography 1 Treffer
- Eighteenth Century Collections Online 1 Treffer
- Access Video on Demand 1 Treffer
- Memòria Digital de Catalunya (MDC) 1 Treffer
- Learn360 1 Treffer
- Elgaronline 1 Treffer
- dblp computer science bibliography 1 Treffer
- Bloom's Literature 1 Treffer
- Literary Encyclopedia 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
- computer science - logic in computer science 397 Treffer
- coq 379 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 289 Treffer
- [shs.geo]humanities and social sciences/geography 245 Treffer
- computer science - programming languages 241 Treffer
-
45 weitere Werte:
- cern lhc coll 225 Treffer
- atlas 221 Treffer
- p p: scattering 187 Treffer
- [shs.litt]humanities and social sciences/literature 183 Treffer
- experimental results 160 Treffer
- [shs.eco]humanities and social sciences/economics and finance 152 Treffer
- [info]computer science [cs] 132 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 128 Treffer
- hist 118 Treffer
- [shs]humanities and social sciences 116 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 112 Treffer
- [shs.envir]humanities and social sciences/environmental studies 106 Treffer
- [shs.socio]humanities and social sciences/sociology 100 Treffer
- p p: colliding beams 99 Treffer
- computer science 96 Treffer
- info:eu-repo/classification/ddc/530 89 Treffer
- logics and meanings of programs 81 Treffer
- artificial intelligence (incl. robotics) 80 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 75 Treffer
- mathematical logic and formal languages 74 Treffer
- formal proof 71 Treffer
- proof assistant 69 Treffer
- [shs.scipo]humanities and social sciences/political science 68 Treffer
- huhn 64 Treffer
- historische drucke 61 Treffer
- scipo 61 Treffer
- 8000 gev-cms 60 Treffer
- history 60 Treffer
- [shs.hist]humanities and social sciences/history 58 Treffer
- background 57 Treffer
- droit 57 Treffer
- compiler 54 Treffer
- p01 - conservation de la nature et ressources foncieres 54 Treffer
- software engineering 54 Treffer
- bundesrepublik deutschland 53 Treffer
- e14 - economie et politique du developpement 53 Treffer
- climate change 52 Treffer
- agriculture 48 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
- e10 - economie et politique agricoles 45 Treffer
- f.4.1 44 Treffer
- guillaume de machaut 44 Treffer
- [info.info-dc]computer science [cs]/distributed 42 Treffer
Verlag
- hal ccsd 1.887 Treffer
- wti-frankfurt-digital gmbh 1.043 Treffer
- springer nature 255 Treffer
- oxford university press 181 Treffer
- springer verlag 162 Treffer
-
45 weitere Werte:
- springer 145 Treffer
- deux coqs dor 70 Treffer
- encyclopaedia universalis 36 Treffer
- norstedt 25 Treffer
- editions des deux coqs d'or 20 Treffer
- university of ottawa press 20 Treffer
- editions quae 19 Treffer
- gallimard 19 Treffer
- s.n. 18 Treffer
- elsevier inc. 14 Treffer
- marketline 10 Treffer
- marketline, a progressive digital media business 10 Treffer
- victoria university of wellington 9 Treffer
- librairie droz 7 Treffer
- 国立国会図書館 7 Treffer
- centre international d'etudes pedagogiques 6 Treffer
- ekonomiska forskningsinst. 6 Treffer
- le coq-heron 6 Treffer
- desclee de brouwer 5 Treffer
- calmann-levy 4 Treffer
- editorial segismundo 4 Treffer
- librairie theatrale 4 Treffer
- payot 4 Treffer
- presses universitaires de vincennes 4 Treffer
- revue internationale d'education de sevres 4 Treffer
- britannica japan, co., ltd. 3 Treffer
- nouveau monde 3 Treffer
- alexander street press 2 Treffer
- ed. du felin 2 Treffer
- eindhoven university of technology, eindhoven 2 Treffer
- gunter narr verlag 2 Treffer
- promodis 2 Treffer
- stauffenburg verlag brigitte narr gmbh 2 Treffer
- the mit press 2 Treffer
- air force human resources laboratory, air force systems command 1 Treffer
- british library 1 Treffer
- burrows brothers 1 Treffer
- elsevier ltd 1 Treffer
- gale 1 Treffer
- kress library of business and economics, harvard university 1 Treffer
- new york: springer nature, springer editions quae 1 Treffer
- spencer research library, university of kansas 1 Treffer
- springer-verlag berlin 1 Treffer
- studies in ecological economics, vol. 4. new york and heidelberg: springer 1 Treffer
- the literary dictionary company limited. 1 Treffer
Publikation
- lecture notes in computer science 295 Treffer
- wao world affairs online 99 Treffer
- openaire 27 Treffer
- bibliotheque nationale de france 19 Treffer
- du coq a l'ame : l'art populaire au quebec 19 Treffer
-
45 weitere Werte:
- oxford music online 18 Treffer
- oxford scholarship online 16 Treffer
- $2 14 Treffer
- interactive theorem proving 12 Treffer
- olvi plc marketline company profile 10 Treffer
- presses universitaires de provence 8 Treffer
- theorem proving in higher order logics (9783540678632) 8 Treffer
- theorem proving in higher order logics (9783540406648) 6 Treffer
- types for proofs & programs 6 Treffer
- techniques de l'ingenieur 5 Treffer
- certified programming with dependent types 4 Treffer
- traumatismes psychiques 4 Treffer
- dictionary of american family names 3 Treffer
- european poultry conference 3 Treffer
- gnomon 3 Treffer
- the oxford essential dictionary of foreign terms in english 3 Treffer
- contemporary literary criticism 2 Treffer
- context in computing 2 Treffer
- educational research and reviews 2 Treffer
- handbook on electricity markets 2 Treffer
- making of the modern world 2 Treffer
- marges 2 Treffer
- seventeen provers of the world 2 Treffer
- short story criticism 2 Treffer
- sicherheit und risikomanagement in der supply chain 2 Treffer
- the russian economy under putin 2 Treffer
- abc북 맛보기 사전 1 Treffer
- bloom's literature 1 Treffer
- brand protection and the global risk of product counterfeits : a total business solution approach 1 Treffer
- cahiers binet simon (toulouse) 1 Treffer
- desafios, necesidades y oportunidades para el mundo rural 1 Treffer
- eighteenth century collections online 1 Treffer
- folklore de champagne 1 Treffer
- gale business insights 1 Treffer
- les sciences de l'education 1 Treffer
- memoria digital de catalunya 1 Treffer
- psyche 1 Treffer
- smallholders and stockbreeders: histories of foodcrop and livestock farming in southeast asia 1 Treffer
- st. james international dictionary of opera 1 Treffer
- مجله الاسكندريه للبحوث المحاسبيه 1 Treffer
- مجله الاقتصاد المنزلي 1 Treffer
- مجله البحوث الماليه والتجاريه 1 Treffer
- مجله تكريت للعلوم الاداريه والاقتصاديه 1 Treffer
- مجله دراسات اقتصاديه 1 Treffer
- 인물 패턴 & 디자인 1 Treffer
Sprache
- english 3.880 Treffer
- french 2.377 Treffer
- unknown 1.542 Treffer
- german 847 Treffer
- spanish; castilian 320 Treffer
-
38 weitere Werte:
- latin 304 Treffer
- undetermined 90 Treffer
- swedish 82 Treffer
- italian 74 Treffer
- portuguese 26 Treffer
- polish 24 Treffer
- fre 20 Treffer
- hungarian 18 Treffer
- japanese 18 Treffer
- chinese 14 Treffer
- dutch; flemish 11 Treffer
- arabic 10 Treffer
- russian 10 Treffer
- kurdish 9 Treffer
- french, middle (ca.1400-1600) 7 Treffer
- czech 6 Treffer
- danish 4 Treffer
- finnish 4 Treffer
- hebrew 4 Treffer
- estonian 3 Treffer
- french, old (842-ca.1400) 3 Treffer
- greek, ancient (to 1453) 3 Treffer
- sinhala; sinhalese 3 Treffer
- turkish 3 Treffer
- indonesian 2 Treffer
- korean 2 Treffer
- multiple languages 2 Treffer
- occitan (post 1500) 2 Treffer
- persian 2 Treffer
- turkish, ottoman (1500-1928) 2 Treffer
- creoles and pidgins, french-based 1 Treffer
- dutch, middle (ca.1050-1350) 1 Treffer
- eng 1 Treffer
- greek 1 Treffer
- niger-kordofanian languages 1 Treffer
- norwegian 1 Treffer
- thai 1 Treffer
- ukrainian 1 Treffer