找回密碼
 To register

QQ登錄

只需一步,快速開(kāi)始

掃一掃,訪問(wèn)微社區(qū)

打印 上一主題 下一主題

Titlebook: Formal Techniques in Real-Time and Fault-Tolerant Systems; 6th International Sy Mathai Joseph Conference proceedings 2000 Springer-Verlag B

[復(fù)制鏈接]
查看: 42296|回復(fù): 63
樓主
發(fā)表于 2025-3-21 16:20:12 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書(shū)目名稱(chēng)Formal Techniques in Real-Time and Fault-Tolerant Systems
副標(biāo)題6th International Sy
編輯Mathai Joseph
視頻videohttp://file.papertrans.cn/346/345948/345948.mp4
叢書(shū)名稱(chēng)Lecture Notes in Computer Science
圖書(shū)封面Titlebook: Formal Techniques in Real-Time and Fault-Tolerant Systems; 6th International Sy Mathai Joseph Conference proceedings 2000 Springer-Verlag B
出版日期Conference proceedings 2000
關(guān)鍵詞Automat; Scheduling; automata; logic; model checking; real-time; verification
版次1
doihttps://doi.org/10.1007/3-540-45352-0
isbn_softcover978-3-540-41055-3
isbn_ebook978-3-540-45352-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 2000
The information of publication is updating

書(shū)目名稱(chēng)Formal Techniques in Real-Time and Fault-Tolerant Systems影響因子(影響力)




書(shū)目名稱(chēng)Formal Techniques in Real-Time and Fault-Tolerant Systems影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Formal Techniques in Real-Time and Fault-Tolerant Systems網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Formal Techniques in Real-Time and Fault-Tolerant Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Formal Techniques in Real-Time and Fault-Tolerant Systems被引頻次




書(shū)目名稱(chēng)Formal Techniques in Real-Time and Fault-Tolerant Systems被引頻次學(xué)科排名




書(shū)目名稱(chēng)Formal Techniques in Real-Time and Fault-Tolerant Systems年度引用




書(shū)目名稱(chēng)Formal Techniques in Real-Time and Fault-Tolerant Systems年度引用學(xué)科排名




書(shū)目名稱(chēng)Formal Techniques in Real-Time and Fault-Tolerant Systems讀者反饋




書(shū)目名稱(chēng)Formal Techniques in Real-Time and Fault-Tolerant Systems讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒(méi)有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 20:58:51 | 只看該作者
第145948主題貼--第2樓 (沙發(fā))
板凳
發(fā)表于 2025-3-22 02:35:34 | 只看該作者
板凳
地板
發(fā)表于 2025-3-22 08:36:57 | 只看該作者
第4樓
5#
發(fā)表于 2025-3-22 11:59:07 | 只看該作者
5樓
6#
發(fā)表于 2025-3-22 15:44:20 | 只看該作者
6樓
7#
發(fā)表于 2025-3-22 19:09:38 | 只看該作者
7樓
8#
發(fā)表于 2025-3-22 23:21:38 | 只看該作者
8樓
9#
發(fā)表于 2025-3-23 03:10:55 | 只看該作者
9樓
10#
發(fā)表于 2025-3-23 07:37:02 | 只看該作者
10樓
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛(ài)論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-12 08:01
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
永丰县| 玉树县| 本溪| 兴业县| 信宜市| 海阳市| 乐昌市| 琼结县| 滨海县| 英山县| 平果县| 南溪县| 乌苏市| 玉山县| 桐庐县| 涡阳县| 靖宇县| 枝江市| 赣州市| 顺平县| 和林格尔县| 建宁县| 清水河县| 阿尔山市| 鄂伦春自治旗| 海淀区| 丹巴县| 微山县| 兴国县| 平凉市| 双桥区| 德清县| 仁寿县| 大港区| 永丰县| 英山县| 沙坪坝区| 乌海市| 岳阳县| 昔阳县| 华坪县|