Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 63 Treffer
- [info:info_oh] computer science/other 23 Treffer
- [info:info_lo] computer science/logic in computer science 14 Treffer
- 004 13 Treffer
- theorie des types 13 Treffer
-
45 weitere Werte:
- computer science 12 Treffer
- [info:info_se] computer science/software engineering 11 Treffer
- compilation 11 Treffer
- electrical engineering and computer science. 11 Treffer
- preuve formelle 11 Treffer
- [info:info_lo] informatique/logique en informatique 10 Treffer
- [info:info_oh] informatique/autre 10 Treffer
- formal methods 10 Treffer
- formal verification 10 Treffer
- proof assistant 10 Treffer
- verification 10 Treffer
- verification formelle 9 Treffer
- assistant de preuve 8 Treffer
- assistants de preuve 8 Treffer
- certification 8 Treffer
- analyse statique 7 Treffer
- methodes formelles 7 Treffer
- static analysis 7 Treffer
- type theory 7 Treffer
- [info:info_pl] computer science/programming languages 6 Treffer
- coenzyme q 6 Treffer
- coq proof assistant 6 Treffer
- proof assistants 6 Treffer
- computer sciences 5 Treffer
- formal proof 5 Treffer
- interpretation abstraite 5 Treffer
- langages de programmation 5 Treffer
- saccharomyces cerevisiae 5 Treffer
- types dependants 5 Treffer
- [info:info_fl] computer science/formal languages and automata theory 4 Treffer
- [info:info_pl] informatique/langage de programmation 4 Treffer
- [math] mathematics 4 Treffer
- algorithm 4 Treffer
- concurrence 4 Treffer
- conflict detection 4 Treffer
- dependent types 4 Treffer
- formal semantics 4 Treffer
- formalization 4 Treffer
- lambda-calculus 4 Treffer
- preuve de programmes 4 Treffer
- preuves formelles 4 Treffer
- reecriture 4 Treffer
- smt 4 Treffer
- squelettes algorithmiques 4 Treffer
- xacml 4 Treffer
Verlag
- massachusetts institute of technology 19 Treffer
- ecole polytechnique x 10 Treffer
- universite paris-diderot - paris vii 9 Treffer
- universite paris sud - paris xi 7 Treffer
- universite d'ottawa / university of ottawa 6 Treffer
-
45 weitere Werte:
- [s.l. 5 Treffer
- universite de grenoble 5 Treffer
- universite pierre et marie curie - paris vi 5 Treffer
- brasil 4 Treffer
- conservatoire national des arts et metiers - cnam 4 Treffer
- universite de nice sophia-antipolis 4 Treffer
- universite nice sophia antipolis 4 Treffer
- ecole normale superieure de lyon - ens lyon 3 Treffer
- mcgill university 3 Treffer
- ohio university / ohiolink 3 Treffer
- paris 3 Treffer
- ufrn 3 Treffer
- university of edinburgh 3 Treffer
- yale university 3 Treffer
- alma mater studiorum - universita di bologna 2 Treffer
- biblioteca digitais de teses e dissertacoes da usp 2 Treffer
- br 2 Treffer
- ecole nationale superieure des mines de paris 2 Treffer
- ecole normale superieure de cachan - ens cachan 2 Treffer
- grenoble 2 : anrt 2 Treffer
- handelshogskolan i stockholm, samhallsekonomi (s) 2 Treffer
- ohio university honors tutorial college / ohiolink 2 Treffer
- programa de p?s-gradua??o em sistemas e computa??o 2 Treffer
- scholar commons 2 Treffer
- stockholm : economic research institute, stockholm school of economics (efi) 2 Treffer
- the ohio state university / ohiolink 2 Treffer
- universidade federal do rio grande do norte 2 Treffer
- universite d'orleans 2 Treffer
- university college london (university of london) 2 Treffer
- university of st andrews 2 Treffer
- vanderbilt 2 Treffer
- anglia ruskin university 1 Treffer
- biblioteca digital da unicamp 1 Treffer
- blekinge tekniska hogskola, institutionen for industriell ekonomi 1 Treffer
- bordeaux : editions bergeret 1 Treffer
- byu scholarsarchive 1 Treffer
- ci?ncia da computa??o 1 Treffer
- ciencias biologicas (microbiologia) 1 Treffer
- digital commons @ east tennessee state university 1 Treffer
- digital wpi 1 Treffer
- digitalcommons@calpoly 1 Treffer
- escola de gestao e negocios 1 Treffer
- gainesville, fl 1 Treffer
- harvard university 1 Treffer
- heriot-watt university 1 Treffer
Publikation
- repositorio institucional da unb 4 Treffer
- unb 4 Treffer
- universidade de brasilia 4 Treffer
- repositorio institucional da ufrn 3 Treffer
- ufrn 3 Treffer
-
20 weitere Werte:
- universidade federal do rio grande do norte 3 Treffer
- graduate theses and dissertations 2 Treffer
- theses and dissertations 2 Treffer
- biblioteca digital de teses e dissertacoes da usp 1 Treffer
- etsu faculty works 1 Treffer
- link to electronic thesis 1 Treffer
- master's theses 1 Treffer
- masters theses (all theses, all years) 1 Treffer
- repositorio institucional da ufpe 1 Treffer
- repositorio institucional da unicamp 1 Treffer
- repositorio institucional da unisinos 1 Treffer
- summary by efi 1 Treffer
- ufpe 1 Treffer
- unicamp 1 Treffer
- unisinos 1 Treffer
- universidade de sao paulo 1 Treffer
- universidade do vale do rio dos sinos 1 Treffer
- universidade estadual de campinas 1 Treffer
- universidade federal de pernambuco 1 Treffer
- usp 1 Treffer
Sprache
Geographischer Bezug
331 Treffer
-
2016Online HochschulschriftZugriff:
-
2013HochschulschriftZugriff:
-
2013HochschulschriftZugriff:
-
2013Online HochschulschriftZugriff:
-
2017HochschulschriftZugriff:
-
2013HochschulschriftZugriff:
-
2013Online HochschulschriftZugriff:
-
2013HochschulschriftZugriff:
-
2013Online HochschulschriftZugriff:
-
2012HochschulschriftZugriff:
-
2012Online HochschulschriftZugriff:
-
2012Online HochschulschriftZugriff:
-
2012Online HochschulschriftZugriff:
-
2011Online HochschulschriftZugriff:
-
2011Online HochschulschriftZugriff:
-
2014HochschulschriftZugriff:
-
2014Online HochschulschriftZugriff: