826 results on '"Wang, Yingxu"'
Search Results
152. Editors' introduction: Comparative software engineering: Review and perspectives
153. Formal Modeling and Specification of Design Patterns Using RTPA
154. On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes
155. Deductive Semantics of RTPA
156. Formal Description of the Cognitive Process of Memorization
157. A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra
158. Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations
159. The Cognitive Process of Decision Making
160. On Concept Algebra
161. The Theoretical Framework of Cognitive Informatics
162. On System Algebra
163. A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS)
164. An Operational Semantics of Real-Time Process Algebra (RTPA)
165. A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors
166. On coping with real-time software dynamic inconsistency by built-in tests
167. Hyperspectral Leaf Image-Based Cucumber Disease Recognition Using the Extended Collaborative Representation Model
168. A Control-Oriented Linear Parameter-Varying Model of a Commercial Vehicle Air Brake System
169. Effects of extreme pH conditions on the stability of As(V)-bearing schwertmannite
170. Performance improvement demonstration of an NMP system using sample and hold inputs
171. Graph Constraint and Collaborative Representation Classifier Steered Discriminative Projection with Applications for the Early Identification of Cucumber Diseases
172. Human Body Mixed Motion Pattern Recognition Method Based on Multi-Source Feature Parameter Fusion
173. Towards a theoretical framework of autonomous systems underpinned by intelligence and systems sciences
174. Brain-Inspired Systems: A Transdisciplinary Exploration on Cognitive Cybernetics, Humanity, and Systems Science Toward Autonomous Artificial Intelligence
175. The Type System of Software Engineering
176. Formal Model of the Atm System in Rtpa
177. Philosophical Foundations of Software Engineering
178. Empirical Principles of Software Engineering
179. Software Engineering Foundations
180. Mathematical Symbols, Notations, and Abbreviations
181. Bibliography
182. System Science Foundations of Software Engineering
183. List of Tables
184. List of Figures
185. Mathematical Foundations of Software Engineering
186. Computing Foundations of Software Engineering
187. Algebraic Process Relations of Software Engineering
188. Constraints of Software Engineering
189. Meta Processes of Software Engineering
190. Information Science Foundations of Software Engineering
191. Prospect on Software Science
192. Engineering Foundations of Software Engineering
193. Cognitive Informatics Foundations of Software Engineering
194. Principles of Software Engineering
195. Linguistic Foundations of Software Engineering
196. Deductive Semantics of Software Engineering
197. Retrospect on Software Engineering
198. Wang’s Formal Principles of Software Engineering
199. Wang’s Laws of Software Engineering
200. Introduction
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.