1
Published 2006
Table of Contents: ... FOR OPTICAL WAVEGUIDES IN LAYERED MEDIA -- A COMPUTATIONAL ANALYSIS OF THERMAL RESIDUAL STRESS DURING MAGNETIC...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Safe Bit-Precise Invariants -- PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust...
View full text
Electronic eBook