Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- Complementary Index 74 Treffer
- Applied Science & Technology Source 41 Treffer
- BASE 26 Treffer
- Academic Search Index 24 Treffer
- Scopus® 11 Treffer
-
37 weitere Werte:
- Gale OneFile: High School Edition 2 Treffer
- Gale General OneFile 2 Treffer
- Gale Academic OneFile 2 Treffer
- Environment Complete 2 Treffer
- APA PsycInfo 2 Treffer
- ABC-CLIO eBooks 2 Treffer
- PASCAL Archive 2 Treffer
- Politics Trove 2 Treffer
- Universalis 2 Treffer
- VIDAL Consult 2 Treffer
- World Religions 2 Treffer
- Bloom's Literature 2 Treffer
- E-knihovna 2 Treffer
- Memòria Digital de Catalunya (MDC) 2 Treffer
- Gale In Context: High School 1 Treffer
- Gale eBooks 1 Treffer
- Gale In Context: U.S. History 1 Treffer
- Gale In Context: World History 1 Treffer
- Gender Studies Database 1 Treffer
- GreenFILE 1 Treffer
- MEDLINE 1 Treffer
- Gale In Context: Canada 1 Treffer
- Gale in Context: Biography 1 Treffer
- Gale Literature Resource Center 1 Treffer
- Center for Research Libraries 1 Treffer
- Roubini Global Economics 1 Treffer
- MLA International Bibliography with Full Text 1 Treffer
- PsycheVisual 1 Treffer
- Oxford Scholarly Editions Online 1 Treffer
- Oxford Medicine Online 1 Treffer
- Oxford Islamic Studies Online 1 Treffer
- Oxford Bibliographies 1 Treffer
- Oxford Biblical Studies Online 1 Treffer
- Oxford African American Studies Center 1 Treffer
- Ibuk.pl 1 Treffer
- Gale Academic OneFile Select 1 Treffer
- R2 Digital Library 1 Treffer
Art der Quelle
Schlagwort
- programming languages 30 Treffer
- proof theory 22 Treffer
- homotopy theory 15 Treffer
- calculus 14 Treffer
- mathematical proofs 14 Treffer
-
45 weitere Werte:
- coq 13 Treffer
- functional programming (computer science) 13 Treffer
- semantics 12 Treffer
- computer algorithms 11 Treffer
- computer programming 10 Treffer
- recursive functions 10 Treffer
- computer software 9 Treffer
- data analysis 9 Treffer
- data structures 9 Treffer
- mathematical logic 9 Treffer
- type theory 8 Treffer
- algorithms 7 Treffer
- mathematical analysis 7 Treffer
- mathematics 7 Treffer
- computer programmers 6 Treffer
- isomorphisms 6 Treffer
- javascript programming language 6 Treffer
- metatheory 6 Treffer
- pattern matching 6 Treffer
- univalent functions 6 Treffer
- computer science 5 Treffer
- feature extraction 5 Treffer
- libraries 5 Treffer
- modules (algebra) 5 Treffer
- topology 5 Treffer
- automation 4 Treffer
- books -- book reviews 4 Treffer
- functional programming languages 4 Treffer
- graph theory 4 Treffer
- homotopy type theory 4 Treffer
- mathematical functions 4 Treffer
- mathematics theorems 4 Treffer
- morphisms (mathematics) 4 Treffer
- music 4 Treffer
- ocaml (computer program language) 4 Treffer
- bit rate 3 Treffer
- classrooms 3 Treffer
- codecs 3 Treffer
- compilers (computer programs) 3 Treffer
- computers 3 Treffer
- cut elimination 3 Treffer
- data libraries 3 Treffer
- debate 3 Treffer
- dependent type theory 3 Treffer
- distributive law (mathematics) 3 Treffer
Publikation
- journal of functional programming 73 Treffer
- mathematical structures in computer science 39 Treffer
- bulletin of entomological research 11 Treffer
- animal genetic resources 7 Treffer
- journal of the royal asiatic society of great britain & ireland 5 Treffer
-
16 weitere Werte:
- british journal of nutrition 4 Treffer
- renaissance quarterly 4 Treffer
- bird conservation international 3 Treffer
- insect science & its application 3 Treffer
- mathematical proceedings of the cambridge philosophical society 3 Treffer
- bulletin of the school of oriental & african studies 2 Treffer
- epidemiol infect 2 Treffer
- journal of nutritional science 2 Treffer
- the canadian journal of neurological sciences / le journal canadien des sciences neurologiques 2 Treffer
- theory & practice of logic programming 2 Treffer
- bulletin of the school of oriental and african studies 1 Treffer
- european psychiatry 1 Treffer
- international journal of microwave & wireless technologies 1 Treffer
- journal of general microbiology 1 Treffer
- journal of the royal asiatic society 1 Treffer
- parasitology 1 Treffer
Sprache
Geographischer Bezug
190 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Parasitology, 2020academicJournalZugriff:
-
In: Renaissance Quarterly, Jg. 50 (1997-03-22), Heft 1, S. 251-260Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Renaissance Quarterly, Jg. 50 (1997-03-22), Heft 1, S. 251Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 17 (2007-02-01), Heft 1, S. 99-127Online academicJournalZugriff:
-
2016academicJournalZugriff:
-
Online academicJournalZugriff:
-
2016academicJournalZugriff:
-
2016academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 32 (2022-10-01), Heft 9, S. 1205-1233Online academicJournalZugriff: