Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 1.058 Treffer
- wiso 886 Treffer
- Scopus® 372 Treffer
- Complementary Index 203 Treffer
- Ambrose Digital 170 Treffer
-
122 weitere Werte:
- Beeld en Geluid op school 170 Treffer
- DieselNet Technology Guide 170 Treffer
- Films on Demand 170 Treffer
- Index New Zealand 170 Treffer
- McGraw-Hill Medical 170 Treffer
- Torrossa 170 Treffer
- Europeana 167 Treffer
- Harvard Library Bibliographic Dataset 102 Treffer
- SciELO 59 Treffer
- IndianJournals.com 59 Treffer
- Idunn.no 59 Treffer
- Supplemental Index 59 Treffer
- IBISWorld 59 Treffer
- British Standards Online 59 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 59 Treffer
- Bibliotheksverbund Bayern 36 Treffer
- ECONIS 31 Treffer
- Oxford Reference 26 Treffer
- Knovel 25 Treffer
- ProjectMUSE 22 Treffer
- Grove Music Online 8 Treffer
- MathSciNet via EBSCOhost 7 Treffer
- BiblioBoard 6 Treffer
- NARCIS 5 Treffer
- RxTx 4 Treffer
- Islamic Info 4 Treffer
- AraBase 4 Treffer
- Choice Reviews 4 Treffer
- ClinicalTrials.gov 4 Treffer
- EcoLink 4 Treffer
- HumanIndex 4 Treffer
- INTELECOM Video Library 4 Treffer
- Psychotherapy.net 4 Treffer
- JoVE Science Education Database 4 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 4 Treffer
- Al Mandumah 4 Treffer
- Naxos Sheet Music 4 Treffer
- EduSearch 4 Treffer
- Gale Literature Criticism 4 Treffer
- EMIS University M&A Information 4 Treffer
- EMIS University – Research Sources 4 Treffer
- EMIS University – News Sources 4 Treffer
- EMIS University – Company Information 4 Treffer
- Cairn.info International Edition 4 Treffer
- Agrow 4 Treffer
- Multilegis: Publicationes Actualizables 4 Treffer
- NUKAT 3 Treffer
- Networked Digital Library of Theses & Dissertations 3 Treffer
- SAGE Business Researcher 2 Treffer
- Westlaw UK 2 Treffer
- VIDAL Consult 2 Treffer
- PASCAL Archive 2 Treffer
- Biodiversity Heritage Library 2 Treffer
- McGraw-Hill eBook Library 2 Treffer
- BazTech 2 Treffer
- BrillOnline Primary Source 2 Treffer
- British Library EThOS 2 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 2 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 2 Treffer
- First Research 2 Treffer
- ICPSR Data Archive 2 Treffer
- ScienceDirect 2 Treffer
- EconLit with Full Text 2 Treffer
- Sexual Health Visual 1 Treffer
- Anopress 1 Treffer
- Science Citation Index Expanded 1 Treffer
- RCAAP 1 Treffer
- MLA International Bibliography with Full Text 1 Treffer
- Bibliomed 1 Treffer
- CEIC Data 1 Treffer
- Digital Literacy 1 Treffer
- Government Publishing Office Catalog 1 Treffer
- Gale In Context: Canada 1 Treffer
- Gale in Context: Biography 1 Treffer
- ERIC 1 Treffer
- Eighteenth Century Collections Online 1 Treffer
- Open Research Library 1 Treffer
- OAPEN Library 1 Treffer
- Children's Literature Comprehensive Database 1 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 1 Treffer
- Economena Document Library 1 Treffer
- Emerald Insight 1 Treffer
- Marketline Advantage 1 Treffer
- Music ID 1 Treffer
- NASA Technical Reports 1 Treffer
- Financial Literacy 1 Treffer
- OpenAIRE 1 Treffer
- GeoScienceWorld 1 Treffer
- OnePetro 1 Treffer
- FRANCIS Archive 1 Treffer
- Elgaronline 1 Treffer
- NUMDAM 1 Treffer
- New Palgrave Dictionary of Economics Online 1 Treffer
- Kanopy 1 Treffer
- Churchill Archive 1 Treffer
- BMJ Best Practice US 1 Treffer
- Roubini Global Economics 1 Treffer
- Swedish National Bibliography 1 Treffer
- PsycheVisual 1 Treffer
- Oxford Medicine Online 1 Treffer
- Gale Business: Insights 1 Treffer
- Ibuk.pl 1 Treffer
- Center for Research Libraries 1 Treffer
- African Journals 1 Treffer
- Pink Sheet: Prescription Pharmaceuticals & Biotechnology 1 Treffer
- Medtech Insight Reports 1 Treffer
- Literary Encyclopedia 1 Treffer
- Learn360 1 Treffer
- Journals@OVID 1 Treffer
- IN VIVO 1 Treffer
- Ambientalex 1 Treffer
- ASM Alloy Center Database 1 Treffer
- ASM Medical Materials Database 1 Treffer
- Brill E-Book Collection 1 Treffer
- E-Periodica 1 Treffer
- Leyex 1 Treffer
- ERICdata Higher Education Knowledge 1 Treffer
- Digitalia Film Library 1 Treffer
- Classroom Video on Demand 1 Treffer
- Access Video on Demand 1 Treffer
- University of Michigan Press Ebook Collection 1 Treffer
- A&AePortal 1 Treffer
Art der Quelle
Schlagwort
- coq 169 Treffer
- computer science 98 Treffer
- logics and meanings of programs 81 Treffer
- artificial intelligence (incl. robotics) 80 Treffer
- mathematical logic and formal languages 74 Treffer
-
45 weitere Werte:
- [phys.astr]physics [physics]/astrophysics [astro-ph] 65 Treffer
- [sdv]life sciences [q-bio] 64 Treffer
- [shs]humanities and social sciences 62 Treffer
- huhn 61 Treffer
- [shs.geo]humanities and social sciences/geography 60 Treffer
- compiler 55 Treffer
- software engineering 54 Treffer
- chanson-papier 47 Treffer
- edition musicale 47 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 42 Treffer
- computer science. 41 Treffer
- gewahrleistung 40 Treffer
- eugene-philippe le coq dit saint-gilles (1867-1960) 39 Treffer
- [sde.ie]environmental sciences/environmental engineering 38 Treffer
- united kingdom 38 Treffer
- programmierungssprache 36 Treffer
- [sde]environmental sciences 35 Treffer
- programming languages, compilers, interpreters 31 Treffer
- gallus gallus 30 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 29 Treffer
- fallstudie 29 Treffer
- formale uberprufung 28 Treffer
- logic design. 28 Treffer
- logic design 26 Treffer
- wiederverwendung 26 Treffer
- artificial intelligence. 25 Treffer
- p01 - conservation de la nature et ressources foncieres 24 Treffer
- software engineering. 24 Treffer
- [info]computer science [cs] 23 Treffer
- [shs.museo]humanities and social sciences/cultural heritage and museology 23 Treffer
- gen 22 Treffer
- industrial engineering operations management 22 Treffer
- protein 22 Treffer
- aktivkohle 21 Treffer
- ssreflect 21 Treffer
- theorie 21 Treffer
- [shs.archi]humanities and social sciences/architecture 20 Treffer
- climate change 20 Treffer
- france 20 Treffer
- nord 20 Treffer
- roubaix 20 Treffer
- rue coq francais 20 Treffer
- space management 20 Treffer
- usine 20 Treffer
- [shs.eco]humanities and social sciences/economics and finance 19 Treffer
Verlag
- wti-frankfurt-digital gmbh 752 Treffer
- hal ccsd 591 Treffer
- springer nature 257 Treffer
- springer verlag 164 Treffer
- springer 95 Treffer
-
45 weitere Werte:
- oxford university press 71 Treffer
- igi global 19 Treffer
- university of ottawa press 19 Treffer
- elsevier inc. 14 Treffer
- american society for quality (asq) 13 Treffer
- cambridge university press 6 Treffer
- ekonomiska forskningsinst. 6 Treffer
- mit press 4 Treffer
- the mit press 4 Treffer
- brill 3 Treffer
- centre for economic policy research 3 Treffer
- eindhoven university of technology, eindhoven 2 Treffer
- a time warner company 1 Treffer
- abc-clio 1 Treffer
- air force human resources laboratory, air force systems command 1 Treffer
- british library 1 Treffer
- collins 1 Treffer
- computer science and information systems 1 Treffer
- de witt 1 Treffer
- editions quae 1 Treffer
- edward elgar publishing 1 Treffer
- elsevier ltd 1 Treffer
- elsevier, inc., oxford 1 Treffer
- emerald publishing limited 1 Treffer
- fairleigh dickinson university press associated university presses 1 Treffer
- gale 1 Treffer
- greenwood publishing group 1 Treffer
- institute for advanced study (ias), princeton, nj 1 Treffer
- internat. begegnungs- und forschungszentrum fur informatik 1 Treffer
- iste press, london 1 Treffer
- london : charles knight & c.o, 1845. 1 Treffer
- london: charles knight & c.o, 1845. 1 Treffer
- new york: springer nature, springer editions quae 1 Treffer
- pmr maeyaert 1 Treffer
- praeger publishers 1 Treffer
- saarlandische universitats- und landesbibliothek 1 Treffer
- springer, new york 1 Treffer
- springer-verlag berlin 1 Treffer
- springer-verlag, berlin 1 Treffer
- studies in ecological economics, vol. 4. new york and heidelberg: springer 1 Treffer
- technical university of kaiserslautern, department of computer science 1 Treffer
- technische universitat kaiserslautern, fachbereich informatik 1 Treffer
- the literary dictionary company limited. 1 Treffer
- the macmillan press ltd 1 Treffer
- world scientific publishing co. pte. ltd., hackensack, nj 1 Treffer
Publikation
- lecture notes in computer science 296 Treffer
- scientific reports 34 Treffer
- [s.l.]: ssrn 24 Treffer
- espr - environmental science and pollution research 20 Treffer
- du coq a l'ame : l'art populaire au quebec 19 Treffer
-
45 weitere Werte:
- $2 14 Treffer
- oxford research encyclopedia of classics ; isbn 9780199381135 14 Treffer
- interactive theorem proving 12 Treffer
- environmental information systems ; https://hal.inrae.fr/hal-02967090 ; environmental information systems, igi global, pp.1403-1422, 2019, ⟨10.4018/978-1-5225-7033-2.ch063⟩ 11 Treffer
- machaut's legacy ; isbn 9780813062419 9780813053080 11 Treffer
- oxford music online 11 Treffer
- https://hal.science/hal-02799135 ; artimix, pp.57, 2019 8 Treffer
- theorem proving in higher order logics (9783540678632) 8 Treffer
- theorem proving in higher order logics (9783642033582) 8 Treffer
- types for proofs and programs, 3839 8 Treffer
- final report, european commission ; https://hal.science/hal-01313526 ; european commission. final report, european commission, rfcs, pp.101, 2014, 9789279350368. ⟨10.2777/59366⟩ 7 Treffer
- herbarium university of lethbridge 7 Treffer
- interactive theorem proving (9783319089690) 7 Treffer
- theorem proving in higher order logics (9783540710653) 7 Treffer
- types for proofs & programs (9783540744634) 7 Treffer
- types for proofs & programs (9783642024436) 7 Treffer
- assemblee generale first-tf 2022 ; https://hal-obspm.ccsd.cnrs.fr/obspm-04030202 ; assemblee generale first-tf 2022, oct 2022, besancon, france 6 Treffer
- benezit dictionary of artists 6 Treffer
- from assessing to conserving biodiversity conceptual and practical challenges ; https://hal.science/hal-02310644 ; from assessing to conserving biodiversity conceptual and practical challenges, pp.353-374, 2019, ⟨10.1007/978-3-030-10991-2_17⟩ 6 Treffer
- interactive theorem proving (9783642396335) 6 Treffer
- theorem proving in higher order logics (9783540406648) 6 Treffer
- theorem proving in higher order logics (9783540745907) 6 Treffer
- types for proofs & programs 6 Treffer
- dictionary of american family names 3 Treffer
- governing the provision of ecosystem services 3 Treffer
- the oxford essential dictionary of foreign terms in english 3 Treffer
- contemporary literary criticism 2 Treffer
- handbook on electricity markets 2 Treffer
- oxford dictionary of biochemistry and molecular biology 2 Treffer
- seventeen provers of the world 2 Treffer
- short story criticism 2 Treffer
- software specification methods 2 Treffer
- the russian economy under putin 2 Treffer
- the burlington magazine for connoisseurs 1 Treffer
- art criticism 1 Treffer
- bibliotheque d'humanisme et renaissance 1 Treffer
- brand protection and the global risk of product counterfeits : a total business solution approach 1 Treffer
- computer arithmetic and formal proofs 1 Treffer
- eighteenth century collections online 1 Treffer
- gale business insights 1 Treffer
- inferno 1 Treffer
- operations research in forestry 1 Treffer
- proceedings from the ninth international zeolite conference 1 Treffer
- smallholders and stockbreeders: histories of foodcrop and livestock farming in southeast asia 1 Treffer
- st. james international dictionary of opera 1 Treffer
Sprache
Geographischer Bezug
3.048 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
In: Development of the "City of Quality (Coq)" group decision support system [microform] / Michael D. Wolfe.; (1990)Online Buch
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
In: Gale Business Insights; (2022)BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
2012BuchZugriff:
-
2021Online BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!NachschlagewerkZugriff:
-
In: Oxford Music Online, 1992-12-01NachschlagewerkZugriff:
-
2023BuchZugriff:
-
1999BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff: