1325 results in Communications, Information Theory and Security
Frontmatter
-
- Book:
- Essentials of Digital Signal Processing
- Published online:
- 28 May 2018
- Print publication:
- 28 April 2014, pp i-iv
-
- Chapter
- Export citation
Index
-
- Book:
- Essentials of Digital Signal Processing
- Published online:
- 28 May 2018
- Print publication:
- 28 April 2014, pp 731-748
-
- Chapter
- Export citation
7 - Discrete-Time System Analysis Using the z-Transform
-
- Book:
- Essentials of Digital Signal Processing
- Published online:
- 28 May 2018
- Print publication:
- 28 April 2014, pp 410-484
-
- Chapter
- Export citation
8 - Digital Filters
-
- Book:
- Essentials of Digital Signal Processing
- Published online:
- 28 May 2018
- Print publication:
- 28 April 2014, pp 485-558
-
- Chapter
- Export citation
Contents
-
- Book:
- Essentials of Digital Signal Processing
- Published online:
- 28 May 2018
- Print publication:
- 28 April 2014, pp v-x
-
- Chapter
- Export citation
9 - Discrete Fourier Transform
-
- Book:
- Essentials of Digital Signal Processing
- Published online:
- 28 May 2018
- Print publication:
- 28 April 2014, pp 559-624
-
- Chapter
- Export citation
C - Drill Solutions
-
- Book:
- Essentials of Digital Signal Processing
- Published online:
- 28 May 2018
- Print publication:
- 28 April 2014, pp 646-730
-
- Chapter
- Export citation
1 - Review of Continuous-Time Signals and Systems
-
- Book:
- Essentials of Digital Signal Processing
- Published online:
- 28 May 2018
- Print publication:
- 28 April 2014, pp 1-84
-
- Chapter
- Export citation
A - MATLAB
-
- Book:
- Essentials of Digital Signal Processing
- Published online:
- 28 May 2018
- Print publication:
- 28 April 2014, pp 625-639
-
- Chapter
- Export citation
Essentials of Digital Signal Processing
-
- Published online:
- 28 May 2018
- Print publication:
- 28 April 2014
-
- Textbook
- Export citation
3 - Separation logic
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 16-24
-
- Chapter
- Export citation
28 - More C programs
- from III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 208-216
-
- Chapter
- Export citation
VI - Semantic model and soundness of Verifiable C
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 362-362
-
- Chapter
- Export citation
21 - Lifted separation logics
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 134-140
-
- Chapter
- Export citation
14 - Simplification by rewriting
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 89-93
-
- Chapter
- Export citation
2 - Hoare logic
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 10-15
-
- Chapter
- Export citation
10 - Covariant recursive predicates
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 63-68
-
- Chapter
- Export citation
V - Higher-order semantic models
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 294-294
-
- Chapter
- Export citation
18 - Case study: Separation logic with first-class functions
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 111-122
-
- Chapter
- Export citation
42 - Juicy memories
- from VI - Semantic model and soundness of Verifiable C
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 385-391
-
- Chapter
- Export citation