Bryant, Randal E.
Bryant, Randal.
Bryant, Randal E., 1952-
Randal Bryant American computer scientist
Randal Bryant informaticien américain
Bryant, Randal (Randal E.)
VIAF ID: 7990812 ( Personal )
Permalink: http://viaf.org/viaf/7990812
Preferred Forms
- 100 1 _ ‡a Bryant, Randal
- 100 1 _ ‡a Bryant, Randal
-
-
-
-
- 100 1 _ ‡a Bryant, Randal E.
- 100 1 _ ‡a Bryant, Randal E.
- 100 1 _ ‡a Bryant, Randal E.
-
- 100 1 _ ‡a Bryant, Randal E. ‡d 1952-
- 100 1 _ ‡a Bryant, Randal E. ‡d 1952-
-
-
-
-
- 100 0 _ ‡a Randal Bryant ‡c American computer scientist
- 100 0 _ ‡a Randal Bryant ‡c informaticien américain
4xx's: Alternate Name Forms (14)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Clausal proofs for pseudo-boolean reasoning | |
Computer systems a programmer's perspective | |
Decision diagrams for optimization | |
Decision procedures : an algorithmic point of view | |
Decision procedures / Daniel Kroening, Ofer Strichman. - Berlin, 2008. | |
Keompyuteo siseutem | |
n83045463 | |
Reasoning in Boolean networks : logic synthesis and verification using testing techniques | |
A switch-level model and simulator for MOS digital systems | |
A switch - level simulation model for integrated logic circuits | |
Third Caltech Conference on Very Large Scale Integration : [papers] | |
컴퓨터시스템 | |
コンピュータ・システム : プログラマの視点から |