Książka Model Checking and Artificial Intelligence Doron A. Peled

Model Checking and Artificial Intelligence

5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-18 dni
240.46
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2009
strony
189
EAN
9783642004308
ISBN
364200430X
Enbook ID
01649377
Waga
309
Wymiary
155 x 235 x 15

Pełny opis

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence.§The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.

Możesz być zainteresowany

Molecular Wires

Luisa de Cola
845.73
195.39

Physics of Lakes

Kolumban Hutter
1 056.80
674.77
31.63
91.60
1 051.74
144.95

America

P. a. McLean
114.19

Linger

Lauren Jameson
83.81

Jerusalem Maiden

Talia Carner
64.93
79.82
87.51

Robert's Theories and Ideas

Robert William Pearce
43.80
302.97
31.44

Waking Dream

Rhiannon Lassiter
61.03

Klienci, którzy kupili tę książkę, kupili również

Kolloidchemie Des Protoplasmas

Vladimir Vasil evich Lepeshkin
218.17
41.66
30.27
116.92
128.60
18.98
36.21
99.10

Regardez-moi

Anita Brookner
99.10
51.69

LP-NVI BIBLIA ESTUDIO 2022 CAFE LEATHERS

NUEVA VERSION INTERNACIONAL
268.50

Kwatro

Gene Mackles
35.14

Homo faber

Max Frisch
37.57

Napoleon I. - Tagebuch Von St. Helena

Emmanuel A. D. de Las Casas
146.61
61.13

Persona normal

BENITO TAIBO
86.44
156.64
86.15