Filter by
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
- -
Logic Programming: The 14th International Conference
"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET.
- Edition
- 1
- ISBN/ISSN
- 9780262291354
- Collation
- -
- Series Title
- -
- Call Number
- -
The Kantian Legacy in Nineteenth-Century Science The Kantian Legacy in Ninet…
"Historians of philosophy, science, and mathematics explore the influence of Kant's philosophy on the evolution of modern scientific thought."--Jacket.
- Edition
- 1
- ISBN/ISSN
- 9780262273268
- 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