Filter by
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
Genetic programming 1996 : Proceedings of the First Annual Conference, July 2…
Genetic programming is a domain-independent method for automatic programming that evolves computer programs that solve, or approximately solve, problems. Starting with a primordial ooze of thousands of randomly created computer programs composed of functions and terminals appropriate to a problem, a population of programs is progressively evolved over many generations using the Darwinian princi…
- Edition
- -
- ISBN/ISSN
- 9780262315876
- Collation
- 1 online resource (xviii, 568 pages) : illustrations.
- Series Title
- -
- Call Number
- 005 GEN
Spreadsheet implementation technology: Basics and extensions
"Spreadsheets are used daily by millions of people for tasks that range from organizing a list of addresses to carrying out complex economic simulations. Spreadsheet programs are easy to learn and convenient to use because they have a clear visual model and a simple efficient underlying computational model. Yet although the basic spreadsheet model could be extended, improved, or otherwise exper…
- Edition
- -
- ISBN/ISSN
- 0262326531
- Collation
- 1 online resource (xiii, 310 pages)
- Series Title
- -
- Call Number
- -
Evolutionary Programming IV: Proceedings of the Fourth Annual Conference on E…
"A Bradford book."March 1-3, 1995, San Diego, California Evolutionary programming is one of the predominate algorithms withing the rapidly expanding field of evolutionary computation. These edited contributions to the Fourth Annual Conference on Evolutionary Programming are by leading scientists from academia, industry, and defense. The papers describe both the theory and practical application …
- Edition
- -
- ISBN/ISSN
- 9780262290920
- Collation
- 1 online resource (xx, 805 pages) :illustrations.
- 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
- -
From Logic to Logic Programming
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains ele…
- Edition
- -
- ISBN/ISSN
- 9780262288477
- Collation
- 1 online resource (xii, 214 pages) :illustrations.
- Series Title
- -
- Call Number
- -
A grammatical view of logic programming
This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic pro…
- Edition
- -
- ISBN/ISSN
- 9780262290845
- Collation
- 1 online resource (xxxi, 454 pages) : illustrations.
- Series Title
- Logic Programming
- Call Number
- -
Dynamic Allocation and Pricing: A Mechanism Design Approach
A new approach to dynamic allocation and pricing that blends dynamic paradigms from the operations research and management science literature with classical mechanism design methods.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262327732
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
MPI -- the Complete Reference.
This volume presents a complete specification of the MPI-2 Standard. It is annotated with comments that clarify complicated issues, including why certain design choices were made, how users are intended to use the interface, and how they should construct their version of MPI.OCLC-licensed vendor bibliographic record.
- Edition
- 2nd ed.
- ISBN/ISSN
- 9780262287548
- Collation
- 1 online resource (363 pages).
- 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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography