guo qiang zhang
Generalized Plasticity
DigitalSofort lieferbarP Generalized Plasticity deals with the plasticity of materials and structures. It is an expansi...
Formal Methods for the Analysis of Biomedical Ontologies
BuchLieferbar in 5-7 TagenThis book explores the application of formal methods, rooted in mathematics and logic, to the ana...
Domains and Processes
TaschenbuchPrint on DemandDomain theory is a rich interdisciplinary area at the intersection of logic, computer science, an...
Domain Theory, Logic and Computation
TaschenbuchPrint on DemandInhaltsangabePreface. Contributing authors. 1: Playful, streamlike computation; P.-L. Curien....
Domains and Processes
BuchPrint on DemandInhaltsangabePreface. 1. Encounters Between Topology and Domain Theory; J.D. Lawson. 2. The Lawon...
Formal Methods for the Analysis of Biomedical Ontologies
TaschenbuchPrint on DemandThe book synthesizes research on the analysis of biomedical ontologies using formal concept analy...
- 1