×

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

最新 引文 相关性
彼得·帕达维茨

Expander2：交互和自动化之间的程序验证。 （英语） Zbl 1279.68293号

López Fraguas，Francisco J.（编辑），第十五届函数和（约束）逻辑编程研讨会论文集（WFLP 2006），西班牙马德里，2006年11月16日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记177，35-57（2007）。
MSC公司：68吨15 03B70号 68号30 68问题65 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Padawitz}，电子。注释Theor。计算。科学。177、35-57（2007年；Zbl 1279.68293）
全文： 内政部
马丁·威尔辛;Denker，砂砾;卡罗琳·塔尔科特;安迪·波乔;琳达·布里塞梅斯特

软约束的重写逻辑框架。 （英语） Zbl 1279.68124号

Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，181-197（2007）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Wirsing}等人，《电子》。注释Theor。计算。科学。176，第4号，181--197（2007；Zbl 1279.68124）
全文： 内政部
斯蒂法诺·比斯塔雷利;乌戈·蒙塔纳里;弗朗西丝卡·罗西;弗朗西斯科·桑蒂尼

使用与或图中的最佳树搜索和软约束逻辑编程来建模组播QoS路由。 （英语） 兹比尔1279.68021

Aldini，Alessandro（编辑）等人，第五届编程语言定量方面研讨会论文集（QAPL 2007），葡萄牙布拉加，2007年3月24日至25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》190，第3期，111-127（2007）。
MSC公司：68M10个 68平方米 68N17号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Bistarelli}等人，《电子》。注释Theor。计算。科学。190，第3号，111-127（2007；Zbl 1279.68021）
全文： 内政部
卢卡·博托卢西;阿尔贝托，Policriti

随机并发约束规划和微分方程。 （英语） Zbl 1279.92031号

Aldini，Alessandro（编辑）等人，第五届编程语言定量方面研讨会论文集（QAPL 2007），葡萄牙布拉加，2007年3月24日至25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》190，第3期，27-42（2007）。
MSC公司：92立方厘米 68问题85 34A99型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{A.Policriti}，电子。注释Theor。计算。科学。190，第3号，27-42（2007；Zbl 1279.92031）
全文： 内政部
直纪西田;水谷智宏;Masahiko酒井

用于精炼未分解的条件项重写系统的转换。 （英语） Zbl 1277.68107号

Antoy，Sergio（编辑），第六届改写和编程简化策略国际研讨会论文集（WRS 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第10期，75-95（2007）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.Nishida}等人，《电子》。注释Theor。计算。科学。174，第10号，75--95（2007；Zbl 1277.68107）
全文： 内政部
朱利安·古铁雷斯;佩雷斯（Jorge A.Pérez）。;卡米洛·鲁埃达;弗兰克·巴伦西亚。

用于分析生物系统的时间并发约束编程。 （英语） Zbl 1277.68188号

Busi，Nadia（编辑）等人，《膜计算和生物启发过程计算第一次研讨会论文集》（MeCBIC 2006），S.Servolo，意大利威尼斯，2006年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》171，第2期，117-137（2007）。
MSC公司：68问题85 60年第68季度 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutiérrez}等人，《电子》。注释Theor。计算。科学。171，No.2，117--137（2007；Zbl 1277.68188）
全文： 内政部
迈克尔·迪·洛雷托;马萨·道;卢克·杰林;Jean-François拉菲;让·雅克·洛伊索

应用区间计算：一种新的时滞系统分析方法。 （英语） Zbl 1246.93060号

Chiasson，John（编辑）等人，《时滞系统的应用》。柏林：施普林格出版社（ISBN 978-3-540-49555-0/pbk）。《控制与信息科学课堂讲稿》352175-197（2007）。
MSC公司：93二氧化碳 93立方厘米 65G40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Di Loreto}等人，Lect。票据控制信息科学。352175-197（2007年；Zbl 1246.93060）
全文： 内政部
奥尔加·克鲁普科娃

非完整力学和场论中的正则分布。 （英语） Zbl 1252.70036号

Iglesias Ponte，David（编辑）等人，《第十五届几何和物理国际研讨会论文集》，西班牙克鲁兹港，2006年9月11日至16日。马德里：西班牙皇家社会（ISBN 978-84-935196-1-2/pbk）。Publicaciones de la Real Sociedad Matemática Española西班牙皇家社会公共机构11、167-176（2007）。
审核人：William J.Satzer jun.（圣保罗）
MSC公司：70层25 70G45型 70S05号
PDF格式BibTeX公司 XML格式引用
\textit{O.Krupková}，出版物。R.Soc.Mat.Esp.11，167--176（2007；Zbl 1252.70036）
阿纳尼耶夫斯基，I.M。

参数不确定的双摆控制。 （英语） Zbl 1177.93046号

Michail D.Todorov（编辑），《数学在工程和经济中的应用》33。第33届国际会议，保加利亚索佐波尔，2007年6月8日至14日。纽约州梅尔维尔：美国物理研究所（AIP）（ISBN 978-0-7354-0460-1/hbk）。AIP会议记录946，3-10（2007）。
MSC公司：93C20美元 70小时03 2005年第70季度 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{I.M.Ananievski}，AIP Conf.Proc.公司。946，3--10（2007；Zbl 1177.93046）
全文： 内政部
阿纳尼耶夫斯基，I。

非线性不确定机械系统的有界控制综合。 （英语） Zbl 1134.93019号

Hu，H.Y.（编辑）等人，IUTAM不确定性非线性系统动力学与控制研讨会。2006年9月18日至22日在中国南京举行的IUTAM研讨会会议记录。多德雷赫特：施普林格（ISBN 978-1-4020-6331-2/hbk）。IUTAM丛书2，277-286（2007）。
MSC公司：93亿B50 93立方厘米 2005年第70季度 93立方厘米 93B52号 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{I.阿纳尼耶夫斯基}，IUTAM Bookser。2277-286（2007年；兹比尔1134.93019）
拉乌尔·德佐努;蒙泰罗·马奎斯（Manuel D.P.Monteiro Marques）。;莱蒂蒂亚·保利

具有非平凡惯性算子的振动碰撞问题的“扫描过程”算法。（“清扫过程”类型的算法解决了振动影响和惯性的问题。） （英语） Zbl 1211.74171号

C.R.、MéC.、。，阿卡德。科学。巴黎 335，第1号，56-60（2007）.
MSC公司：74M20型 74H15型
PDF格式BibTeX公司 XML格式引用
\textit{R.Dzonou}等人，C.R.，MéC。，阿卡德。科学。巴黎335，No.1，56--60（2007；Zbl 1211.74171）
全文： 内政部
孙孟;阿巴布，法哈德

在资源敏感的定时组件连接器上。 （英语） Zbl 1202.68070号

Bonsange，Marcello M.（编辑）等人，开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72919-8/pbk）。计算机科学课堂讲稿4468301-316（2007）。
MSC公司：64岁以下 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Meng}和\textit{F.Arbab}，莱克特。注释计算。科学。4468、301--316（2007；Zbl 1202.68070）
全文： 内政部
塞西利奥·安古洛（编辑）;路易斯·戈多（编辑）

人工智能研究与开发。根据2007年10月25日至26日在安道尔圣胡利·德洛拉举行的加泰罗尼亚人工智能协会（ACIA）2007年CCIA国际会议上所作的陈述，选出了一些论文。 （英语） Zbl 1126.68060号

人工智能和应用的前沿163.阿姆斯特丹：IOS出版社（ISBN 978-1-58603-798-7/hbk）。xii，第438页。(2007).
MSC公司：68T01型 68T05型 68T20型 68层37 68T40型 68T45型 68T50型 68-06 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Angulo}（编辑）和\textit{L.Godo}（主编），人工智能研究与开发。根据2007年10月25日至26日在安道尔圣胡利亚·德洛拉举行的加泰罗尼亚人工智能协会（ACIA）2007年国际会议上的发言选出的论文。阿姆斯特丹：IOS出版社（2007；Zbl 1126.68060）
周文琴;大卫·J·杰弗里。;Greg J.里德。

符号计算序列和数值分析几何在多体动力学系统中的应用。 （英语） Zbl 1117.70004号

王东明（编辑）等，符号-数值计算。2005年7月19日至21日，在中国西安举行的国际研讨会（SNC 2005）上受邀并发表演讲。巴塞尔：Birkhä用户（ISBN 978-3-7643-7983-4/hbk）。《数学趋势》，335-347（2007）。
MSC公司：70-08 70E55型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{W.Zhou}等人，in：符号数字计算。2005年7月19日至21日，在中国西安举行的国际研讨会（SNC 2005）上受邀并发表演讲。巴塞尔：Birkhäuser。335--347（2007；Zbl 1117.70004）
麻生太郎;米歇尔·弗雷蒙德;Nobuyuki Kenmochi

相变中产生的具有未知相关约束的抛物系统。 （英语） 兹比尔1114.35087

Figueiredo，Isabel Narra（编辑）等，自由边界问题。理论和应用。基于2005年6月7日至12日在葡萄牙科英布拉举行的自由边界问题会议（FBP 2005）上的演讲和交流。巴塞尔：Birkhä用户（ISBN 3-7643-7718-6/hbk）。ISNM。国际数值数学系列154，45-54（2007）。
审核人：Dumitru Motreanu（佩皮尼昂）
MSC公司：35公里45 35千50 35A05型
PDF格式BibTeX公司 XML格式引用
\textit{M.Aso}等人，ISNM，国际期刊。数字。数学。154、45-54（2007年；Zbl 1114.35087）
普拉桑纳·苏加瓦南;西格尔，H.J。;安东尼·马西耶夫斯基（Anthony A.Maciejewski）。;莫哈纳·奥尔蒂卡尔;阿什什·梅塔;罗恩·皮切尔;Horiuchi，亚伦;弗拉基米尔·谢斯塔克;穆罕默德·阿勒奥泰比;克里希纳穆提，瑜伽;赛义德·阿里;张俊兴;马希尔·艾丁;李，帕尼奥;库马拉·古鲁;迈克尔·拉斯基;阿兰·皮平

在总工期和美元成本约束下，为独立任务稳健地静态分配资源。 （英语） Zbl 1115.68031号

J.平行分布计算。 67，第4号，400-416（2007）.
MSC公司：64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit｛P.Sugavanam｝等人，《平行分布计算》。67，第4号，400-416（2007；Zbl 1115.68031）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件