This book features extended versions of selected papers that were presented and discussed at the ...

This book features extended versions of selected papers that were presented and discussed at the ...

This book features extended versions of selected papers that were presented and discussed at the...

This book constitutes the proceedings of the 12th IFIP TC 8 International Conference, CISIM 2013,...

This book presents extended versions of papers originally presented and discussed at the 3rd Inte...

The book contains the extended version of the works that have been presented and discussed in the...

This volume contains the revised version of papers presented at VMCAI 2002, theThirdInternational...

The book contains the extended version of the works that have been presented and discussed in the...

The book includes extended versions of selected papers discussed and presented at the 5th Interna...

Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and ...

This book contains extended version of selected works that have been discussed and presented in t...

This book constitutes the refereed proceedings of the 11th International Conference on Computer I...

The book presents high quality research work in cutting edge technologies and most-happening area...

This book contains extended version of selected works that have been discussed and presented in t...

This book presents Hyper-lattice, a new algebraic model for partially ordered sets, and an altern...

This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Ch...

This book features extended versions of selected papers that were presented and discussed at the...

This book presents extended versions of papers originally presented and discussed at the 3rd Inte...

The book includes extended versions of selected papers discussed and presented at the 5th Intern...

This book features extended versions of selected papers that were presented and discussed at the ...

This book features extended versions of selected papers that were presented and discussed at the ...

This book covers various topics, including collective intelligence, intelligent transportation sy...

This book features a collection of high-quality research papers presented at the 9th Internationa...

This book provides an overview about the open challenges in software verification. Software verif...

This book is a collection of high-quality research work on cutting-edge technologies and the most...

This book features a collection of high-quality research papers presented at the 10th Internation...

The book presents latest results pertaining to challenges faced by researchers in space data mana...

This book provides an overview about the open challenges in software verification. Software verif...

This book features a collection of high-quality research papers presented at the 11th Internation...

The volume is a collection of high-quality research papers presented at International Conference ...

The book presents latest results pertaining to challenges faced by researchers in space data mana...

This book constitutes the refereed proceedings of the 10th International Conference on Computer I...

This book is a collection of high-quality research work on cutting-edge technologies and the most...