標(biāo)題: Titlebook: Software Engineering and Formal Methods; SEFM 2013 Collocated Steve Counsell,Manuel Nú?ez Conference proceedings 2014 Springer Internationa [打印本頁(yè)] 作者: 軍械 時(shí)間: 2025-3-21 16:04
書(shū)目名稱Software Engineering and Formal Methods影響因子(影響力)
書(shū)目名稱Software Engineering and Formal Methods影響因子(影響力)學(xué)科排名
書(shū)目名稱Software Engineering and Formal Methods網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Software Engineering and Formal Methods網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Software Engineering and Formal Methods被引頻次
書(shū)目名稱Software Engineering and Formal Methods被引頻次學(xué)科排名
書(shū)目名稱Software Engineering and Formal Methods年度引用
書(shū)目名稱Software Engineering and Formal Methods年度引用學(xué)科排名
書(shū)目名稱Software Engineering and Formal Methods讀者反饋
書(shū)目名稱Software Engineering and Formal Methods讀者反饋學(xué)科排名
作者: 加花粗鄙人 時(shí)間: 2025-3-21 23:14 作者: Directed 時(shí)間: 2025-3-22 02:08
rmal geometric methods have played important roles in engineering fields..This work introduces a theoretically rigorous and practically efficient method for computing Riemannian metrics with prescribed Gaussian curvatures on discrete surfaces—discrete surface Ricci flow, whose continuous counter par作者: CLEFT 時(shí)間: 2025-3-22 05:07
Ross Horne,Timur Umarovl surface and the support function can be seen as dual implicitization. The support function can be used to parameterize a surface by its inverse Gauss map. This map makes it relatively simple to study isophotes (which are simply images of spherical circles) and offset surfaces (which are obtained b作者: Gastric 時(shí)間: 2025-3-22 11:32 作者: 抗原 時(shí)間: 2025-3-22 14:36
Giovanni Bernardi,Matthew Hennessyess inherent in practical problems and data.Includes supplem."Mathematics of Uncertainty" provides the basic ideas and foundations of uncertainty, covering the fields of mathematics in which uncertainty, variability, imprecision and fuzziness of data are of importance. This introductory book describ作者: 豐富 時(shí)間: 2025-3-22 17:59 作者: Glucose 時(shí)間: 2025-3-22 21:32 作者: Hemodialysis 時(shí)間: 2025-3-23 05:16 作者: 一個(gè)姐姐 時(shí)間: 2025-3-23 07:15
Andreas Ibingess inherent in practical problems and data.Includes supplem."Mathematics of Uncertainty" provides the basic ideas and foundations of uncertainty, covering the fields of mathematics in which uncertainty, variability, imprecision and fuzziness of data are of importance. This introductory book describ作者: 地名詞典 時(shí)間: 2025-3-23 10:28 作者: micturition 時(shí)間: 2025-3-23 16:10 作者: 朦朧 時(shí)間: 2025-3-23 19:27 作者: breadth 時(shí)間: 2025-3-23 23:59 作者: 前兆 時(shí)間: 2025-3-24 03:36
Alessandro FantechildThis book ranks countries with respect to their achievement of the Sustainable Development Goals and their vulnerability to climate change. Human livelihoods, stable economies, health, and high quality of life all depend on a stable climate and earth system, and a diversity of species and ecosyste作者: 驚惶 時(shí)間: 2025-3-24 08:02 作者: Bernstein-test 時(shí)間: 2025-3-24 11:34
Philip James,Faron Moller,Hoang Nga Nguyen,Markus Roggenbach,Steve Schneider,Helen Treharne,Matthew tory nature or the problem. To allow reliable approximations classical numerical schemes require severe step size restrictions depending on the small parameter ... This leads to large errors and huge computational costs. In the singular limit .?→. the Zakharov system appears as the regular limit sys作者: EVEN 時(shí)間: 2025-3-24 17:42
Anne E. Haxthausen,Jan Peleska,Ralf Pinger the History of mathematics fram antiquity to the early nineteenth century, published in three 1 volumes from 1970 to 1972. For reasons explained below, our discussion of twentieth-century mathematics ends with the 1930s. Our general objectives are identical with those stated in the preface to the t作者: 性學(xué)院 時(shí)間: 2025-3-24 22:42 作者: osteocytes 時(shí)間: 2025-3-25 01:52
conclusion is that there are only a small number of useful classes and that most of these have already been investigated in terms of linear, stationary subdivision schemes. There is some space for further work, particularly in the investigation of whether there are useful ternary linear, stationary 作者: 兇猛 時(shí)間: 2025-3-25 06:25 作者: 閑蕩 時(shí)間: 2025-3-25 11:19 作者: anniversary 時(shí)間: 2025-3-25 12:24
Philip James,Faron Moller,Hoang Nga Nguyen,Markus Roggenbach,Steve Schneider,Helen Treharne,Matthew y step size restrictions. The numerical approximation error is then estimated by showing that solutions of the KGZ system in this singular limit can be approximated via the solutions of the Zakharov system and by proving error estimates for the numerical approximation of the Zakharov system. We clos作者: 瘋狂 時(shí)間: 2025-3-25 18:25
Anne E. Haxthausen,Jan Peleska,Ralf Pingeris either self-directed or, as is most often the case, is determined by the needs of society. Proceeding from this premise, we intend, first, to unravel the forces that shape mathe- matical progress. We examine the interaction of mathematics with the social structure, technology, the natural sciences, and phi978-3-0348-5112-1作者: 功多汁水 時(shí)間: 2025-3-25 23:19
Ensuring Faultless Communication Behaviour in A Commercial Clouduggest how our methodology can be used to ensure the correctness of protocols for Cloud brokers, that integrate services exposed by multiple Cloud coordinators, each of whom must correctly cooperate with the Cloud broker.作者: Noisome 時(shí)間: 2025-3-26 03:34
Twenty-Five Years of Formal Methods and Railways: What Next?n this paper is that the complexity of future railway systems of systems can be addressed with advantage only by a higher degree of distribution of functions on local interoperable computers - communicating by means of standard protocols - and by adopting a multi-level formal modelling suitable to s作者: 分開(kāi) 時(shí)間: 2025-3-26 07:03 作者: 含糊 時(shí)間: 2025-3-26 10:43 作者: 能得到 時(shí)間: 2025-3-26 13:19
Dimitrios Kouzapas,Anna Philippouuster analysis and classification, and of evaluation of functional relationships such as regression analysis and quantitative fuzzy data analysis..978-3-642-06669-6978-3-540-31228-4Series ISSN 1434-9922 Series E-ISSN 1860-0808 作者: GUILE 時(shí)間: 2025-3-26 19:14 作者: 愛(ài)社交 時(shí)間: 2025-3-27 00:25 作者: arrogant 時(shí)間: 2025-3-27 01:21 作者: 脊椎動(dòng)物 時(shí)間: 2025-3-27 07:34 作者: 拱形面包 時(shí)間: 2025-3-27 10:42
Andreas Ibinguster analysis and classification, and of evaluation of functional relationships such as regression analysis and quantitative fuzzy data analysis..978-3-642-06669-6978-3-540-31228-4Series ISSN 1434-9922 Series E-ISSN 1860-0808 作者: 強(qiáng)所 時(shí)間: 2025-3-27 14:18
Luis Llana,Rafael Martínez-Torresuster analysis and classification, and of evaluation of functional relationships such as regression analysis and quantitative fuzzy data analysis..978-3-642-06669-6978-3-540-31228-4Series ISSN 1434-9922 Series E-ISSN 1860-0808 作者: SLAG 時(shí)間: 2025-3-27 19:03
Mirtha Lina Fernández Venero,Flávio Soares Corrêa da Silvauster analysis and classification, and of evaluation of functional relationships such as regression analysis and quantitative fuzzy data analysis..978-3-642-06669-6978-3-540-31228-4Series ISSN 1434-9922 Series E-ISSN 1860-0808 作者: frozen-shoulder 時(shí)間: 2025-3-28 01:56
Kent Inge Fagerland Simonsenuster analysis and classification, and of evaluation of functional relationships such as regression analysis and quantitative fuzzy data analysis..978-3-642-06669-6978-3-540-31228-4Series ISSN 1434-9922 Series E-ISSN 1860-0808 作者: 忍受 時(shí)間: 2025-3-28 02:43 作者: Cubicle 時(shí)間: 2025-3-28 07:11
Alessandro Fantechihe book is an excellent reference source for advanced undergraduate and graduate students in mathematics and the social sciences as well as for researchers and teachers..978-3-030-68686-4978-3-030-68684-0Series ISSN 2198-4182 Series E-ISSN 2198-4190 作者: ARBOR 時(shí)間: 2025-3-28 12:13 作者: DEMN 時(shí)間: 2025-3-28 16:29 作者: fulcrum 時(shí)間: 2025-3-28 19:20 作者: 稱贊 時(shí)間: 2025-3-28 23:09
What IS a BoK? Large – Extended Abstract –Software engineering is different from traditional engineering disciplines in certain crucial ways. But software engineering . an engineering discipline.作者: GOAT 時(shí)間: 2025-3-29 06:56 作者: 全等 時(shí)間: 2025-3-29 08:21
978-3-319-05031-7Springer International Publishing Switzerland 2014作者: condone 時(shí)間: 2025-3-29 13:07
Software Engineering and Formal Methods978-3-319-05032-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: LEER 時(shí)間: 2025-3-29 18:42 作者: flammable 時(shí)間: 2025-3-29 21:09
https://doi.org/10.1007/978-3-319-05032-4FLOSS; OSS; Petri nets; behavioral type theory; complex systems; formal methods; knowledge management; logi作者: 指令 時(shí)間: 2025-3-30 00:17
Scalable Session Programming for Heterogeneous High-Performance Systemso illustrate the session-based programming style. Finally, we outline a proposal to integrate session programming with heterogeneous systems for efficient and communication-safe parallel applications by a combination of code generation and type checking.作者: 星球的光亮度 時(shí)間: 2025-3-30 05:19 作者: hauteur 時(shí)間: 2025-3-30 08:27
Applied Bounded Model Checking for Interlocking System Designsotential safety violations. From a formal methods perspective, these verification objectives can be approached by theorem proving, global, or bounded model checking. This paper explains the techniques for application of bounded model checking techniques, and discusses their advantages in comparison to the alternative approaches.作者: Judicious 時(shí)間: 2025-3-30 12:41 作者: Instrumental 時(shí)間: 2025-3-30 18:29 作者: DEMUR 時(shí)間: 2025-3-30 23:00 作者: 帶子 時(shí)間: 2025-3-31 02:28
A Typing System for Privacyature: it includes the use of . to enable reasoning about information collection, it builds on . to control information processing, and it employs . to restrict information dissemination. We illustrate the use of our typing system via simple examples.
