Sökt på: Böcker av Liu Yanhong
totalt 11 träffar
On Substantive Decriminalization
Based on both judicial practice and legal theory, this book examines the phenomenon of low acquittal rates in China from the perspective of substantive law and formulates the …
Systematic Program Design
A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that …
Declarative Logic Programming
The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and …
Adaptive Dynamic Programming for Control
There are many methods of stable controller design for nonlinear systems. In seeking to go beyond the minimum requirement of stability, Adaptive Dynamic Programming in Discrete …
Declarative Logic Programming
The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and …
Systematic Program Design
A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that …
Practical Aspects of Declarative Languages
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January …
On Substantive Decriminalization
Based on both judicial practice and legal theory, this book examines the phenomenon of low acquittal rates in China from the perspective of substantive law and formulates the …
Practical Aspects of Declarative Languages
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January …
Adaptive Dynamic Programming for Control
There are many methods of stable controller design for nonlinear systems. In seeking to go beyond the minimum requirement of stability, Adaptive Dynamic Programming in Discrete …
Declarative Logic Programming
The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and …