Period of time: 2007年2期
Publisher: Edp Sciences
Founded in: 1999
Total resources: 83
E-ISSN: 1290-385x|42|2
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 42,issue 2
Menu
Efficiency of automata in semi-commutation verification techniques
By Cécé Gérard,Héam Pierre-Cyrille,Mainier Yann in (2007)
RAIRO - Theoretical Informatics and Applications,volume 42,issue 2 , Vol. 42, Iss. 2, 2007-09 , pp.Binary operations on automatic functions
By Karhumäki Juhani,Kari Jarkko,Kupke Joachim in (2007)
RAIRO - Theoretical Informatics and Applications,volume 42,issue 2 , Vol. 42, Iss. 2, 2007-12 , pp.By Serna Maria,Xhafa Fatos in (2007)
RAIRO - Theoretical Informatics and Applications,volume 42,issue 2 , Vol. 42, Iss. 2, 2007-09 , pp.Hierarchies of function classes defined by the first-value operator
RAIRO - Theoretical Informatics and Applications,volume 42,issue 2 , Vol. 42, Iss. 2, 2007-12 , pp.Calculi of net structures and sets are similar
RAIRO - Theoretical Informatics and Applications,volume 42,issue 2 , Vol. 42, Iss. 2, 2007-09 , pp.Efficient weighted expressions conversion
By Ouardi Faissal,Ziadi Djelloul in (2007)
RAIRO - Theoretical Informatics and Applications,volume 42,issue 2 , Vol. 42, Iss. 2, 2007-09 , pp.Census algorithms for chinese remainder pseudorank
By Laing David,Litow Bruce in (2007)
RAIRO - Theoretical Informatics and Applications,volume 42,issue 2 , Vol. 42, Iss. 2, 2007-08 , pp.Phenotype space and kinship assignment for the simpson index
By Litow Bruce,Konovalov Dmitry in (2007)
RAIRO - Theoretical Informatics and Applications,volume 42,issue 2 , Vol. 42, Iss. 2, 2007-09 , pp.State complexity of cyclic shift
By Jirásková Galina,Okhotin Alexander in (2007)
RAIRO - Theoretical Informatics and Applications,volume 42,issue 2 , Vol. 42, Iss. 2, 2007-12 , pp.D0L sequence equivalence is in