Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computational theory and mathematics 19 Treffer
- artificial intelligence 15 Treffer
- general mathematics 13 Treffer
- management science and operations research 13 Treffer
- theoretical computer science 9 Treffer
-
45 weitere Werte:
- electrical and electronic engineering 5 Treffer
- information systems 5 Treffer
- computer science applications 4 Treffer
- hardware and architecture 4 Treffer
- logic 4 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 3 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 3 Treffer
- formal method 3 Treffer
- hardware 3 Treffer
- security 3 Treffer
- animals 2 Treffer
- biomolecular annotation prediction 2 Treffer
- computer graphics and computer-aided design 2 Treffer
- computer networks and communications 2 Treffer
- computer science applications1707 computer vision and pattern recognition 2 Treffer
- control and optimization 2 Treffer
- data representation 2 Treffer
- diritto d'autore 2 Treffer
- een cordis::tematiche orizzontali sulla ricerca e lo sviluppo tecnologico::diritti di proprieta intellettuale::diritti d'autore 2 Treffer
- een cordis::tematiche orizzontali sulla ricerca e lo sviluppo tecnologico::diritti di proprieta intellettuale::gestione dei diritti digitali 2 Treffer
- gene ontology 2 Treffer
- knowledge discovery 2 Treffer
- licenze libere 2 Treffer
- macromolecular crystallography 2 Treffer
- progetti::programmi complessi::innova.re 2 Treffer
- resolution 2 Treffer
- transfer learning 2 Treffer
- x-ray diffraction 2 Treffer
- aerospace engineering 1 Treffer
- angiogenesis 1 Treffer
- animal 1 Treffer
- animal tissue 1 Treffer
- applied mathematics 1 Treffer
- article 1 Treffer
- arts and humanities (miscellaneous) 1 Treffer
- asset intangibili 1 Treffer
- bac clones 1 Treffer
- bioinformatics 1 Treffer
- blood vessel density 1 Treffer
- brevetti 1 Treffer
- cetirizine 1 Treffer
- chick 1 Treffer
- chickens 1 Treffer
- civil and structural engineering 1 Treffer
- concurrency 1 Treffer
Verlag
Publikation
- journal of functional programming ; volume 32 ; issn 0956-7968 1469-7653 4 Treffer
- journal of functional programming ; volume 25 ; issn 0956-7968 1469-7653 2 Treffer
- journal of functional programming ; volume 28 ; issn 0956-7968 1469-7653 2 Treffer
- journal of functional programming ; volume 33 ; issn 0956-7968 1469-7653 2 Treffer
- $2 1 Treffer
-
9 weitere Werte:
- iucrj 1 Treffer
- journal of automated reasoning ; issn 0168-7433 1573-0670 1 Treffer
- journal of functional programming ; volume 26 ; issn 0956-7968 1469-7653 1 Treffer
- journal of functional programming ; volume 27 ; issn 0956-7968 1469-7653 1 Treffer
- journal of functional programming ; volume 29 ; issn 0956-7968 1469-7653 1 Treffer
- journal of functional programming ; volume 30 ; issn 0956-7968 1469-7653 1 Treffer
- journal of functional programming ; volume 31 ; issn 0956-7968 1469-7653 1 Treffer
- nature 432 (2004) 7018 ; issn: 0028-0836 1 Treffer
- optimization and engineering ; issn 1389-4420 1573-2924 1 Treffer
Sprache
99 Treffer
-
In: Journal of Functional Programming ; volume 33 ; ISSN 0956-7968 1469-7653, 2023academicJournalZugriff:
-
In: Journal of Functional Programming ; volume 33 ; ISSN 0956-7968 1469-7653, 2023academicJournalZugriff:
-
In: Journal of Functional Programming ; volume 32 ; ISSN 0956-7968 1469-7653, 2022academicJournalZugriff:
-
In: Journal of Functional Programming ; volume 32 ; ISSN 0956-7968 1469-7653, 2022academicJournalZugriff:
-
In: Journal of Functional Programming ; volume 31 ; ISSN 0956-7968 1469-7653, 2021academicJournalZugriff:
-
In: Science of Computer Programming ; volume 170, page 27-44 ; ISSN 0167-6423, 2019academicJournalZugriff:
-
In: Journal of Automated Reasoning ; volume 61, issue 1-4, page 423-453 ; ISSN 0168-7433 1573-0670, 2018academicJournalZugriff:
-
In: Science of Computer Programming ; volume 164, page 37-48 ; ISSN 0167-6423, 2018academicJournalZugriff:
-
In: Science of Computer Programming ; volume 164, page 49-65 ; ISSN 0167-6423, 2018academicJournalZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming ; volume 90, page 50-60 ; ISSN 2352-2208, 2017academicJournalZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming ; volume 84, issue 3, page 377-401 ; ISSN 2352-2208, 2015academicJournalZugriff:
-
In: Science of Computer Programming ; volume 113, page 285-301 ; ISSN 0167-6423, 2015academicJournalZugriff:
-
In: Journal of Automated Reasoning ; ISSN 0168-7433 1573-0670, 2021academicJournalZugriff:
-
In: Journal of Computer Science and Technology ; volume 36, issue 6, page 1291-1306 ; ISSN 1000-9000 1860-4749, 2021academicJournalZugriff:
-
In: Science of Computer Programming ; volume 201, page 102537 ; ISSN 0167-6423, 2021academicJournalZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming ; volume 120, page 100642 ; ISSN 2352-2208, 2021academicJournalZugriff:
-
In: Journal of Pharmacy Research ; volume 7, issue 5, page 443-447 ; ISSN 0974-6943, 2013academicJournalZugriff:
-
In: Journal of Automated Reasoning ; volume 64, issue 5, page 795-825 ; ISSN 0168-7433 1573-0670, 2020academicJournalZugriff:
-
In: Journal of Automated Reasoning ; volume 65, issue 1, page 75-124 ; ISSN 0168-7433 1573-0670, 2020academicJournalZugriff:
-
In: Science of Computer Programming ; volume 187, page 102371 ; ISSN 0167-6423, 2020academicJournalZugriff: