Filter by
Critical code studies :initial methods
"Critical Code Studies (CCS) names a set of methodologies for the exploration of computer source code using the hermeneutics of the humanities. Like 10 PRINT CHR$ (205.5 + RND (1)); : GOTO 10, Mark Marino's Critical Code Studies treats code not as merely functional but as a text, one that can be read, and misinterpreted, by non-programmers. As the author notes, code's "meaning is not determined…
- Edition
- -
- ISBN/ISSN
- 9780262357425
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Software studies :a lexicon
This collection of short expository, critical and speculative texts offers a field guide to the cultural, political, social and aesthetic impact of software. Experts from a range of disciplines each take a key topic in software and the understanding of software, such as algorithms and logical structures.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262273343
- Collation
- 1 online resource (xii, 334 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Algebraic semantics of imperative programs
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run. The semantics of imperative programs is specified in a formal, implemented notation, the language OBJ; this makes the s…
- Edition
- -
- ISBN/ISSN
- 0262288451
- Collation
- 1 online resource (vii, 228 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming languages :constraints, functions, and objects
"This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped ac…
- Edition
- -
- ISBN/ISSN
- 9780262255646
- Collation
- 1 online resource (xiv, 204 pages).
- Series Title
- -
- Call Number
- -
LISP 1.5 programmer's manual :the Computation Center and Research Laboratory …
Includes index.The manual describes LISP, a formal mathematical language. LISP differs from most programming languages in three important ways. The first way is in the nature of the data.The LISP language is designed primarily for symbolic data processing used for symbolic calculations in differential and integral calculus, electrical circuit theory, mathematical logic, game playing, and other …
- Edition
- -
- ISBN/ISSN
- 9780262287722
- Collation
- 1 online resource (vi, 106 pages)
- Series Title
- -
- Call Number
- -
Web Development with Go Building Scalable Web Apps and RESTful Services
Take a deep dive into web development using the Go programming language to build web apps and RESTful services to create reliable and efficient software. Web Development with Go provides Go language fundamentals and then moves on to advanced web development concepts and successful deployment of Go web apps to the cloud. Web Development with Go will teach you how to develop scalable real-wor…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1052-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Verification, Model Checking, and Abstract Interpretation 16th International…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46081-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Using the C++ Standard Template Libraries
Using the C++ Standard Template Libraries is a contemporary treatment that teaches the generic programming capabilities that the C++ 14 Standard Library provides. In this book, author Ivor Horton explains what the class and function templates available with C++ 14 do, and how to use them in a practical context. You'll learn how to create containers, and how iterators are used with them to ac…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-0004-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Using Microsoft Dynamics AX 2012 Updated for Version R3
Precise descriptions and instructions enable users, students and consultants to understand MS Dynamics AX 2012 rapidly. Microsoft offers Dynamics AX as its premium ERP solution, supporting large and mid-sized organizations with a complete business management solution which is easy to use. Going through a simple but comprehensive case study – the sample company ‘Anso Technologies Inc.’ –…
- Edition
- -
- ISBN/ISSN
- 978-3-658-08295-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Unifying Theories of Programming 5th International Symposium, UTP 2014, Sing…
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14806-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography