安娜·桑切斯
人员信息
其他同名人员
安娜·贝伦·桑切斯·加西亚 洛佩斯·桑切斯 (又名:Ana Dolores López-Sánchez) -西班牙塞维利亚巴勃罗·德奥拉维德大学 安娜·C·桑切斯·拉莫斯 (又名:安娜·塞西莉亚·桑切斯·拉莫斯) 安娜·贝伦·桑切斯 -西班牙塞维利亚大学 安娜·海伦娜·桑切斯 安娜·伊莎贝尔·桑切斯 安娜·劳拉·勒扎马·桑切斯 安娜·M·桑切斯 (又名:安娜·玛丽亚·桑切斯) 安娜·苏亚雷斯·桑切斯 安娜·桑切斯·罗德里格斯
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2019 [j6] 安娜·桑切斯 , 塞萨尔·多明格斯 , 何塞·米盖尔·布兰科 , 阿图罗·詹姆·埃利佐多 :
合并计算专业人员的知识:学生、学术界和专业专家评估之间的差异。 ACM事务处理。 计算。 教育。 19 ( 三 ) : 26:1-26:18 ( 2019 ) 2016 [j5] 塞萨尔·多明格斯 , 阿图罗·詹姆·埃利佐多 , 安娜·桑切斯 , 何塞·米盖尔·布兰科 , 乔纳森·赫拉斯 :
在线自我评估、同伴评估、外部评估和指导者评估的一致性和差异性比较分析:竞争效应。 计算。 嗯。行为。 60 : 112-120 ( 2016 ) 2013 【j4】 阿图罗·詹姆·埃利佐多 , 塞萨尔·多明格斯 , 安娜·桑切斯 , 何塞·米盖尔·布兰科 :
大学间远程协作,以提高学术成果并确定首选通信工具。 计算。 教育。 64 : 63-69 ( 2013 )
2000 – 2009
2009 【c4】 安德烈斯·穆尼奥斯 , 安娜·桑切斯 , 胡安·博蒂亚 :
面向论证的多代理系统的软件体系结构。 PAAMS公司 2009 : 197-206
1990 – 1999
1996 [j3] 费尔南多·奥雷贾斯 , 玛丽莎·纳瓦罗 , 安娜·桑切斯 :
抽象数据类型的代数实现:概念和新组成结果综述。 数学。 结构。 计算。 科学。 6 ( 1 ) : 33-67 ( 1996 ) 1995 [注2] 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 , 安娜·桑切斯 :
关于模块化系统的正确性。 西奥。 计算。 科学。 140 ( 1 ) : 139-177 ( 1995 ) 1993 [j1] 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 , 安娜·桑切斯 :
以困惑为特征。 牛市。 EATCS公司 49 : 103-110 ( 1993 ) 【c3】 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 , 安娜·桑切斯 :
关于模块化系统的正确性。 AMAST公司 1993 : 209-216 1991 【c2】 费尔南多·奥雷贾斯 , 玛丽莎·纳瓦罗 , 安娜·桑切斯 :
实施与行为等效:一项调查。 罗盘/ADT 1991 : 93-125
1980 – 1989
1988 [c1] 费尔南多·奥雷贾斯 , 安娜·桑切斯 , 玛丽莎·纳瓦罗 , 皮拉尔·尼维拉 , 里卡多·佩纳 :
部分规范的术语重写方法。 ADT公司 1988
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)