Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 9 from your keywords: subject="Computer programming....
cover
Generating language-based environments
Comment Share
Reps, Thomas W.

"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
cover
Computability and Complexity: From a Programming Perspective
Comment Share
Jones, Neil D.

OCLC-licensed vendor bibliographic record.

Edition
-
ISBN/ISSN
9780262276368
Collation
1 online resource (xvi, 466 pages).
Series Title
-
Call Number
-
cover
Advances in genetic programming.
Comment Share
Kinnear, Kenneth E.Angeline, Peter J.

Genetic programming, a form of genetic algorithm that evolves programs and program-like executable structures, is a new paradigm for developing reliable, time- and cost-effective applications. The second volume of Advances in Genetic Programming highlights many of the most recent technical advances in this increasingly popular field.Genetic programming, a form of genetic algorithm that evolves …

Edition
-
ISBN/ISSN
9780262290791
Collation
1 online resource (xi, 538 pages) :illustrations.
Series Title
-
Call Number
-
cover
Certified programming with dependent types :a pragmatic introduction to the C…
Comment Share
Chlipala, Adam,

The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, empha…

Edition
-
ISBN/ISSN
9780262317870
Collation
1 online resource (xii, 424 pages)
Series Title
-
Call Number
-
cover
A small matter of programming :perspectives on end user computing
Comment Share
Nardi, Bonnie A.

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
-
cover
Automatic algorithm recognition and replacement :a new approach to program op…
Comment Share
Metzger, Robert C.Wen, Zhaofang.

"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
-
cover
Computer science Logo style.
Comment Share
Harvey, Brian,

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
-
cover
Computer science Logo style
Comment Share
Harvey, Brian,

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
-
cover
Computer science Logo style.
Comment Share
Harvey, Brian,

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
-