Advanced BDD optimization / by Ruediger Ebendt, Goerschwin Fey and Rolf Drechsler
Advanced BDD optimization / by Ruediger Ebendt, Goerschwin Fey and Rolf Drechsler
Autor
Ebendt, Ruediger
Ostali autori
Nakladnik
Dordrecht : Springer, 2005
Materijalni opis
x, 222 str. : ilustr. ; 25 cm
Napomena
Bibliografija: str.[213]-220.
 
Kazalo.
Klasifikacijska oznaka
68T27 Logic in artificial intelligence
 
68T20 Problem solving (heuristics, search strategies, etc.)
 
68W30 Symbolic computation and algebraic computation [See also 11Yxx, 12Y05, 13Pxx, 14Qxx, 16Z05, 17-08, 33F10]
 
68U99 None of the above, but in this section
 
94C10 Switching theory, application of Boolean algebra; Boolean functions [See also 06E30]
 
49Kxx Necessary conditions and sufficient conditions for optimality
Jezik
engleski
Standardni broj
ISBN 0-387-25453-6
 
ISBN 978-0-387-25453-1
 
ISBN 0-387-25454-4
 
ISBN 978-0-387-25454-8
Građa
Knjigaknjiga
Djelomični sadržaj online

EBENDT, Ruediger
Advanced BDD optimization / by Ruediger Ebendt, Goerschwin Fey and Rolf Drechsler. - Dordrecht : Springer, 2005. - x, 222 str. : ilustr. ; 25 cm
Bibliografija: str.[213]-220. - Kazalo.
ISBN 0-387-25453-6. - 978-0-387-25453-1. - 0-387-25454-4. - 978-0-387-25454-8


Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2019. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.