Structural complexity II
Material type: TextSeries: EATCS monographs on theoretical computer science; 00022Publication details: Springer verlag ; Berlin ; 1990Description: 283ISBN: 9783642753596Subject(s): Computational complexity Diaz, Joseph Gabarro, Joaquim Series EATCS monographs on theoretical computer scienceCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3 BAL (Browse shelf (Opens below)) | Available | 68298 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||
681.3 BAI Principles of model checking | 681.3 BAL Structural complexity II | 681.3 BAL Johan van Benthem on Logic and Information Dynamics | 681.3 BAN Computer management and planning | 681.3 BAN Digraphs : Theory, Algorithms and Applications : (SMM) |
There are no comments on this title.