Provides a comprehensive collection of practical problems on the design, analysis and verification of algorithms Includes ...
Lire la suite
This book introduces theoretical and novel ideas with practical potential as well as technical applications from industrial ...
Lire la suite
This volume contains the articles presented at the 15th International Meshing Roundtable conference organized by Sandia National ...
Lire la suite
This volume contains the articles presented at the 16th International Meshing Roundtable (IMR) organized, in part, by Sandia ...
Lire la suite
This book contains the proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment ...
Lire la suite
Brings together papers presenting results covering areas of applied mathematics and scientific computing. This work offers ...
Lire la suiteIn this book, passivity-based developments in the areas of robust process control, decentralized control, fault tolerant ...
Lire la suiteProcess Control Performance Assessment is a practical guide to the application of control benchmarking to real, complex, ...
Lire la suite
Production Planning in Production Networks addresses production planning problems in distributed manufacturing networks from ...
Lire la suite
In the eyes of many, one of the most challenging problems of the information society is that we are faced with an ever expanding ...
Lire la suite
This Festschrift volume publishing to honor Reinhard Wilhelm on his 60th Birthday on June 10, 2006, includes 15 refereed ...
Lire la suite
This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...
Lire la suite
With this edition, EPIA, the Portuguese Conference on Arti?cial Intelligence, celebrates its 20th anniversary.Like all its ...
Lire la suite
This book constitutes the refereed proceedings of the 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, held ...
Lire la suite
This book constitutes the refereed proceedings of the Third Australian Conference on Artificial Life, ACAL 2007, held in ...
Lire la suite
The papers are organized in topical sections on AES, analysis of RFID protocols, cryptographic protocols, authentication, ...
Lire la suite
This book constitutes the refereed proceedings of the 7th International Conference on Cryptology in India, INDOCRYPT 2006, ...
Lire la suite
This book is organized in topical sections on stream ciphers, cryptographic hash functions, public-key cryptography, security ...
Lire la suite
The papers in this volume represent the proceedings of the VIETCRYPT2006, the first international confer-ence on cryptology ...
Lire la suite
Mycrypt 2005 was the inaugural international conference on cryptology hosted in Malaysia. The conference was co-organized ...
Lire la suite