×

找到45个文档（结果1-45）

最新的 引文 关联
约万卡·潘托维奇;伊万·普罗基奇;雨果·托雷斯·维埃拉

浮动授权建模的演算。 （英语） Zbl 1508.68250号

Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10854, 101-120 (2018).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Pantović}等人，莱克特。注释计算。科学。10854、101-120（2018年；Zbl 1508.68250）
全文： 内政部 哈尔
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;吉田、Nobuko

子类型的含义和操作精确性：路线图。在弗兰克·德·波尔60岁生日之际献给他。 （英语） Zbl 1475.68082号

阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 155-172 (2016).
MSC公司：68号30 68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。9660，155--172（2016；Zbl 1475.68082）
全文： 内政部
乔利奇·奥拉维克（Jelena）;哈吉姆·马奇达;约万卡·潘托维奇;沃伊沃迪奇，格拉迪米尔

从克隆到超级克隆。 （英语） 兹比尔1524.08002

Silvia Ghilezan（编辑），《计算机科学中的逻辑》。二、。贝尔格莱德：马特马提奇研究所SANU。Zb.公司。Rad.（Beogr.）18（26），111-144（2015）。
MSC公司：08A40号 2015年1月6日
PDF格式BibTeX公司 XML格式引用
\textit{J.乔利奇·奥拉维克}等人，Zb。Rad.（Beogr.）18，111--144（2015；Zbl 1524.08002）
全文： 链接
乔瓦娜·德迪奇;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。

将补偿原语作为可适应的进程。 （英语） Zbl 1476.68171号

Crafa，Silvia（ed.）等人，《第22届并发表达性国际研讨会和第12届结构操作语义国际研讨会论文集》，EXPRESS/SOS 2015，西班牙马德里，2015年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）190，16-30（2015）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Dedeić}等人，《电子》。程序。西奥。计算。科学。（EPTCS）190，16--30（2015；Zbl 1476.68171）
全文： arXiv公司 链接
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉

将行为类型与安全分析相结合。 （英语） Zbl 1330.68045号

J.日志。阿尔盖布。方法计划。 84，第6号，763-780（2015）.
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartoletti}等人，J.Log。阿尔盖布。方法计划。84，第6号，763--780（2015；Zbl 1330.68045）
全文： 内政部 arXiv公司
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇

动态web数据的基于角色的访问控制类型。 （英语） Zbl 1327.68169号

Mariño，Julio（编辑），功能和约束逻辑编程。2010年1月17日在西班牙马德里举行的2010年世界粮食计划署第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-20774-7/pbk）。计算机科学讲义6559，1-29（2011）。
MSC公司：68问题85 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。6559，1--29（2011；Zbl 1327.68169）
全文： 内政部 链接
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇

动态web数据的安全类型。 （英语） Zbl 1211.68267号

Montanari，Ugo（编辑）等人，《值得信赖的全球计算》。第二次研讨会，TGC 2006，意大利卢卡，2006年11月7日至9日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-75333-9/pbk）。计算机科学课堂讲稿4661263-280（2007）。
MSC公司：68问题85 68米11
PDF格式BibTeX公司 XML格式引用
\textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。4661、263--280（2007年；Zbl 1211.68267）
全文： 内政部 哈尔
约万卡·潘托维奇;比尔雅那罗迪奇;沃伊沃迪奇，格拉迪米尔

关于提升超操作。 （英语） Zbl 1079.08003号

Krejić，N.（编辑）等人，PRIM 2002。第十五届应用数学会议记录，2002年5月26日至31日，南斯拉夫兹拉蒂博尔。Novi Sad：诺维萨德大学，理学院，数学和信息学系。67-71 (2002).
MSC公司：08A40号
PDF格式BibTeX公司 XML格式引用
\textit{J.Pantović}等人，in：PRIM 2002。2002年5月26日至31日，南斯拉夫兹拉蒂博尔，第十五届应用数学会议记录。Novi Sad：诺维萨德大学，理学院，数学和信息学系。67-71（2002年；Zbl 1079.08003）
约万卡·潘托维奇;比尔雅那罗迪奇;沃伊沃迪奇，格拉迪米尔

关于超克隆嵌入。 （塞尔维亚语） 邮编1125.08300

Minić，Svetomir（编辑）等人，第28届Jugoslovenski simpozijum o operacionim istraćivanjima。SYM-OP是2001年。兹博尼克·拉多瓦。贝尔格莱德：SANU，塞尔维亚科学与艺术学院，数学研究所；贝尔格莱德：什塔巴·沃伊斯克·南斯拉夫将军。339-342 (2001).
MSC公司：08A40号
PDF格式BibTeX公司 XML格式引用
\textit{J.Pantović}等人，收录于：28 Jugoslovenski simpozijum o operacionim istraćivanjima。SYM-OP-IS 2001。兹博尼克·拉多瓦。贝尔格莱德：SANU，塞尔维亚科学与艺术学院，数学研究所；贝尔格莱德：什塔巴·沃伊斯克·南斯拉夫将军。339--342（2001年；Zbl 1125.08300）
约万卡·潘托维奇;杜珊·沃伊沃迪奇

三元集上基于非有限元的函数完备代数的基数。 （英语） Zbl 0984.08005号

Chajda，I.（编辑）等人，《对普通代数的贡献》13。第60届普通代数研讨会论文集“60。Arbeitstagung Allgemeine Algebra”，德国德累斯顿，2000年6月22日至25日，1999年8月30日至9月4日，捷克共和国VelkéKarlovice，普通代数和有序集暑期学校。克拉根福：维拉格·约翰内斯·海恩。Contrib.生成代数。13, 245-252 (2001).
MSC公司：08A40号
PDF格式BibTeX公司 XML格式引用
\textit｛J.Pantović｝和\textit｛D.Vojvodić｝，控制论，代数13245-252（2001；Zbl 0984.08005）
雷德·多罗斯洛瓦奇基;约万卡·潘托维奇;拉特科·托什奇;沃伊沃迪奇，格拉迪米尔

完整性、功能完整性和相对完整性。 （英语） Zbl 1006.08005号

诺维·萨德J.数学。 29，第2期，171-180（1999）.
审核人：Branislav Boričić（贝尔格莱德）
MSC公司：08A40号 03B50号 03-02 2002年8月
PDF格式BibTeX公司 XML格式引用
\textit{R.Doroslovaćki}等人，Novi Sad J.Math。29，第2号，171--180（1999；Zbl 1006.08005）
全文： 欧洲DML
雷德·多罗斯洛瓦奇基;约万卡·潘托维奇;拉特科·托什奇;沃伊沃迪奇，格拉迪米尔

关于两个否定的相对完备性的一些评论。 （英语） Zbl 1054.03503号

Herceg，D.（编辑）等人，1997年出版。第十二届应用数学会议记录，1997年9月8日至12日，南斯拉夫巴利奇。诺维·萨德：诺维·萨德大学，科学院，数学研究所。27-32 (1998).
审核人：朱安娜·科维亚尼奇（波德戈里察）
MSC公司：03B50号 03G99型
PDF格式BibTeX公司 XML格式引用
\textit{R.Doroslovački}等人，in：PRIM’97。第十二届应用数学会议记录，1997年9月8日至12日，南斯拉夫巴利奇。诺维萨德：诺维萨德大学，理学院，数学研究所。27-32（1998年；兹bl 1054.03503）
多罗斯洛瓦奇基，R。;潘托维奇，J。;托希奇，R。;沃伊沃迪奇，G。

相对完整性。 （英语） Zbl 0981.08004号

Tošić，Ratko（ed.）等人，《第八届逻辑和计算机科学国际会议论文集：计算机科学的理论基础》，1997年9月1日至4日，南斯拉夫诺维萨德，Lira’97。Novi Sad：诺维萨德大学，数学研究所科学学院，51-57（1997）。
审核人：Dragan Acketa（诺维·萨德）
MSC公司：08A40号 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{R.Doroslovaćki}等人，《第八届逻辑与计算机科学国际会议论文集：计算机科学的理论基础》，1997年9月1日至4日，南斯拉夫诺维萨德，利拉’97。诺维·萨德：诺维·萨德大学，科学院，数学研究所。51-57（1997；Zbl 0981.08004）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件