Kniha 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

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
1 311
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2009
Stránek
189
EAN
9783642004308
ISBN
364200430X
Enbook ID
01649377
Hmotnost
309
Rozměry
155 x 235 x 15

Kompletní popis

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.

Mohlo by vás zajímat

1 055

Physics of Lakes

Kolumban Hutter
5 706
3 852
170
453
5 738
790

America

P. a. McLean
622

Linger

Lauren Jameson
451

Jerusalem Maiden

Talia Carner
347
428
476

Robert's Theories and Ideas

Robert William Pearce
250
1 730

Policing Citizens

P. A. J. Waddington
4 818
171

Waking Dream

Rhiannon Lassiter
330

Zákaznicí kteří koupili tuto knihu koupili také

Kolloidchemie Des Protoplasmas

Vladimir Vasil evich Lepeshkin
1 178

Persona normal

BENITO TAIBO
473
109

Regardez-moi

Anita Brookner
566
295
694

LP-NVI BIBLIA ESTUDIO 2022 CAFE LEATHERS

NUEVA VERSION INTERNACIONAL
1 433

Homo faber

Max Frisch
202

Napoleon I. - Tagebuch Von St. Helena

Emmanuel A. D. de Las Casas
789
332
238
461