Period of time： 2011年1期
Publisher： Edp Sciences
Founded in： 1999
Total resources： 83
E-ISSN： 1290-385x|45|1
ISSN： 0988-3754
Subject： X Environmental Science, Safety Science
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
RAIRO - Theoretical Informatics and Applications,volume 45,issue 1
Menu
By Scientific Committee The in (2011)
RAIRO - Theoretical Informatics and Applications,volume 45,issue 1 , Vol. 45, Iss. 1, 2011-03 , pp.
Access to resources
Recommend
Idealized coinductive type systems for imperative object-oriented programs
By Ancona Davide,Lagorio Giovanni in (2011)
RAIRO - Theoretical Informatics and Applications,volume 45,issue 1 , Vol. 45, Iss. 1, 2011-03 , pp.Enumerated type semantics for the calculus of looping sequences
RAIRO - Theoretical Informatics and Applications,volume 45,issue 1 , Vol. 45, Iss. 1, 2011-03 , pp.Hopcroft's algorithm and tree-like automata
By Castiglione G.,Restivo A.,Sciortino M. in (2011)
RAIRO - Theoretical Informatics and Applications,volume 45,issue 1 , Vol. 45, Iss. 1, 2011-03 , pp.Consensual languages and matching finite-state computations
By Crespi Reghizzi Stefano,San Pietro Pierluigi in (2011)
RAIRO - Theoretical Informatics and Applications,volume 45,issue 1 , Vol. 45, Iss. 1, 2011-03 , pp.An introduction to quantum annealing
By de Falco Diego,Tamascelli Dario in (2011)
RAIRO - Theoretical Informatics and Applications,volume 45,issue 1 , Vol. 45, Iss. 1, 2011-03 , pp.The compositional construction of Markov processes II
By de Francesco Albasini L.,Sabadini N.,Walters R. F.C. in (2011)
RAIRO - Theoretical Informatics and Applications,volume 45,issue 1 , Vol. 45, Iss. 1, 2011-03 , pp.Extending the lambda-calculus with unbind and rebind
By Dezani-Ciancaglini Mariangiola,Giannini Paola,Zucca Elena in (2011)
RAIRO - Theoretical Informatics and Applications,volume 45,issue 1 , Vol. 45, Iss. 1, 2011-03 , pp.Strategies to scan pictures with automata based on Wang tiles
By Lonati Violetta,Pradella Matteo in (2011)
RAIRO - Theoretical Informatics and Applications,volume 45,issue 1 , Vol. 45, Iss. 1, 2011-03 , pp.