Computer science - Mathematics.

Discrete mathematics / by: (Language materials, printed)

Discrete mathematics / by: (Language materials, printed)

Introduction to discrete mathematics / by: (Language materials, printed)

Introduction to probability and statistics :principles and applications for engineering and the computing sciences / by: (Language materials, printed)

An introduction to numerical analysis for electrical and computer engineers / by: (Electronic resources)

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

Discrete mathematics / by: (Language materials, printed)

Mathematics :a discrete introduction / by: (Language materials, printed)

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

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

Discrete mathematics :mathematical reasoning and proof with puzzles, patterns, and games / by: (Language materials, printed)

Beginning math and physics for game programmers / by: (Language materials, printed)

Concept data analysis :theory and applications / by: (Language materials, printed)

A first course in discrete mathematics / by: (Language materials, printed)

An introduction to numerical analysis for electrical and computer engineers / by: (Language materials, printed)

Quantum approach to informatics by: (Electronic resources)

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

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

Discrete mathematics / by: (Language materials, printed)

Invitation to discrete mathematics / by: (Language materials, printed)

Discrete mathematics / by: (Language materials, printed)

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

Topics in Discrete MathematicsDedicated to Jarik Nesetril on the Occasion of his 60th Birthday / by: (Electronic resources)

The Lanczos methodevolution and application / by: (Electronic resources)

Physics and theoretical computer sciencefrom numbers and languages to (quantum) cryptography security / by: (Electronic resources)

TestGoalResult-Driven Testing / by: (Language materials, printed)

Discrete mathematics / by: (Language materials, printed)

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

Discrete mathematicselementary and beyond / by: (Electronic resources)

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

Monotonicity in markov reward and decision chainstheory and applications / by: (Electronic resources)

Introduction to discrete mathematics / by: (Language materials, printed)

Discrete mathematics / by: (Language materials, printed)

Discrete mathematics demystified by: (Electronic resources)

Randomness and completeness in computational complexity by: (Electronic resources)

Computational discrete mathematicsadvanced lectures / by: (Electronic resources)

Automata, logics, and infinite games by: (Electronic resources)

Automata, languages and programming29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings / by: (Electronic resources)

Discrete calculusapplied analysis on graphs for computational science / by: (Electronic resources)

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

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

Fields of logic and computationessays dedicated to Yuri Gurevich on the occasion of his 70th birthday / by: (Electronic resources)

Scientific computation / by: (Language materials, printed)

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

Introductory combinatorics / by: (Language materials, printed)

Fete of combinatorics and computer science by: (Electronic resources)

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

Analysis for computer scientistsfoundations, methods, and algorithms / by: (Electronic resources)

Fundamentals of scientific computing by: (Electronic resources)

Logic and games on automatic structuresplaying with quantifiers and decompositions / by: (Electronic resources)

Extremal combinatoricswith applications in computer science / by: (Electronic resources)

Algebraic foundations in computer scienceessays dedicated to Symeon Bozapalidis on the occasion of his retirement / by: (Electronic resources)

Mobility in process calculi and natural computing by: (Electronic resources)

Euclidean shortest pathsexact or approximate algorithms / by: (Electronic resources)

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

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

Numerical and symbolic scientific computingprogress 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 setsselected methods and applications in management and engineering / by: (Electronic resources)

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

Software service and application engineeringessays 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 computingwith Mathematica / by: (Electronic resources)

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

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

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

Hybrid algorithms for service, computing and manufacturing systemsrouting and scheduling solutions / by: (Electronic resources)

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

Assignment problems by: (Electronic resources)

Qualitative computinga computational journey into nonlinearity / by: (Electronic resources)

Theory of fuzzy computation by: (Electronic resources)

Advances in research methods for information systems researchdata mining, data envelopment analysis, value focused thinking / by: (Electronic resources)

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

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

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

Guided self-organizationInception / by: (Electronic resources)

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

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

Alan Turinghis work and impact / by: (Electronic resources)

Linear discrete parabolic problems by: (Electronic resources)

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

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

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

Numbers and computers by: (Electronic resources)

Optimization of logistics by: (Electronic resources)

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

Parameterized algorithms by: (Electronic resources)

Foundation mathematics for computer sciencea visual approach / by: (Electronic resources)

Introduction to concurrency theorytransition systems and CCS / by: (Electronic resources)

Special topics in mathematics for computer scientistssets, categories, topologies and measures / 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 computing17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (Electronic resources)

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

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

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

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

Advances in cryptology - ASIACRYPT 201521st 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 201521st 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 discretelyinteger-point enumeration in polyhedra / by: (Electronic resources)

An introduction to catalan numbers by: (Electronic resources)

The mathematics of medical imaginga beginner's guide / by: (Electronic resources)

Learning MATLABa problem solving approach / by: (Electronic resources)

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

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

Introduction to lattice theory with computer science applications / by: (Language materials, printed)

Modern computer algebra / by: (Language materials, printed)

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

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

Limits of computationfrom a programming perspective / by: (Electronic resources)

Turing computabilitytheory and applications / by: (Electronic resources)

Dynamics of number systemscomputation with arbitrary precision / by: (Electronic resources)

Generalized connectivity of graphs by: (Electronic resources)

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

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

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

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

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

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

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

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

Music through Fourier spacediscrete Fourier transform in music theory / by: (Electronic resources)

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

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

Aesthetics and neurosciencescientific and artistic perspectives / by: (Electronic resources)

Discrete calculusmethods for counting / by: (Electronic resources)

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

Exact analysis of discrete data / by: (Language materials, printed)

Algorithmic combinatorics on partial words / by: (Language materials, printed)

Numbers and computers / by: (Language materials, printed)

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

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

Emergent computationa festschrift for Selim G. Akl / by: (Electronic resources)

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

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

Numbers and computers by: (Electronic resources)

Applied logic for computer scientistscomputational deduction and formal proofs / by: (Electronic resources)

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

Models of computation by: (Electronic resources)

Introduction to morphogenetic computing by: (Electronic resources)

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

Mathematics for computer graphics by: (Electronic resources)

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

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

A journey through discrete mathematicsa tribute to Jiri Matousek / by: (Electronic resources)

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

Math for the digital factory by: (Electronic resources)

Linear programming using MATLAB 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)

Improving service level engineeringan intuitionistic fuzzy approach / by: (Electronic resources)

Recent developments in metaheuristics by: (Electronic resources)

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

Innovative computing, optimization and its applicationsmodelling and simulations / by: (Electronic resources)

Teaching and learning discrete mathematics worldwidecurriculum and research / by: (Electronic resources)

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

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

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

Clinical rehabilitation experience utilizing serious gamesrehabilitation 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 timesthe use of the α-point / by: (Electronic resources)

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

Proofs from THE BOOK by: (Electronic resources)

The discrete math workbooka companion manual for practical study / by: (Electronic resources)

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

Imaginary mathematics for computer science by: (Electronic resources)

Scientific computinga historical perspective / by: (Electronic resources)

Mathematics and computingICMC 2018, Varanasi, India, January 9-11, Selected Contributions / by: (Electronic resources)

Analysis for computer scientistsfoundations, methods, and algorithms / by: (Electronic resources)

Combinatorial algorithms26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, revised selected papers / by: (Electronic resources)

Foundations of discrete mathematics with algorithms and programming / by: (Language materials, printed)

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

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

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

Innovative algorithms and analysis by: (Electronic resources)

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

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

Cellular automata and discrete complex systems24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018 : proceedings / by: (Electronic resources)

Foundation mathematics for computer sciencea visual approach / by: (Electronic resources)

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

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

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

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

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

Mathematical theory of advanced computing by: (Electronic resources)

Monte Carlo methods by: (Electronic resources)

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

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

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

The discrete math workbooka companion manual using python / by: (Electronic resources)

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

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

Differential geometry and lie groupsa second course / by: (Electronic resources)

The algorithm design manual by: (Electronic resources)

Algorithms and architectures for parallel processing20th 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 examplea fast and practical approach to learning GNU Octave / by: (Electronic resources)

Artificial mathematical intelligencecognitive, (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 basesanalysis, algorithms, and applications / by: (Electronic resources)

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

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

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

Discrete mathematics and applications by: (Electronic resources)

Computational mathematics and applications by: (Electronic resources)

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

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

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

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

DUNEthe 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 astronomyfirst International Conference, MMLA 2019, Bangalore, India, November 22-23, 2019 : revised selected papers / by: (Electronic resources)

Mean field gamesCetraro, Italy 2019 / by: (Electronic resources)

Monte Carlo methods / by: (Language materials, printed)

Discrete mathematics and graph theory :a concise study companion and guide / by: (Language materials, printed)

Statics and influence functionsfrom a modern perspective / by: (Electronic resources)

Computational methods for deep learningtheoretic, practice and applications / by: (Electronic resources)

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

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

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

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

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

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

Computer algebraan algorithm-oriented introduction / by: (Electronic resources)

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

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

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

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

The physics of computing by: (Electronic resources)

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

Introduction to computationHaskell, logic and automata / by: (Electronic resources)

Statistics for data scientists :an introduction to probability, statistics, and data analysis / by: (Language materials, printed)

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

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

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

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

Algebraic approach to data processingtechniques and applications / by: (Electronic resources)

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

Essential math for data science :take control of your data with fundamental linear algebra, probability, and statistics / by: (Language materials, printed)

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

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

Foundation mathematics for computer sciencea visual approach / by: (Electronic resources)

Computational methods based on peridynamics and nonlocal operatorstheory and applications / by: (Electronic resources)

Difference matrices for ODE and PDEa MATLAB® companion / by: (Electronic resources)

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

Mathematical foundations of data science by: (Electronic resources)

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

Engineering applications of modern metaheuristics by: (Electronic resources)

Mathematics for computer scientistsa practice-oriented approach / by: (Electronic resources)

Computational methods for deep learningtheory, algorithms, and implementations / by: (Electronic resources)

Programs as diagramsfrom categorical computability to computable categories / by: (Electronic resources)

Computability and complexityfoundations and tools for pursuing scientific applications / by: (Electronic resources)

Structures of computinga guide to practice-oriented theory / by: (Electronic resources)

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

Foundation mathematics for computer sciencea visual approach / by: (Electronic resources)

Python arithmeticthe informational nature of numbers / by: (Electronic resources)

Mathematical foundations of quantum computing :a scaffolding approach / by: (Language materials, printed)

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

Math for data science by: (Electronic resources)

Maths for computinga beginner's guide / by: (Electronic resources)

Numbers and computers by: (Electronic resources)

Category theory using Haskellan introduction with Moggi and Yoneda / by: (Electronic resources)

Introduction to lattice algebrawith applications in AI, pattern recognition, image analysis, and biomimetic neural networks / by: (Electronic resources)