#
Computer science -- Mathematics
Resource Information
The concept ** Computer science -- Mathematics** represents the subject, aboutness, idea or notion of resources found in **Boston University Libraries**.

The Resource
Computer science -- Mathematics
Resource Information

The concept

**Computer science -- Mathematics**represents the subject, aboutness, idea or notion of resources found in**Boston University Libraries**.- Label
- Computer science -- Mathematics

- Authority link

- Source
- fast

## Context

Context of Computer science -- Mathematics#### Subject of

- A beginner's guide to discrete mathematics
- A primer on pseudorandom generators
- Algebra for computer science
- Algebra for symbolic computation
- Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement
- Algebraic theory of processes
- An introduction to modern mathematical computing : with Mathematica®
- Analysis for computer scientists : foundations, methods, and algorithms
- Analysis of boolean functions
- Applications of algebra to communications, control, and signal processing
- Applied discrete structures for computer science
- Basic category theory for computer scientists
- CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
- Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
- Category theory for computing science
- Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993
- Combinatorics for computer science
- Computation engineering : applied automata theory and logic
- Computational discrete mathematics : advanced lectures
- Computer mathematics
- Computer mathematics
- Concrete mathematics : a foundation for computer science
- Digital functions and data reconstruction : digital-discrete methods
- Discrete and combinatorial mathematics : an applied introduction
- Discrete and topological models in molecular biology
- Discrete calculus by analogy
- Discrete mathematics
- Discrete mathematics
- Discrete mathematics
- Discrete mathematics : a unified approach
- Discrete mathematics and its applications
- Discrete mathematics with computer science applications
- Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems
- Euclidean shortest paths : exact or approximate algorithms
- Extremal combinatorics : with applications in computer science
- Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
- Finite and algorithmic model theory
- Finite automata, formal logic, and circuit complexity
- Foundations of algebraic specification and formal software development
- Fundamentals of parameterized complexity
- ISRN discrete mathematics
- In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman
- Introduction to GNU Octave : a brief tutorial for linear algebra and calculus students
- Introduction to discrete mathematics for software engineering
- Introduction to scientific computing : a matrix-vector approach using MATLAB
- Introductory combinatorics
- Iteration theories : the equational logic of iterative processes
- Lectures in game theory for computer scientists
- Logic and automata : history and perspectives
- Logic and games on automatic structures : playing with quantifiers and decompositions
- Math companion for computer science
- Mathematical aspects of computer science.
- Mathematical foundations of computer science
- Mathematical logic for computer science
- Mathematical structures for computer science
- Mathematical structures for computer science
- Mathematical structures for computer science
- Mathematical theory of domains
- Mathematics for computing
- Mathematics in computing : an accessible guide to historical, foundational and application contexts
- Mathematics of discrete structures for computer science
- Mathematics++ : selected topics beyond the basic courses
- Methods in algorithmic analysis
- Mobility in process calculi and natural computing
- Network algebra
- Number theory for computing
- Numerical and symbolic scientific computing : progress and prospects
- Predicate transformer semantics
- Qualitative computing : a computational journey into nonlinearity
- Randomness and completeness in computational complexity
- Relational mathematics
- Relations and graphs : discrete mathematics for computer scientists
- Rough sets : selected methods and applications in management and engineering
- Schaum's outline of theory and problems of essential computer mathematics
- Scientific computation
- Scientific computing with automatic result verification
- Selected papers on discrete mathematics
- Sets, logic and maths for computing
- Software service and application engineering : essays dedicated to Bernd Krämer on the occasion of his 65th birthday
- The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates
- Topology and category theory in computer science

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/ubsdCTPQllE/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/ubsdCTPQllE/">Computer science -- Mathematics</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Computer science -- Mathematics

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/ubsdCTPQllE/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/ubsdCTPQllE/">Computer science -- Mathematics</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>`