Datatype-Generic Programming [electronic resource] : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring.
Material type:![Computer file](/opac-tmpl/lib/famfamfam/CF.png)
- 9783540767862
- QA76.9.L63 B33 2007
Item type | Current library | Call number | URL | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca Digital Colección Digital | QA76.9.L63 B33 2007 (Browse shelf(Opens below)) | Link to resource | 1 | Available | Springer Link | BDIG00009391 |
Browsing Biblioteca Digital shelves, Shelving location: Colección Digital Close shelf browser (Hides shelf browser)
QA76.9.I58 V57 2008 Intelligent Interactive Systems in Knowledge-Based Environments | QA76.9 K56 2006 EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World | QA76.9.L63 A24 2006 Foundations of Software Science and Computation Structures | QA76.9.L63 B33 2007 Datatype-Generic Programming | QA76.9.L63 B47 2005 Inconsistency Tolerance | QA76.9.L63 B73 2007 The Calculus of Computation Decision Procedures with Applications to Verification / | QA76.9.L63 C53 2007 All About Maude - A High-Performance Logical Framework |
There are no comments on this title.
Log in to your account to post a comment.