5571 results in Programming Languages and Applied Logic
Part 2 - Theory and methodology of design
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 159-160
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp ix-x
-
- Chapter
- Export citation
Introduction
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp -
-
- Chapter
- Export citation
6 - Describing and reasoning about circuits using relations
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 263-298
-
- Chapter
- Export citation
9 - Superpolynomial lower bounds on monotone network complexity
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 403-438
-
- Chapter
- Export citation
Contents
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp v-vi
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp i-iv
-
- Chapter
- Export citation
7 - The synthesis of VLSI signal processors: theory and example
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 299-344
-
- Chapter
- Export citation
2 - A mechanized proof of correctness of a simple counter
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 65-96
-
- Chapter
- Export citation
5 - Formal specification of a digital correlator
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 161-262
-
- Chapter
- Export citation
1 - Theoretical foundations of hardware design
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 1-62
-
- Chapter
- Export citation
List of contributors
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp vii-viii
-
- Chapter
- Export citation
Theoretical Foundations of VLSI Design
-
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990
Part 3 - Methods of circuits and complexity theory
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 345-346
-
- Chapter
- Export citation
8 - The prioritiser experiment: estimation and measurement of computation time in VLSI
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 347-402
-
- Chapter
- Export citation
3 - A formal model for the hierarchical design of synchronous and systolic algorithms
-
-
- Book:
- Theoretical Foundations of VLSI Design
- Published online:
- 06 November 2009
- Print publication:
- 13 December 1990, pp 97-138
-
- Chapter
- Export citation
Contents
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp v-vi
-
- Chapter
- Export citation
Process Algebra
-
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990
Frontmatter
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp i-iv
-
- Chapter
- Export citation
1 - Preliminaries
-
- Book:
- Process Algebra
- Published online:
- 08 January 2010
- Print publication:
- 25 October 1990, pp 1-14
-
- Chapter
- Export citation