Computer science - Mathematics.
Overview
| Works: | 167 works in 131 publications in 131 languages | |
|---|---|---|
Titles
Simple type theory = a practical logic for expressing and reasoning about mathematical ideas /
by:
(Language materials, printed)
Category theory using Haskell = an introduction with Moggi and Yoneda /
by:
(Language materials, printed)
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)
Efficient solving of large arithmetic constraint systems with complex Boolean structure = proof engines for the analysis of hybrid discrete-continuous systems /
by:
(Language materials, printed)
Analysis for computer scientists = foundations, methods, and algorithms /
by:
(Language materials, printed)
Logic and games on automatic structures = playing with quantifiers and decompositions /
by:
(Language materials, printed)
Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement /
by:
(Language materials, printed)
Knowing, reasoning, and acting : = essays in honour of Hector J. Levesque /
by:
(Language materials, printed)
Cryptography and coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Computing the continuous discretely = integer-point enumeration in polyhedra /
by:
(Language materials, printed)
Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
by:
(Language materials, printed)
Geometric science of information = second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings /
by:
(Language materials, printed)
Internet of vehicles - safe and intelligent mobility = second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings /
by:
(Language materials, printed)
Progress in cryptology - INDOCRYPT 2015 = 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015 : proceedings /
by:
(Language materials, printed)
Turing's revolution = the impact of his ideas about computability /
by:
(Language materials, printed)
Special topics in mathematics for computer scientists = sets, categories, topologies and measures /
by:
(Language materials, printed)
Structural information and communication complexity = 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015 : post-proceedings /
by:
(Language materials, printed)
Hybrid algorithms for service, computing and manufacturing systems = routing and scheduling solutions /
by:
(Language materials, printed)
Advances in applied mathematics, modeling, and computational science
by:
(Language materials, printed)
Fundamentals of discrete math for computer science = a problem-solving primer /
by:
(Language materials, printed)
Mathematics in computing = an accessible guide to historical, foundational and application contexts /
by:
(Language materials, printed)
Digital functions and data reconstruction = Digital-Discrete Methods /
by:
(Language materials, printed)
An introduction to modern mathematical computing = with Mathematica /
by:
(Language materials, printed)
Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(Language materials, printed)
In search of elegance in the theory and practice of computation = essays dedicated to Peter Buneman /
by:
(Language materials, printed)
Transactions on computational science XX = special issue on Voronoi diagrams and their applications /
by:
(Language materials, printed)
Ricci flow for shape analysis and surface registration = theories, algorithms and applications /
by:
(Language materials, printed)
Numerical and symbolic scientific computing = progress and prospects /
by:
(Language materials, printed)
Foundations of algebraic specification and formal software development
by:
(Language materials, printed)
Rough sets = selected methods and applications in management and engineering /
by:
(Language materials, printed)
Applications of algebra to communications, control, and signal processing
by:
(Language materials, printed)
Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
by:
(Language materials, printed)
Proofs, categories and computations : = essays in honor of Grigori Mints /
by:
(Language materials, printed)
Qualitative computing = a computational journey into nonlinearity /
by:
(Language materials, printed)
Advances in research methods for information systems research = data mining, data envelopment analysis, value focused thinking /
by:
(Language materials, printed)
Health care provision and patient mobility = health integration in the European Union /
by:
(Language materials, printed)
Intelligent routines II = solving linear algebra and differential geometry with Sage /
by:
(Language materials, printed)
A polynomial translation of mobile ambients into safe petri nets = understanding a calculus of hierarchical protection domains /
by:
(Language materials, printed)
Dynamics of number systems = computation with arbitrary precision /
by:
(Language materials, printed)
Programming for computations - Python = a gentle introduction to numerical simulations with Python /
by:
(Language materials, printed)
Programming for computations - MATLAB/Octave = a gentle introduction to numerical simulations with MATLAB/Octave /
by:
(Language materials, printed)
Concise guide to computing foundations = core concepts and select scientific applications /
by:
(Language materials, printed)
Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications /
by:
(Language materials, printed)
Cool math for hot music = a first introduction to mathematics for music theorists /
by:
(Language materials, printed)
Music through Fourier space = discrete Fourier transform in music theory /
by:
(Language materials, printed)
All about music = the complete ontology: realities, semiotics, communication, and embodiment /
by:
(Language materials, printed)
Discrete and computational geometry and graphs = 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015 : revised selected papers /
by:
(Language materials, printed)
Aesthetics and neuroscience = scientific and artistic perspectives /
by:
(Language materials, printed)
A journey through discrete mathematics = a tribute to Jiri Matousek /
by:
(Language materials, printed)
Scientific computing and algorithms in industrial simulations = projects and products of Fraunhofer SCAI /
by:
(Language materials, printed)
The mathematical-function computation handbook = programming using the MathCW portable software library /
by:
(Language materials, printed)
Recent progress and modern challenges in applied mathematics, modeling and computational science
by:
(Language materials, printed)
Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches
by:
(Language materials, printed)
Clinical rehabilitation experience utilizing serious games = rehabilitation technology and a technical concept for health data collection /
by:
(Language materials, printed)
An excursion through elementary mathematics.. Volume III,. Discrete mathematics and polynomial algebra
by:
(Language materials, printed)
Machine scheduling to minimize weighted completion times = the use of the α-point /
by:
(Language materials, printed)
Fundamentals of discrete math for computer science = a problem-solving primer /
by:
(Language materials, printed)
The discrete math workbook = a companion manual for practical study /
by:
(Language materials, printed)
Modern discrete mathematics and analysis = with applications in cryptography, information systems and modeling /
by:
(Language materials, printed)
Mathematics and computing = ICMC 2018, Varanasi, India, January 9-11, Selected Contributions /
by:
(Language materials, printed)
Analysis for computer scientists = foundations, methods, and algorithms /
by:
(Language materials, printed)
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
(Language materials, printed)
Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday /
by:
(Language materials, printed)
Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
(Language materials, printed)
Discrete probability models and methods = probability on graphs and trees, Markov chains and random fields, entropy and coding /
by:
(Language materials, printed)
Applied logic for computer scientists = computational deduction and formal proofs /
by:
(Language materials, printed)
Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 1 Foundations = A Monograph Based on Articles of the Founding Authors, Reproduced in Full /
by:
(Language materials, printed)
Introduction to lattice algebra : = with applications in AI, pattern recognition, image analysis, and biomimetic neural networks /
by:
(Language materials, printed)
Mathematics for computer scientists = a practice-oriented approach /
by:
(Language materials, printed)
Computational methods for deep learning = theory, algorithms, and implementations /
by:
(Language materials, printed)
Programs as diagrams = from categorical computability to computable categories /
by:
(Language materials, printed)
Show more
Fewer
Subjects