×

找到273份文件（结果1-100）

最新的 引文 关联
Parag Pravin，Dakle；塞尔达尔·卡迪奥卢；卡提克乌普鲁里；里贾纳波利蒂；普雷西·拉加万；赛克里希纳·拉拉班迪；拉维苏塔·斯里尼瓦萨穆尔西

Ner4Opt公司：命名实体识别，用于自然语言中的优化建模。 （英语） Zbl 07745668号

Andre A.Cire（编辑），《约束编程、人工智能和运筹学的集成》。第20届国际会议，CPIOR 2023，法国尼斯，2023年5月29日至6月1日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13884, 299-319 (2023).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{P.P.Dakle}等人，Lect。票据计算。科学。13884、299--319（2023；Zbl 07745668）
全文： 内政部
卢宾，迈尔斯；奥斯卡·道森；乔阿金·迪亚斯·加西亚；乔伊·休切特；贝诺·莱加特；胡安·巴勃罗·维尔玛

JuMP 1.0：用于数学优化的建模语言的最新改进。 （英语） Zbl 07735741号

数学。程序。计算。 第15期，第3期，581-589页（2023年）.
审核人：安布罗斯·格莱克斯纳（柏林）
MSC公司：90-04 90-01 90-10
PDF格式BibTeX公司 XML格式引用
\textit{M.Lubin}等人，数学。程序。计算。15，编号3，581--589（2023；Zbl 07735741）
全文： 内政部 arXiv公司
阿莫索夫，D.A。；A.V.格里戈列夫。；斯蒂芬诺夫，S.P。；新墨西哥州马利舍娃。；扎莫尔什奇科娃，L.S。

使用在线耦合广义多尺度有限元方法对语言交互进行数值模拟。 （英语） Zbl 1505.65259号

J.计算。申请。数学。 423，文章ID 114962，20 p.（2023）.
MSC公司：65M60毫米 6500万06 65N30型 65牛顿50 68T50型 91层20
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Ammosov}等人，《计算杂志》。申请。数学。423，文章ID 114962，20 p.（2023；Zbl 1505.65259）
全文： 内政部
新泽西州斯卡科夫。；沃龙佐夫。

使用反向模型提高机器翻译的质量。 （英语。俄文原件） Zbl 1511.68290号

自动。远程控制 83，第12期，1897-1907（2022）; Avtom翻译。Telemekh公司。2022年，第12期，31-43（2022年）。
审核人：加泰罗林·斯托安（克雷奥瓦）
MSC公司：68T50型
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Skachkov}和\textit{K.V.Vorontsov}，Autom。遥控器83，No.12，1897--1907（2022；Zbl 1511.68290）；Avtom翻译。Telemekh公司。2022年，第12号，第31-43号（2022年）
全文： 内政部
法布里西奥·克拉沃；马蒂亚斯·福格尔；托马斯·诺瓦克；加亚特里·普拉卡什

MobsPy：一种用于化学反应网络的超谱语言。 （英语） Zbl 1505.92072号

Petre，Ion（编辑）等人，《系统生物学中的计算方法》。第20届国际会议，CMSB 2022，罗马尼亚布加勒斯特，2022年9月14-16日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13447, 277-285 (2022).
MSC公司：92立方厘米 92C40型 92-04
PDF格式BibTeX公司 XML格式引用
\textit{F.Cravo}等人，Lect。票据计算。科学。13447，277--285（2022；Zbl 1505.92072）
全文： 内政部 哈尔
O.O.莱提切夫斯基。；Odarushchenko，O.M。；佩沙连科，V.S。；科尔琴科，V.S。；Moskalets，V.V.公司。

VHDL作为电子设计语言的插入语义。 （英语。乌克兰原文） Zbl 07630511号

赛博。系统。分析。 58，第2期，289-298（2022）; 翻译自Kibern。修女。分析。58，第2期，154-165（2022）。
MSC公司：68季度xx 94Cxx号 68次发射
PDF格式BibTeX公司 XML格式引用
\textit{O.O.Letychevskyi}等人，Cybern。系统。分析。58，第2289-298号（2022；Zbl 07630511）；翻译自Kibern。修女。分析。58，第2号，154--165（2022）
全文： 内政部
高雄朝日

模拟的模型理论方法：模型描述语言的改进和开发环境的集成。 （英语） Zbl 1504.93004号

Kijima，Kyoichi（编辑）等人，《系统研究I.为纪念高原康彦（Yasuhiko Takahara）关于系统理论和建模的论文》。新加坡：斯普林格。Transl.公司。系统。科学。26, 179-189 (2022).
MSC公司：93A10号 00A71号 00A72号
PDF格式BibTeX公司 XML格式引用
\textit{T.朝日}，Transl。系统。科学。26179--189（2022年；Zbl 1504.93004）
全文： 内政部
马丁·德·波尔；De Gouw，施蒂恩；乔纳斯·克拉姆罗斯；基督教荣格；马蒂亚斯·乌尔布里奇；亚历山大·维格尔

JDK身份哈希图实现的形式化规范和验证。 （英语） Zbl 1502.68054号

ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13274, 45-62 (2022).
MSC公司：68甲15 68第05页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.de Boer}等人，Lect。票据计算。科学。13274，45-62（2022；Zbl 1502.68054）
全文： 内政部 链接
比约恩·E·霍梅尔。；弗兰兹·约瑟夫·沃尔朗（Franz-Josef M.Wollang）。；维罗尼卡·科托瓦；汉内斯·扎彻；斯特凡·施穆克尔（Stefan C.Schmukle）。

基于转换器的深度神经语言建模，用于特定于结构的自动项生成。 （英语） Zbl 1490.62406号

心理测量学 87，第2号，749-772（2022）.
MSC公司：第62页，共15页 68T07型 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{B.E.Hommel}等人，《心理测量学》87，第2期，第749--772页（2022年；Zbl 1490.62406）
全文： 内政部
阿莫索夫，D.A。；A.V.格里戈列夫。；新墨西哥州马利舍娃。；扎莫尔什奇科娃，L.S。

数值建模两种自然语言的交互。 （英语） Zbl 1493.65145号

J.计算。申请。数学。 407，文章ID 114074，14 p.（2022）; 更正同上，409，文章ID 114169，第1页（2022）。
MSC公司：65M60毫米 6500万06 65N30型 65牛顿50 91层20 91-08
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Ammosov}等人，《计算杂志》。申请。数学。407，文章ID 114074，14 p.（2022；Zbl 1493.65145）
全文： 内政部
伊尔金。；沃龙佐夫。

主题模型加性正则化算法的收敛性。 （英语。俄文原件） Zbl 07466408号

程序。Steklov Inst.数学。 315，补遗1，S128-S139（2021）; 翻译自Tr.Inst.Mat.Mekh。（叶卡捷琳堡）26，第3期，第56-68页（2020年）。
MSC公司：68T50型 68T05型 68单位15 90 C90
PDF格式BibTeX公司 XML格式引用
\textit{I.A.Irkhin}和\textit{K.V.Vorontsov}，程序。Steklov Inst.数学。315，S128--S139（2021；Zbl 07466408）；翻译自Tr.Inst.Mat.Mekh。（叶卡捷琳堡）第26期，第3期，第56-68期（2020年）
全文： 内政部
阿梅尔·哈姆扎·汗；曹新伟；李帅

复杂系统中的管理和智能决策：一种优化驱动的方法。 （英语） Zbl 1468.90002号

新加坡：Springer（ISBN 978-981-15-9391-8/pbk；978-981-5-9392-5/电子书）。xi，第83页。(2021).
审核人：彼得·基什卡（耶拿）
MSC公司：90-02 90-10 90B50型
PDF格式BibTeX公司 XML格式引用
\textit{A.H.Khan}等人，《复杂系统中的管理和智能决策：优化驱动方法》。新加坡：施普林格（2021；Zbl 1468.90002）
全文： 内政部
迈克尔·J·诺斯。；查尔斯·麦考尔。

基于代理的建模和计算机语言。 （英语） Zbl 07309900号

Sotomayor，Marilda（编辑）等人，《复杂的社会和行为系统》。博弈论和基于主体的模型。纽约州纽约市：斯普林格。自行车。复杂。系统。科学。序列号。，865-889 (2020).
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{M.J.North}和\textit{C.M.Macal}，in：复杂的社会和行为系统。博弈论和基于主体的模型。纽约州纽约市：斯普林格。865--889（2020；Zbl 07309900）
全文： 内政部
帖木儿Chilachava；桑德拉·皮内拉斯；乔治·波奇库亚

描述三级同化过程的四维动力系统的研究。 （英语） Zbl 1455.00026号

Pinelas，Sandra（编辑）等人，微分和差分方程及其应用。根据2019年7月1日至5日在葡萄牙里斯本举行的2019年ICDDEA第四届国际会议上的演示文稿选出的论文。查姆：斯普林格。Springer程序。数学。《统计》第333、281-297页（2020年）。
审核人：瓦西尔·波斯托利奇（皮亚特拉·尼姆）
MSC公司：00A71号 91-10 94-10 37N99型 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{T.Chilachava}等人，Springer Proc。数学。Stat.333，281--297（2020；Zbl 1455.00026）
全文： 内政部
你好，托尼；乔治·斯特鲁斯；吉姆·伍德科克

空间、时间和因果关系的微积分：代数、几何、逻辑。 （英语） Zbl 07168631号

Ribeiro，Pedro（编辑）等人，《统一编程理论》。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11885, 3-21 (2019).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}等人，Lect。票据计算。科学。11885，3--21（2019；Zbl 07168631）
全文： 内政部 链接
新墨西哥州文卡特古迪瓦达。

自然语言核心任务和应用程序。 （英语） Zbl 1403.68306号

Gudivada，Venkat N.（编辑）等人，《自然语言的计算分析和理解：原理、方法和应用》。阿姆斯特丹：爱思唯尔/北荷兰（ISBN 978-0-444-64042-0/hbk；978-0-64043-7/电子书）。《统计手册》38，403-428（2018）。
MSC公司：68T50型 91层20
PDF格式BibTeX公司 XML格式引用
\textit{V.N.Gudivada}，Handb。《法律总汇》第38卷第403页第428页（2018年；兹bl 1403.68306）
全文： 内政部
埃桑·法蒂；巴巴克·马利基·肖亚

用于自然语言处理的深度神经网络。 （英语） Zbl 1403.68305号

Gudivada，Venkat N.（编辑）等人，《自然语言的计算分析和理解：原理、方法和应用》。阿姆斯特丹：爱思唯尔/北荷兰（ISBN 978-0-444-64042-0/hbk；978-0-64043-7/电子书）。《统计手册》38，229-316（2018）。
MSC公司：68T50型 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{E.Fathi}和\textit{B.M.Shoja}，Handb。Stat.38，229--316（2018；Zbl 1403.68305）
全文： 内政部
盖伊，大卫·M·。

重新审视非线性AMPL模型的表达式表示。 （英语） Zbl 1411.90321号

Al-Baali，Mehiddin（编辑）等人，《数值分析与优化》。根据2017年1月2日至5日在阿曼马斯喀特举行的第四届NAO-IV国际会议上的陈述，选出论文。查姆：斯普林格。Springer程序。数学。《统计》第235、99-118页（2018年）。
MSC公司：90立方
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gay}，施普林格程序。数学。Stat.235，99--118（2018；Zbl 1411.90321）
全文： 内政部
尼科尔森，贝瑟尼；约翰·D·西罗拉。；Jean-Paul Watson先生；维克多·扎瓦拉（Victor M.Zavala）。；洛伦茨·T·比格勒。

pyomo.dae型：用于微分方程和代数方程优化的建模和自动离散化框架。 （英语） Zbl 1402.49029号

数学。程序。计算。 10，第2期，187-223（2018）.
MSC公司：49立方米 68甲15 90-04 93A30型 90 C90
PDF格式BibTeX公司 XML格式引用
\textit{B.Nicholson}等人，数学。程序。计算。10，第2号，187--223（2018；Zbl 1402.49029）
全文： 内政部
乔纳森·洛朗；Medina-Abarca，Hector F。；皮埃尔·布迪利埃；杨吉恩；沃尔特·丰塔纳

基于规则的模型的跟踪查询语言。 （英语） Zbl 1397.92204号

采什卡，米兰（编辑）等人，《系统生物学中的计算方法》。2018年9月12日至14日在捷克共和国布尔诺举行的CMSB 2018第16届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-99428-4/pbk；978-3-3169-99429-1/电子书）。计算机科学课堂讲稿11095。生物信息学课堂讲稿，220-237（2018）。
MSC公司：92C40型 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Laurent}等人，Lect。票据计算。科学。11095、220--237（2018；Zbl 1397.92204）
全文： 内政部
Iu，Kryvonos。G.公司。；尤·克拉克。五、。；O.V.巴马克。；A.I.库利亚斯。

创建交际信息分析和合成系统的方法。 （英语。俄文原件） Zbl 1387.94010号

赛博。系统。分析。 53，第6号，847-856（2017）; 翻译自Kibern。修女。分析。2017年，第6期，33-43（2017）。
MSC公司：94A05型
PDF格式BibTeX公司 XML格式引用
\textit{Iu.G.Kryvonos}等人，Cybern。系统。分析。53，第6号，847--856（2017；Zbl 1387.94010）；翻译自Kibern。修女。分析。2017年，第6号，第33-43页（2017）
全文： 内政部
伯恩哈德·普法夫

利用R。第二版。 （英语） Zbl 1347.91002号

实践中的统计。新泽西州霍博肯：John Wiley&Sons（ISBN 978-1-119-11966-1/hbk；978-1-1191968-5/电子书）。十七、426页。(2016).
MSC公司：91年1月 91G10型 91-04 62P05号 62M10个 91B70型 91B84号 91G60型 91克70
PDF格式BibTeX公司 XML格式引用
\textit{B.Pfaff}，金融风险建模和投资组合优化，R.第二版。新泽西州霍博肯：约翰·威利父子公司（2016；Zbl 1347.91002）
全文： 内政部 链接
I.A.卡普钦。

音素识别的准确性对俄语语音自动识别质量的贡献。 （英语。俄文原件） Zbl 1414.68095号

莫斯克。大学计算机。数学。赛博。 40，第2期，89-95（2016）; 由Vestn翻译。莫斯科。州立大学。XV 2016，第2期，38-44（2016）。
MSC公司：68吨10 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{I.A.Karpukhin}，莫斯克。大学计算机。数学。赛博。40，第2号，89--95（2016；Zbl 1414.68095）；由Vestn翻译。莫斯科。州立大学。XV 2016，第2期，第38-44号（2016）
全文： 内政部
尼古拉·卡萨波夫（编辑）

斯普林格生物/神经信息手册。 （英语） Zbl 1304.92001号

Springer手册多德雷赫特：施普林格（ISBN 978-3-642-30573-3/hbk；978-3-442-30574-0/电子书）。lvii，1229页。(2014).
审核人：Irina Ioana Mohorianu（诺维奇）
MSC公司：92-00 92-06 00B15号机组 92秒20 92C40型 92 C50 92D10型 68T05型 92B25型 92D20型 92D15型 92C20美元
PDF格式BibTeX公司 XML格式引用
\textit{N.Kasabov}（编辑），Springer生物/神经信息手册。多德雷赫特：施普林格（2014；Zbl 1304.92001）
全文： 内政部
马钦·斯皮尔卡；彼得·马提亚西克；奥卡先生，拉法；莱泽克·科图尔斯基

使用（alpha^{0}）系统层对Alvis语言进行形式化描述。 （英语） Zbl 1297.68172号

芬丹。通知。 129，编号1-2，161-176（2014）.
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Szpyrka}等人，Fundam。通知。129，编号1--2，161--176（2014；Zbl 1297.68172）
全文： 内政部
高石酒井；埃尔达·帕拉奇；Chaim科恩；Yoichi Hatsutori；清水、俊雅；宫下久志

使用SysML、Simulink和计算机代数系统进行基于模型的控制系统设计。 （英语） Zbl 1291.93123号

控制科学杂志。工程师。 2013年，文章ID 485380，14 p.（2013）.
MSC公司：93B40码 93-04
PDF格式BibTeX公司 XML格式引用
\textit{T.Sakairi}等人，《控制科学杂志》。Eng.2013，文章ID 485380，14 p.（2013；Zbl 1291.93123）
全文： 内政部
弗洛里安·卡弗布洛克；赫尔穆特·波特曼

双线性曲面的光滑曲面：离散仿射极小曲面。 （英语） Zbl 1291.65058号

计算。辅助Geom。设计。 第5期，第30期，476-489页（2013年）.
审核人：维克托·亚历山德罗夫（新西伯利亚）
MSC公司：65D17号 53甲15 65D18天 68单位05 97M80型
PDF格式BibTeX公司 XML格式引用
\textit{F.Käferböck}和\textit{H.Pottmann}，计算。辅助Geom。设计。30，第5号，476--489（2013；Zbl 1291.65058）
全文： 内政部
内库莱·安德烈

使用GAMS技术的非线性优化应用程序。 （英语） Zbl 1401.90001号

弹簧优化及其应用81.纽约州纽约市：施普林格出版社（ISBN 978-1-4614-6796-0/hbk；978-1-46104-6797-7/电子书）。第二十二、340页。(2013).
审核人：Marcin Anholcer（波兹南）
MSC公司：90-01 90立方 90 C90 49甲15 49J20型 65H10型 90C25型 90C26型
PDF格式BibTeX公司 XML格式引用
\textit{N.Andrei}，使用GAMS技术的非线性优化应用程序。纽约州纽约市：施普林格（2013；Zbl 1401.90001）
全文： 内政部
伯恩哈德·普法夫

利用R。 （英语） Zbl 1275.91006号

实践中的统计。新泽西州霍博肯：John Wiley&Sons（ISBN 978-0-470-97870-2/hbk；978-1-118-47712-0/电子书）。十六、356页。(2013).
审核人：塔马斯·马特拉伊（布达佩斯）
MSC公司：91-02 91G10型 62P05号 62M10个 91B70型 91B84号 91G60型 91克70
PDF格式BibTeX公司 XML格式引用
\textit{B.Pfaff}，与R.Hoboken合著的金融风险建模和投资组合优化，新泽西州：John Wiley&Sons（2013；Zbl 1275.91006）
托马斯·格拉芙

参考集约束作为线性树通过受控优化系统的转换。 （英语） Zbl 1370.68288号

de Groote，Philippe（编辑）等，《形式语法》。第15届和第16届国际会议，FG 2010，丹麦哥本哈根，2010年8月，FG 2011，斯洛文尼亚卢布尔雅那，2011年8月。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-32023-1/pbk）。计算机科学课堂讲稿739597-113（2012）。
MSC公司：68T50型 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Graf}，莱克特。票据计算。科学。7395，97-113（2012；Zbl 1370.68288）
全文： 内政部
安德烈亚·霍尔

数学被子。 （英语） Zbl 1252.00022号

Silva，Jorge Nuno（编辑），《娱乐数学学术讨论会II会议录》，葡萄牙埃沃拉大学，2011年4月27日至30日。里斯本：卢杜斯协会（ISBN 978-989-97346-2-3/pbk）。95-100 (2012).
MSC公司：00年6月 97M80型
PDF格式BibTeX公司 XML格式引用
\textit{A.Hall}，in：葡萄牙埃沃拉大学第二届休闲数学学术讨论会论文集，2011年4月27日至30日。里斯本：卢杜斯协会。95-100（2012；Zbl 1252.00022）
奥赞·卡拉马诺·乌拉尔；费伦茨·乔丹；科拉多·普里亚米

可组合性：生态建模视角。 （英语） Zbl 1349.92160号

Horimoto，Katsuhisa（编辑）等，代数和数值生物学。2010年7月31日至8月2日，第四届国际会议，澳大利亚国家银行，2010年。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28066-5/pbk）。计算机科学课堂讲稿6479136-148（2012）。
MSC公司：92D40型 92-08
PDF格式BibTeX公司 XML格式引用
\textit{O.Kahramanoullar}等人，莱克特。票据计算。科学。6479、136--148（2012年；Zbl 1349.92160）
全文： 内政部
玛丽、莉娜

用于说话人、语音和语言识别的韵律提取和表示。 （英语） Zbl 1244.68005号

Springer语音技术简介。纽约州纽约市：施普林格出版社（ISBN 978-1-4614-1158-1/hbk；978-1-461/1159-8/电子书）。x、 第61页。（2012年）。
审核人：内库莱·柯特阿努（伊阿什伊）
MSC公司：68-02 68吨10 68T50型 68T05型 68立方英尺 68层35
PDF格式BibTeX公司 XML格式引用
\textit{L.Mary}，说话人、语音和语言识别韵律的提取和表示。纽约州纽约市：施普林格（2012；Zbl 1244.68005）
全文： 内政部
Rao，K.Sreenivasa先生

从文本预测韵律以进行文本到语音合成。 （英语） Zbl 1254.68010号

Springer电气与计算机工程简介.语音技术。纽约州纽约市：施普林格出版社（ISBN 978-1-4614-1337-0/hbk；978-1-461 4-1338-7/电子书）。xii，第130页。（2012年）。
审核人：内库莱·柯特阿努（伊阿什伊）
MSC公司：68-02 68吨10 68T50型 62M20型 62M45型 93E10型
PDF格式BibTeX公司 XML格式引用
\textit{K.S.Rao}，从文本预测韵律以进行文本到语音合成。纽约州纽约市：施普林格（2012年；兹bl 1254.68010）
全文： 内政部 链接
埃里克·姆约尔斯内斯

面向动态过程建模语言的可测量类型。 （英语） Zbl 1342.68199号

Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265123-144（2010）。
MSC公司：第68季度55 35问68 第68季度第42季度 68问题85 87年第68季度 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{E.Mjolsness}，电子。注释Theor。计算。科学。265123--144（2010；Zbl 1342.68199）
全文： 内政部
伊德卡祖·恩霍；饭岛纯一

面向组成数据模型的类图代数。 （英语） Zbl 1217.68067号

Fujita，Hamido（编辑），软件方法、工具和技术的新趋势。2010年9月29日至10月1日在日本横滨举行的第九届软件方法、工具和技术国际会议论文集SoMeT_10。阿姆斯特丹：IOS出版社（ISBN 978-1-60750-628-7/hbk；978-1-60750-629-4/电子书）。《人工智能与应用前沿》217112-133（2010）。
MSC公司：68个P01 68号30 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{H.Enjo}和\textit{J.Iijima}，前面。Artif公司。智力。申请。217112--133（2010年；Zbl 1217.68067）
全文： 内政部
贾尼斯·奥斯；乌尔迪斯·多宁斯

UML类图的形式化。 （英语） Zbl 1211.68118号

Maciaszek，Leszek A.（编辑）等人，《软件工程新方法的评估》，第三届和第四届国际会议，ENASE 2008/2009年，葡萄牙马德拉岛芬查尔，2008年5月4日至7日，意大利米兰，2009年5月9日至10日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-14818-7/pbk）。计算机和信息科学通信69，180-192（2010）。
MSC公司：68N99型
PDF格式BibTeX公司 XML格式引用
\textit｛J.Osis｝和\textit｛U.Donins｝，公社。计算。信息科学。69、180--192（2010年；Zbl 1211.68118）
全文： 内政部
桑德拉·文图拉；迪亚曼蒂诺·弗雷塔斯；乔·曼努埃尔·R·S·塔瓦雷斯。

基于磁共振技术的声道成像。 （英语） Zbl 1205.68485号

Ranchordas，A.（编辑）等人，《计算机视觉、成像和计算机图形：理论和应用》。2009年2月5日至8日，葡萄牙里斯本，VISIGRAPP 2009国际联合会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-11839-5/pbk；978-3-442-11840-1/电子书）。《计算机和信息科学中的通信》68，146-157（2010）。
MSC公司：68平方英寸10 68单位99
PDF格式BibTeX公司 XML格式引用
\textit{S.Ventura}等人，Commun。计算。信息科学。68、146--157（2010年；Zbl 1205.68485）
全文： 内政部
赫尔穆特·波特曼；约翰·沃纳

具有自由形状和数学的建筑。（Freiformarchitektur和Mathematik） （德语） 兹比尔1195.00064

棒球手套。Dtsch公司。数学-版本。 18，第2期，88-95（2010）.
审核人：Hans-Peter Schröcker（因斯布鲁克）
MSC公司：00A67号 65D17号 97M80型
PDF格式BibTeX公司 XML格式引用
\textit{H.Pottmann}和\textit{J.Wallner}，Mitt。Dtsch公司。数学-第18版，第2号，88--95（2010；Zbl 1195.00064）
全文： 内政部
戈梅斯·洛恩佐，罗伯托·奥古斯托；阿兰尼斯·伦布雷拉斯（Alaniz Lumpreras）、佩德罗·丹尼尔（Pedro Daniel）；罗梅罗·特隆科索（Romero Troncoso）、雷内·德·杰苏斯（Renéde Jesús）；吉尔伯托·埃雷拉·鲁伊斯

一种面向对象的体系结构，用于CNC铣削过程监控的无传感器切削力反馈。 （英语） 邮编：1184.90057

高级工程软件。 41，第5期，754-761（2010）.
MSC公司：90B30型 93立方厘米 93B52号 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{R.A.Gómez Loenzo}等人，高级工程师软件。41，第5号，754--761（2010；Zbl 1184.90057）
全文： 内政部
乔泽夫·胡曼；马塞尔·弗霍夫

分布式嵌入式系统VDM扩展的形式语义。 （英语） 兹比尔1274.68191

Dennis Dams（编辑）等人，《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林：施普林格出版社（ISBN 978-3-642-11511-0/pbk）。计算机科学课堂讲稿5930142-161（2010）。
MSC公司：60年第68季度 64岁以下 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{J.Hooman}和\textit{M.Verhoef}，莱克特。票据计算。科学。5930、142--161（2010年；Zbl 1274.68191）
全文： 内政部
哈拉尔德·费彻；哈，迈克尔；海科·施密特；Jens Schönborn

使用持久选择细化状态机的敏感形式语义。 （英语） Zbl 1339.68158号

Michael Goldsmith（编辑）等人，《关键系统自动验证第七届国际研讨会论文集》（AVoCS 2007），英国牛津，2007年9月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第1期，71-86（2009）。
MSC公司：第68季度55 2005年第68季度 2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛H.Fecher｝等人，电子。注释Theor。计算。科学。250，编号1，71--86（2009；Zbl 1339.68158）
全文： 内政部
Järvisalo，马蒂；埃米利亚·奥伊卡里宁；汤米·詹胡宁；伊尔卡·尼梅尔

基于模块的多语言约束建模框架。 （英语） Zbl 1219.68087号

Faber，Wolfgang（编辑）等人，《研讨会论文集》。2009年7月14日，美国加利福尼亚州帕萨迪纳，ICLP 2009年答案集编程和其他计算范式研讨会（ASPOCP 2009）。【s.l.】，【s.n.】。1-15 (2009).
MSC公司：68N17号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Järvisalo}等人，in：研讨会记录。2009年7月14日，美国加利福尼亚州帕萨迪纳，ICLP 2009年答案集编程和其他计算范式研讨会（ASPOCP 2009）。【s.l.】，【s.n.】。1-15（2009年；Zbl 1219.68087）
全文： 链接
恩里克·特里拉斯

关于谓词意义的模型——模糊集起源的一种天真方法。 （英语） Zbl 1174.03011号

Seising，Rudolf（编辑），《从不同角度看待模糊集和系统》。哲学和逻辑、批评和应用。柏林：施普林格出版社（ISBN 978-3-540-93801-9/hbk；978-3-440-93802-6/电子书）。《模糊性和软计算研究》243175-205（2009）。
审核人：齐格弗里德·戈特瓦尔德（莱比锡）
MSC公司：03B65号 03电子72 68立方英尺 91层20
PDF格式BibTeX公司 XML格式引用
\textit{E.Trillas}，Stud.模糊软计算。243175-205（2009年；Zbl 1174.03011）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件