1
出版 2010
書本目錄: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
獲取全文
電子 電子書
2
書本目錄: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
獲取全文
電子 電子書
3
出版 2005
書本目錄: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
獲取全文
電子 電子書
4
出版 2008
書本目錄: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
獲取全文
電子 電子書
5
出版 2005
書本目錄: ... Equilibrium Prices: Does Theory Meet Practice? -- Efficient Exact Algorithms on Planar Graphs: Exploiting...
獲取全文
電子 電子書
6
出版 2006
書本目錄: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
獲取全文
電子 電子書
7
出版 2006
書本目錄: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
獲取全文
電子 電子書
8
出版 2010
書本目錄: ... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...
獲取全文
電子 電子書
9
出版 2014
書本目錄: ... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...
獲取全文
電子 電子書
10
出版 2015
書本目錄: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
獲取全文
電子 電子書