Computer science - Mathematics.
Overview
| Works: | 284 works in 189 publications in 189 languages | |
|---|---|---|
Titles
The limits of mathematics : = a course on information theory and limits of formal reasoning /
by:
(Language materials, printed)
Physics and theoretical computer science = from numbers and languages to (quantum) cryptography security /
by:
(Language materials, printed)
Applications of algebra to communications, control, and signal processing
by:
(Electronic resources)
Semantics of the probabilistic typed lambda calculus = Markov chain semantics, termination behavior, and denotational semantics /
by:
(Electronic resources)
Innovative computing, optimization and its applications = modelling and simulations /
by:
(Electronic resources)
Clinical rehabilitation experience utilizing serious games = rehabilitation technology and a technical concept for health data collection /
by:
(Electronic resources)
Monotonicity in markov reward and decision chains = theory and applications /
by:
(Electronic resources)
An introduction to discrete mathematics, formal system specification, and Z /
by:
(Language materials, printed)
Logic and discrete mathematics : = a computer science perspective /
by:
(Language materials, printed)
Discrete and combinatorial mathematics : = an applied introduction /
by:
(Language materials, printed)
Geometric algebra for computer science : = an object-oriented approach to geometry /
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)
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)
Monotonicity in markov reward and decision chains = theory and applications /
by:
(Language materials, printed)
Foundations of logic and mathematics : = applications to computer science and cryptography /
by:
(Language materials, printed)
Automata, languages and programming = 29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings /
by:
(Language materials, printed)
Discrete calculus = applied analysis on graphs for computational science /
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)
Rough sets = selected methods and applications in management and engineering /
by:
(Electronic resources)
Hybrid algorithms for service, computing and manufacturing systems = routing and scheduling solutions /
by:
(Language materials, printed)
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)
Computing the continuous discretely = integer-point enumeration in polyhedra /
by:
(Electronic resources)
A polynomial translation of mobile ambients into safe petri nets = understanding a calculus of hierarchical protection domains /
by:
(Electronic resources)
Programming for computations - Python = a gentle introduction to numerical simulations with Python /
by:
(Electronic resources)
Programming for computations - MATLAB/Octave = a gentle introduction to numerical simulations with MATLAB/Octave /
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)
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)
Recent progress and modern challenges in applied mathematics, modeling and computational science
by:
(Electronic resources)
Scientific computing and algorithms in industrial simulations = projects and products of Fraunhofer SCAI /
by:
(Electronic resources)
Introduction to cutting and packing optimization = problems, modeling approaches, solution methods /
by:
(Electronic resources)
Teaching and learning discrete mathematics worldwide = curriculum and research /
by:
(Electronic resources)
Fundamentals of discrete math for computer science = a problem-solving primer /
by:
(Electronic resources)
Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday /
by:
(Electronic resources)
Programming for computations = Python : a gentle introduction to numerical simulations with Python 3.6 /
by:
(Electronic resources)
Discrete and combinatorial mathematics : = an applied introduction /
by:
(Language materials, printed)
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)
An excursion through elementary mathematics.. Volume III,. Discrete mathematics and polynomial algebra
by:
(Electronic resources)
Approximation and online algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, revised selected papers /
by:
(Electronic resources)
Computational and experimental simulations in engineering = proceedings of ICCES 2020.. Volume 2 /
by:
(Electronic resources)
Approximation and online algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020 : revised selected papers /
by:
(Electronic resources)
Understand mathematics, understand computing = discrete mathematics that all computing students should know /
by:
(Electronic resources)
Topological methods in data analysis and visualization. = theory, algorithms, and applications /. V
by:
(Electronic resources)
Discrete mathematics : = graph algorithms, algebraic structures, coding theory, and cryptography /
by:
(Language materials, printed)
Foundations in discrete mathematics, algorithms and polynomial approximations /
by:
(Language materials, printed)
Introduction to lattice algebra = with applications in AI, pattern recognition, image analysis, and biomimetic neural networks /
by:
(Electronic resources)
Discrete structures : = an introduction to mathematics for computer science /
by:
(Language materials, printed)
Discrete mathematics : = mathematical reasoning and proof with puzzles, patterns, and games /
by:
(Language materials, printed)
Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
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)
Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(Electronic resources)
Advances in research methods for information systems research = data mining, data envelopment analysis, value focused thinking /
by:
(Electronic resources)
Health care provision and patient mobility = health integration in the European Union /
by:
(Electronic resources)
Intelligent routines II = solving linear algebra and differential geometry with Sage /
by:
(Electronic resources)
Computing with new resources = essays dedicated to Jozef Gruska on the occasion of his 80th birthday /
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)
Cryptography and coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings /
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)
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)
Advances in unconventional computing.. Volume 2,. Prototypes, models and algorithms
by:
(Electronic resources)
Discrete probability models and methods = probability on graphs and trees, Markov chains and random fields, entropy and coding /
by:
(Electronic resources)
Applied logic for computer scientists = computational deduction and formal proofs /
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)
Machine scheduling to minimize weighted completion times = the use of the α-point /
by:
(Electronic resources)
Modern discrete mathematics and analysis = with applications in cryptography, information systems and modeling /
by:
(Electronic resources)
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma 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)
Continuum mechanics, applied mathematics and scientific computing = Godunov's legacy : a liber amicorum to Professor Godunov /
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)
Communications and networking = 15th EAI International Conference, ChinaCom 2020, Shanghai, China, November 20-21, 2020 : proceedings /
by:
(Electronic resources)
Mathematical modeling, computational intelligence techniques and renewable energy = proceedings of the First International Conference, MMCITRE 2020 /
by:
(Electronic resources)
Applied mathematics and computational mechanics for smart applications = proceedings of AMMAI 2020 /
by:
(Electronic resources)
Probability in electrical engineering and computer science = an application-driven course /
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)
Fields of logic and computation III = essays dedicated to Yuri Gurevich on the the occasion of his 80th birthday /
by:
(Electronic resources)
Artificial mathematical intelligence = cognitive, (meta)mathematical, physical and philosophical foundations /
by:
(Electronic resources)
An introduction to element-based Galerkin methods on tensor-product bases = analysis, algorithms, and applications /
by:
(Electronic resources)
Mathematical modelling in real life problems = case studies from ECMI-Modelling Weeks /
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)
Modeling, machine learning and astronomy = first International Conference, MMLA 2019, Bangalore, India, November 22-23, 2019 : revised selected papers /
by:
(Electronic resources)
Chance in physics, computer science and philosophy = chance as the foundation of the world /
by:
(Electronic resources)
Approximation and online algorithms = International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021 : revised selected papers /
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)
Computational methods based on peridynamics and nonlocal operators = theory and applications /
by:
(Electronic resources)
Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy = proceedings of the third international conference, MMCITRE 2022 /
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)
Model theory, computer science, and graph polynomials = festschrift in honor of Johann A. Makowsky /
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)
Computational methods for deep learning = theoretic, practice and applications /
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)
GNU Octave by example = a fast and practical approach to learning GNU Octave /
by:
(Electronic resources)
Simple type theory = a practical logic for expressing and reasoning about mathematical ideas /
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)
Computability and complexity = foundations and tools for pursuing scientific applications /
by:
(Electronic resources)
Simple type theory = a practical logic for expressing and reasoning about mathematical ideas /
by:
(Electronic resources)
Show more
Fewer
Subjects