Sciweavers

11065 search results - page 169 / 2213
» Education
Sort
View
CORR
2006
Springer
93views Education» more  CORR 2006»
15 years 4 months ago
LTL with the Freeze Quantifier and Register Automata
Stéphane Demri, Ranko Lazic
CORR
2006
Springer
97views Education» more  CORR 2006»
15 years 4 months ago
Towards a Bayesian framework for option pricing
Henryk Gzyl, Enrique ter Horst, Samuel Malone
CORR
2006
Springer
88views Education» more  CORR 2006»
15 years 4 months ago
Inductive-data-type Systems
Frédéric Blanqui, Jean-Pierre Jouann...
CORR
2006
Springer
117views Education» more  CORR 2006»
15 years 4 months ago
Intrusion detection mechanisms for VoIP applications
Mohamed El Baker Nassar, Radu State, Olivier Festo...