Filter by
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
- -
Origins of human communication
"A Bradford book.""In this original and provocative account of the evolutionary origins of human communication, Michael Tomasello connects the fundamentally cooperative structure of human communication (initially discovered by Paul Grice) to the especially cooperative structure of human (as opposed to other primate) social interaction."--Inside jacket.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262285070
- Collation
- 1 online resource (xiii, 393 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Standard Basque :a progressive grammar
Vol. 2: by Rudolf P.G. de Rijk and Armand De Coene.The first modern pedagogically oriented reference to the grammar of standard Basque (Euskara Batua), in two volumes: Part 1 presents detailed grammar lessons, Part 2 glosses and supplementary materials.A pre-Indo-European language with no known relatives, the Basque language survives in the Basque region of Spain and France, with about half a m…
- Edition
- -
- ISBN/ISSN
- 9780262271356
- Collation
- 1 online resource (2 volumes) :map.
- Series Title
- -
- Call Number
- -
The acquisition of syntactic knowledge
"This landmark work in computational linguistics is of great importance both theoretically and practically because it shows that much of English grammar can be learned by a simple program. The Acquisition of Syntactic Knowledge investigates the central questions of human and machine cognition: How do people learn language? How can we get a machine to learn language? It first presents an explici…
- Edition
- -
- ISBN/ISSN
- 0585368910
- Collation
- 1 online resource (xii, 368 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Algorithmic program debugging
Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262256967
- Collation
- 1 online resource (xiv, 232 pages).
- 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
- -
The art of the metaobject protocol
The authors introduce this new approach to programming language design, describe its evolution and design principles, and present a formal specification of a metaobject protocol for CLOS. The CLOS metaobject protocol is an elegant, high-performance extension to the CommonLisp Object System. The authors, who developed the metaobject protocol and who were among the group that developed CLOS, intr…
- Edition
- -
- ISBN/ISSN
- 0585358125
- Collation
- 1 online resource (viii, 335 pages)
- Series Title
- -
- Call Number
- -
Computer science Logo style.
This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, espe…
- Edition
- 2nd ed.
- ISBN/ISSN
- 9780262286817
- Collation
- 1 online resource :illustrations
- Series Title
- -
- Call Number
- -
Computer science Logo style
This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, espe…
- Edition
- 2nd ed.
- ISBN/ISSN
- 9780262286817
- Collation
- 1 online resource (3 volumes) :illustrations
- Series Title
- -
- Call Number
- -
Computer science Logo style.
This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, espe…
- Edition
- 2nd ed.
- ISBN/ISSN
- 9780262286817
- Collation
- 1 online resource :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