Computer science - Mathematics.

Turing computability = theory and applications / by: (Electronic resources)

Programming for computations - Python = a gentle introduction to numerical simulations with Python / by: (Electronic resources)

Discrete mathematics / by: (Language materials, printed)

Programming for computations - MATLAB/Octave = a gentle introduction to numerical simulations with MATLAB/Octave / by: (Electronic resources)

All about music = the complete ontology: realities, semiotics, communication, and embodiment / by: (Electronic resources)

Discrete and computational geometry and graphs = 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015 : revised selected papers / by: (Electronic resources)

Semantics of the probabilistic typed lambda calculus = Markov chain semantics, termination behavior, and denotational semantics / by: (Electronic resources)

Recent progress and modern challenges in applied mathematics, modeling and computational science by: (Electronic resources)

A journey through discrete mathematics = a tribute to Jiri Matousek / by: (Electronic resources)

Scientific computing and algorithms in industrial simulations = projects and products of Fraunhofer SCAI / by: (Electronic resources)

Math for the digital factory by: (Electronic resources)

Linear programming using MATLAB by: (Electronic resources)

The limits of mathematics : = a course on information theory and limits of formal reasoning / by: (Language materials, printed)

Mathematical structures for computer science / by: (Language materials, printed)

Discrete mathematics / by: (Language materials, printed)

Advances in parallel algorithms / by: (Language materials, printed)

Discrete mathematics : = an introduction for software engineers / by: (Language materials, printed)

Discrete and combinatorial mathematics : = an applied introduction / by: (Language materials, printed)

Discrete mathematics with applications / by: (Language materials, printed)

Discrete mathematics with algorithms / by: (Language materials, printed)

An introduction to discrete mathematics, formal system specification, and Z / by: (Language materials, printed)

Algebra for computer science / by: (Language materials, printed)

Probability models for computer science / by: (Language materials, printed)

Discrete mathematics : = applied combinatorics and graph theory / by: (Language materials, printed)

3D math primer for graphics and game development / by: (Language materials, printed)

Computer mathematics for education / by: (Language materials, printed)

Comprehensive mathematics for computer scientists / by: (Language materials, printed)

Data streams : = models and algorithms / by: (Language materials, printed)

Geometric algebra for computer science : = an object-oriented approach to geometry / by: (Language materials, printed)

Discrete mathematics = elementary and beyond / by: (Electronic resources)

Mathematics for electrical engineering and computing by: (Electronic resources)

3D math primer for graphics and game development by: (Electronic resources)

Vector game math processors by: (Electronic resources)

Comprehensive Mathematics for Computer Scientists 2 = Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus/ by: (Language materials, printed)

The Lanczos method = evolution and application / by: (Language materials, printed)

Discrete mathematics / by: (Language materials, printed)

Discrete mathematics / by: (Language materials, printed)

Discrete mathematics = elementary and beyond / by: (Language materials, printed)

Foundations of logic and mathematics : = applications to computer science and cryptography / by: (Language materials, printed)

Automata, logics, and infinite games by: (Language materials, printed)

Automata, languages and programming = 29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings / by: (Language materials, printed)

A primer on pseudorandom generators / by: (Language materials, printed)

Linear logic in computer science / by: (Language materials, printed)

Hybrid algorithms for service, computing and manufacturing systems = routing and scheduling solutions / by: (Language materials, printed)

Assignment problems by: (Electronic resources)

Scientific computing with automatic result verification by: (Electronic resources)

Mathematics of discrete structures for computer science by: (Electronic resources)

3D math primer for graphics and game development / by: (Language materials, printed)

Alan Turing : = his work and impact / by: (Language materials, printed)

Linear discrete parabolic problems by: (Electronic resources)

Set operads in combinatorics and computer science by: (Electronic resources)

Numbers and computers by: (Electronic resources)

Parameterized algorithms by: (Electronic resources)

Foundation mathematics for computer science = a visual approach / by: (Electronic resources)

Introduction to concurrency theory = transition systems and CCS / by: (Electronic resources)

Special topics in mathematics for computer scientists = sets, categories, topologies and measures / by: (Electronic resources)

Geometric science of information = second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings / by: (Electronic resources)

Structural information and communication complexity = 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015 : post-proceedings / by: (Electronic resources)

Distributed and sequential algorithms for bioinformatics by: (Electronic resources)

The foundations of computability theory by: (Electronic resources)

Higher-order computability by: (Electronic resources)

Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (Electronic resources)

Progress in cryptology - INDOCRYPT 2015 = 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015 : proceedings / by: (Electronic resources)

Internet of vehicles - safe and intelligent mobility = second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings / by: (Electronic resources)

Turing's revolution = the impact of his ideas about computability / by: (Electronic resources)

Discrete mathematics and its applications / by: (Language materials, printed)

A polynomial translation of mobile ambients into safe petri nets = understanding a calculus of hierarchical protection domains / by: (Electronic resources)

Limits of computation = from a programming perspective / by: (Electronic resources)

Dynamics of number systems = computation with arbitrary precision / by: (Electronic resources)

Generalized connectivity of graphs by: (Electronic resources)

Linear algebra for computational sciences and engineering by: (Electronic resources)

Introduction to lattice theory with computer science applications by: (Electronic resources)

Concise guide to computing foundations = core concepts and select scientific applications / by: (Electronic resources)

Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications / by: (Electronic resources)

Aesthetics and neuroscience = scientific and artistic perspectives / by: (Electronic resources)

Discrete calculus = methods for counting / by: (Electronic resources)

Traffic and granular flow '15 by: (Electronic resources)

Advances in unconventional computing.. Volume 2,. Prototypes, models and algorithms by: (Electronic resources)

Advances in unconventional computing.. Volume 1,. Theory by: (Electronic resources)

Emergent computation = a festschrift for Selim G. Akl / by: (Electronic resources)

Models of computation by: (Electronic resources)

Introduction to inverse problems for differential equations by: (Electronic resources)

Neighborhood semantics for modal logic by: (Electronic resources)

Scientific computing.. Vol. I,. Linear and nonlinear equations by: (Electronic resources)

Scientific Computing.. Vol. II,. Eigenvalues and optimization by: (Electronic resources)

Innovative computing, optimization and its applications = modelling and simulations / by: (Electronic resources)

Teaching and learning discrete mathematics worldwide = curriculum and research / by: (Electronic resources)

Analysis and applications of Lattice-Boltzmann simulations by: (Electronic resources)

Clinical rehabilitation experience utilizing serious games = rehabilitation technology and a technical concept for health data collection / by: (Electronic resources)

Big data in engineering applications by: (Electronic resources)

An excursion through elementary mathematics.. Volume III,. Discrete mathematics and polynomial algebra by: (Electronic resources)

Machine scheduling to minimize weighted completion times = the use of the α-point / by: (Electronic resources)

Monotonicity in markov reward and decision chains = theory and applications / by: (Electronic resources)

Discrete mathematics with proof / by: (Language materials, printed)

Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday / by: (Language materials, printed)

Condition : = the geometry of numerical algorithms / by: (Language materials, printed)

Theory of fuzzy computation by: (Electronic resources)

Categories and types in logic, language, and physics = essays dedicated to Jim Lambek on the occasion of his 90th birthday / by: (Electronic resources)

Advances in cryptology - ASIACRYPT 2015 = 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.. Part I / by: (Electronic resources)

Advances in cryptology - ASIACRYPT 2015 = 21st International Conference on the Theory and Application of Cryptology and Information Security Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.. Part II / by: (Electronic resources)

Stochastic calculus and applications by: (Electronic resources)

Computing the continuous discretely = integer-point enumeration in polyhedra / by: (Electronic resources)

An introduction to catalan numbers by: (Electronic resources)

The mathematics of medical imaging = a beginner's guide / by: (Electronic resources)

Discrete probability models and methods = probability on graphs and trees, Markov chains and random fields, entropy and coding / by: (Electronic resources)

ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday / by: (Electronic resources)

Mathematical modeling, computational intelligence techniques and renewable energy = proceedings of the First International Conference, MMCITRE 2020 / by: (Electronic resources)

Exercises in numerical linear algebra and matrix factorizations by: (Electronic resources)

Discrete mathematics and applications by: (Electronic resources)

ELECTRIMACS 2019 = selected papers,. Volume 2 / by: (Electronic resources)

Mathematical modelling in real life problems = case studies from ECMI-Modelling Weeks / by: (Electronic resources)

DUNE = the distributed and unified numerics environment / by: (Electronic resources)

Topological methods in data analysis and visualization. = theory, algorithms, and applications /. V by: (Electronic resources)

Modeling, machine learning and astronomy = first International Conference, MMLA 2019, Bangalore, India, November 22-23, 2019 : revised selected papers / by: (Electronic resources)

Mean field games = Cetraro, Italy 2019 / by: (Electronic resources)

Chance in physics, computer science and philosophy = chance as the foundation of the world / by: (Electronic resources)

Introduction to computation = Haskell, logic and automata / by: (Electronic resources)

A journey from process algebra via timed automata to model learning = essays dedicated to Frits Vaandrager on the occasion of his 60th birthday / by: (Electronic resources)

Mathematics for computer scientists = a practice-oriented approach / by: (Electronic resources)

Essentials of discrete mathematics / by: (Language materials, printed)

The discrete math workbook = a companion manual for practical study / by: (Electronic resources)

Discrete mathematics / by: (Language materials, printed)

Discrete mathematics for computer scientists / by: (Language materials, printed)

Discrete structures : = an introduction to mathematics for computer science / by: (Language materials, printed)

Concrete mathematics : = a foundation for computer science / by: (Language materials, printed)

Computational graph theory / by: (Language materials, printed)

Discrete mathematics and its applications / by: (Language materials, printed)

Discrete mathematical structures / by: (Language materials, printed)

Logic and discrete mathematics : = a computer science perspective / by: (Language materials, printed)

Discrete mathematics with graph theory / by: (Language materials, printed)

Discrete mathematics / by: (Language materials, printed)

Discrete and combinatorial mathematics : = an applied introduction / by: (Language materials, printed)

Discrete mathematics / by: (Language materials, printed)

Mathematical structures for computer science / by: (Language materials, printed)

Stochastic relations : = foundations for Markov transition systems / by: (Language materials, printed)

Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday / by: (Electronic resources)

A computational introduction to number theory and algebra by: (Electronic resources)

TestGoal = Result-Driven Testing / by: (Language materials, printed)

Physics and theoretical computer science = from numbers and languages to (quantum) cryptography security / by: (Language materials, printed)

Discrete mathematics and its applications / by: (Language materials, printed)

Assignment problems / by: (Language materials, printed)

Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday / by: (Language materials, printed)

Randomness and completeness in computational complexity by: (Language materials, printed)

Computational discrete mathematics = advanced lectures / by: (Language materials, printed)

Discrete calculus = applied analysis on graphs for computational science / by: (Language materials, printed)

Relational mathematics / by: (Language materials, printed)

Efficient solving of large arithmetic constraint systems with complex Boolean structure = proof engines for the analysis of hybrid discrete-continuous systems / by: (Electronic resources)

Analysis for computer scientists = foundations, methods, and algorithms / by: (Electronic resources)

A beginner's guide to discrete mathematics by: (Electronic resources)

Numerical and symbolic scientific computing = progress and prospects / by: (Electronic resources)

Foundations of algebraic specification and formal software development by: (Electronic resources)

Sets, logic and maths for computing by: (Electronic resources)

Rough sets = selected methods and applications in management and engineering / by: (Electronic resources)

Applications of algebra to communications, control, and signal processing by: (Electronic resources)

Advances in interdisciplinary applied discrete mathematics by: (Electronic resources)

Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday / by: (Electronic resources)

Algebra for symbolic computation by: (Electronic resources)

An introduction to modern mathematical computing = with Mathematica / by: (Electronic resources)

Qualitative computing = a computational journey into nonlinearity / by: (Electronic resources)

Health care provision and patient mobility = health integration in the European Union / by: (Electronic resources)

Discrete and topological models in molecular biology by: (Electronic resources)

Intelligent routines II = solving linear algebra and differential geometry with Sage / by: (Electronic resources)

Guided self-organization = Inception / by: (Electronic resources)

Discrete mathematics with ducks / by: (Language materials, printed)

Computing with new resources = essays dedicated to Jozef Gruska on the occasion of his 80th birthday / by: (Electronic resources)

Open problems in mathematics and computational science by: (Electronic resources)

Optimization of logistics by: (Electronic resources)

Perceptual image coding with discrete cosine transform by: (Electronic resources)

Learning MATLAB = a problem solving approach / by: (Electronic resources)

Cryptography and coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings / by: (Electronic resources)

Mathematical analysis and the mathematics of computation by: (Electronic resources)

Cool math for hot music = a first introduction to mathematics for music theorists / by: (Electronic resources)

Music through Fourier space = discrete Fourier transform in music theory / by: (Electronic resources)

Applications of the mathematical and computational techniques / by: (Language materials, printed)

Encyclopaedia of computational and applied mathematics / by: (Language materials, printed)

Methods in computational and applied mathematics / by: (Language materials, printed)

Computational methods in earthquake engineering.. Volume 3 by: (Electronic resources)

Numbers and computers by: (Electronic resources)

Applied logic for computer scientists = computational deduction and formal proofs / by: (Electronic resources)

Introduction to morphogenetic computing by: (Electronic resources)

Mathematics for computer graphics by: (Electronic resources)

The mathematical-function computation handbook = programming using the MathCW portable software library / by: (Electronic resources)

Coding the matrix : = linear algebra through applications to computer science / by: (Language materials, printed)

Improving service level engineering = an intuitionistic fuzzy approach / by: (Electronic resources)

Recent developments in metaheuristics by: (Electronic resources)

Introduction to cutting and packing optimization = problems, modeling approaches, solution methods / by: (Electronic resources)

FluSHELL = a tool for thermal modelling and simulation of windings for large shell-type power transformers / by: (Electronic resources)

Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches by: (Electronic resources)

Fundamentals of discrete math for computer science = a problem-solving primer / by: (Electronic resources)

Modern discrete mathematics and analysis = with applications in cryptography, information systems and modeling / by: (Electronic resources)

Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday / by: (Electronic resources)

Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings / by: (Electronic resources)

Innovative algorithms and analysis by: (Electronic resources)

Mathematical theory of advanced computing by: (Electronic resources)

Mathematics in computing = an accessible guide to historical, foundational and application contexts / by: (Electronic resources)

Computational intelligence methods for bioinformatics and biostatistics = 15th International Meeting, CIBB 2018, Caparica, Portugal, September 6-8, 2018 : revised selected papers / by: (Electronic resources)

WALCOM = algorithms and computation : 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020 : proceedings / by: (Electronic resources)

Approximation and online algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, revised selected papers / by: (Electronic resources)

Monte Carlo methods by: (Electronic resources)

Continuum mechanics, applied mathematics and scientific computing = Godunov's legacy : a liber amicorum to Professor Godunov / by: (Electronic resources)

Computational methods for deep learning = theoretic, practice and applications / by: (Electronic resources)

Communications and networking = 15th EAI International Conference, ChinaCom 2020, Shanghai, China, November 20-21, 2020 : proceedings / by: (Electronic resources)

Applied mathematics and computational mechanics for smart applications = proceedings of AMMAI 2020 / by: (Electronic resources)

Computational and experimental simulations in engineering = proceedings of ICCES 2020.. Volume 2 / by: (Electronic resources)

The algorithm design manual by: (Electronic resources)

Algorithms and architectures for parallel processing = 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, proceedings.. Part III / by: (Electronic resources)

Advances in Trefftz methods and their applications by: (Electronic resources)

Optimal coverage in wireless sensor networks by: (Electronic resources)

Numerical semigroups and applications by: (Electronic resources)

GNU Octave by example = a fast and practical approach to learning GNU Octave / by: (Electronic resources)

Probability in electrical engineering and computer science = an application-driven course / by: (Electronic resources)

Computer algebra = an algorithm-oriented introduction / by: (Electronic resources)

Thinking programs = logical modeling and reasoning about languages, data, computations, and executions / by: (Electronic resources)

Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications / by: (Electronic resources)

The physics of computing by: (Electronic resources)

The discrete math workbook = a companion manual using python / by: (Electronic resources)

Parallel Problem Solving from Nature - PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020 : proceedings.. Part II / by: (Electronic resources)

Parallel problem solving from nature - PPSN XVI = 16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020 : proceedings.. Part I / by: (Electronic resources)

Differential geometry and lie groups = a second course / by: (Electronic resources)

Green energy and networking = 7th EAI International Conference, GreeNets 2020, Harbin, China, June 27-28, 2020 : proceedings / by: (Electronic resources)

Advanced communication systems and information security = second International Conference, ACOSIS 2019, Marrakesh, Morocco, November 20-22, 2019 : revised selected papers / by: (Electronic resources)

Computational mathematics and applications by: (Electronic resources)

Introduction to the tools of scientific computing by: (Electronic resources)

Understand mathematics, understand computing = discrete mathematics that all computing students should know / by: (Electronic resources)

Computing in cause-effect structures by: (Electronic resources)

Approximation and online algorithms = International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021 : revised selected papers / by: (Electronic resources)

Engineering applications of modern metaheuristics by: (Electronic resources)

Computational methods based on peridynamics and nonlocal operators = theory and applications / by: (Electronic resources)

Difference matrices for ODE and PDE = a MATLAB® companion / by: (Electronic resources)

Sampled-data control of logical networks by: (Electronic resources)

Mathematical foundations of data science by: (Electronic resources)

Algorithms for constructing computably enumerable sets by: (Electronic resources)

Mathematical pictures at a data science exhibition by: (Electronic resources)

The Abel Prize 2018-2022 by: (Electronic resources)

Computability and complexity = foundations and tools for pursuing scientific applications / by: (Electronic resources)

Foundation mathematics for computer science = a visual approach / by: (Electronic resources)

Artificial mathematical intelligence = cognitive, (meta)mathematical, physical and philosophical foundations / by: (Electronic resources)

Domain decomposition methods in science and engineering XXV by: (Electronic resources)

An introduction to element-based Galerkin methods on tensor-product bases = analysis, algorithms, and applications / by: (Electronic resources)

Discrete mathematics demystified by: (Electronic resources)

Python arithmetic = the informational nature of numbers / by: (Electronic resources)

Numerical methods of mathematics implemented in Fortran by: (Electronic resources)

Programming for computations = Python : a gentle introduction to numerical simulations with Python 3.6 / by: (Electronic resources)

Foundation mathematics for computer science = a visual approach / by: (Electronic resources)

Linear algebra and optimization with applications to machine learning.. Vol.1,. linear algebra for computer vision, robotics, and machine learning / by: (Language materials, printed)

Statics and influence functions = from a modern perspective / by: (Electronic resources)

Introduction to inverse problems for differential equations by: (Electronic resources)

Approximation and online algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020 : revised selected papers / by: (Electronic resources)

Sets, logic and maths for computing by: (Electronic resources)

Fields of logic and computation III = essays dedicated to Yuri Gurevich on the the occasion of his 80th birthday / by: (Electronic resources)

Discrete mathematics : = graph algorithms, algebraic structures, coding theory, and cryptography / by: (Language materials, printed)

Mathematical pictures at a data science exhibition / by: (Language materials, printed)

Foundations in discrete mathematics, algorithms and polynomial approximations / by: (Language materials, printed)

Mathematical foundation of computer science / by: (Language materials, printed)

Algebraic approach to data processing = techniques and applications / by: (Electronic resources)

Introduction to the tools of scientific computing by: (Electronic resources)

Simple type theory = a practical logic for expressing and reasoning about mathematical ideas / by: (Electronic resources)

Foundation mathematics for computer science = a visual approach / by: (Electronic resources)

Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy = proceedings of the third international conference, MMCITRE 2022 / by: (Electronic resources)

Computational methods for deep learning = theory, algorithms, and implementations / by: (Electronic resources)

Programs as diagrams = from categorical computability to computable categories / by: (Electronic resources)

Structures of computing = a guide to practice-oriented theory / by: (Electronic resources)

Discrete mathematics / by: (Language materials, printed)