Parameterized and Exact Computation 5th International Symposium, IPEC 2010
Material type: TextSeries: Lecture notes in computer science; 06478Publication details: Springer ; 2010Description: 238ISBN: 9783642174926Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | Available | 64533 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
681 LNCS Reachability problems | 681 LNCS Algorithms and computation | 681 LNCS Automated technology for verification and analysis | 681 LNCS Parameterized and Exact Computation | 681 LNCS Logic and its applications | 681 LNCS CONCUR 2010 - Concurrency Theory | 681 LNCS Concur 2011 - Concurrency theory |
There are no comments on this title.