€71.39
สารบัญ
Invited Papers.- Deriving a Relationship from a Single Example.- Synthesis of Functions Using Generic Programming.- Regular Papers.- Inductive Programming: A Survey of Program Synthesis Techniques.- Incremental Learning in Inductive Programming.- Enumerating Well-Typed Terms Generically.- Generalisation Operators for Lists Embedded in a Metric Space.- Porting Igor II from Maude to Haskell.- Automated Method Induction: Functional Goes Object Oriented.- Recent Improvements of Magic Haskeller.
ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!
ภาษา อังกฤษ ● รูป PDF ● หน้า 195 ● ISBN 9783642119316 ● บรรณาธิการ Ute Schmid & Emanuel Kitzelmann ● สำนักพิมพ์ Springer Berlin ● เมือง Heidelberg ● ประเทศ DE ● การตีพิมพ์ 2010 ● ที่สามารถดาวน์โหลดได้ 24 เดือน ● เงินตรา EUR ● ID 2171724 ● ป้องกันการคัดลอก Adobe DRM
ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM
หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ
16,516 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้
