安特尔

此软件的关键字
zbMATH中的参考文献(参考
58篇文章
参考, 1标准件 )
Michail,Dimitrios;Kinable,Joris;Naveh,Barak;Sichi,John V.:Jgraph——一个用于图形数据结构和算法的Java库(2020) Stewart Boogert,Andrey Abramov,Laurence Nevay,William Shields,Stuart Walker:Pyg4计量学:创建蒙特卡罗辐射传输物理几何的Python库(2020) 阿尔十四 Dimitrios Michail,Joris Kinable,Barak Naveh,John V Sichi:Jgraph-一个用于图形数据结构和算法的Java库(2019) 阿尔十四 Vasile,Cristian Ioan;Aksaray,Derya;Belta,Calin:时间窗口时间逻辑(2017) Bettini,Lorenzo:用Xsemantics实现IDE的类型系统(2016) 比约达尔,古斯塔夫;莫内特,让诺埃尔;弗莱纳,皮埃尔;皮尔森,贾斯汀:MiniZinc基于约束的本地搜索后端(2015) Reis,Leonardo V.S.;Di Iorio,Vladimir O.;Bigonha,Roberto S.:编写和定义可扩展语言的动态语法修改机制(2015) Wang,Bing;Deng,Bo;Xing,Fei;Wang,Dongxia;Yao,Yiping:分区事件图:基于LP的并行离散事件仿真建模的形式化(2015) Amighi,Afshin;Blom,Stefan;Darabi,Saeed;Huisman,Marieke;Mostowski,Wojciech;Zaharieva Stojanovski,Marina:验证VerCors的并发系统(2014年) Cazzola,Walter;Vacchi,Edoardo:关于LR-goto图的增量增长和收缩(2014) 何江洲;陈文光;陈光瑞;郑伟民;唐志忠;叶,韩东:OpenMDSP:扩展OpenMP编程多核DSP(2014) ioport公司 《实时系统验证》(Thomas Mathuer,Jürg;实时系统验证) Rodríguez Cerezo,Daniel;Sarasa Cabezuelo,Antonio;Gómez Albarrán,Mercedes;Sierra,José-Luis:高等教育中的严肃游戏:关于计算机语言实施课程中基本概念理解的案例研究(2014) 数学 Thielecke,Hayo:解析动作的语义(2014) Bettini,Lorenzo;Damiani,Ferruccio;Schaefer,Ina;Strocco,Fabio:\textsTraitRecordj:一种具有特征和记录的编程语言(2013) ioport公司 Freudenthal,Margus:Siml:企业信息系统中特定领域语言开发的工具包(2013) Ahrendt,Wolfgang;Dylla,Maximilian:异步对象组合验证系统(2012) Cervelle,Julien;Forax,Rémi;Loyauté,Gautier;Roussel,Gilles:Banzai+Tatoo:使用尖端解析器实现高性能服务器(2012) ioport公司 Ilhami Visne;Ahmet Yildiz;Ekran Dilaveroglu;Klemens Vierlinger;Christa Nöhammer;Friedrich Leisch;Albert Kriegner:speedR:交互式数据导入、过滤和现成代码生成的R包(2012) 不是zbMATH 夏伟;姚一平;缪晓东:基于扩展事件图的并行分布式离散事件仿真建模方法(2012)