×

找到56份文件（结果1-56）

最新的 引文 关联
洛丽斯·达安东尼;马丁·海弗里奇;简·克雷汀斯基;伊曼纽尔·拉姆尼安图;马克西米利安·韦宁格

Automata Tutor v3。 （英语） Zbl 1478.97002号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12225, 3-14 (2020).
MSC公司：97页20 04年第68季度 2012年第68季度 65年第68季度 97单位50
PDF格式BibTeX公司 XML格式引用
\textit{L.D'Antoni}等人，Lect。注释计算。科学。12225，3-14（2020；Zbl 1478.97002）
全文： 内政部 arXiv公司
马蒂亚·邦吉尼;马西莫·福纳西耶;马库斯·汉森;毛罗·马吉奥尼

从进化系统的观察中推断相互作用规则。一： 变分法。 （英语） Zbl 1368.37017号

数学。模型方法应用。科学。 27，第5号，909-951（2017）.
审核人：丹尼斯·西多罗夫（伊尔库茨克）
MSC公司：37A60型 93B30型 49号45 49号30 68问题32 97M70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bongini}等人，《数学》。模型方法应用。科学。27，第5号，909--951（2017；Zbl 1368.37017）
全文： 内政部 arXiv公司
尤里·马宁。

认知和复杂性。 （英语） Zbl 1388.00014号

Burgin，Mark（编辑）等人，《信息与复杂性》。新泽西州哈肯萨克：世界科学（ISBN 978-981-3109-02-5/hbk；978-981-3 109-04-9/电子书）。《信息研究世界科学丛书》6，338-352（2017）。
审核人：哈伊姆·基洛夫（米林顿）
MSC公司：00A30型 01A80型 第68季度01 97E20型 第91页第40页
PDF格式BibTeX公司 XML格式引用
\textit{Y.I.Manin}，《世界科学》。序列号。Inf.Stud.6，338--352（2017；Zbl 1388.00014）
全文： 内政部
西蒙·品娜

一种学习数字技能的具体扩展方法。 （英语） Zbl 1430.97001号

劳拉·费林（编辑）等人，《逻辑和科学哲学的新方向》。2014年6月18日至20日，意大利罗马，罗马大学，三年一度的国际会议论文选集（SILFS14）。伦敦：学院出版物。SILFS系列。3111-123（2016年）。
MSC公司：97立方厘米30 97层20 第91页第40页 99年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Pinna}，SILFS序列。3111--123（2016；Zbl 1430.97001）
伯恩哈德·斯特芬;鲁兴，奥利弗;马尔特·伊斯伯纳

高等计算机科学基础。归纳法。（Grundlagen der höheren Informatik.Induktives Vorgehen） （德语） Zbl 1283.68009号

eXamen.新闻。柏林：Springer Vieweg（ISBN 978-3-642-40145-9/hbk；978-3-442-40146-6/电子书）。xxv，179页。(2014).
审核人：Günther Bauer（Görlitz）
MSC公司：68-01 第68季度01 97页20
PDF格式BibTeX公司 XML格式引用
\textit{B.Steffen}等人，Grundlagen der höheren Informatik。Induktives Vorgehen公司。柏林：Springer Vieweg（2014；Zbl 1283.68009）
全文： 内政部
萨达特安瓦尔;奇塔·巴拉尔;井上，胜美

在回答集编程中对Petri网的高级扩展进行编码。 （英语） 兹比尔1405.68040

Cabalar，Pedro（编辑）等人，《逻辑编程和非单调推理》。2013年9月15日至19日，第十二届国际会议，LPNMR 2013，西班牙科伦纳。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40563-1/pbk）。计算机科学课堂讲稿8148。人工智能课堂讲稿，116-121（2013）。
MSC公司：68N17号 68问题85 97D60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Anwar}等人，Lect。注释计算。科学。8148116-121（2013；Zbl 1405.68040）
全文： 内政部 arXiv公司
迈克尔·韦斯特加德;德克·法兰德;克里斯蒂安·斯塔尔

等级/CPN：用于在教学中测试有色Petri网模型的工具和时序逻辑。 （英语） Zbl 1394.68258号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型事务》VIII。柏林：施普林格出版社（ISBN 978-3-642-40464-1/pbk）。计算机科学8100课堂讲稿。《期刊副刊》，180-202（2013）。
MSC公司：68问题85 60年第68季度 68单位35 97个u70
PDF格式BibTeX公司 XML格式引用
\textit{M.Westergaard}等人，Lect。注释计算。科学。8100、180--202（2013；Zbl 1394.68258）
全文： 内政部
莫德凯·本·阿里

计算机科学的数学逻辑。第3版。 （英语） Zbl 1248.03001号

柏林：施普林格出版社（ISBN 978-1-4471-4128-0/pbk；978-1-447 1-4129-7/电子书）。xv，第346页。(2012).
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）
MSC公司：03-01 68-01 00A06级 03英镑05 03B10号机组 03B35型 03B44号 03B70号 68N17号 65年第68季度 60年第68季度 68吨15 97E30型 97页20
PDF格式BibTeX公司 XML格式引用
\textit｛M.Ben Ari｝，计算机科学的数理逻辑。第三版，柏林：施普林格出版社（2012；Zbl 1248.03001）
全文： 内政部
托比亚斯·尼普科

与校对助理教授语义：不再需要LSD旅行证明。 （英语） Zbl 1325.68005号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148,24-38（2012）。
MSC公司：68-01 68甲15 68问题55 68吨15 97页40页
PDF格式BibTeX公司 XML格式引用
\textit{T.Nipkow}，莱克特。注释计算。科学。7148，24-38（2012；Zbl 1325.68005）
全文： 内政部
亚历山大·拉兹博罗夫。

通信复杂性。 （英语） Zbl 1314.68164号

Schleicher，Dierk（编辑）等人，《数学邀请函》。从比赛到研究。由Günter M.Ziegler作序言。柏林：施普林格出版社（ISBN 978-3-642-19532-7/pbk；978-3-442-19533-4/电子书）。97-117 (2011).
MSC公司：65年第68季度 97页20
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Razborov}，in：数学邀请。从比赛到研究。由Günter M.Ziegler作序言。柏林：斯普林格。97-117（2011；Zbl 1314.68164）
全文： 内政部
赫克托·泽尼尔（编辑）

计算的随机性。一些答案，更多问题。 （英语） Zbl 1232.68013号

新泽西州哈肯萨克：世界科学（ISBN 978-981-4327-74-9/hbk；978-981-14327-75-6/电子书）。十八、419页。(2011).
MSC公司：68-06 00B15号机组 00A30型 68-03 68问题30 87年第68季度 68瓦20 97页20
PDF格式BibTeX公司 XML格式引用
\textit{H.Zenil}（编辑），通过计算的随机性。一些答案，更多问题。新泽西州哈肯萨克：《世界科学》（2011；Zbl 1232.68013）
全文： 链接
詹姆斯·哈金斯。;查尔斯·华莱士

抽象状态机和查询过程。 （英语） Zbl 1287.68046号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学讲座笔记6300，405-413（2010）。
MSC公司：2005年第68季度 97页20
PDF格式BibTeX公司 XML格式引用
\textit｛J.K.Huggins｝和\textit｛C.Wallace｝，Lect。注释计算。科学。6300405-413（2010年；兹比尔1287.68046）
全文： 内政部
巴斯蒂安·海仁;杰林，约翰

调整数学领域推理器。 （英语） Zbl 1286.97012号

Autexier，Serge（编辑）等人，《智能计算机数学》。2010年7月5日至10日，第十届国际会议，AISC 2010，第十七届研讨会，Calculemus 2010，第九届国际会议MKM 2010，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14127-0/pbk）。计算机科学讲义6167。《人工智能课堂讲稿》，315-330（2010）。
MSC公司：97单位50 2012年第68季度 97个u70
PDF格式BibTeX公司 XML格式引用
\textit{B.Heeren}和\textit{J.Jeuring}，莱克特。注释计算。科学。6167315-330（2010年；Zbl 1286.97012）
全文： 内政部 arXiv公司
巴斯蒂安·海仁;杰林，约翰

认识战略。 （英语） Zbl 1294.68097号

Middeldorp，Aart（编辑），第八届改写和编程简化策略国际研讨会论文集（WRS 2008），奥地利哈根堡城堡，2008年7月14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记237，91-106（2009）。
MSC公司：2012年第68季度 65年第68季度 97单位50
PDF格式BibTeX公司 XML格式引用
\textit{B.Heeren}和\textit{J.Jeuring}，电子。注释Theor。计算。科学。237、91——106（2009年；Zbl 1294.68097）
全文： 内政部
John-Thones阿蒙约

人类学习自动化和自动机。 （英语） 邮编：1181.00009

Garfunkel，Sol（编辑）等人，《几何、游戏、图形和教育》。Joe Malkevitch节日。2008年11月8日，美国纽约州牙买加纽约市纽约市立大学约克学院Joe Fest的论文。马萨诸塞州贝德福德：Comap公司（ISBN 978-1-933223-17-9/pbk）。147-164 (2008).
MSC公司：00年3月35日 68T05型 68问题80 97立方厘米30
PDF格式BibTeX公司 XML格式引用
\textit{J.-T.Amenyo}，in：几何、游戏、图形和教育。Joe Malkevitch节日。2008年11月8日，美国纽约州牙买加纽约市纽约市立大学约克学院Joe Fest发表的论文。马萨诸塞州贝德福德：Comap，Inc.。147-164（2008；Zbl 1181.00009）
克里斯蒂安·艾森特罗;霍尔格赫尔曼斯

向新生教授并发概念。 （英语） 兹比尔1171.68571

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型的事务处理I.柏林：施普林格》（ISBN 978-3-540-89286-1/pbk）。计算机科学讲义5100。《期刊副刊》，35-53（2008）。
MSC公司：68问题85 97U30型
PDF格式BibTeX公司 XML格式引用
\textit{C.Eisentraut}和\textit{H.Hermanns}，莱克特。注释计算。科学。5100、35-53（2008年；Zbl 1171.68571）
全文： 内政部
罗德里戈出生的维埃拉;保罗·布劳斯·梅内泽斯

范畴结构的计算模拟。 （英语） Zbl 1143.68398号

Moreno Díaz，Roberto（编辑）等人，计算机辅助系统理论–EUROCAST 2005。第十届计算机辅助系统理论国际会议，西班牙大加那利拉斯帕尔马斯，2005年2月7日至11日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-29002-8/pbk）。计算机科学课堂讲稿3643，44-49（2005）。
MSC公司：2005年第68季度 18安培99 97C80型
PDF格式BibTeX公司 XML格式引用
\textit{R.B.Vieira}和\textit{P.B.Menezes}，莱克特。注释计算。科学。3643、44-49（2005年；Zbl 1143.68398）
全文： 内政部
西尔维娅·斯特凡诺娃。

作为简化广义网的教学Petri网。 （英语） Zbl 1160.68475号

Atanassov，Krassimir（编辑）等人，直觉模糊集和广义网国际研讨会，波兰华沙，2001年11月6日至7日。精选论文。华沙：Wyższa Szkoła Informatyki Stosowannej i Zarządzania（ISBN 83-88311-72-7/pbk）。直觉模糊集和广义网问题1，37-40（2004）。
MSC公司：68问题85 97C40型
PDF格式BibTeX公司 XML格式引用
\textit{S.P.Stefanova}，in：直觉模糊集和广义网国际研讨会，波兰华沙，2001年11月6-7日。精选论文。Warszawa：Wyższa Szkoła Informatyki Stosowannej i Zarzńdzania。37-40（2004年；兹bl 1160.68475）
达纳州安格鲁因

学习和数学。 （英语） Zbl 1111.97300号

Paliouras，Georgios（编辑）等人，《语法推理：算法和应用》。2004年10月11日至13日在希腊雅典举行的第七届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23410-1/pbk）。计算机科学课堂讲稿3264。人工智能课堂讲稿，1-2（2004）。
MSC公司：97立方厘米30 68问题32 68T05型 第91页第40页
PDF格式BibTeX公司 XML格式引用
\textit{D.Angluin}，莱克特。注释计算。科学。3264，1--2（2004；Zbl 1111.97300）
全文： 内政部
瑟伦·克里斯滕森;杰根森，延斯·伯克

教学彩色Petri网：课程和经验教训示例。 （英语） Zbl 1088.68658号

Desel，Jörg（编辑）等人，《并发和Petri网讲座》。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-22261-8/pbk）。计算机科学课堂讲稿3098，402-412（2004）。
MSC公司：68问题85 68-01 97天30分
PDF格式BibTeX公司 XML格式引用
\textit{S.Christensen}和\textit{J.B.约根森}，莱克特。注释计算。科学。3098、402--412（2004年；Zbl 1088.68658）
全文： 内政部
比阿特丽克斯·布劳恩;斯蒂芬·迪尔;安德烈亚斯·凯伦;莱因哈德·威廉

为学习软件生成和计算有限自动机的动画。 （英语） Zbl 1050.97500

Boldt，Oliver（编辑）等人，自动机实现。1999年7月17日至19日，第四届国际研讨会，WIA'99，德国波茨坦。修改后的文件。柏林：施普林格出版社（ISBN 3-540-42812-7）。莱克特。注释计算。科学。2214, 39-47 (2001).
MSC公司：97个u70 65年第68季度 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Braune}等人，Lect。注释计算。科学。2214、39-47（2001年；Zbl 1050.97500）
全文： 链接
珍妮特·温格。

受邀演讲：将正式方法融入本科计算机科学课程。（扩展摘要）。 （英语） Zbl 0983.68772号

Rus，Teodor（编辑），代数方法论和软件技术。2000年5月20日至27日，第八届国际会议，AMAST 2000，美国爱荷华州爱荷华城。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1816, 2-7 (2000).
MSC公司：68单位99 第68季度01 97天30分
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Wing}，莱克特。注释计算。科学。1816，2--7（2000年；Zbl 0983.68772）

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件