3 resultater (0,20171 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

KI 2004: Advances in Artificial Intelligence - Thom Fruhwirth

KI 2004: Advances in Artificial Intelligence - Thom Fruhwirth

KI2004wasthe27theditionoftheannualGermanConferenceonArti?cialInt- ligence, which traditionally brings together academic and industrial researchers from all areas of AI and which enjoys increasing international attendance. KI 2004 received 103 submissions from 26 countries. This volume contains the 30 papers that were ?nally selected for presentation at the conference. The papers cover quite a broad spectrum of \classical\ subareas of AI, like na- ral language processing, neural networks, knowledge..

DKK 601.95
1

Formal Methods and Software Engineering - Shengchao Qin

Formal Methods and Software Engineering - Shengchao Qin

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development;..

DKK 485.95
1