Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 116 Treffer
- Complementary Index 76 Treffer
- Applied Science & Technology Source 41 Treffer
- Academic Search Index 25 Treffer
- Scopus® 12 Treffer
-
25 weitere Werte:
- OpenAIRE 6 Treffer
- Cambridge Core Books 5 Treffer
- OAIster 4 Treffer
- British Library Document Supply Centre Inside Serials & Conference Proceedings 3 Treffer
- eBook Index 3 Treffer
- PASCAL Archive 2 Treffer
- Gale OneFile: High School Edition 2 Treffer
- Gale General OneFile 2 Treffer
- VLeBooks 2 Treffer
- Environment Complete 2 Treffer
- APA PsycInfo 2 Treffer
- Gale Academic OneFile 2 Treffer
- Gale Literature Resource Center 1 Treffer
- MLA International Bibliography with Full Text 1 Treffer
- MEDLINE 1 Treffer
- Harvard Library Bibliographic Dataset 1 Treffer
- GreenFILE 1 Treffer
- Gender Studies Database 1 Treffer
- Gale In Context: U.S. History 1 Treffer
- Gale In Context: High School 1 Treffer
- Gale In Context: Canada 1 Treffer
- Gale in Context: Biography 1 Treffer
- Sociology Source Ultimate 1 Treffer
- Gale In Context: World History 1 Treffer
- Gale Academic OneFile Select 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
- type theory 10 Treffer
- computer science 9 Treffer
- computer software 9 Treffer
- data analysis 9 Treffer
- data structures 9 Treffer
- mathematical logic 9 Treffer
- algorithms 7 Treffer
- mathematical analysis 7 Treffer
- mathematics 7 Treffer
- pattern matching 7 Treffer
- computer programmers 6 Treffer
- isomorphisms 6 Treffer
- javascript programming language 6 Treffer
- metatheory 6 Treffer
- univalent functions 6 Treffer
- feature extraction 5 Treffer
- homotopy type theory 5 Treffer
- libraries 5 Treffer
- modules (algebra) 5 Treffer
- topology 5 Treffer
- automation 4 Treffer
- books -- book reviews 4 Treffer
- computer 4 Treffer
- formal methods 4 Treffer
- functional programming languages 4 Treffer
- geometry 4 Treffer
- graph theory 4 Treffer
- lambda calculus 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
Verlag
Publikation
- journal of functional programming 73 Treffer
- mathematical structures in computer science 42 Treffer
- bulletin of entomological research 11 Treffer
- animal genetic resources 7 Treffer
- renaissance quarterly 6 Treffer
-
19 weitere Werte:
- journal of the royal asiatic society of great britain & ireland 5 Treffer
- british journal of nutrition 4 Treffer
- doi:10.1017/s0956796815000180 4 Treffer
- bird conservation international 3 Treffer
- insect science & its application 3 Treffer
- mathematical proceedings of the cambridge philosophical society 3 Treffer
- annales: histoire, sciences sociales 2 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
- from semantics to computer science: essays in honour of gilles kahn 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
309 Treffer
-
In: A History of the Jewish War ; page 281-334; (2016)BuchZugriff:
-
2016academicJournalZugriff:
-
Online academicJournalZugriff:
-
2016academicJournalZugriff:
-
In: Manuscripts and Medieval Song ; page 247-270; (2015)BuchZugriff:
-
In: ISBN 9781782042426; (2014)BuchZugriff:
-
2016academicJournalZugriff:
-
In: The Principal Navigations Voyages Traffiques and Discoveries of the English Nation ; page 35-38; (2014)BuchZugriff:
-
In: A Voyage to Hudson's Bay ; page 97-298; (2014)BuchZugriff:
-
In: The Principal Navigations Voyages Traffiques and Discoveries of the English Nation ; page 31-34; (2014)BuchZugriff:
-
In: The Principal Navigations Voyages Traffiques and Discoveries of the English Nation ; page 46-57; (2014)BuchZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 32 (2022-10-01), Heft 9, S. 1205-1233Online academicJournalZugriff:
-
In: ISBN 9781108012782 9780511708367; (2010)BuchZugriff:
-
In: The Cambridge Companion to Latin Love Elegy ; page 59-67 ; ISBN 9781139028288 9780521765367 9780521129374; (2013)BuchZugriff:
-
In: The Cambridge History of Musical Performance ; page 279-294; (2012)BuchZugriff:
-
In: The Ballets Russes and Beyond ; page 160-214; (2012)BuchZugriff:
-
In: The Spiritual Senses ; page 140-158 ; ISBN 9780521769204 9781139032797 9781107685949; (2011)BuchZugriff: