×

找到115个文档(结果1-100)

在AT模型上下文中生成二阶(co)同源信息。 (英语) Zbl 1524.68397号

Marfil,Rebeca(编辑)等人,《图像环境中的计算拓扑》。2019年CTIC第七届国际研讨会,2019年1月24日至25日,西班牙马拉加。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。11382, 68-81 (2019).
MSC公司:68单位03 57米15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于多流排队系统元模型的优先学科效率估计。 (英语) Zbl 1452.60078号

亚历山大·杜丁(编辑)等人,《信息技术和数学建模》。排队论及其应用。2018年第17届国际会议,ITMM 2018,以A.F.Terpugov命名,以及2018年9月10日至15日在俄罗斯托木斯克举行的关于再审队列和相关主题的第12次研讨会,WRQ 2018。精选论文。查姆:斯普林格。Commun公司。计算。信息科学。912, 290-304 (2018).
MSC公司:60K25码
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多连接技术对象的逻辑动态控制器(以燃气轮机发动机为例)。 (英语。俄文原件) Zbl 1385.93007号

J.计算。系统。科学。国际。 56,第4号,668-680(2017); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2017年,第4期,121-132(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

衍生代数几何的研究。第二卷:变形,李理论和形式几何。 (英语) Zbl 1409.14003号

数学调查和专著221, 2. 普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-3570-7/hbk;978-1-4740-3568-4/set;978-1~4704-4087-9/电子书)。xxxv,436页。(2017).
MSC公司:14-02 14A20型 14层05 14英尺10英寸 18D05日 18克55
PDF格式BibTeX公司 XML格式引用

ABS中基于优先连接的分布式网络生成。 (英语) Zbl 1444.68132号

Steffen,Bernhard(编辑)等人,SOFSEM 2017:计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议,爱尔兰利默里克,2017年1月16日至20日,会议记录。查姆:斯普林格。勒克特。注释计算。科学。10139, 103-115 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

根据内部和外部信息源接收的信号计算实际对象路径。 (英语。俄文原件) Zbl 1383.93058号

J.计算。系统。科学。国际。 55,第4号,515-545(2016); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2016年第4期,第18-49页(2016年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

由未分离边界条件连接的离散线性过程系统的状态计算。 (俄语、英语) Zbl 1389.76033号

同胞。Zh公司。Ind.材料。 19,第4期,3-14(2016); J.Appl.中的翻译。Ind.数学。10,第4期,457-467(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

抛物映射和组合学的(1+1)-非线性宇宙。 (英语) Zbl 1310.05003号

新泽西州哈肯萨克:《世界科学》(ISBN 978-981-4632-41-6/hbk;978-981-14632-43-0/ebook)。xii,179页。(2015).
MSC公司:05-02 05C90年 05C62号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用于最小化具有柔顺元件的系统中的振动的控制。 (英语。俄文原件) Zbl 1279.93050号

J.计算。系统。科学。国际。 52,第1期,117-128(2013); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2013年第1期,第122-134页(2013年)。
MSC公司:93B40码 2005年第70季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种基于时间序列标记的弱形式化动态对象状态识别与评估方法。 (英语) Zbl 1266.93158号

J.计算。系统。科学。国际。 50,第5期,722-733(2011); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2011年,第5期,41-52(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模糊对象关系数据库管理系统中复杂数据的广义模糊比较器。 (英语) Zbl 1198.68131号

Hüllermier,Eyke(ed.)等人,《基于知识的系统中的信息处理和不确定性管理》。应用。2010年6月28日至7月2日在德国多特蒙德举行的2010年IPMU第13届国际会议。诉讼程序。第二部分。柏林:施普林格出版社(ISBN 978-3-642-14057-0/pbk;978-3-442-14058-7/电子书)。计算机和信息科学通信81,126-136(2010)。
MSC公司:第68页,共15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

威胁环境中物体运动的检测功能。 (英语。俄文原件) Zbl 1198.93060号

自动。远程控制 71,第4期,634-639(2010); Avtom翻译。Telemekh公司。2010年,第4期,100-105(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

开发Inparcom簇合物家族。 (英语。俄文原件) Zbl 1183.68731号

赛博。系统。分析。 45,第6期,924-931(2009); 翻译自Kibern。修女。分析。2009年,第6期,88-96(2009)。
MSC公司:68宽10 68甲19
PDF格式BibTeX公司 XML格式引用
全文: 内政部

跟踪动态树结构中的信息流。 (英语) Zbl 1481.94006号

Michael Backes(编辑)等人,《计算机安全–ESORICS 2009》。第十四届欧洲计算机安全研究研讨会,法国圣马洛,2009年9月21日至23日。诉讼程序。柏林:施普林格。勒克特。注释计算。科学。5789, 86-103 (2009).
MSC公司:94A05型 05C82号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

组合规范的自动验证:概述。 (英语) Zbl 1279.68217号

Pu,Geguang(编辑)等人,《利用理论为软件工具支持服务的第一届国际研讨会论文集》(TTSS 2007),中国澳门,2007年9月22日至23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记207,3-16(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

广义弱透视投影的对象-图像度量。 (英语) Zbl 1188.68243号

Krim,Hamid(编辑)等人,《形状的统计与分析》。马萨诸塞州波士顿:Birkhäuser(ISBN 0-8176-4376-1/hbk)。科学、工程和技术建模与仿真,253-279(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

与形状上下文匹配。 (英语) Zbl 1188.68245号

Krim,Hamid(编辑)等人,《形状的统计与分析》。马萨诸塞州波士顿:Birkhäuser(ISBN 0-8176-4376-1/hbk)。科学、工程和技术建模与仿真,81-105(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

监测和控制复杂技术对象动态的智能技术。(Интеллектуал’ные технологии мониторинга и управления структурнои динамикои сложных технических обьектов.) (俄语) 兹比尔1113.93006

信息卡:Neogranichenye Vozmozhnosti i Vozmozznye Ogranicheniya。莫斯科:瑙卡(ISBN 5-02-033789-7/hbk)。409页。(2006).
PDF格式BibTeX公司 XML格式引用

一种与面向对象设计过程相协调的系统分析新方法。一、。 (英语。俄文原件) Zbl 1034.68085号

赛博。系统。分析。 37,第4期,562-572(2001); 翻译自Kibern。修女。分析。2001年,第4期,119-132(2001)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

连续时间布尔网络中的混沌。 (英语) Zbl 1010.34034号

Ladde,G.S.(编辑)等人,《动态系统和应用》。第3卷。第三届国际会议记录,美国佐治亚州亚特兰大莫尔豪斯学院,1999年5月26日至29日。佐治亚州亚特兰大:Dynamic Publishers。185-192 (2001).
MSC公司:34C28个 34C60个 34立方37 94立方厘米10 92E20型
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

复杂环境中柔性机器人运动学和动力学模型的数值验证和验证。 (英语) 兹比尔1011.70006

Kulisch,Ulrich(编辑)等人,《封闭方法的展望》。2000年9月19日至22日,德国卡尔斯鲁厄大学GAMM-IMACS科学计算、计算机算法和验证数值国际研讨会,SCAN 2000。维恩:施普林格。181-199 (2001).
PDF格式BibTeX公司 XML格式引用

关于几乎格拉斯曼结构理论。 (英语) Zbl 0940.53021号

Szenhe,J.(编辑),《微分几何的新发展》,布达佩斯,1996年。会议记录,匈牙利布达佩斯,1996年7月27日至30日。多德雷赫特:Kluwer学术出版社。1-37 (1999).
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

具有部分和完整元组和集合的数据库的逻辑语义和语言(扩展抽象)。 (英语) Zbl 0937.68039号

Fraternali,Piero(ed.)等人,第六届演绎数据库和逻辑编程国际研讨会论文集(DDLP'98)。与1998年6月20日在英国曼彻斯特举行的逻辑编程国际联合会议和研讨会(JICSLP'98)同时举行。圣奥古斯丁:GMD Forschungszentrum Informationstechnik GmbH,GMD报告。22, 141-155 (1998).
PDF格式BibTeX公司 XML格式引用

在复杂对象设计中,被研究对象的模型与其创造者“疏远”的问题。 (英语。俄文原件) Zbl 0902.68203号

J.计算。系统。科学。国际。 35,第3期,第487-493页(1996年); Izv的翻译。阿卡德。特奥·诺克。修女。向上。1996年,第3期,146-152(1996)。
PDF格式BibTeX公司 XML格式引用

OOPSLA’95,第十届面向对象编程、系统、语言和应用年度会议。行为语义学规范第四次研讨会。复杂系统中的语义集成研讨会:业务规则和软件事务中的集体行为,1995年10月16日,美国德克萨斯州奥斯汀。会议记录。 (英语) Zbl 0830.68081号

宾夕法尼亚州科拉奥波利斯a.匹兹堡:信息管理研究所。罗伯特·莫里斯学院计算机系,信息系统,viii,99 p.(1995)。
PDF格式BibTeX公司 XML格式引用

NC的一种查询语言(扩展抽象)。 (英语) Zbl 07776736号

Daniel Leivant(编辑),《逻辑和计算复杂性》。1994年10月13日至16日,美国印第安纳波利斯LCC’94国际研讨会。精选论文。柏林:Springer-Verlag。勒克特。注释计算。科学。960, 503-514 (1995).
MSC公司:03年XX月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使静态成为动态:走向动态ADT的公理化。 (英语) Zbl 0817.68103号

Hommel,Günter(编辑),基于通信系统的质量。1994年9月在德国柏林技术大学举行的国际研讨会会议记录。多德雷赫特:Kluwer学术出版社。19-34 (1995).
PDF格式BibTeX公司 XML格式引用

几何结构的自然捆绑和自然提升延伸。 (英语) Zbl 0805.53029号

Kowalski,O.(编辑)等人,《微分几何及其应用》。第五届国际会议记录,1992年8月24日至28日,捷克斯洛伐克奥帕瓦。Opava:西里西亚大学数学系开放教育与科学。出版物。(奥帕瓦)。1, 281-320 (1993).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份