Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 19 Treffer
- Sustainable Organization Library (SOL) 4 Treffer
- Openedition.org 4 Treffer
- Networked Digital Library of Theses & Dissertations 4 Treffer
- McGraw-Hill Medical 4 Treffer
-
21 weitere Werte:
- LearningExpress Library 4 Treffer
- Kotar Digital Library 4 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 4 Treffer
- Janes Military & Security Assessments (JMSA) – News 4 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 4 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 4 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 4 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 4 Treffer
- Janes Defence Equipment & Technology (JDET) - News 4 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 4 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 4 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 4 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 4 Treffer
- Index New Zealand 4 Treffer
- Films on Demand 4 Treffer
- Europeana 4 Treffer
- DieselNet Technology Guide 4 Treffer
- Canada Commons 4 Treffer
- Beeld en Geluid op school 4 Treffer
- Torrossa 4 Treffer
- Ambrose Digital 4 Treffer
Art der Quelle
Schlagwort
- rewriting 10 Treffer
- preuve formelle 9 Treffer
- formal proof 7 Treffer
- types dependants 7 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 6 Treffer
-
45 weitere Werte:
- automates 6 Treffer
- circuits 6 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 5 Treffer
- automata 5 Treffer
- [info]computer science [cs] 4 Treffer
- confluence 4 Treffer
- coq 4 Treffer
- formal methods 4 Treffer
- methodes formelles 4 Treffer
- terminaison 4 Treffer
- termination 4 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 3 Treffer
- compilation 3 Treffer
- curry-howard correspondence 3 Treffer
- deduction modulo 3 Treffer
- dependent types 3 Treffer
- lambda calcul 3 Treffer
- lambda calculus 3 Treffer
- theorie des types 3 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- [info:info_pl] computer science/programming languages 2 Treffer
- algebres de kleene 2 Treffer
- correspondance de curry-howard 2 Treffer
- phil 2 Treffer
- preuve 2 Treffer
- systemes de (informatique) 2 Treffer
- theorie de la 2 Treffer
- type theory 2 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 1 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 1 Treffer
- [info:info_lo] computer science/logic in computer science 1 Treffer
- [info:info_lo] informatique/logique en informatique 1 Treffer
- [info:info_ms] computer science/mathematical software 1 Treffer
- [info:info_oh] computer science/other 1 Treffer
- [info:info_oh] informatique/autre 1 Treffer
- [info:info_pl] informatique/langage de programmation 1 Treffer
- base de donnees graphe 1 Treffer
- containment 1 Treffer
- graph database 1 Treffer
- hist 1 Treffer
- inclusion de requetes 1 Treffer
- lang 1 Treffer
- regular path queries 1 Treffer
- rewriting system 1 Treffer
- rewriting techniques 1 Treffer
Verlag
Sprache
11 Treffer
-
2012HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-00683661 ; Autre [cs.OH]. Université de Grenoble, 2012. Français. ⟨NNT : 2012GRENM005⟩, 2012Online HochschulschriftZugriff:
-
2008Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-00640052 ; Logiciel mathématique [cs.MS]. Université Paris Sud - Paris XI, 2008. Français. ⟨NNT : ⟩, 2008Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-03418761 ; Other [cs.OH]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG032⟩, 2021Online HochschulschriftZugriff:
-
2011Online HochschulschriftZugriff:
-
In: https://tel.archives-ouvertes.fr/tel-02445754 ; Informatique [cs]. Université de Lille, 2019. Français, 2019Online HochschulschriftZugriff:
-
In: https://hal.univ-lorraine.fr/tel-01746719 ; Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2002. Français. ⟨NNT : 2002NAN10144⟩, 2002HochschulschriftZugriff:
-
In: https://pastel.archives-ouvertes.fr/tel-01235303 ; Computer Science [cs]. École polytechnique, 2015. English. ⟨NNT : ⟩, 2015Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-00672699 ; Logique en informatique [cs.LO]. Ecole Polytechnique X, 2011. Français. ⟨NNT : ⟩, 2011Online HochschulschriftZugriff: