Topology in process calculus: approximate correctness and infinite evolution of concurrent programs by Mingsheng Ying Ying Mingsheng
Material type:
TextLanguage: English Publication details: New York Springer-Verlag 2001Description: viii, 220pISBN: - 0387950923 (hbd)
- D65,8(B):51, P1
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B):51 P1 (Browse shelf(Opens below)) | Available | SL1177698 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| D65,8(B):51 N8 Structured development of parallel programs by Susanna Pelagatti | D65,8(B):51 N8 Parallel systems in the data warehouse | D65,8(B):51 N9 Parallel programming: techniques and applications using networked workstations and parallel computers | D65,8(B):51 P1 Topology in process calculus: approximate correctness and infinite evolution of concurrent programs by Mingsheng Ying | D65,8(B):51 P1 TD Compiler optimizations for scalable parallel systems | D65,8(B):51 P2 TD Practical parallel rendering | D65,8(B):51 P4;1 Parallel and distributed programming using C++ |
Bibliographical references 213-218p; Index 219-220p; ^n23/CSL/B/2002-2003/204^d2002-07-15^mPurchase; ; 2002-03/143^b2002-08-13^c2125^d2002-08-05^eRs.9,606.00^fOverseas Press (India)Pvt. Ltd.; ; 2002-10-08^bSB^c2003-07-04^dRPS
There are no comments on this title.
Log in to your account to post a comment.