Mathematical Applications in Computer Science.

TransMath = innovative solutions from mathematical technology / by: (Electronic resources)

Resilience assessment and evaluation of computing systems by: (Electronic resources)

Gravitational wave detection and data analysis for pulsar timing arrays by: (Electronic resources)

Algorithms for sparsity-constrained optimization by: (Electronic resources)

Computational intelligence, cyber security and computational models = proceedings of ICC3, 2013 / by: (Electronic resources)

Simulations, serious games and their applications by: (Electronic resources)

Modelling and simulation of diffusive processes = methods and applications / by: (Electronic resources)

Clusters, orders, and trees = methods and applications : in honor of Boris Mirkin's 70th birthday / by: (Electronic resources)

Testing and validation of computer simulation models = principles, methods and applications / by: (Electronic resources)

Imprecision and uncertainty in information representation and processing = new tools based on intuitionistic fuzzy sets and generalized nets / by: (Electronic resources)

Computational intelligence, cyber security and computational models = proceedings of ICC3 2015 / by: (Electronic resources)

The structure and stability of persistence modules by: (Electronic resources)

Advances in stochastic and deterministic global optimization by: (Electronic resources)

Optimization techniques in computer vision = ill-posed problems and regularization / by: (Electronic resources)

Information theory and coding - solved problems by: (Electronic resources)

Introduction to morphogenetic computing by: (Electronic resources)

New trends and advanced methods in interdisciplinary mathematical sciences by: (Electronic resources)

Applications of computer algebra = Kalamata, Greece, July 20-23 2015 / by: (Electronic resources)

Non-convex multi-objective optimization by: (Electronic resources)

Meaning and proscription in formal logic = variations on the propositional logic of William T. Parry / by: (Electronic resources)

Content-cased image retrieval = ideas, influences, and current trends / by: (Electronic resources)

Sustainable logistics and transportation = optimization models and algorithms / by: (Electronic resources)

Combinatorial and Additive Number Theory II = CANT, New York, NY, USA, 2015 and 2016 / by: (Electronic resources)

Propagation of multidimensional nonlinear waves and kinematical conservation laws by: (Electronic resources)

Crossbar-based interconnection networks = blocking, scalability, and reliability / by: (Electronic resources)

Nonlinear Eigenproblems in image processing and computer vision by: (Electronic resources)

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

Do colors exist? = and other profound physics questions / by: (Electronic resources)

Relational topology by: (Electronic resources)

Planetary spacecraft navigation by: (Electronic resources)

Applying fuzzy logic for the digital economy and society by: (Electronic resources)

Notes from the International Autumn School on Computational Number Theory by: (Electronic resources)

Fractal dimension for fractal structures = with applications to finance / by: (Electronic resources)

Shapes and diffeomorphisms by: (Electronic resources)

Linear algebra and group theory for physicists and engineers by: (Electronic resources)

Combinatorial and Additive Number Theory III = CANT, New York, USA, 2017 and 2018 / by: (Electronic resources)

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

Handbook of variational methods for nonlinear geometric data by: (Electronic resources)

Mathematical software - ICMS 2020 = 7th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings / by: (Electronic resources)

Parallel algorithms in computational science and engineering by: (Electronic resources)

Elderly health services and remote health monitoring by: (Electronic resources)

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

Advanced computing in industrial mathematics = 13th Annual Meeting of the Bulgarian Section of SIAM, December 18-20, 2018, Sofia, Bulgaria, revised selected papers / by: (Electronic resources)

Pyomo - optimization modeling in Python by: (Electronic resources)

Matheuristics = algorithms and implementations / by: (Electronic resources)

Introduction to continuous optimization by: (Electronic resources)

Compressed sensing and its applications = third International MATHEON Conference 2017 / by: (Electronic resources)

Algorithmic combinatorics = enumerative combinatorics, special functions and computer algebra : in honour of Peter Paule on his 60th birthday / by: (Electronic resources)

Mathematical research for blockchain economy = 2nd International Conference MARBLE 2020, Vilamoura, Portugal / by: (Electronic resources)

New trends in computational vision and bio-inspired computing = selected works presented at the ICCVBIC 2018, Coimbatore, India / by: (Electronic resources)

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

Mathematical optimization theory and operations research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5-10, 2021 : proceedings / by: (Electronic resources)

Quaternions for computer graphics by: (Electronic resources)

Recent trends in mathematical modeling and high performance computing = M3HPCST-2020, Ghaziabad, India, January 9-11, 2020 / by: (Electronic resources)

Well packed - not a bit too much = compression of digital data explained in an understandable way / by: (Electronic resources)

Stability analysis of regenerative queueing models = mathematical methods and applications / by: (Electronic resources)

Mathematical optimization theory and operations research = recent trends : 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5-10, 2021 : revised selected papers / by: (Electronic resources)

Computational diffusion MRI = International MICCAI Workshop, Lima, Peru, October 2020 / by: (Electronic resources)

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

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

Optimization and applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021 : proceedings / by: (Electronic resources)

Advances in data science by: (Electronic resources)

High performance computing in science and engineering '20 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2020 / by: (Electronic resources)

Trends in mathematical, information and data sciences = a tribute to Leandro Pardo / by: (Electronic resources)

Application of gray system theory in fishery science by: (Electronic resources)

Why cryptography should not rely on physical attack complexity by: (Electronic resources)

Feistel ciphers = security proofs and cryptanalysis / by: (Electronic resources)

Computer vision for driver assistance = simultaneous traffic and driver monitoring / by: (Electronic resources)

Introduction to Mathematica with applications by: (Electronic resources)

Computer simulation validation = fundamental concepts, methodological frameworks, and philosophical perspectives / by: (Electronic resources)

Mathematical optimization theory and operations research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, proceedings / by: (Electronic resources)

Advances in optimization and applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020 : revised selected papers / by: (Electronic resources)

Women in numbers Europe IV = research directions in number theory / by: (Electronic resources)

Trends and challenges in cognitive modeling = an interdisciplinary approach towards thinking, memory, and decision-making simulations / by: (Electronic resources)

Advanced computing in industrial mathematics = 18th Annual Meeting of the Bulgarian Section of SIAM December 11-13, 2023, Sofia, Bulgaria : revised selected papers / by: (Electronic resources)

Mathematics for computer graphics by: (Electronic resources)

Playful user interfaces = interfaces that invite social and physical interaction / by: (Electronic resources)

Geometrical multiresolution adaptive transforms = theory and applications / by: (Electronic resources)

Topical Directions of Informatics = In Memory of V. M. Glushkov / by: (Electronic resources)

Geometric theory of information by: (Electronic resources)

Mathematical progress in expressive image synthesis I = extended and selected results from the Symposium MEIS2013 / by: (Electronic resources)

Geometry and its applications by: (Electronic resources)

Input modeling with phase-type distributions and Markov models = theory and applications / by: (Electronic resources)

Abstract algebra = structure and application / by: (Electronic resources)

Stability of the turnpike phenomenon in discrete-time optimal control problems by: (Electronic resources)

Mathematics and computing 2013 = International Conference in Haldia, India / by: (Electronic resources)

Homomorphic encryption and applications by: (Electronic resources)

Applied asset and risk management = a guide to modern portfolio management and behavior-driven markets / by: (Electronic resources)

Automata, universality, computation = tribute to Maurice Margenstern / by: (Electronic resources)

Shape reconstruction from apparent contours = theory and algorithms / by: (Electronic resources)

Channel coding techniques for wireless communications by: (Electronic resources)

Geometry, mechanics, and dynamics = the legacy of Jerry Marsden / by: (Electronic resources)

More playful user interfaces = interfaces that invite social and physical interaction / by: (Electronic resources)

Handbook of mathematical methods in imaging by: (Electronic resources)

Research in shape modeling = Los Angeles, July 2013 / by: (Electronic resources)

Correct software in web applications and web services by: (Language materials, printed)

Mathematical progress in expressive image synthesis II = extended and selected results from the Symposium MEIS2014 / by: (Language materials, printed)

Fundamentals of Hopf algebras by: (Language materials, printed)

Mathematics and computing = ICMC, Haldia, India, January 2015 / by: (Language materials, printed)

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

Mathematical technology of networks = Bielefeld, December 2013 / by: (Electronic resources)

An introduction to catalan numbers by: (Electronic resources)

A user's guide to network analysis in R by: (Electronic resources)

An introduction to optimal satellite range scheduling by: (Electronic resources)

Information geometry and its applications by: (Electronic resources)

Directed algebraic topology and concurrency by: (Electronic resources)

Mathematical progress in expressive image synthesis III = selected and extended results from the symposium MEIS2015 / by: (Electronic resources)

Optimization and applications in control and data sciences = in honor of Boris T. Polyak's 80th Birthday / by: (Electronic resources)

Local features in natural images via singularity theory by: (Electronic resources)

Big data technologies and applications by: (Electronic resources)

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

Algorithmic advances in Riemannian geometry and applications = for machine learning, computer vision, statistics, and optimization / by: (Electronic resources)

Matrix and tensor factorization techniques for recommender systems by: (Electronic resources)

High performance computing in science and engineering '16 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2016 / by: (Electronic resources)

Handbook of digital games and entertainment technologies by: (Electronic resources)

Playable cities = the city as a digital playground / by: (Electronic resources)

Granular, soft and fuzzy approaches for intelligent systems = dedicated to Professor Ronald R. Yager / by: (Electronic resources)

Network games, control, and optimization = proceedings of NETGCOOP 2016, Avignon, France / by: (Electronic resources)

Operations research, engineering, and cyber security = trends in applied mathematics and technology / by: (Electronic resources)

Mathematics for computer graphics by: (Electronic resources)

Deep learning for biometrics by: (Electronic resources)

Concise guide to formal methods = theory, fundamentals and industry applications / by: (Electronic resources)

Rendezvous in distributed systems = theory, algorithms and applications / by: (Electronic resources)

Algorithmic and geometric topics around free groups and automorphisms by: (Electronic resources)

Algebraic geometry for coding theory and cryptography = IPAM, Los Angeles, CA, February 2016 / by: (Electronic resources)

High performance computing in science and engineering ' 17 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2017 / by: (Electronic resources)

On the learnability of physically unclonable functions by: (Electronic resources)

Stability and control of nonlinear time-varying systems by: (Electronic resources)

Applied mathematics and computational intelligence by: (Electronic resources)

Playful disruption of digital media by: (Electronic resources)

Machine learning = a practical approach on the statistical learning theory / by: (Electronic resources)

Mathematical insights into advanced computer graphics techniques by: (Electronic resources)

Advanced computing in industrial mathematics = 12th Annual Meeting of the Bulgarian Section of SIAM December 20-22, 2017, Sofia, Bulgaria revised selected papers / by: (Electronic resources)

Network games, control, and optimization = proceedings of NETGCOOP 2018, New York, NY / by: (Electronic resources)

Calculus for computer graphics by: (Electronic resources)

Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) = Transcending Boundaries, Embracing Multidisciplinary Diversities / by: (Electronic resources)

High performance computing in science and engineering '18 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018 / by: (Electronic resources)

Applied mathematical analysis = theory, methods, and applications / by: (Electronic resources)

Making smart cities more playable = exploring playable cities / by: (Electronic resources)

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

Pairwise comparisons method = theory and applications in decision making / by: (Electronic resources)

Pattern recognition techniques applied to biomedical problems by: (Electronic resources)

Deep learning architectures = a mathematical approach / by: (Electronic resources)

Unsupervised learning in space and time = a modern approach for computer vision using graph-based techniques and deep neural networks / by: (Electronic resources)

Research in data science by: (Electronic resources)

Mathematical structures of ergodicity and chaos in population dynamics by: (Electronic resources)

Recent advances in numerical methods for hyperbolic PDE systems = NumHyp 2019 / by: (Electronic resources)

High performance computing in science and engineering '19 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2019 / by: (Electronic resources)

Maple in mathematics education and research = 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020 : revised selected papers / by: (Electronic resources)

Systems, patterns and data engineering with geometric calculi by: (Electronic resources)

Geometric structures of statistical physics, information geometry, and learning = SPIGL'20, Les Houches, France, July 27-31 / by: (Electronic resources)

Mathematical control and numerical applications = JANO13, Khouribga, Morocco, February 22-24, 2021 / by: (Electronic resources)

An introduction to computational origami by: (Electronic resources)

Analytical and stochastic modelling techniques and applications = 25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019 : proceedings / by: (Electronic resources)

Optimization and applications = 11th international conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, proceedings / by: (Electronic resources)

Computational engineering - introduction to numerical methods by: (Electronic resources)

Algorithmic decision making with Python resources = from multicriteria performance records to decision algorithms via bipolar-valued outranking digraphs / by: (Electronic resources)

Large-scale scientific computing = 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7-11, 2021 : revised selected papers / by: (Electronic resources)

Building and solving mathematical programming models = 50 practical examples / by: (Electronic resources)

Mathematics for computer graphics by: (Electronic resources)

Statistics in the public interest = in memory of Stephen E. Fienberg / by: (Electronic resources)

A topology of mind = spiral thought patterns, the hyperlinking of text, ideas and more / by: (Electronic resources)

Large-scale simultaneous localization and mapping by: (Electronic resources)

Alternating direction method of multipliers for machine learning by: (Electronic resources)

Information technologies and mathematical modelling = queueing theory and applications : 20th international Conference, ITMM 2021, named after A.F. Terpugov, Tomsk, Russia, December 1-5, 2021 : revised selected papers / by: (Electronic resources)

Geometric challenges in isogeometric analysis by: (Electronic resources)

Mathematical optimization theory and operations research: recent trends = 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2-6, 2022 : revised selected papers / by: (Electronic resources)

Engineering mathematics and computing by: (Electronic resources)

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

Mathematical research for blockchain economy = 3rd International Conference MARBLE 2022, Vilamoura, Portugal / by: (Electronic resources)

Understanding behaviour of distributed systems using mCRL2 by: (Electronic resources)

Advanced computing in industrial mathematics = 15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria : revised selected papers / by: (Electronic resources)

Linear algebra and group theory for physicists and engineers by: (Electronic resources)

High performance computing in science and engineering '21 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2021 / by: (Electronic resources)

Advances in pairwise comparisons = detection, evaluation and reduction of inconsistency / by: (Electronic resources)

Mathematical foundations of data science by: (Electronic resources)

Calculus for computer graphics by: (Electronic resources)

The digital twin by: (Electronic resources)

Advanced Boolean techniques = selected papers from the 15th International Workshop on Boolean Problems / by: (Electronic resources)

Advances in numerical methods for hyperbolic balance laws and related problems by: (Electronic resources)

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

Mathematical optimization theory and operations research = recent trends : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023 : revised selected papers / by: (Electronic resources)

Tropical circuit complexity = limits of pure dynamic programming / by: (Electronic resources)

Optimization and applications = 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023 : revised selected papers / by: (Electronic resources)

Numerical fourier analysis by: (Electronic resources)

Mathematical software - ICMS 2024 = 8th International Conference, Durham, UK, July 22-25, 2024 : proceedings / by: (Electronic resources)

Mathematical optimization theory and operations research = recent trends : 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30 - July 6, 2024 : revised selected papers / by: (Electronic resources)

Advanced computing in industrial mathematics = 16th Annual Meeting of the Bulgarian Section of SIAM, December 21-23, 2021, Sofia, Bulgaria : revised selected papers / by: (Electronic resources)

Handbook of heuristics by: (Electronic resources)

New trends of mathematical inverse problems and applications = ICNTAM 2022, Beni Mellal, Morocco, May 19-21 / by: (Electronic resources)

Normalization of multidimensional data for multi-criteria decision making problems = inversion, displacement, asymmetry / by: (Electronic resources)

Non-associative algebras and related topics = NAART II, Coimbra, Portugal, July 18-22, 2022 / by: (Electronic resources)

Advanced computing in industrial mathematics = 14th Annual Meeting of the Bulgarian Section of SIAM December 17-19, 2019, Sofia, Bulgaria : revised selected papers / by: (Electronic resources)

Foundation mathematics for science and engineering students by: (Electronic resources)

Advances in optimization and applications = 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023 : revised selected papers / by: (Electronic resources)

Logic circuit design = selected topics and methods / by: (Electronic resources)

Advanced computational applications of geometric algebra = first International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022 : proceedings / by: (Electronic resources)

Foundations of vector retrieval by: (Electronic resources)

High Performance Computing in Science and Engineering '22 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2022 / by: (Electronic resources)

Computational stochastic programming = models, algorithms, and implementation / by: (Electronic resources)

Text and math into LaTeX by: (Electronic resources)

Topics on combinatorial semigroups by: (Electronic resources)

Logics and type systems in theory and practice = essays dedicated to Herman Geuvers on the occasion of his 60th birthday / by: (Electronic resources)

Large-scale scientific computations = 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023 : revised selected papers / by: (Electronic resources)

Accelerating discoveries in data science and artificial intelligence II = ICDSAI 2023, LIET Vizianagaram, India, April 24-25 / by: (Electronic resources)

Linear algebra in data science by: (Electronic resources)

Combinatorics, graph theory and computing = SEICCGTC 2021, Boca Raton, USA, March 8-12 / by: (Electronic resources)

R programming = statistical data analysis in research / by: (Electronic resources)

Mathematics in programming by: (Electronic resources)

Mathematics of information = theory and applications of Shannon-Wiener information / by: (Electronic resources)

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

Explorations in the mathematics of data science = the inaugural volume of the Center for Approximation and Mathematical Data Analytics / by: (Electronic resources)

Discrete stochastic processes = tools for machine learning and data science / by: (Electronic resources)

Frontiers of dynamic games = proceedings of the International Conference "Game Theory and Applications" 2022 / by: (Electronic resources)

Decision mathematics, statistical learning and data mining = selected contributions from ICMSCT2023, Manila, Philippines, September 20-21 / by: (Electronic resources)

Basic math for game development with Unity 3D = a beginner's guide to mathematical foundations / by: (Electronic resources)

An introduction to variational calculus = applications in image processing / by: (Electronic resources)

Optimization and applications = 15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024 : revised selected papers / by: (Electronic resources)

Discrete structures by: (Electronic resources)

Advanced computing in industrial mathematics = 17th Annual Meeting of the Bulgarian Section of SIAM, December 20-22, 2022, Sofia, Bulgaria : revised selected papers / by: (Electronic resources)

Graph theory by: (Electronic resources)

Algebra for applications = cryptography, secret sharing, error-correcting, fingerprinting, compression / by: (Electronic resources)

Magical Haskell = a friendly approach to modern functional programming, type theory, and artificial intelligence / by: (Electronic resources)

Functional imaging and modeling of the heart = 13th International Conference, FIMH 2025, Dallas, TX, USA, June 1-5, 2025 : proceedings.. Part II / by: (Electronic resources)

Functional imaging and modeling of the heart = 13th International Conference, FIMH 2025, Dallas, TX, USA, June 1-5, 2025 : proceedings.. Part I / by: (Electronic resources)

Inverse problems for mechanical systems = methods, simulations and experiments / by: (Electronic resources)

Beyond frontiers of operations research = emerging technologies and innovative optimization paradigms : proceedings of the 7th AIROYoung Workshop (February 15-17, 2023, University of Milan, Italy) and 8th AIROYoung Workshop (February 14-16, 2024, University of Calabria, Italy) / by: (Electronic resources)

Scientific computing and software = Go20 CSCS, Marsalforn, Malta, May 22-26, 2023 / by: (Electronic resources)

Planetary spacecraft navigation = general relativity for planetary navigation / by: (Electronic resources)

Mathematics for computer graphics by: (Electronic resources)

Symbolic mathematics with Python by: (Electronic resources)

Federated learning = a primer for mathematicians / by: (Electronic resources)

Data visualization with category theory and geometry = with a critical analysis and refinement of UMAP / by: (Electronic resources)

Advances in Machine Learning and Big Data Analytics II = ICMLBDA 2023, NIT Arunachal Pradesh, India, May 29-30 / by: (Electronic resources)