| Specification and Proof in Real Time CSP |
- isbn : 978-0-511569-76-0
- pisbn : 978-0-521450-55-3
|
Fulltext
|
| Specifying Software: A Hands-On Introduction |
- isbn : 978-1-139164-90-0
- pisbn : 978-0-521808-14-9
|
Fulltext
|
| Spectral Analysis for Physical Applications |
- isbn : 978-0-511622-76-2
- pisbn : 978-0-521355-32-2
|
Fulltext
|
| Spectral Analysis for Univariate Time Series |
- isbn : 978-1-139235-72-3
- pisbn : 978-1-107028-14-2
|
Fulltext
|
| Spectral Asymptotics in the Semi-Classical Limit |
- isbn : 978-0-511662-19-5
- pisbn : 978-0-521665-44-5
|
Fulltext
|
| Spectral Atlas for Amateur Astronomers: A Guide to the Spectra of Astronomical Objects and Terrestrial Light Sources |
- isbn : 978-1-316694-20-6
- pisbn : 978-1-107165-90-8
|
Fulltext
|
| Spectral Decomposition and Eisenstein Series: A Paraphrase of the Scriptures |
- isbn : 978-0-511470-90-5
- pisbn : 978-0-521418-93-5
|
Fulltext
|
| Spectral Generalizations of Line Graphs: On Graphs with Least Eigenvalue -2 |
- isbn : 978-0-511751-75-2
- pisbn : 978-0-521836-63-0
|
Fulltext
|
| Spectral Methods for Time-Dependent Problems |
- isbn : 978-0-511618-35-2
- pisbn : 978-0-521792-11-0
|
Fulltext
|
| Spectral Spaces |
- isbn : 978-1-316543-87-0
- pisbn : 978-1-107146-72-3
|
Fulltext
|