安娜·卡瓦尔坎蒂(编辑) 特刊:根据2009年12月9日至11日在巴西里约热内卢举行的第11届正式工程方法国际会议ICFEM’09上的陈述,选出论文。 (英语) Zbl 1273.68019号 科学。计算。程序。77,第12期,1211-1309(2012)。 MSC公司:68-06 00B25型 68牛顿 PDF格式BibTeX公司 XML格式
阿尔瓦罗宫泽;安娜·卡瓦尔坎蒂 状态流图的优化模型。 (英语) Zbl 1243.68152号 科学。计算。程序。 77,第10-11号,1151-1177(2012).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Miyazawa}和\textit{A.Cavalcanti},科学。计算。程序。77,No.10--111151--1177(2012;Zbl 1243.68152) 全文: 内政部
泽达,弗兰克;安娜·卡瓦尔坎蒂 关于UTP理论家族的机械推理。 (英语) 兹比尔1243.68270 科学。计算。程序。 77,第4期,444-479(2012).MSC公司:第68页第15页 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}和\textit{A.Cavalcanti},科学。计算。程序。77,编号4444-479(2012年;兹bl 1243.68270) 全文: 内政部
马塞尔·奥利维拉;泽达,弗兰克;安娜·卡瓦尔坎蒂 一种用于细化状态丰富并发规范的策略语言。 (英语) Zbl 1218.68101号 科学。计算。程序。 76,第9期,792-833(2011).MSC公司:60年第68季度 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Oliveira}等人,科学。计算。程序。76,第9号,792--833(2011;Zbl 1218.68101) 全文: 内政部
墨西哥科内里奥;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 声音重构。 (英语) Zbl 1191.68168号 科学。计算。程序。 75,第3期,106-133(2010).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Cornélio}等人,科学。计算。程序。75,编号3,106--133(2010;Zbl 1191.68168) 全文: 内政部
保罗·博尔巴;奥古斯托·桑帕约;安娜·卡瓦尔坎蒂;墨西哥科内里奥 面向对象编程的代数推理。 (英语) Zbl 1091.68027号 科学。计算。程序。 52,编号1-3,53-100(2004).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Borba}等人,科学。计算。程序。52,编号1--3,53-100(2004;Zbl 1091.68027) 全文: 内政部
安娜·卡瓦尔坎蒂;奥古斯托·桑帕约;吉姆·伍德科克 精化演算中过程、参数和替换的不一致。 (英语) Zbl 0942.68014号 科学。计算。程序。 33,第1期,87-96(1999).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,科学。计算。程序。33,第1号,87--96(1999;Zbl 0942.68014) 全文: 内政部