Diferencia entre revisiones de «Diagrama de decisión binario»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 190.196.120.2 (disc.) a la última edición de Farisori |
Separar referencias de bibliografía |
||
Línea 33:
{{listaref}}
== Bibliografía ==
* R. Ubar, "Test Generation for Digital Circuits Using Alternative Graphs (in Russian)", in Proc. Tallinn Technical University, 1976, No.409, Tallinn Technical University, Tallinn, Estonia, pp. 75–81.▼
* D. E. Knuth, "The Art of Computer Programming Volume 4, Fascicle 1: Bitwise tricks & techniques; Binary Decision Diagrams" (Addison-Wesley Professional, March 27, 2009) viii+260pp, ISBN 0-321-58050-8. [http://www-cs-faculty.stanford.edu/~knuth/fasc1b.ps.gz Draft of Fascicle 1b] available for download.▼
* H. R. Andersen "[http://www.configit.com/fileadmin/Configit/Documents/bdd-eap.pdf An Introduction to Binary Decision Diagrams]," Lecture Notes, 1999, IT University of Copenhagen.
▲* D. E. Knuth, "The Art of Computer Programming Volume 4, Fascicle 1: Bitwise tricks & techniques; Binary Decision Diagrams" (Addison-Wesley Professional, March 27, 2009) viii+260pp, ISBN 0-321-58050-8. [http://www-cs-faculty.stanford.edu/~knuth/fasc1b.ps.gz Draft of Fascicle 1b] available for download.
* Ch. Meinel, T. Theobald, "[http://www.hpi.uni-potsdam.de/fileadmin/hpi/FG_ITS/books/OBDD-Book.pdf Algorithms and Data Structures in VLSI-Design: OBDD - Foundations and Applications"], Springer-Verlag, Berlin, Heidelberg, New York, 1998. Complete textbook available for download.
▲* R. Ubar, "Test Generation for Digital Circuits Using Alternative Graphs (in Russian)", in Proc. Tallinn Technical University, 1976, No.409, Tallinn Technical University, Tallinn, Estonia, pp. 75–81.
== Enlaces externos ==
| |||