Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, ... Computer Science and General Issues)
Product Description
Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, ... Computer Science and General Issues)
Technical Specifications
You might also like
Fundamentals of Electromagnetics 2: Quasistatics and Waves (Synthesis Lectures on Computational Electromagnetics)
Perfectly Matched Layer (PML) for Computational Electromagnetics (Synthesis Lectures on Computational Electromagnetics)
Adaptive Mesh Refinement in Time-Domain Numerical Electromagnetics (Synthesis Lectures on Computational Electromagnetics)
Frequency Domain Hybrid Finite Element Methods in Electromagnetics (Synthesis Lectures on Computational Electromagnetics)
The Transmission-Line Modeling (TLM) Method in Electromagnetics (Synthesis Lectures on Computational Electromagnetics)
Higher-Order FDTD Schemes for Waveguides and Antenna Structures (Synthesis Lectures on Computational Electromagnetics)
MRTD (Multi Resolution Time Domain) Method in Electromagnetics (Synthesis Lectures on Computational Electromagnetics)
Mapped Vector Basis Functions for Electromagnetic Integral Equations (Synthesis Lectures on Computational Electromagnetics)