Operations Research is a field whose major contribution has been to propose a rigorous fonnulatio...

Featuring a selection of peer-reviewed papers from ISCEG-Shanghai 2012, this volume includes t...

Formal Equivalence Checking and Design Debugging coverstwo major topics in design verification:...

This book constitutes the refereed proceedings of the 6th International Conference on Data Scienc...

This book constitutes the refereed proceedings of theSecond International Conference on Data Scie...

This book is a comprehensive guide to new DFT methods that will show the readers how to design a ...

Intelligent decision support is based on human knowledgerelated to a specific part of a real or...

This book constitutes the refereed proceedings of the 6th International Conference on Data Scienc...

This book constitutes the refereed proceedings of theSecond International Conference on Data S...

'New Frontiers in Engineering Geology and the Environment' collects selected papers presented at ...

'New Frontiers in Engineering Geology and the Environment' collects selected papers presented at ...

Formal Equivalence Checking and Design Debugging coverstwo major topics in design veri...