Instruction Sequences for Computer Science
Material type:
Computer fileLanguage: English Publication details: Paris Atlantis Press, Imprint: Atlantis Press, 2012. ISBN: 9789491216657, 978-94-91216-65-7Subject(s): Programming Languages, Compilers, Interpreters | Computation by Abstract Devices | Computer network architectures | Computer science | Computer Science | Computer Systems Organization and Communication Networks | Logic design | Logics and Meanings of Programs | Mathematical Logic and Formal LanguagesDDC classification: 004.0151, Online resources: Click here to access online
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
E(electronic)-Books
|
NISER LIBRARY | 004.0151, 23 (Browse shelf(Opens below)) | Available | E2682 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
| 004 SIP-T Theory of computation | 004.0151, 23 Bridging Mathematics, Statistics, Engineering and Technology | 004.0151, 23 Thermo-Hydro-Mechanical-Chemical Processes in Porous Media | 004.0151, 23 Instruction Sequences for Computer Science | 004.032.24 PET-I Introduction to parallel computing:a practical guide with example in c | 004.056.54 MCA-I Introduction to cryptography with open-source software | 004.056.55 CHA-I Identity-based encryption |
Mathematics and Statistics (Springer-11649)
There are no comments on this title.