標題: Titlebook: Foundations of Algebraic Specification and Formal Software Development; Donald Sannella,Andrzej Tarlecki Textbook 2012 Springer-Verlag Ber [打印本頁] 作者: affidavit 時間: 2025-3-21 17:31
書目名稱Foundations of Algebraic Specification and Formal Software Development影響因子(影響力)
書目名稱Foundations of Algebraic Specification and Formal Software Development影響因子(影響力)學科排名
書目名稱Foundations of Algebraic Specification and Formal Software Development網(wǎng)絡(luò)公開度
書目名稱Foundations of Algebraic Specification and Formal Software Development網(wǎng)絡(luò)公開度學科排名
書目名稱Foundations of Algebraic Specification and Formal Software Development被引頻次
書目名稱Foundations of Algebraic Specification and Formal Software Development被引頻次學科排名
書目名稱Foundations of Algebraic Specification and Formal Software Development年度引用
書目名稱Foundations of Algebraic Specification and Formal Software Development年度引用學科排名
書目名稱Foundations of Algebraic Specification and Formal Software Development讀者反饋
書目名稱Foundations of Algebraic Specification and Formal Software Development讀者反饋學科排名
作者: irritation 時間: 2025-3-21 20:21
第146873主題貼--第2樓 (沙發(fā))作者: 施加 時間: 2025-3-22 03:20
板凳作者: judiciousness 時間: 2025-3-22 05:20
第4樓作者: 上坡 時間: 2025-3-22 09:10
5樓作者: 招惹 時間: 2025-3-22 14:19
6樓作者: 招惹 時間: 2025-3-22 17:25
7樓作者: 辯論的終結(jié) 時間: 2025-3-23 00:36
8樓作者: OMIT 時間: 2025-3-23 01:24
9樓作者: Stress 時間: 2025-3-23 07:42
10樓作者: 編輯才信任 時間: 2025-3-23 12:47 作者: 發(fā)酵 時間: 2025-3-23 15:51
Telerehabilitation in the Neurological Field,The telerehabilitation can provide rehabilitative treatments to individuals confined to their homes without moving therapists or patients.作者: subacute 時間: 2025-3-23 20:30 作者: Atmosphere 時間: 2025-3-23 22:56
Introduction to Translational Neurorehabilitation,Population is aging worldwide, especially in the western countries, with a great burden on the social and economic system. Neurological diseases increase with age, especially neurodegenerative ones, including Alzheimer’s Disease and Parkinson’s Disease.作者: 健壯 時間: 2025-3-24 05:17 作者: 口訣法 時間: 2025-3-24 07:14
The Structure of Ribosome Inactivating Proteins from Plants,Higher plants lack an immune system and have evolved a range of defenses against fungal, bacterial and viral pathogens. These include: synthesis of antimicrobial phytoalexins;. proteinase inhibitors;. membrane disrupting polypeptides;. and lytic enzymes such as β-1, 3 glucanases. and chitinases..作者: ANIM 時間: 2025-3-24 11:53
Experimental Medicine in Psychiatry New Approaches in Schizophrenia, Depression and Cognition,The use of experimental medicine studies to bridge the gap between Phase 1 and 2 drug trials and so to enhance translation of basic neuroscience studies using experimental animals to the clinic is proposed. Illustrative examples are provided for affective disorders and schizophrenia in relation also to cognitive dysfunction.作者: 鑒賞家 時間: 2025-3-24 18:28
DTNB-Based Quantification of In Vitro Enzymatic N-Terminal Acetyltransferase Activity,We here describe a quick and easy method to quantitatively measure in vitro acetylation activity of not only N-terminal acetyltransferase (NAT) enzymes, but acetyltransferases using acetyl-coenzyme A as an acetyl donor in general.作者: 一窩小鳥 時間: 2025-3-24 22:28 作者: 擴張 時間: 2025-3-25 00:04
https://doi.org/10.1057/9781137532930antiquity; Christianity; Europe; history; history of literature; history of philosophy; history of religio作者: conceal 時間: 2025-3-25 04:33 作者: Collar 時間: 2025-3-25 07:39
Exchange Rate Policy for Developing Countries float, but the currencies of the less-developed (LDCs) should not; that is to say that each LDC should choose a more developed country (MDC) as a partner—or the SDR—and tie itself in a fixed relationship.’作者: Affection 時間: 2025-3-25 15:31
The Republic of the Philippines,ture called multi-resolution wrapped features (MRWF), which is robust to scale and poses variation, and can be calculated very efficiently. The second is a new gradient boosting method based on a mixture re-sampling strategy, which allows the model to resistant to imbalance of training samples. The 作者: 不出名 時間: 2025-3-25 17:46
C. Rittner,U. Schacker,P. M. Schneidervices to address personal problems experienced by employees and/or their family members. EAP providers and counsellors have a dual responsibility towards meeting the needs of clients in counselling and the needs of the company which employs the EAP service. Balancing the goals of ‘helping’ with the 作者: GREG 時間: 2025-3-25 23:32
Hans Joachim Eichler,Jürgen Eichlergslose Ma?nahmen, so da? von einer so weit zurückliegenden Geburtsstunde der Schwelindustrie nicht die Rede sein kann. Es ist wohl berechtigt und sinnvoll, den Beginn der Steinkohlenschwelung in den Anfang des 19. Jahrhunderts zu legen, obwohl die erste Leuchtgasfabrikation in eisernen Retorten bei 作者: 挑剔為人 時間: 2025-3-26 03:09 作者: Invertebrate 時間: 2025-3-26 06:59
Manya M. Mooyaplacement to conventional centralized systems. Work highlights the variables that have been influencing the effective management of water resources with strong emphasis on ecologically unsound practices. Paper also attempts to draw attention of policymakers presenting various dimensions of the susta作者: Dislocation 時間: 2025-3-26 10:03 作者: CHIP 時間: 2025-3-26 16:32 作者: GULLY 時間: 2025-3-26 20:19 作者: Expertise 時間: 2025-3-27 00:44
SIP Signalling Delay in 3GPP,ct (3GPP) UMTS networks. This paper discusses the delay as a relevant signalling Quality of Service (QoS) parameter..It outlines possible problems concerning the delay for signalling messages and provides empirical estimates for expected delays using existing UDP delay trace data. Simulation results作者: 無動于衷 時間: 2025-3-27 02:13
Dynamic Generation of Adaptive Web-Based Collaborative Coursesd at runtime by selecting, at every step and for each student, the most suitable collaborative tasks to be proposed, the time at which they are presented, the specific problems to be solved, the most suitable partners to cooperate with and the collaborative tools to support the group cooperation. Th作者: 裂隙 時間: 2025-3-27 08:15
Positive Psychology Coaching: Consolidating and Extending the Gainsls have been achieved and consolidated. PPC frequently identifies other issues in the workplace that the coachee now recognises need to be attended to for long-term success. This chapter outlines the processes, principles and strategies involved in the consolidation, maintenance and extension of gai作者: Pageant 時間: 2025-3-27 12:18
Reflections on the Challenges of Psychotherapy and the Processes of Social Subjectivityion to produce knowledge in psychology. The Theory of Subjectivity is centered on understanding the procedural configuration of human phenomena and not on their pathologizing as an entity in the abstract or by criteria external to people. The practice from the perspective defended here is a permanen作者: 哺乳動物 時間: 2025-3-27 16:17
ifies controversial issues..End of chapter "Clinical QueriesDIAGNOSIS OF ENDOMETRIAL BIOPSIES presents a logical approach to formulating a pathologic diagnosis from the diverse array of tissue received in the surgical pathology laboratory. The authors are two prominent gynecologic pathologists, and 作者: 他很靈活 時間: 2025-3-27 21:05 作者: 彎曲的人 時間: 2025-3-28 01:24
Developing and Managing Skills and Competencies for Digital Business in Africapetencies by businesses. Skills and competencies such as digital security, mobile technologies, big data analytics, artificial intelligence, among others, are critical to creativity and innovativeness in this era. The chapter advocates that government and businesses in Africa have crucial roles to play in developing and managing digital skills.作者: curriculum 時間: 2025-3-28 02:42 作者: Affiliation 時間: 2025-3-28 08:23 作者: synchronous 時間: 2025-3-28 14:24 作者: abject 時間: 2025-3-28 18:10
t, the Pacific Ocean, which was once a great barrier now becomes the world’s greatest connector … We believe that a Pacific Trading Investment Area will come into being in the early 1980s among the countries that border or focus attention on the Pacific Basin”..作者: 袖章 時間: 2025-3-28 20:40 作者: 拱形面包 時間: 2025-3-29 00:24 作者: 乞討 時間: 2025-3-29 04:09
