|
|
|
| | Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings (Lecture Notes in Computer Science)
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract... | | |
|
State of the Art for Minimally Invasive Spine Surgery
The second congress of the Paci?c Asian Society of Minimally Invasive Spine Surgery (PASMISS) held in Phuket,Thailand,August 5–6,2002,was highly s- cessful. Dr.Akira Dezawa, the president, had worked hard in organizing the congress,which was well attended.All scienti?c papers presented were of the highest standard and were worthy of... | | Algorithms for Computer Algebra
Algorithms for Computer Algebra is the first comprehensive textbook to be published on the topic of computational symbolic mathematics. The book first develops the foundational material from modern algebra that is required for subsequent topics. It then presents a thorough development of modern computational algorithms for such... | | Statistical Signal Processing: Frequency Estimation (SpringerBriefs in Statistics)
Signal processing may broadly be considered to involve the recovery of information from physical observations. The received signal is usually disturbed by thermal, electrical, atmospheric or intentional interferences. Due to the random nature of the signal, statistical techniques play an important role in analyzing the signal. Statistics is... |
|
|
Result Page: 117 116 115 114 113 112 111 110 109 108 107 106 105 104 103 102 101 100 99 |