找回密碼
 To register

QQ登錄

只需一步，快速開始

掃一掃，訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Reliable Software Technologies – Ada-Europe 2011; 16th Ada-Europe Inte Alexander Romanovsky,Tullio Vardanega Conference proceedings 2011 Th

[復(fù)制鏈接]
查看: 6345|回復(fù): 63
樓主
發(fā)表于 2025-3-21 18:01:37 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Reliable Software Technologies – Ada-Europe 2011
副標(biāo)題16th Ada-Europe Inte
編輯Alexander Romanovsky,Tullio Vardanega
視頻videohttp://file.papertrans.cn/827/826445/826445.mp4
概述Unique visibility.Fast-track conference proceedings.State-of-the-art survey
叢書名稱Lecture Notes in Computer Science
圖書封面Titlebook: Reliable Software Technologies – Ada-Europe 2011; 16th Ada-Europe Inte Alexander Romanovsky,Tullio Vardanega Conference proceedings 2011 Th
描述This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.
出版日期Conference proceedings 2011
關(guān)鍵詞Ada 2005 programming; formal methods; parallel programming; real-time systems; reliable systems; safety-c
版次1
doihttps://doi.org/10.1007/978-3-642-21338-0
isbn_softcover978-3-642-21337-3
isbn_ebook978-3-642-21338-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightThe Editor(s) (if applicable) and The Author(s), under exclusive license to Springer-Verlag GmbH, DE
The information of publication is updating

書目名稱Reliable Software Technologies – Ada-Europe 2011影響因子(影響力)




書目名稱Reliable Software Technologies – Ada-Europe 2011影響因子(影響力)學(xué)科排名




書目名稱Reliable Software Technologies – Ada-Europe 2011網(wǎng)絡(luò)公開度




書目名稱Reliable Software Technologies – Ada-Europe 2011網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Reliable Software Technologies – Ada-Europe 2011被引頻次




書目名稱Reliable Software Technologies – Ada-Europe 2011被引頻次學(xué)科排名




書目名稱Reliable Software Technologies – Ada-Europe 2011年度引用




書目名稱Reliable Software Technologies – Ada-Europe 2011年度引用學(xué)科排名




書目名稱Reliable Software Technologies – Ada-Europe 2011讀者反饋




書目名稱Reliable Software Technologies – Ada-Europe 2011讀者反饋學(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
您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 21:05:46 | 只看該作者
板凳
發(fā)表于 2025-3-22 01:56:42 | 只看該作者
ángel Esquinas,Juan Zamorano,Juan A. de la Puente,Miguel Masmano,Ismael Ripoll,Alfons Crespoe output at a faster rate than the control. It is also known that the vibration control of smart structure is a challenging problem as it has several vibratory modes. So, the frequency shaping approach is used978-81-322-2237-8978-81-322-2238-5Series ISSN 2191-530X Series E-ISSN 2191-5318
地板
發(fā)表于 2025-3-22 07:52:22 | 只看該作者
5#
發(fā)表于 2025-3-22 11:52:06 | 只看該作者
Thierry Coq,Jean-Pierre Rosenllimeter metastable Magnesium beam, which has shown a short tenn stability 19 in the low 12s in one second and promises an accuracy of 10- , and the cold Hydrogen masers, which have such high stabilities that they cannot be measured with existing local oscillators. Prospects for future developments include la978-3-642-74503-4978-3-642-74501-0
6#
發(fā)表于 2025-3-22 15:49:35 | 只看該作者
7#
發(fā)表于 2025-3-22 17:35:45 | 只看該作者
8#
發(fā)表于 2025-3-22 23:35:55 | 只看該作者
9#
發(fā)表于 2025-3-23 01:51:08 | 只看該作者
Laura Carnevali,Giuseppe Lipari,Alessandro Pinzuti,Enrico Vicarioetastable Magnesium beam, which has shown a short tenn stability 19 in the low 12s in one second and promises an accuracy of 10- , and the cold Hydrogen masers, which have such high stabilities that they cannot be measured with existing local oscillators. Prospects for future developments include la
10#
發(fā)表于 2025-3-23 09:13:27 | 只看該作者
Sanjoy Baruah,Alan Burnsream is indeterminate, so we cannot wait for it to end. We generate an initial result after seeing a certain quantity of data, and then we periodically revise the result. A particular challenge for frequent pattern discovery is the combinatorial explosion of candidate patterns.In this chapter, we pr
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-20 06:34
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
高唐县| 逊克县| 毕节市| 沂源县| 疏附县| 钟祥市| 昭苏县| 丰县| 衡山县| 安西县| 寿阳县| 定安县| 北京市| 故城县| 镇赉县| 济南市| 邹平县| 山西省| 北碚区| 西林县| 平原县| 凤阳县| 泗洪县| 历史| 天等县| 鄂伦春自治旗| 南川市| 通许县| 滦平县| 个旧市| 响水县| 离岛区| 平昌县| 行唐县| 浦县| 广安市| 克东县| 吴川市| 永清县| 陇南市| 和静县|