Yanhong Annie Liu – författare
Visar alla böcker från författaren Yanhong Annie Liu. Handla med fri frakt och snabb leverans.
11 produkter
Systematic Program Design
From Clarity to Efficiency
Inbunden, 2013
1375 kr
Lägg i varukorg
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 starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis …
Systematic Program Design
From Clarity to Efficiency
E-bok, 2013
739 kr
Lägg i varukorg
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 starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis …
Systematic Program Design
From Clarity to Efficiency
E-bok, 2013
739 kr
Lägg i varukorg
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 starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis …
Systematic Program Design
From Clarity to Efficiency
Häftad, 2013
754 kr
Lägg i varukorg
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 starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis …
Declarative Logic Programming
Theory, Systems, and Applications
Av Michael Kifer, Yanhong Annie Liu
Häftad, 2018
1192 kr
Lägg i varukorg
Declarative Logic Programming
Theory, Systems, and Applications
Av Yanhong Annie Liu, Michael Kifer
E-bok, 2018
900 kr
Lägg i varukorg
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 the area of Logic Programming in particular. Logic Programming (LP) is at the nexus of Knowledge Representation, …
Declarative Logic Programming
Theory, Systems, and Applications
Av Yanhong Annie Liu, Michael Kifer
E-bok, 2018
791 kr
Lägg i varukorg
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 the area of Logic Programming in particular. Logic Programming (LP) is at the nexus of Knowledge Representation, …
Declarative Logic Programming
Theory, Systems, and Applications
Av Michael Kifer, Yanhong Annie Liu
Inbunden, 2018
1438 kr
Lägg i varukorg
Practical Aspects of Declarative Languages
22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings
Av Ekaterina Komendantskaya, Yanhong Annie Liu
Häftad, 2020
569 kr
Lägg i varukorg
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 2020.The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original …
Practical Aspects of Declarative Languages
22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings
Av Yanhong Annie Liu, Ekaterina Komendantskaya
E-bok, 2020
755 kr
Lägg i varukorg
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 2020. The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present …
Logic Programming and Nonmonotonic Reasoning
18th International Conference, LPNMR 2026, Klagenfurt, Austria, September 7–11, 2026, Proceedings
Av Wolfgang Faber, Martin Gebser m. fl.
Häftad, 2026
894 kr
Kommande
This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2026, held in Klagenfurt, Austria, during September 7–11, 2026.The 28 full papers and 4 short papers included in this book were carefully reviewed and selected …
