1
Published 2008
Table of Contents: ... the Calculus of Relations -- Session 3: Automated Verification -- Towards SMT Model Checking of Array-Based...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... by an improved Lattice Boltzmann Model Properties of Multiobjective Robust Controller Using Difference Signals...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... Controller for Flexible Specifications Using Difference Signals and Competitive Associative Nets -- Moments...
View full text
Electronic eBook