Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction t...

AlthoughtheDMisanessentialcomponentofPEFCsthatenable distributionofspeciesandcollectionofcurrenta...

of Part A.- 1. Lagrangian Mechanics of Particles and Rigid Bodies.- Section 1. Kinematics of Syst...

of Part B.- 5. Classical Theory of Electromagnetism.- Section 30. Classical Laws of Electrostatic...

Time-of-flight(TOF) is an important concept in electron optics. In analyzers, TOF is used to sele...

This book constitutes the refereed proceedings of the Second International Workshop on Coding and...

Parallel and distributed applications and algorithms.- Parallel and distributed architectures and...

This book constitutes the refereed proceedings of the 16th International Symposium on Automated T...

This book presents state-of-the-art probabilistic methods for the reliability analysis and design...

This book constitutes the refereed proceedings of the 29th National Conference on Computer Scienc...

High-Performance Computing for Big Data: Methodologies and Applications explores emerging high-pe...