Filter by
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
- -
Advances in the evolutionary synthesis of intelligent agents
"A Bradford book.""This book explores a central issue in artificial intelligence, cognitive science, and artificial life: how to design information structures and processes that create and adapt intelligent agents through evolution and learning." "The book is organized around four topics: the power of evolution to determine effective solutions to complex tasks, mechanisms to make evolutionary d…
- Edition
- -
- ISBN/ISSN
- 0585387168
- Collation
- 1 online resource (xxiv, 480 pages) :illustrations
- Series Title
- -
- Call Number
- -
A small matter of programming :perspectives on end user computing
A Small Matter of Programming asks why it has been so difficult for end users to command programming power and explores the problems of end user-driven application development that must be solved to afford end users greater computational power.Drawing on empirical research on existing end user systems, A Small Matter of Programming analyzes cognitive, social, and technical issues of end user pr…
- Edition
- -
- ISBN/ISSN
- 0585326290
- Collation
- 1 online resource (xvi, 162 pages) :illustrations
- Series Title
- -
- Call Number
- -
The Microsoft antitrust cases :competition policy for the twenty-first century
A comprehensive account of the decades-long, multiple antitrust actions against Microsoft and an assessment of the effectiveness of antitrust law in the digital age.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262319218
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- -
Building IBM :shaping an industry and its technology
No company of the twentieth century achieved greater success and engendered more admiration, respect, envy, fear, and hatred than IBM. Building IBM tells the story of that company, how it was formed, how it grew, and how it shaped and dominated the information processing industry. Emerson Pugh presents substantial new material about the company in the period before 1945 as well as a new interpr…
- Edition
- -
- ISBN/ISSN
- 0585353468
- Collation
- 1 online resource (xvi, 405 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Beyond our control? :confronting the limits of our legal system in the age of…
This book provides a framework for thinking about the law and cyberspace, examining the extent to which the Internet is currently under control and the extent to which it can or should be controlled. It focuses in part on the proliferation of MP3 file sharing, a practice made possible by the development of a file format that enables users to store large audio files with near-CD sound quality on…
- Edition
- -
- ISBN/ISSN
- 9780262255738
- Collation
- 1 online resource (xiv, 452 pages)
- Series Title
- -
- Call Number
- -
Beowulf cluster computing with Linux
Beowulf clusters, which exploit mass-market PC hardware and software in conjunction with cost-effective commercial network technology, are becoming the platform for many scientific, engineering, and commercial applications. With growing popularity has come growing complexity. Addressing that complexity, Beowulf Cluster Computing with Linux and Beowulf Cluster Computing with Windows provide syst…
- Edition
- -
- ISBN/ISSN
- 9780262286770
- Collation
- 1 online resource (xxxiii, 496 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Automatic algorithm recognition and replacement :a new approach to program op…
"Parallel computation will become the norm in the coming decades. Unfortunately, advances in parallel hardware have far outpaced parallel applications of software. There are currently two approaches to applying parallelism to applications. One is to write completely new applications in new languages. But abandoning applications that work is unacceptable to most nonacademic users of high-perform…
- Edition
- -
- ISBN/ISSN
- 058533336X
- Collation
- 1 online resource (viii, 219 pages)
- 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
- -
The Computer age :a twenty-year view
Gathered from twenty leading authorities in computer science, the chapters of The Computer Age range across a broad spectrum of topics -- from technological trends and needs to social questions, such as the changing economics of information, ownership principles, regulation, the range of potential computer uses, from science and business to the home.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262256002
- Collation
- 1 online resource (xvi, 491 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