標(biāo)題: Titlebook: Formal Specification Techniques for Engineering Modular C Programs; Yang Meng Tan Book 1996 Springer Science+Business Media New York 1996 [打印本頁] 作者: DUBIT 時(shí)間: 2025-3-21 19:15
書目名稱Formal Specification Techniques for Engineering Modular C Programs影響因子(影響力)
書目名稱Formal Specification Techniques for Engineering Modular C Programs影響因子(影響力)學(xué)科排名
書目名稱Formal Specification Techniques for Engineering Modular C Programs網(wǎng)絡(luò)公開度
書目名稱Formal Specification Techniques for Engineering Modular C Programs網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Formal Specification Techniques for Engineering Modular C Programs被引頻次
書目名稱Formal Specification Techniques for Engineering Modular C Programs被引頻次學(xué)科排名
書目名稱Formal Specification Techniques for Engineering Modular C Programs年度引用
書目名稱Formal Specification Techniques for Engineering Modular C Programs年度引用學(xué)科排名
書目名稱Formal Specification Techniques for Engineering Modular C Programs讀者反饋
書目名稱Formal Specification Techniques for Engineering Modular C Programs讀者反饋學(xué)科排名
作者: Implicit 時(shí)間: 2025-3-21 23:23
第145905主題貼--第2樓 (沙發(fā))作者: 不規(guī)則 時(shí)間: 2025-3-22 01:39
板凳作者: Substance 時(shí)間: 2025-3-22 06:01
第4樓作者: Root494 時(shí)間: 2025-3-22 09:27
5樓作者: Mortal 時(shí)間: 2025-3-22 16:30
6樓作者: Mortal 時(shí)間: 2025-3-22 20:08
7樓作者: 勉強(qiáng) 時(shí)間: 2025-3-23 00:07
8樓作者: interference 時(shí)間: 2025-3-23 01:41
9樓作者: xanthelasma 時(shí)間: 2025-3-23 08:52
10樓作者: 攝取 時(shí)間: 2025-3-23 11:18
板凳作者: 財(cái)政 時(shí)間: 2025-3-23 17:17
板凳作者: Systemic 時(shí)間: 2025-3-23 21:40
板凳作者: 縱欲 時(shí)間: 2025-3-24 00:05
板凳作者: AV-node 時(shí)間: 2025-3-24 02:50
板凳作者: 著名 時(shí)間: 2025-3-24 07:44
板凳作者: neologism 時(shí)間: 2025-3-24 12:26
板凳作者: ineluctable 時(shí)間: 2025-3-24 17:38
板凳作者: 窩轉(zhuǎn)脊椎動(dòng)物 時(shí)間: 2025-3-24 22:23
第4樓作者: Capture 時(shí)間: 2025-3-25 02:41
第4樓作者: 小母馬 時(shí)間: 2025-3-25 03:53
第4樓作者: Isometric 時(shí)間: 2025-3-25 10:36
5樓作者: dictator 時(shí)間: 2025-3-25 13:01
5樓作者: subordinate 時(shí)間: 2025-3-25 17:36
5樓作者: neologism 時(shí)間: 2025-3-25 22:06
6樓作者: 怒目而視 時(shí)間: 2025-3-26 02:13
6樓作者: BRIEF 時(shí)間: 2025-3-26 05:43
6樓作者: 使饑餓 時(shí)間: 2025-3-26 12:27
6樓作者: 啪心兒跳動(dòng) 時(shí)間: 2025-3-26 16:02
7樓作者: 潔凈 時(shí)間: 2025-3-26 17:20
7樓作者: 信徒 時(shí)間: 2025-3-27 00:20
7樓作者: chastise 時(shí)間: 2025-3-27 05:08
7樓作者: Platelet 時(shí)間: 2025-3-27 08:29
8樓作者: 漂亮 時(shí)間: 2025-3-27 09:41 作者: mechanism 時(shí)間: 2025-3-27 17:02
eutic algorithms.Written by global opinion leaders in their .This book provides a detailed, up-to-date overview of cystic tumors of the pancreas, with coverage of all aspects of diagnosis and treatment (medical, endoscopic, and surgical). After opening chapters on pathology and classification, cytol作者: 水土 時(shí)間: 2025-3-27 20:17
C. Muldoon,G. M. P. O’Hare,M. J. O’Gradynt of symmetric private information retrieval (SPIR). It can be used if the server’s database contains . entries, at most ./log. of which have individual values, and the rest are set to some default value. This variant of PIR is unique since it can be based on the existence of OT alone.作者: 先鋒派 時(shí)間: 2025-3-28 00:17 作者: 嚴(yán)峻考驗(yàn) 時(shí)間: 2025-3-28 04:02
Die Preis- und Wertlehreichlich kompliziert; alle Zusammenh?nge der Mechanismen der gegenw?rtigen Wirtschaften finden in ihnen ihren Ausdruck. Daher besteht die Aufgabe der Theorie darin, zu ihrer Erkl?rung ein m?glichst einfaches Schema aufzustellen, das aus m?glichst wenigen von jedweder Unklarheit freien Begriffen besteht.作者: Binge-Drinking 時(shí)間: 2025-3-28 08:52
Xin Jinge ‘long family’, death of siblings, and father remarriages. In addition, it compares how sibling relationships differed in the New World (those of European extract, Indian and slaves) from those seen in the UK. The conclusion is that there are many similarities from the past with the relationships t作者: poliosis 時(shí)間: 2025-3-28 11:31
Modern ABI Platforms for Healthcare Data Processingcommunities, and to public discourse. As contemporary humanities work becomes increasingly interdisciplinary, and increasingly permeated by and with digital technologies, this volume helps new researchers navigate an evolving academic environment. Humanities and social sciences students will find th作者: 強(qiáng)制性 時(shí)間: 2025-3-28 15:20
rum analysis, for high-speed analog/digital conversion, for a fiber-optic gyro, and for various high-per- formance semiconductor laser sources. Before commercia978-3-662-13571-6978-3-540-39452-5Series ISSN 0342-4111 Series E-ISSN 1556-1534 作者: MOTTO 時(shí)間: 2025-3-28 20:42 作者: LAST 時(shí)間: 2025-3-29 01:56 作者: callous 時(shí)間: 2025-3-29 06:12
