Filter by
Speaking Code: Coding as Aesthetic and Political Expression
Speaking Code begins by invoking the "Hello World" convention used by programmers when learning a new language, helping to establish the interplay of text and code that runs through the book. Interweaving the voice of critical writing from the humanities with the tradition of computing and software development, in Speaking Code Geoff Cox formulates an argument that aims to undermine the distinc…
- Edition
- -
- ISBN/ISSN
- 9780262305228
- Collation
- 1 online resource (xv, 149 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Generating language-based environments
"An MIT Press classic."Facsim. of ed. originally published: ?1984.This book addresses a fundamental software engineering issue, applying formal techniques and rigorous analysis to a practical problem of great current interest: the incorporation of language-specific knowledge in interactive programming environments. It makes a basic contribution in this area by proposing an attribute-grammar fra…
- Edition
- -
- ISBN/ISSN
- 0262256851
- Collation
- 1 online resource (138 pages)
- Series Title
- -
- Call Number
- 005 REP g
Programming Models for Parallel Computing
"With the coming of the parallel computing era, computer scientists have turned their attention to designing programming models that are suited for high-performance parallel computing and supercomputing systems. Programming parallel systems is complicated by the fact that multiple processing units are simultaneously computing and moving data. This book offers an overview of some of the most pro…
- Edition
- -
- ISBN/ISSN
- 0262528819
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
The Formal Semantics of Programming Languages: An Introduction
"The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered…
- Edition
- -
- ISBN/ISSN
- 9780262291453
- Collation
- 1 online resource (xviii, 361 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Perceptrons :an introduction to computational geometry
"Reissue of the 1988 Expanded Edition with a new foreword by L?eon Bottou."The first systematic study of parallelism in computation by two pioneers in the field.Reissue of the 1988 Expanded Edition with a new foreword by Leon BottouIn 1969, ten years after the discovery of the perceptron--which showed that a machine could be taught to perform certain tasks using examples--Marvin Minsky and Seym…
- Edition
- [2017 edition].
- ISBN/ISSN
- 9780262343930
- Collation
- 1 online resource (xxiii, 292 pages) :illustrations
- Series Title
- -
- Call Number
- -
Multicomputer networks :message-based parallel processing
"High-performance message-based supercomputers have only recently emerged from the research laboratory. The commercial manufacturing of such products as the Intel iPSC, the Ametek s/14, the NCUBE/ten, and the FPS T Series - all based on multicomputer network technology - has sparked lively interest in high-performance computation, and particularly in the message-passing paradigm for parallel co…
- Edition
- -
- ISBN/ISSN
- 9780262256841
- Collation
- 1 online resource (380 pages) :illustrations.
- 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.
- Edition
- -
- ISBN/ISSN
- -
- Collation
- 1 online resource (xii, 334 pages) : illustrations.
- Series Title
- -
- Call Number
- -
Constraint-Based Grammar Formalisms: Parsing and Type Inference for Natural a…
Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area. Constraint-based theories of grammar and grammar formalisms are becoming an increasingly widespread area of research in computational linguistics. Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area…
- Edition
- -
- ISBN/ISSN
- 9780262283519
- Collation
- 1 online resource (xi, 183 pages) :illustrations
- Series Title
- -
- Call Number
- -
Actors :a model of concurrent computation in distributed systems
The transition from sequential to parallel computation is an area of critical concern in today's computer technology, particularly in architecture, programming languages, systems, and artificial intelligence. This book addresses central issues in concurrency, and by producing both a syntactic definition and a denotational model of Hewitt's actor paradigm--a model of computation specifically aim…
- Edition
- -
- ISBN/ISSN
- 9780262255554
- Collation
- 1 online resource (ix, 144 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Advanced topics in types and programming languages
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key id…
- Edition
- -
- ISBN/ISSN
- 9780262281591
- Collation
- 1 online resource (xiii, 574 pages) :illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography