標(biāo)題: Titlebook: Mathematical Approaches to Software Quality; Gerard O‘Regan Book 2006 Springer-Verlag London 2006 Cleanroom.Dijkstra.Formal Methods.Hoare. [打印本頁] 作者: Hypothesis 時間: 2025-3-21 17:58
書目名稱Mathematical Approaches to Software Quality影響因子(影響力)
書目名稱Mathematical Approaches to Software Quality影響因子(影響力)學(xué)科排名
書目名稱Mathematical Approaches to Software Quality網(wǎng)絡(luò)公開度
書目名稱Mathematical Approaches to Software Quality網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Mathematical Approaches to Software Quality被引頻次
書目名稱Mathematical Approaches to Software Quality被引頻次學(xué)科排名
書目名稱Mathematical Approaches to Software Quality年度引用
書目名稱Mathematical Approaches to Software Quality年度引用學(xué)科排名
書目名稱Mathematical Approaches to Software Quality讀者反饋
書目名稱Mathematical Approaches to Software Quality讀者反饋學(xué)科排名
作者: ANA 時間: 2025-3-21 20:35 作者: 失望未來 時間: 2025-3-22 00:50 作者: Inkling 時間: 2025-3-22 05:11
could be used for the highest levels of control systems. We have examined the performance of different neural networks in traditional image recognition tasks and in problems that appear in micromechanical m978-3-642-42611-7978-3-642-02535-8作者: Thyroid-Gland 時間: 2025-3-22 11:48
could be used for the highest levels of control systems. We have examined the performance of different neural networks in traditional image recognition tasks and in problems that appear in micromechanical m978-3-642-42611-7978-3-642-02535-8作者: CLASP 時間: 2025-3-22 14:51
s:.?The backpropagation algorithm is discussed in Chapter 2..Many traditional machine learning models can be understood as special cases of neural networks. Chapter 3 explores the connections between traditional machine learning and neural networks. Support vector machines, linear/logistic regressio作者: 百靈鳥 時間: 2025-3-22 20:14
nalytics are covered.?The chapters of this book span three categories:..The basics of neural networks: .?Many traditional machine learning models can be understood as special cases of neural networks.? An emphasis is placed in the first two chapters on understanding the relationship between traditio作者: 抱怨 時間: 2025-3-23 01:02 作者: 形容詞 時間: 2025-3-23 03:59 作者: 不成比例 時間: 2025-3-23 08:26
ring process optimization, while associative-projective neural n- works and networks like ART could be used for the highest levels of control systems. We have examined the performance of different neural networks in traditional image recognition tasks and in problems that appear in micromechanical m作者: Eeg332 時間: 2025-3-23 13:16 作者: jaundiced 時間: 2025-3-23 15:38 作者: 笨拙處理 時間: 2025-3-23 20:20 作者: CUMB 時間: 2025-3-24 00:47
nd VDM.Introduction to Cleanroom and software reliability.Di.This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of v作者: LAVA 時間: 2025-3-24 04:06 作者: 殺人 時間: 2025-3-24 09:36 作者: 圓錐體 時間: 2025-3-24 14:45
http://image.papertrans.cn/m/image/626006.jpg作者: 抗原 時間: 2025-3-24 16:09
https://doi.org/10.1007/1-84628-435-9Cleanroom; Dijkstra; Formal Methods; Hoare; Irish VDM; Logic; Mathematics; Software Engineering; Software En作者: sleep-spindles 時間: 2025-3-24 20:03
978-1-84996-564-4Springer-Verlag London 2006作者: Immunization 時間: 2025-3-25 02:39
Includes exercises and examples.Discusses both traditional n.This book covers both classical and modern models in deep learning. The primary focus is on the theory and algorithms of deep learning. The theory and algorithms of neural networks are particularly important for understanding important con作者: esoteric 時間: 2025-3-25 04:23 作者: 的染料 時間: 2025-3-25 08:50 作者: 返老還童 時間: 2025-3-25 14:13 作者: Physiatrist 時間: 2025-3-25 19:09
erence for graduate and undergraduate courses in neural netw.This book explains the basic concepts, theory and applications of neural networks in a simple unified approach with clear examples and simulations in the MATLAB programming language. The scripts herein are coded for general purposes to be 作者: Fulminate 時間: 2025-3-25 20:44 作者: 安撫 時間: 2025-3-26 03:32
es of the microdevices to be produced, it is possible to decrease the cost of production drastically. The main components of the production cost - material, energy, space consumption, equipment, and maintenance - decrease with the scaling down of equipment sizes. To obtain really inexpensive product作者: Chromatic 時間: 2025-3-26 04:26
es of the microdevices to be produced, it is possible to decrease the cost of production drastically. The main components of the production cost - material, energy, space consumption, equipment, and maintenance - decrease with the scaling down of equipment sizes. To obtain really inexpensive product作者: 傻瓜 時間: 2025-3-26 09:16 作者: 有幫助 時間: 2025-3-26 15:24
area of micromechanics..Includes supplementary material: Micromechanical manufacturing based on microequipment creates new possibi- ties in goods production. If microequipment sizes are comparable to the sizes of the microdevices to be produced, it is possible to decrease the cost of production dras作者: 基因組 時間: 2025-3-26 19:58
es of the microdevices to be produced, it is possible to decrease the cost of production drastically. The main components of the production cost - material, energy, space consumption, equipment, and maintenance - decrease with the scaling down of equipment sizes. To obtain really inexpensive product作者: Calculus 時間: 2025-3-26 23:10 作者: eucalyptus 時間: 2025-3-27 04:13 作者: inveigh 時間: 2025-3-27 08:53
O. Cheshnovsky,P. J. Brucat,S. Yang,C. L. Pettiette,M. J. Craycraft,R. E. SmalleyPhD students and MD students specializing in molecular and cell biology, and to anybody interested in science, medicine, as well as in recent developments of the ideas and concepts of the molecular biology of p978-94-007-9090-2978-90-481-3415-1作者: attenuate 時間: 2025-3-27 12:06 作者: Hdl348 時間: 2025-3-27 15:07 作者: anarchist 時間: 2025-3-27 20:49
https://doi.org/10.1007/978-3-663-07279-9Bruch; Maschine; Molybd?n; Nickel; Sicherheit; Titan; Verformung; Werkstoff
