Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- Springer Nature eBooks 932 Treffer
- eBook Index 389 Treffer
- wiso 356 Treffer
- Business Source Ultimate 110 Treffer
- Gale In Context: High School 90 Treffer
-
130 weitere Werte:
- Gale In Context: Canada 90 Treffer
- Gale eBooks 90 Treffer
- Canada Commons 80 Treffer
- DieselNet Technology Guide 80 Treffer
- Europeana 80 Treffer
- Films on Demand 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 Military & Security Assessments (JMSA) - Country Risk 80 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 80 Treffer
- Beeld en Geluid op school 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
- Ambrose Digital 80 Treffer
- Index New Zealand 80 Treffer
- ScholarVox 75 Treffer
- Zad Newspapers 40 Treffer
- Zad Conference Proceedings 40 Treffer
- Making of the Modern World 40 Treffer
- SZ LibraryNet 40 Treffer
- Credo Reference 40 Treffer
- Aerospace Research Central 40 Treffer
- Latin American Open Archives Portal 40 Treffer
- SwePub 29 Treffer
- Persée 29 Treffer
- Erudit 29 Treffer
- Data-Planet Statistical Datasets 29 Treffer
- Cairn.info 29 Treffer
- Idunn.no 25 Treffer
- IBISWorld 25 Treffer
- HBO Kennisbank 25 Treffer
- CogPrints 25 Treffer
- LUNA Commons 25 Treffer
- BiblioBoard 25 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 25 Treffer
- IndianJournals.com 25 Treffer
- British Standards Online 25 Treffer
- Knovel 25 Treffer
- NARCIS 25 Treffer
- ProjectMUSE 25 Treffer
- RAMBI 25 Treffer
- SciELO 25 Treffer
- Swedish National Bibliography 25 Treffer
- Building Types Online 23 Treffer
- Credo Reference: Academic Core 23 Treffer
- Encyclopedia of the Bible and its Reception Online 23 Treffer
- Historisches Wörterbuch der Rhetorik Online 23 Treffer
- Livres et revues numériques 23 Treffer
- nano Online 23 Treffer
- OnArchitecture 23 Treffer
- Verfasser-Datenbank 23 Treffer
- Allgemeines Künsterlexikon Online 23 Treffer
- Australian Research Data Commons 23 Treffer
- Academic Search Index 16 Treffer
- INTELECOM Video Library 5 Treffer
- Shamaa 5 Treffer
- ORBi 5 Treffer
- NUKAT 5 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 5 Treffer
- Al Mandumah 5 Treffer
- AraBase 5 Treffer
- Gale Business: Insights 5 Treffer
- Cambridge Core Books 5 Treffer
- Islamic Info 5 Treffer
- ClinicalTrials.gov 5 Treffer
- Digital Library of the Caribbean 5 Treffer
- JoVE Science Education Database 5 Treffer
- EcoLink 5 Treffer
- Choice Reviews 5 Treffer
- HumanIndex 5 Treffer
- EduSearch 5 Treffer
- Numérique Premium 4 Treffer
- BazTech 3 Treffer
- Library, Information Science & Technology Abstracts 3 Treffer
- Teen Health & Wellness 3 Treffer
- SAGE Business Researcher 3 Treffer
- Routledge Handbooks Online 3 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 3 Treffer
- PsychiatryOnline 3 Treffer
- ICPSR Data Archive 3 Treffer
- First Research 3 Treffer
- Drama Online 3 Treffer
- Biodiversity Heritage Library 3 Treffer
- McGraw-Hill eBook Library 3 Treffer
- BrillOnline Primary Source 3 Treffer
- British Library EThOS 3 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 3 Treffer
- Bibliotheksverbund Bayern 2 Treffer
- OAPEN Library 2 Treffer
- Scopus® 2 Treffer
- DACH Information 2 Treffer
- African Journals 1 Treffer
- Oxford Islamic Studies Online 1 Treffer
- Energy & Power Source 1 Treffer
- Oxford Scholarly Editions Online 1 Treffer
- Minha Biblioteca 1 Treffer
- PsycheVisual 1 Treffer
- Roubini Global Economics 1 Treffer
- Techniques de L'ingenieur 1 Treffer
- Oxford Scholarship Online 1 Treffer
- University Press Scholarship Online 1 Treffer
- Gale in Context: Biography 1 Treffer
- Sexual Health Visual 1 Treffer
- Music ID 1 Treffer
- OnePetro 1 Treffer
- Center for Research Libraries 1 Treffer
- Gale Literature Resource Center 1 Treffer
- Ibuk.pl 1 Treffer
- Oxford African American Studies Center 1 Treffer
- Oxford Biblical Studies Online 1 Treffer
- Oxford Bibliographies 1 Treffer
- OpenAIRE 1 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 1 Treffer
- Economena Document Library 1 Treffer
- Emerald Insight 1 Treffer
- Health Reference Center 1 Treffer
- IEEE Xplore Digital Library 1 Treffer
- Marketline Advantage 1 Treffer
- NASA Technical Reports 1 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 1 Treffer
- E-LIS (Eprints in Library & Information Science) 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.566 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
- proof assistant 142 Treffer
- coq 124 Treffer
- type theory 56 Treffer
- proof obligation 43 Treffer
- inductive type 38 Treffer
-
45 weitere Werte:
- separation logic 32 Treffer
- operational semantic 31 Treffer
- history 28 Treffer
- food 27 Treffer
- formal verification 27 Treffer
- drink & nutrition 26 Treffer
- recursive call 25 Treffer
- industrial engineering operations management 22 Treffer
- advertising 20 Treffer
- formal proof 20 Treffer
- dependent type 19 Treffer
- decision procedure 18 Treffer
- correctness proof 16 Treffer
- le coq sportif holding sa 16 Treffer
- ssreflect 15 Treffer
- virtual machine 15 Treffer
- high order logic 14 Treffer
- type system 14 Treffer
- advertising awards 13 Treffer
- awards 13 Treffer
- industrial engineering operations management -- six sigma lean quality management 13 Treffer
- restaurants 13 Treffer
- verification 13 Treffer
- advertising campaigns 12 Treffer
- economie 12 Treffer
- function symbol 12 Treffer
- recursive function 12 Treffer
- theorem prove 12 Treffer
- typing rule 12 Treffer
- advertising agencies 11 Treffer
- coenzyme q 11 Treffer
- cryptographic protocol 11 Treffer
- induction principle 11 Treffer
- interactive theorem proving 11 Treffer
- logical framework 11 Treffer
- abstract interpretation 10 Treffer
- coenzyme q10 10 Treffer
- computer algebra system 10 Treffer
- elimination rule 10 Treffer
- environnement 10 Treffer
- formal methods 10 Treffer
- formalization 10 Treffer
- functional programming 10 Treffer
- inductive construction 10 Treffer
- marketing 10 Treffer
Verlag
- springer berlin heidelberg 486 Treffer
- springer international publishing 349 Treffer
- dfv mediengruppe 161 Treffer
- gale, cengage learning 58 Treffer
- editions l'harmattan 33 Treffer
-
45 weitere Werte:
- brunico communications inc. 32 Treffer
- weyrich 27 Treffer
- editions quae 24 Treffer
- collection xix 19 Treffer
- jacobs media group 18 Treffer
- presses universitaires de rennes 17 Treffer
- a&c black 14 Treffer
- american society for quality (asq) 13 Treffer
- springer 13 Treffer
- champ social 10 Treffer
- cambridge university press 8 Treffer
- centaur communications 8 Treffer
- crain communications inc. (mi) 8 Treffer
- editions france agricole 8 Treffer
- presses de l'enssib 7 Treffer
- desclee de brouwer 6 Treffer
- pwxyz llc 6 Treffer
- dunod 5 Treffer
- oxford university press 5 Treffer
- adweek, llc 4 Treffer
- barron's educational series 4 Treffer
- bridgeman 4 Treffer
- dorling kindersley publishing, inc. 4 Treffer
- harvard university press 4 Treffer
- helicon 4 Treffer
- les 400 coups 4 Treffer
- penguin 4 Treffer
- pme holdings llc 4 Treffer
- reaktion books 4 Treffer
- conde nast publications 3 Treffer
- elsevier science 3 Treffer
- encyclopaedia universalis 3 Treffer
- mcgraw-hill education 3 Treffer
- michalon editeur 3 Treffer
- mjh life sciences 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
- wiley 2 Treffer
- contexto 1 Treffer
- emerald publishing limited 1 Treffer
- filia 1 Treffer
Publikation
- global ip news 50 Treffer
- openaire 44 Treffer
- acronyms, initialisms & abbreviations dictionary 36 Treffer
- marketing magazine 32 Treffer
- textilwirtschaft 32 Treffer
-
45 weitere Werte:
- 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
- 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
- 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
- projet de vie au domicile pour les personnes en etat de conscience alteree apres un coma 10 Treffer
- coenzyme q in aging 9 Treffer
- automated reasoning : 10th international joint conference, ijcar 2020, paris, france, july 1-4, 2020, proceedings, part ii 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
- 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
- publishers weekly 6 Treffer
- advertising age 4 Treffer
- billboard 4 Treffer
- brandweek 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
- dnr: daily news record 3 Treffer
- 100 ideas that changed street style 2 Treffer
- a guide to the project management body of knowledge (pmbok ® guide) (5th edition) 2 Treffer
- brewer's dictionary of irish phrase and fable 2 Treffer
- bridgeman images: christies collection 2 Treffer
- bridgeman images: deagostini library 2 Treffer
- design week (online edition) 2 Treffer
- dictionary of leisure, travel and tourism 2 Treffer
- dictionary of microbiology & molecular biology 2 Treffer
- lawyer 2 Treffer
- penguin dictionary of biology 2 Treffer
- software extension to the pmbok® guide (5th edition) 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
- total quality - key terms and concepts 2 Treffer
- cattech 1 Treffer
- the jacquerie of 1358 : a french peasants' revolt 1 Treffer
- tut textiles a usages techniques 1 Treffer
Sprache
Geographischer Bezug
2.191 Treffer
-
2023Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
2024Online E-BookZugriff:
-
2023Online E-BookZugriff:
-
2021Online E-BookZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
2019Online E-BookZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff: