Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers (Lecture Notes in Computer Science, nr. 5348)
Editat de Doron A. Peled, Michael Wooldridgeen Limba Engleză Paperback – 27 Feb 2009
Din seria Lecture Notes in Computer Science
-
20%
Preț: 997.58 lei
-
20%
Preț: 235.39 lei
-
20%
Preț: 620.32 lei
-
20%
Preț: 760.11 lei
-
20%
Preț: 619.50 lei
-
20%
Preț: 553.54 lei
-
20%
Preț: 1003.82 lei
-
21%
Preț: 459.40 lei
-
23%
Preț: 314.85 lei
-
21%
Preț: 518.34 lei
-
21%
Preț: 438.63 lei
-
21%
Preț: 373.21 lei
-
20%
Preț: 610.95 lei
-
26%
Preț: 533.33 lei
-
20%
Preț: 312.49 lei
-
20%
Preț: 776.70 lei
-
21%
Preț: 430.00 lei
-
20%
Preț: 312.49 lei
-
20%
Preț: 364.14 lei
-
20%
Preț: 1053.93 lei
-
20%
Preț: 739.98 lei
-
26%
Preț: 528.17 lei
-
26%
Preț: 535.77 lei
-
20%
Preț: 307.00 lei
-
20%
Preț: 404.19 lei
-
20%
Preț: 1085.09 lei
-
7%
Preț: 493.66 lei
-
20%
Preț: 303.90 lei
-
20%
Preț: 412.67 lei
-
20%
Preț: 316.63 lei
-
5%
Preț: 345.15 lei
-
20%
Preț: 289.43 lei
-
21%
Preț: 377.67 lei
-
20%
Preț: 399.92 lei
-
20%
Preț: 414.10 lei
-
20%
Preț: 417.23 lei
-
20%
Preț: 760.11 lei
-
20%
Preț: 220.23 lei
-
20%
Preț: 590.72 lei
-
20%
Preț: 336.58 lei
-
20%
Preț: 620.88 lei
-
21%
Preț: 507.06 lei
-
20%
Preț: 398.49 lei
-
20%
Preț: 411.23 lei
-
20%
Preț: 404.19 lei
-
21%
Preț: 472.44 lei
-
20%
Preț: 308.34 lei
-
20%
Preț: 545.06 lei
Preț: 395.93 lei
Preț vechi: 494.92 lei
-20%
Puncte Express: 594
Preț estimativ în valută:
77.37€ • 93.87$ • 68.74£
77.37€ • 93.87$ • 68.74£
Carte disponibilă
Livrare economică 03-09 februarie
Livrare express 28 ianuarie-04 februarie pentru 41.01 lei
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642004308
ISBN-10: 364200430X
Pagini: 188
Ilustrații: Illustrations
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.31 kg
Ediția: 2009
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science , Lecture Notes in Artificial Intelligence
Locul publicării: Berlin, Heidelberg, Germany
ISBN-10: 364200430X
Pagini: 188
Ilustrații: Illustrations
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.31 kg
Ediția: 2009
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science , Lecture Notes in Artificial Intelligence
Locul publicării: Berlin, Heidelberg, Germany
Public țintă
ResearchTextul de pe ultima copertă
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.
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.