Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 32 Treffer
- Ambrose Digital 12 Treffer
- Torrossa 12 Treffer
- Sustainable Organization Library (SOL) 12 Treffer
- Openedition.org 12 Treffer
-
23 weitere Werte:
- Networked Digital Library of Theses & Dissertations 12 Treffer
- McGraw-Hill Medical 12 Treffer
- LearningExpress Library 12 Treffer
- Kotar Digital Library 12 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 12 Treffer
- Janes Military & Security Assessments (JMSA) – News 12 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 12 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 12 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 12 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 12 Treffer
- Janes Defence Equipment & Technology (JDET) - News 12 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 12 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 12 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 12 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 12 Treffer
- Index New Zealand 12 Treffer
- Films on Demand 12 Treffer
- Europeana 12 Treffer
- DieselNet Technology Guide 12 Treffer
- Canada Commons 12 Treffer
- Beeld en Geluid op school 12 Treffer
- OpenDissertations 10 Treffer
- Digital Access to Scholarship at Harvard (DASH) 1 Treffer
Art der Quelle
Schlagwort
- coq 12 Treffer
- formal verification 8 Treffer
- mathematics 7 Treffer
- programming languages 6 Treffer
- software verification 6 Treffer
-
45 weitere Werte:
- verification 6 Treffer
- formal methods 4 Treffer
- logic 4 Treffer
- machine learning 4 Treffer
- natural language processing 4 Treffer
- semantic parsing 4 Treffer
- computer science and engineering 3 Treffer
- proof assistants 3 Treffer
- theorem proving 3 Treffer
- artificial intelligence 2 Treffer
- attention 2 Treffer
- automatic verification 2 Treffer
- coinduction 2 Treffer
- compiler 2 Treffer
- compilers 2 Treffer
- computer security 2 Treffer
- control theory 2 Treffer
- deductive 2 Treffer
- deep learning 2 Treffer
- domain theory 2 Treffer
- engineering 2 Treffer
- generalization error 2 Treffer
- haskell 2 Treffer
- hybrid systems 2 Treffer
- induction 2 Treffer
- interactive theorem provers 2 Treffer
- latex 2 Treffer
- lstm 2 Treffer
- modal logic 2 Treffer
- monad 2 Treffer
- neural networks 2 Treffer
- ph.d 2 Treffer
- ph.d. trinity college dublin 2 Treffer
- phil 2 Treffer
- policy iteration 2 Treffer
- probabilistic programming 2 Treffer
- programing languages 2 Treffer
- proof 2 Treffer
- pytorch 2 Treffer
- recurrent neural networks 2 Treffer
- refinement types 2 Treffer
- reinforcement learning 2 Treffer
- rnn 2 Treffer
- search 2 Treffer
- static verification 2 Treffer
Verlag
- yale university 6 Treffer
- escholarship, university of california 4 Treffer
- ohio university / ohiolink 3 Treffer
- university of kansas 3 Treffer
- mcgill university 2 Treffer
-
8 weitere Werte:
- ohio university honors tutorial college / ohiolink 2 Treffer
- trinity college (dublin, ireland). school of computer science & statistics 2 Treffer
- university of missouri--columbia 2 Treffer
- eth 1 Treffer
- harvard university 1 Treffer
- institutes outside greece 1 Treffer
- unilu - university of luxembourg 1 Treffer
- ιδρυματα εξωτερικου 1 Treffer
Sprache
55 Treffer
-
2023HochschulschriftZugriff:
-
2021HochschulschriftZugriff:
-
2017HochschulschriftZugriff:
-
2016Online HochschulschriftZugriff:
-
In: 1 ; 241 ; AAI28489719 ; Dissertations available from ProQuest ; published, 2021Online HochschulschriftZugriff:
-
2011Online HochschulschriftZugriff:
-
2020HochschulschriftZugriff:
-
2017HochschulschriftZugriff:
-
2023Online HochschulschriftZugriff:
-
2018Online HochschulschriftZugriff:
-
2019Online HochschulschriftZugriff:
-
2023HochschulschriftZugriff:
-
2022Online HochschulschriftZugriff:
-
2022Online HochschulschriftZugriff:
-
2019Online HochschulschriftZugriff:
-
2021HochschulschriftZugriff: