National Technical University of Athens
School of Electrical and Computer Engineering
Artemis is Live!
Welcome to our digital repository! The aim of Artemis is the systematic archiving and dissemination of the scientific work produced in the School of Electrical and Computer Engineering, National Technical University of Athens, Greece, using the technology of digital libraries.
Browsing by Subject
Showing results 1996 to 2015 of 33971
< previous
next >
- coq 3
- Coq, CoqGym, Αναζήτηση Μόντε Κάρλο σε Δέντρα (MCTS), ASTactic, TacTok, Passport, Απόδειξη Θεωρημάτων, Διαδραστική Απόδειξη Θεωρημάτων, Καθοδηγούμενη Σύνθεση Αποδείξεων, Βοηθοί Αποδείξεων, Μοντέλα Μακράς - Βραχυπρόθεσμης Μνήμης 1
- coq. 2
- corba 2
- Corda 1
- core 1
- core coap 1
- core components 1
- Corner detector 1
- Cornering Performance 1
- cornish - fisher 2
- cornish-fisher 1
- corona 1
- coroutines 1
- Corporate Finance 1
- correlated equilibrium 1
- correlated lognormal 1
- correlation coefficients 1
- Correspondence Analysis 1
- Corrosion 1