Computer science - Mathematics.
Overview
Works: | 271 works in 200 publications in 200 languages |
---|
Titles
Introduction to scientific computing :a matrix-vector approach using MATLAB /
by:
(Language materials, printed)
Elementary mathematical and computational tools for electrical and computer engineers using MATLAB /
by:
(Language materials, printed)
Mathematics and computer science :algorithms, trees, combinatorics, and probabilities /
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)
Discrete mathematics :mathematical reasoning and proof with puzzles, patterns, and games /
by:
(Language materials, printed)
An introduction to numerical analysis for electrical and computer engineers /
by:
(Language materials, printed)
Topics in Discrete MathematicsDedicated to Jarik Nesetril on the Occasion of his 60th Birthday /
by:
(Electronic resources)
Physics and theoretical computer sciencefrom numbers and languages to (quantum) cryptography security /
by:
(Electronic resources)
Geometric algebra for computer science :an object-oriented approach to geometry /
by:
(Language materials, printed)
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)
Automata, languages and programming29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings /
by:
(Electronic resources)
Fields of logic and computationessays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
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)
Logic and games on automatic structuresplaying with quantifiers and decompositions /
by:
(Electronic resources)
Algebraic foundations in computer scienceessays dedicated to Symeon Bozapalidis on the occasion of his retirement /
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)
Hybrid algorithms for service, computing and manufacturing systemsrouting and scheduling solutions /
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)
Intelligent routines IIsolving linear algebra and differential geometry with Sage /
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)
Computing with new resourcesessays dedicated to Jozef Gruska on the occasion of his 80th birthday /
by:
(Electronic resources)
Special topics in mathematics for computer scientistssets, categories, topologies and measures /
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)
Computing the continuous discretelyinteger-point enumeration in polyhedra /
by:
(Electronic resources)
Cryptography and coding15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings /
by:
(Electronic resources)
Introduction to lattice theory with computer science applications /
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)
Programming for computations - Pythona gentle introduction to numerical simulations with Python /
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)
Cool math for hot musica first introduction to mathematics for music theorists /
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)
Advances in unconventional computing.Volume 2,Prototypes, models and algorithms
by:
(Electronic resources)
Discrete probability models and methodsprobability on graphs and trees, Markov chains and random fields, entropy and coding /
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)
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)
Scientific computing and algorithms in industrial simulationsprojects and products of Fraunhofer SCAI /
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)
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)
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)
Modern discrete mathematics and analysiswith applications in cryptography, information systems and modeling /
by:
(Electronic resources)
Mathematics and computingICMC 2018, Varanasi, India, January 9-11, Selected Contributions /
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)
Cellular automata and discrete complex systems24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018 : proceedings /
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)
Programming for computationsPython : a gentle introduction to numerical simulations with Python 3.6 /
by:
(Electronic resources)
Fields of logic and computation IIIessays dedicated to Yuri Gurevich on the the occasion of his 80th birthday /
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)
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)
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)
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)
Understand mathematics, understand computingdiscrete mathematics that all computing students should know /
by:
(Electronic resources)
Mathematical modelling in real life problemscase studies from ECMI-Modelling Weeks /
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)
Discrete mathematics and graph theory :a concise study companion and guide /
by:
(Language materials, printed)
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)
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)
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)
Chance in physics, computer science and philosophychance as the foundation of the world /
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)
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)
Essential math for data science :take control of your data with fundamental linear algebra, probability, and statistics /
by:
(Language materials, printed)
Mathematical Modeling, Computational Intelligence Techniques and Renewable Energyproceedings of the third international conference, MMCITRE 2022 /
by:
(Electronic resources)
Computational methods based on peridynamics and nonlocal operatorstheory and applications /
by:
(Electronic resources)
Simple type theorya practical logic for expressing and reasoning about mathematical ideas /
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)
Show more
Fewer
Subjects