Finite Element Mathematics / Sarhan M. Musa
Is a comprehensive guide that explores the versatility and affordability of the finite element method (FEM) as a powerful ...
Continue reading
Practical Aspects of Declarative Languages (vol. # 3819)
This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages ...
Continue reading
Practical Aspects of Declarative Languages : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
This book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the ...
Continue reading
Programming Languages and Systems (vol. # 4279)
This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, ...
Continue reading
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Continue reading
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Continue reading
Turbopumps
This book covers most of the subjects that are requested by engineers, those who are directly involved in design and manufacturing ...
Continue reading
