研究人员
探索
标签
期刊销售
会议
作者
配置文件
组
日历
新会议
事件
截止日期
搜索
搜索
您尚未登录
登录
注册
所有出版物
按年份筛选
[-]
或
和
不是
1
1992
1993
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2008
2009
2010
2011
2012
2013
2015
2016
2020
2023
按类型筛选
或
和
不是
1
书
诉讼中
期刊文章
博士论文
按标记筛选
[+]
或
和
不是
1
代数
结构操作语义
Java语言
元环境
OCL公司
抽象机器
代数规范
编译器
完整性
指称语义学
设计
面向特征的编程
逻辑
元模型
元对象
操作语义学
基于规则的
语义学
系统方法
类型理论
按场地筛选
[+]
或
和
不是
1
空调系统
聚敛
阿帕尔
计算机辅助车辆
csl公司
ctcs公司
埃塞塞特
生态舱
ecoopw公司
entcs公司
职工持股计划
法斯
催化裂化
柔性制造计算机辅助设计
窝
icalp公司
罐子
多学科硕士
列车控制系统
tphol公司
按作者筛选
[+]
或
和
不是
1
阿奇姆·荣格
亚历山大·纳普
本·霍斯福尔
伯恩哈德再利用
德克·帕丁森
弗朗索瓦·波蒂埃
弗朗索瓦·波蒂埃
乔治·帕里西斯
赫里贝特·穆尔伯格
杨红seok
雅各布·塔姆斯堡
简·施温哈默
卡尔·海因兹·尼格尔
克劳斯·凯梅尔
拉尔斯·比克达尔
马丁·威辛
纳撒尼尔·查尔顿
彼得罗·森西亚雷利
托马斯·斯特里彻
瓦西里厄斯·克里米斯
按热门术语筛选
[+]
或
和
不是
1
指称的
领域
较高的
灰白色
java语言
逻辑
逻辑
模型
模型
多种
对象
秩序
程序
语义学
规范
商店
合成的
理论
类型
验证
研究员
Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册
对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
“Bernhard Reuse”出版
作者
细想过的
建议论文