停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

PROSPECTRA图书1993

>主页 >会议和研讨会 >PROSPECTRA公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospecttra/1993年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/1993
伯托尔·霍夫曼,伯恩德·克里格·布吕克纳:
通过规范和转换、PROSPECTRA方法、语言家族和系统进行程序开发。计算机科学课堂讲稿680,施普林格 1993，国际标准图书编号3-540-56733-X号

方法论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/Krieg-Bruckner93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Krieg-Bruckner93
伯恩德·克里格·布吕克纳:
导言。 3-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/Grunler公司93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Grunler93
托马斯·格伦勒:
规范：代数规范。 35-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/Breu93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Breu93
迈克尔·布鲁:
规范：实施的开发。 54-79
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/Weber93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Weber93
赖纳·韦伯:
规范：分布式系统。 80-98
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/刘K93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/LiuK93
刘俊波,伯恩德·克里格·布吕克纳:
转型。 99-127
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/McGettrickTD93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/MegettrickTD93
安德鲁·麦格特里克,欧文·特雷纳,大卫·达菲:
验证。 129-144

语言系列

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/Krieg-Bruckner93a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Krieg-布鲁克纳93a
伯恩德·克里格·布吕克纳:
程序设计和元程序设计的一个语系。 147-148
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/KarlsenJ93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/KarlsenJ93
埃纳尔·卡尔森,杰斯珀·约根森二世:
PA公司^神经网络dA-S参考手册。 149-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prosperra/BreuBGN93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/BreuBGN93
迈克尔·布鲁,曼弗雷德·布罗伊,托马斯·格伦勒,弗里德里克·尼克尔:
PA的语义^神经网络dA-S公司。 171-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/Karlsen93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Karlsen93
埃纳尔·卡尔森:
PA公司^神经网络dA参考手册。 223-238
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/Kahrs93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Kahrs93
斯特凡·卡尔斯:
PA公司^神经网络dA标准类型和预定义类型模式。 239-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/Cruz93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Cruz93
佩德罗·德拉克鲁兹:
TrafoLa-S参考手册。 251-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prosperra/MarcuzziL93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Marcuzzl93
阿兰·马库齐:
ControLa参考手册。 263-274
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/HeckmannS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/HeckmannS93
雷霍德·赫克曼,乔治·桑德:
TrafoLa-H参考手册。 275-313

系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/Krieg-BrucknerKLT93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Krieg-BrucknerKLT93
伯恩德·克里格·布吕克纳,埃纳尔·卡尔森,刘俊波,欧文·特雷纳:
统一转型发展。 317-330
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospecttra/LiuTL93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/LiuTL93
刘俊波,欧文·特雷纳,斯蒂恩·林恩斯克约尔德:
PROSPECTRA系统导览。 331-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prosperra/MarcuzziL93a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/MarcuzziL93a
阿兰·马库齐:
控制：控制器。 367-373
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prosperra/HoudierL93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/HoudierL93
多米尼克·霍迪尔:
控制：库管理器。 374-388
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/KarlsenJ93a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/卡尔森J93a
埃纳尔·卡尔森,杰斯珀·约根森二世:
项目开发：PA^神经网络dA-S编辑器。 389-417
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/卡尔森93a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Karlsen93a网站
埃纳尔·卡尔森:
项目开发：PA^神经网络dA变压器外壳。 418-449
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/卡尔森93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/KarlsenT93
埃纳尔·卡尔森,欧文·特雷纳:
程序开发：转换和证明属性。 450-459
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prosperra/BertlingGSNO93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/BertlingGSNO93
休伯特·伯特林,哈拉尔德·甘津格,Renate Schäfers公司,罗伯特·尼文胡斯,费尔南多·奥雷贾斯:
项目开发：完成子系统。 460-494
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prosperra/Traynor93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Traynor93
欧文·特雷纳:
程序开发：验证子系统。 495-521
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/ManasC93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/ManasC93
何塞·路易斯·马纳斯,佩德罗·德拉克鲁兹:
转型发展：TrafoLa-S编辑。 523-525
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prospectra/Gersdorf93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Gersdorf93
伯恩德·格斯多夫:
转型发展：从TrafoLa到SSL和TrafoLa-H的翻译人员。 526-538
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prosperra/AltFFW93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/AltFFW93
马丁·赫尔穆特（Martin Helmut Alt）,克里斯蒂安·费希特,克里斯蒂安·费迪南德,莱因哈德·威廉姆:
改造开发：TrafoLa-H子系统。 539-576
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prosperra/Miguel93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prospectra/Miguel93
胡安·安东尼奥·德·米格尔:
系统开发组件。 577-586

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。