Filter by
Computability and Complexity: From a Programming Perspective
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262276368
- Collation
- 1 online resource (xvi, 466 pages).
- Series Title
- -
- Call Number
- -
Code for what? :computer science for storytelling and social justice
"Challenges the 'Code for All' movement with a framework for critical computational literacy that integrates computer science with journalism, data, art, civic imagination, and social action"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262371841
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- -
Parallel Algorithms for Regular Architectures :Meshes and Pyramids.
AnnotationOCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262279833
- Collation
- 1 online resource (336 pages)
- Series Title
- -
- Call Number
- -
Inductive logic programming : from machine learning to software engineering
Although Inductive Logic Programming (ILP) is generally thought of as a research area at the intersection of machine learning and computational logic, Bergadano and Gunetti propose that most of the research in ILP has in fact come from machine learning, particularly in the evolution of inductive reasoning from pattern recognition, through initial approaches to symbolic machine learning, to rece…
- Edition
- -
- ISBN/ISSN
- 9780262288422
- Collation
- 1 online resource (vii, 240 pages) : illustrations.
- Series Title
- -
- Call Number
- 005 BER i
Using MPI-2 : Advanced Features of the Message-Passing Interface
Using MPI is a completely up-to-date version of the authors' 1994 introduction to the core functions of MPI. It adds material onthe new C++ and Fortran 90 bindings for MPI throughout the book.OCLC-licensed vendor bibliographic record.
- Edition
- 2nd ed.
- ISBN/ISSN
- 9780262288040
- Collation
- 1 online resource (407 pages).
- Series Title
- -
- Call Number
- -
Using OpenMP—The Next Step: Affinity, Accelerators, Tasking, and SIMD
A guide to the most recent, advanced features of the widely used OpenMP parallel programming model, with coverage of major features in OpenMP 4.5.This book offers an up-to-date, practical tutorial on advanced features in the widely used OpenMP parallel programming model. Building on the previous volume, Using OpenMP: Portable Shared Memory Parallel Programming (MIT Press), this book goes beyond…
- Edition
- -
- ISBN/ISSN
- 9780262344012
- Collation
- 1 online resource (xxi, 365 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Concurrent constraint programming
Concurrent Constraint Programming introduces a new and rich class of programming languages based on the notion of computing with partial information, or constraints, that synthesize and extend work on concurrent logic programming and that offer a promising approach for treating thorny issues in the semantics of concurrent, nondeterministic programming languages. Saraswat develops an elegant and…
- Edition
- -
- ISBN/ISSN
- 9780262290975
- Collation
- 1 online resource (xl, 486 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Constraint-Based Grammar Formalisms: Parsing and Type Inference for Natural a…
Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area. Constraint-based theories of grammar and grammar formalisms are becoming an increasingly widespread area of research in computational linguistics. Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area…
- Edition
- -
- ISBN/ISSN
- 9780262283519
- Collation
- 1 online resource (xi, 183 pages) :illustrations
- Series Title
- -
- Call Number
- -
Advanced topics in types and programming languages
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key id…
- Edition
- -
- ISBN/ISSN
- 9780262281591
- Collation
- 1 online resource (xiii, 574 pages) :illustrations
- Series Title
- -
- Call Number
- -
Advances in genetic programming.
"A Bradford book."Available through MITCogNet.There is increasing interest in genetic programming by both researchers and professional software developers. These twenty-two invited contributions show how a wide variety of problems across disciplines can be solved using this new paradigm.There is increasing interest in genetic programming by both researchers and professional software developers.…
- Edition
- -
- ISBN/ISSN
- 9780262277181
- Collation
- 1 online resource (ix, 476 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