The 30 full papers and 11 short papers presented were carefully reviewed and selected from 102 submissions. The conference ...
اقرأ المزيدPrinciples of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. ...
اقرأ المزيدPrivacy Preserving Data Mining: Models and Algorithms proposes a number of techniques to perform the data mining tasks in ...
اقرأ المزيدWith our society's growing dependency on information technology systems (IT), IT security is crucial. To properly respond ...
اقرأ المزيدThis book is a modern guide for all C++ programmers to learn Intel Threading Building Blocks (TBB).this book reflects their ...
اقرأ المزيدProbabilistic Reasoning and Decision Making in Sensory-Motor Systems by Pierre Bessiere, Christian Laugier and Roland Siegwart ...
اقرأ المزيدProvides a comprehensive collection of practical problems on the design, analysis and verification of algorithms Includes ...
اقرأ المزيدThis book introduces theoretical and novel ideas with practical potential as well as technical applications from industrial ...
اقرأ المزيدThis volume contains the articles presented at the 15th International Meshing Roundtable conference organized by Sandia National ...
اقرأ المزيدThis volume contains the articles presented at the 16th International Meshing Roundtable (IMR) organized, in part, by Sandia ...
اقرأ المزيدThis book contains the proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment ...
اقرأ المزيدBrings together papers presenting results covering areas of applied mathematics and scientific computing. This work offers ...
اقرأ المزيدIn this book, passivity-based developments in the areas of robust process control, decentralized control, fault tolerant ...
اقرأ المزيدProcess Control Performance Assessment is a practical guide to the application of control benchmarking to real, complex, ...
اقرأ المزيدProduction Planning in Production Networks addresses production planning problems in distributed manufacturing networks from ...
اقرأ المزيدIn the eyes of many, one of the most challenging problems of the information society is that we are faced with an ever expanding ...
اقرأ المزيدThis Festschrift volume publishing to honor Reinhard Wilhelm on his 60th Birthday on June 10, 2006, includes 15 refereed ...
اقرأ المزيدThis book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...
اقرأ المزيدWith this edition, EPIA, the Portuguese Conference on Arti?cial Intelligence, celebrates its 20th anniversary.Like all its ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, held ...
اقرأ المزيد