34754 results in Cambridge Textbooks
16 - SYNTHESIZERS
-
- Book:
- Planar Microwave Engineering
- Published online:
- 30 January 2019
- Print publication:
- 30 August 2004, pp 529-573
-
- Chapter
- Export citation
10 - MIXERS
-
- Book:
- Planar Microwave Engineering
- Published online:
- 30 January 2019
- Print publication:
- 30 August 2004, pp 305-340
-
- Chapter
- Export citation
19 - SAMPLING OSCILLOSCOPES, SPECTRUM ANALYZERS, AND PROBES
-
- Book:
- Planar Microwave Engineering
- Published online:
- 30 January 2019
- Print publication:
- 30 August 2004, pp 613-629
-
- Chapter
- Export citation
14 - NOISE FIGURE MEASUREMENT
-
- Book:
- Planar Microwave Engineering
- Published online:
- 30 January 2019
- Print publication:
- 30 August 2004, pp 472-493
-
- Chapter
- Export citation
9 - MICROWAVE DIODES
-
- Book:
- Planar Microwave Engineering
- Published online:
- 30 January 2019
- Print publication:
- 30 August 2004, pp 275-304
-
- Chapter
- Export citation
6 - PASSIVE COMPONENTS
-
- Book:
- Planar Microwave Engineering
- Published online:
- 30 January 2019
- Print publication:
- 30 August 2004, pp 123-157
-
- Chapter
- Export citation
22 - LUMPED FILTERS
-
- Book:
- Planar Microwave Engineering
- Published online:
- 30 January 2019
- Print publication:
- 30 August 2004, pp 723-783
-
- Chapter
- Export citation
21 - ANTENNAS
-
- Book:
- Planar Microwave Engineering
- Published online:
- 30 January 2019
- Print publication:
- 30 August 2004, pp 688-722
-
- Chapter
- Export citation
5 - Modal logics and agents
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 306-357
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp v-viii
-
- Chapter
- Export citation
2 - Predicate logic
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 93-171
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp i-iv
-
- Chapter
- Export citation
Foreword to the first edition
-
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp ix-x
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805215/43101/cover/9780521543101.jpg)
Logic in Computer Science
- Modelling and Reasoning about Systems
-
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004
-
- Textbook
- Export citation
Preface to the second edition
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp xi-xii
-
- Chapter
- Export citation
Index
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 418-427
-
- Chapter
- Export citation
4 - Program verification
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 256-305
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 414-417
-
- Chapter
- Export citation
3 - Verification by model checking
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 172-255
-
- Chapter
- Export citation
6 - Binary decision diagrams
-
- Book:
- Logic in Computer Science
- Published online:
- 05 June 2012
- Print publication:
- 26 August 2004, pp 358-413
-
- Chapter
- Export citation