×

兹马思-数学第一资源

找到437份文件(结果1-100)

100
马查克斯
Groote,Jan Friso(ed.)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡卢森堡市举行。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12651351-369(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
剑桥数学图书馆. 剑桥:剑桥大学出版社(ISBN 978-1-108-82028-8/pbk;978-1-108-89972-7/电子书)。xx,550便士。(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kravets,Alla G.(编辑),《机器人学:工业4.0问题与新智能控制范式》。查姆:斯普林格。螺柱。系统。十进制。控制272113-124(2020年)。
理学硕士:93A16型 93C85型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
J、 计算机。系统。科学。内景。 59号,第4期,565-574(2020年); 翻译自Izv。罗斯。阿卡德。恶心,泰尔。西斯特。普拉维。2020年,第4期,92-102页(2020年)。
理学硕士:93B30型 93B25型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
系统、决策与控制研究207查姆:斯普林格(ISBN 978-3-030-17097-4/hbk;978-3-030-17098-1/电子书)。二十一,263页。(2019年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
剑桥理论计算机科学60剑桥:剑桥大学出版社(ISBN 978-1-108-48541-8/hbk;978-1-108-75694-5/电子书)。x、 304便士。(2019年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Sayed Mouchaweh,Moamar(编辑),《混合动态和网络物理系统的可诊断性、安全性和安全性》。查姆:斯普林格。175-200(2018年)。
理学硕士:93C30型 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
J、 计算机。系统。科学。内景。 57号,第5期,738-749(2018年); 翻译自Izv。罗斯。阿卡德。恶心,泰尔。西斯特。普拉维。2018年,第5期,第76-88期(2018年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
自动驾驶。远程控制 第79期,第10期,1863-1870年(2018年); 翻译自Avtom。泰勒梅克。2018年,第10期,154-163(2018年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Jansson,Jesper(ed.)等人,《计算生物学算法》。第五届国际会议,ALCoB 2018,中国香港,2018年6月25-26日。诉讼程序。查姆:斯普林格(ISBN 978-3-319-91937-9/pbk;978-3-319-91938-6/电子书)。计算机科学课程讲稿10849。生物信息学课堂讲稿,128-139(2018年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Foret,Annie(ed.)等人,《形式语法》。第22届国际会议,FG 2017,法国图卢兹,2017年7月22-23日。修订精选论文。柏林:斯普林格。选择。笔记计算。科学。10686105-124(2018年)。
理学硕士:68Q42号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
自动驾驶。远程控制 78,第3号,475-489(2017年); 翻译自Avtom。泰勒梅克。2017年,第3期,111-129(2017年)。
理学硕士:92B20型 93A15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Foret,Annie(ed.)等人,《形式语法》。第20届和第21届国际会议,FG 2015,西班牙巴塞罗那,2015年8月。修订精选论文。FG 2016,意大利博赞,2016年8月。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。9804112-129(2016年)。
理学硕士:68Q42号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
自动驾驶。远程控制 77,第4号,672-686(2016年); 翻译自Avtom。泰勒梅克。2016年,第4期,153-172页(2016年)。
理学硕士:93C65型 93A13型 93B11号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
J、 计算机。系统。科学。内景。 54号,第6期,853-865(2015年); 翻译自Izv。罗斯。阿卡德。恶心,泰尔。西斯特。普拉维。2015年第6期,第17-30期(2015年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
《第18届ACM混合动力系统国际会议论文集:计算与控制》,HSCC 2015,西雅图,华盛顿,美国,2015年4月14-16日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-3433-4)。58-67(2015年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
模糊有限状态机实验。 (英语。俄文原件) Zbl 1322.93065
自动驾驶。远程控制 76,第2号,278-291(2015); 翻译自Avtom。泰勒梅克。2015年第2期,第107-124期(2015年)。
理学硕士:93C42型 93E20型 93A30型 68Q45号 90C29型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Poovendran,Radha(编辑)等,《安全决策与博弈论》。2014年11月6日至7日,美国加利福尼亚州洛杉矶,GameSec2014第五届国际会议。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。884099-117(2014年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
J、 计算机。系统。科学。内景。 53号,第5号,656-688(2014年); 翻译自Izv。罗斯。阿卡德。恶心,泰尔。西斯特。普拉维。2014年,第5期,第38-70期(2014年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Frey,Davide(ed.)等人,《分布式计算与网络》。2013年第14届国际会议,印度孟买,2013年1月3日至6日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-35667-4/pbk)。计算机科学课堂讲稿7730,330-347(2013)。
理学硕士:68米14 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2013年ACM分布式计算原理研讨会论文集,PODC'13,蒙特利尔,QC,加拿大,2013年7月22-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-2065-8)。137-146(2013年)。
理学硕士:2005年第68季度 68米14 68问10 68Q45号 68Q80型 68度15度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
J、 计算机。系统。科学。内景。 52,第3期,410-425(2013年); 翻译自Izv。罗斯。阿卡德。恶心,泰尔。西斯特。普拉维。2013年,第3期,85-100(2013年)。
理学硕士:93C95型 93B40型 90度59度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
J、 计算机。系统。科学。内景。 52,第3号,400-409(2013年); 翻译自Izv。罗斯。阿卡德。恶心,泰尔。西斯特。普拉维。2013年,第3期,第74-84期(2013年)。
理学硕士:93C95型 93B40型 90度59度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Konstantindis,Stavros(编辑),《自动机的实现和应用》。2013年7月16日至19日,加拿大新罕布什尔州哈利法克斯市,CIAA 2013年第18届国际会议。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-39273-3/pbk)。计算机科学课堂讲稿7982146-157(2013)。
理学硕士:68Q45号 68Q42号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士:K2605型 90B22型 68平方米
PDF格式 BibTeX公司 XML 引用
全文: 内政部 MNR公司
D'Souza,Deepak(ed.)等人,《自动机理论的现代应用》。献给普里蒂·尚卡尔教授。莱因哈德·威廉的前言。哈肯萨克,新泽西州:世界科学;班加罗尔:IISc出版社(ISBN 978-981-4271-04-2/hbk;978-981-4271-05-9/电子书)。IISc研究专著系列2,171-191(2012)。
理学硕士:93C85型 68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理论计算机科学专著。EATCS系列. 柏林:斯普林格(ISBN 978-3-642-32331-7/hbk;978-3-642-32332-4/电子书)。十六,第423页。(2012年)。
理学硕士:68-02年 6885年 2005年第68季度 68问25 68周40 68Q60型 37N99号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第14届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2011,芝加哥,伊利诺伊州,美国,2011年4月12-14日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-0629-4)。83-92(2011年)。
理学硕士:68Q60型 68Q45号 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
J、 计算机。系统。科学。内景。 第907-920号(2011年第50-920号); 翻译自Izv。罗斯。阿卡德。恶心,泰尔。西斯特。普拉维。2011年,第6期,第52-66期(2011年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
David Peleg(编辑),《分布式计算》。2011年9月20日至22日,意大利罗马,第25届国际研讨会。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-24099-7/pbk)。计算机科学课堂讲稿6950432-446(2011)。
理学硕士:68米14
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bouchou Markhoff,Béatrice(ed.)等人,自动机的实现和应用。第16届国际会议,CIAA 2011,法国布卢瓦,2011年7月13-16日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-22255-9/pbk)。计算机科学课堂讲稿6807282-289(2011)。
理学硕士:68T05型 68Q45号 92-08年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
柏林:斯普林格;北京:高等教育出版社(ISBN 978-3-642-20834-8/hbk;978-7-04-030577-7/hbk)。十二,453页。(2011年)。
PDF格式 BibTeX公司 XML 引用
J、 计算机。系统。科学。内景。 49号,第6900-908号(2010年); 翻译自Izv。罗斯。阿卡德。恶心,泰尔。西斯特。普拉维。2010年,第6期,第70-79期(2010年)。
理学硕士:93C83型 93B17型 93C95型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Berthé,Valérie(ed.)等人,组合数学,自动机和数论。剑桥:剑桥大学出版社(ISBN 978-0-521-51597-9/hbk)。数学百科全书及其应用135,34-107(2010)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
哈肯萨克,新泽西州:世界科学(ISBN 978-981-283-696-0/hbk;978-981-283-697-7/pbk)。十七,第274页。(2010年)。
PDF格式 BibTeX公司 XML 引用

筛选结果依据…

文件类型
审查状态
全部的 前5名
作者
全部的 前5名
串行