#
Computer science -- Mathematics
Resource Information
The concept ** Computer science -- Mathematics** represents the subject, aboutness, idea or notion of resources found in **Boston University Libraries**.

The Resource
Computer science -- Mathematics
Resource Information

The concept

**Computer science -- Mathematics**represents the subject, aboutness, idea or notion of resources found in**Boston University Libraries**.- Label
- Computer science -- Mathematics

- Authority link
- (uri) http://id.loc.gov/authorities/subjects/sh85042295

## Context

Context of Computer science -- Mathematics#### Subject of

- A Discrete Hilbert Transform with Circle Packings
- A Finite Element Primer for Beginners : The Basics
- A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry
- A Graduate Introduction to Numerical Methods : From the Viewpoint of Backward Error Analysis
- A Journey Through Discrete Mathematics : A Tribute to Jiří Matoušek
- A Primer for Undergraduate Research : From Groups and Tiles to Frames and Vaccines
- A Primer on Scientific Programming with Python
- A Semidiscrete Version of the Citti-Petitot-Sarti Model as a Plausible Model for Anthropomorphic Image Reconstruction and Pattern Recognition
- A User’s Guide to Network Analysis in R
- A beginner's guide to discrete mathematics
- Advanced Concepts for Intelligent Vision Systems : 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings
- Advanced Finite Element Methods with Applications : Selected Papers from the 30th Chemnitz Finite Element Symposium 2017
- Advanced Topics in Nonsmooth Dynamics : Transactions of the European Network for Nonsmooth Dynamics
- Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry : 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
- Advances in Combinatorics : Waterloo Workshop in Computer Algebra, W80, May 26-29, 2011
- Advances in Computational Plasticity : A Book in Honour of D. Roger J. Owen
- Advances in Computer Algebra : In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada
- Advances in Computer Games : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
- Advances in Computer Games : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers
- Advances in Cryptology – ASIACRYPT 2016 : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I
- Advances in Cryptology – ASIACRYPT 2016 : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II
- Advances in Cryptology – ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I
- Advances in Cryptology – ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
- Advances in Cryptology – ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III
- Advances in Cryptology – CRYPTO 2016 : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I
- Advances in Cryptology – CRYPTO 2016 : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part II
- Advances in Cryptology – CRYPTO 2016 : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III
- Advances in Cryptology – EUROCRYPT 2016 : 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I
- Advances in Cryptology – EUROCRYPT 2016 : 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II
- Advances in Cryptology – EUROCRYPT 2017 : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I
- Advances in Cryptology – EUROCRYPT 2017 : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part II
- Advances in Cryptology – EUROCRYPT 2017 : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part III
- Advances in Cryptology — CRYPTO '98 : 18th Annual International Cryptology Conference Santa Barbara, California, USA August 23–27, 1998 Proceedings
- Advances in Cryptology — EUROCRYPT 2000 : International Conference on the Theory and Application of Cryptographic Techniques Bruges, Belgium, May 14–18, 2000 Proceedings
- Advances in Cryptology — EUROCRYPT'98 : International Conference on the Theory and Application of Cryptographic Techniques Espoo, Finland, May 31 – June 4, 1998 Proceedings
- Advances in Difference Equations and Discrete Dynamical Systems : ICDEA, Osaka, Japan, July 2016
- Advances in Evolutionary and Deterministic Methods for Design, Optimization and Control in Engineering and Sciences
- Advances in Hydroinformatics : SimHydro 2017 - Choosing The Right Model in Applied Hydraulics
- Advances in Mechanical Engineering : Selected Contributions from the Conference “Modern Engineering: Science and Education”, Saint Petersburg, Russia, June 2016
- Advances in Mechanical Engineering : Selected Contributions from the Conference “Modern Engineering: Science and Education”, Saint Petersburg, Russia, June 2017
- Advances in Principal Component Analysis : Research and Development
- Advances in Robot Kinematics 2016
- Advances in Stochastic and Deterministic Global Optimization
- Alan Turing : his work and impact
- Algebra for Cryptologists
- Algebra for computer science
- Algebra for symbolic computation
- Algebraic Geometry for Coding Theory and Cryptography : IPAM, Los Angeles, CA, February 2016
- Algebraic Modeling of Topological and Computational Structures and Applications : THALES, Athens, Greece, July 1-3, 2015
- Algorithm Engineering : Selected Results and Surveys
- Algorithmic Advances in Riemannian Geometry and Applications : For Machine Learning, Computer Vision, Statistics, and Optimization
- Algorithmic Aspects of Cloud Computing : Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers
- Algorithmic Game Theory : 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings
- Algorithmic and Geometric Topics Around Free Groups and Automorphisms
- Algorithms - ESA’ 99 : 7th Annual European Symposium Prague, Czech Republic, July 16–18, 1999 Proceedings
- Algorithms and Complexity : 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings
- Algorithms and Complexity in Mathematics, Epistemology, and Science : Proceedings of 2015 and 2016 ACMES Conferences
- Algorithms and Computation : 7th International Symposium, ISAAC '96 Osaka, Japan, December 16–18, 1996 Proceedings
- Algorithms and Computation : 9th International Symposium, ISAAC’98 Taejon, Korea, December 14–16, 1998 Proceedings
- Algorithms and Data Structures : 15th International Symposium, WADS 2017, St. John’s, NL, Canada, July 31 – August 2, 2017, Proceedings
- Algorithms and Discrete Applied Mathematics : 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings
- Algorithms and Discrete Applied Mathematics : Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings
- Algorithms and Models for the Web Graph : 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings
- Algorithms for Sensor Systems : 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers
- Algorithms for Sensor Systems : 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers
- Algorithms for Sensor Systems : 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers
- All About Music : The Complete Ontology: Realities, Semiotics, Communication, and Embodiment
- An Accelerated Solution Method for Two-Stage Stochastic Models in Disaster Management
- An Excursion through Elementary Mathematics, Volume III : Discrete Mathematics and Polynomial Algebra
- An Introduction to Data Analysis using Aggregation Functions in R
- An Introduction to Distance Geometry applied to Molecular Geometry
- An Introduction to Optimal Satellite Range Scheduling
- An Overview of the SIGMA Research Project : A European Approach to Seismic Hazard Analysis
- Analysis and Computation of Microstructure in Finite Plasticity
- Analysis of boolean functions
- André-Louis Cholesky : Mathematician, Topographer and Army Officer
- Application and Theory of Petri Nets and Concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
- Application of Soft Computing and Intelligent Methods in Geophysics
- Applications of Computer Algebra : Kalamata, Greece, July 20–23 2015
- Applications of Evolutionary Computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I
- Applications of Evolutionary Computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II
- Applications of algebra to communications, control, and signal processing
- Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs
- Applied Mathematics and Computational Intelligence
- Applied Scientific Computing : With Python
- Applied Simulation and Optimization 2 : New Applications in Logistics, Industrial and Aeronautical Practice
- Applying Soft Computing in Defining Spatial Relations
- Approximation Theory and Algorithms for Data Analysis
- Approximation and Online Algorithms : 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers
- Approximation and Online Algorithms : 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25–26, 2016, Revised Selected Papers
- Approximation and Online Algorithms : 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers
- Arithmetic of Finite Fields : 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers
- Artificial Evolution : 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers
- Artificial Intelligence : 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8–9, 2017, Revised Selected Papers
- Artificial Intelligence : First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings
- Artificial Life and Evolutionary Computation : 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers
- Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
- Autonomous Agents and Multiagent Systems : AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
- BNAIC 2016: Artificial Intelligence : 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016, Revised Selected Papers
- Basic Concepts in Computational Physics
- Basic Graph Theory
- Big Data Technologies and Applications
- Big Data for Remote Sensing: Visualization, Analysis and Interpretation : Digital Earth and Smart Earth
- Big Data in Engineering Applications
- Big-Data Analytics and Cloud Computing : Theory, Algorithms and Applications
- Biomedical Engineering Systems and Technologies : 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers
- Boolean Functions and Their Applications in Cryptography
- Boundary and Interior Layers, Computational and Asymptotic Methods BAIL 2016
- CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
- Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
- Classes of Directed Graphs
- Clinical Rehabilitation Experience Utilizing Serious Games : Rehabilitation Technology and a Technical Concept for Health Data Collection
- Closing the Gap Between Practice and Research in Industrial Engineering
- Coding Theory and Applications : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
- Combinatorial Algorithms : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers
- Combinatorial Algorithms : 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers
- Combinatorial Algorithms : 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings
- Combinatorial Image Analysis : 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings
- Combinatorial Image Analysis : 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, Proceedings
- Combinatorial Optimization : 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers
- Combinatorial Optimization : 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers
- Combinatorial Optimization : Theory and Algorithms
- Combinatorial Optimization and Applications : 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings
- Combinatorial Optimization and Graph Algorithms : Communications of NII Shonan Meetings
- Combinatorial Optimization in Communication Networks
- Combinatorial and Additive Number Theory II : CANT, New York, NY, USA, 2015 and 2016
- Combinatorics and Complexity of Partition Functions
- Combinatorics on Words : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings
- Compact Representations for the Design of Quantum Logic
- Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite Non-Terminating Programs
- Compressed Sensing and its Applications : Second International MATHEON Conference 2015
- Compression-Based Methods of Statistical Analysis and Prediction of Time Series
- Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
- Computation and Combinatorics in Dynamics, Stochastics and Control : The Abel Symposium, Rosendal, Norway, August 2016
- Computation engineering : applied automata theory and logic
- Computational Approaches in the Transfer of Aesthetic Values from Paintings to Photographs : Beyond Red, Green and Blue
- Computational Biomechanics for Medicine : From Algorithms to Models and Applications
- Computational Diffusion MRI : MICCAI Workshop, Québec, Canada, September 2017
- Computational EEG Analysis : Methods and Applications
- Computational Experiment Approach to Advanced Secondary Mathematics Curriculum
- Computational Intelligence, Cyber Security and Computational Models : Proceedings of ICC3 2015
- Computational Kinematics : Proceedings of the 7th International Workshop on Computational Kinematics that was held at Futuroscope-Poitiers, France, in May 2017
- Computational Mathematics, Numerical Analysis and Applications : Lecture Notes of the XVII 'Jacques-Louis Lions' Spanish-French School
- Computational Methods and Models for Transport : New Challenges for the Greening of Transport Systems
- Computational Methods in Physics : Compendium for Students
- Computational Methods in Power System Analysis
- Computational Methods in Systems Biology : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings
- Computational Methods in Systems Biology : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
- Computational Modelling of Bifurcations and Instabilities in Fluid Dynamics
- Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I
- Computational Science and Its Applications – ICCSA 2004 : International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part II
- Computational Science and Its Applications – ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II
- Computational Ship Design
- Computational Signal Processing with Wavelets
- Computational and Information Science : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings
- Computational discrete mathematics : advanced lectures
- Computer Aided Systems Theory – EUROCAST 2017 : 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
- Computer Aided Systems Theory – EUROCAST 2017 : 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
- Computer Algebra in Scientific Computing : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
- Computer Algebra in Scientific Computing : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings
- Computer Games : 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers
- Computer Games : 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017, Revised Selected Papers
- Computer Games : Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers
- Computer Science – Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
- Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
- Computer Science – Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings
- Computer Vision for Driver Assistance : Simultaneous Traffic and Driver Monitoring
- Computer and Computing Technologies in Agriculture IX : 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part I
- Computer and Computing Technologies in Agriculture IX : 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part II
- Computing and Combinatorics : 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings
- Computing and Combinatorics : 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings
- Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications
- Condition : The Geometry of Numerical Algorithms
- Conformal Geometry : Computational Algorithms and Engineering Applications
- Connectomics in NeuroImaging : First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings
- Constraint Theory : Multidimensional Mathematical Model Management
- Constructive Commutative Algebra : Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases
- Constructive Side-Channel Analysis and Secure Design : 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers
- Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan
- Content-Based Image Retrieval : Ideas, Influences, and Current Trends
- Convection in Ferro-Nanofluids: Experiments and Theory : Physical Mechanisms, Flow Patterns, and Heat Transfer
- Cool Math for Hot Music : A First Introduction to Mathematics for Music Theorists
- Coupled Mathematical Models for Physical and Biological Nanoscale Systems and Their Applications : Banff International Research Station, Banff, Canada, 28 August - 2 September 2016
- Critical Infrastructures, Key Resources, Key Assets : Risk, Vulnerability, Resilience, Fragility, and Perception Governance
- Crossbar-Based Interconnection Networks : Blocking, Scalability, and Reliability
- Cryptography Made Simple
- Cryptography and Coding : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings
- Current Challenges in Stability Issues for Numerical Differential Equations : Cetraro, Italy 2011, Editors: Luca Dieci, Nicola Guglielmi
- Cyber Security Cryptography and Machine Learning : First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings
- DNA Computing and Molecular Programming : 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings
- Data Analytics for Renewable Energy Integration : 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016, Revised Selected Papers
- Data Analytics for Renewable Energy Integration : Third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015. Revised Selected Papers
- Data streams : models and algorithms
- Deep Learning for Biometrics
- Description Logics in Multimedia Reasoning
- Descriptive Set Theoretic Methods in Automata Theory : Decidability and Topological Complexity
- Deterministic Global Optimization : An Introduction to the Diagonal Approach
- Development of a Methodology for the Evaluation of Active Safety using the Example of Preventive Pedestrian Protection
- Developments in Language Theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
- Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
- Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings
- Dimensional Analysis for Engineers
- Direct and Large-Eddy Simulation X
- Discrete Event Systems : Diagnosis and Diagnosability
- Discrete Geometry for Computer Imagery : 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings
- Discrete Geometry for Computer Imagery : 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 – 21, 2017, Proceedings
- Discrete Optimization and Operations Research : 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings
- Discrete and Computational Geometry and Graphs : 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers
- Discrete and topological models in molecular biology
- Discrete mathematics
- Discrete mathematics : proofs, structures, and applications
- Discrete mathematics and its applications
- Distributed Computer and Communication Networks : 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers
- Distributed Computer and Communication Networks : 20th International Conference, DCCN 2017, Moscow, Russia, September 25–29, 2017, Proceedings
- Distributed and Sequential Algorithms for Bioinformatics
- Do Colors Exist? : And Other Profound Physics Questions
- Domain Decomposition Methods in Science and Engineering XX
- Domain Decomposition Methods in Science and Engineering XXIII
- Domain Decomposition Methods in Science and Engineering XXIV
- Dynamic Decoupling of Robot Manipulators
- Dynamics of Liquid Solidification : Thermal Resistance of Contact Layer
- EVOLVE – A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation VII
- Earth System Modelling - Volume 2 : Algorithms, Code Infrastructure and Optimisation
- Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems
- Eigenvalue Problems: Algorithms, Software and Applications in Petascale Computing : EPASA 2015, Tsukuba, Japan, September 2015
- Elementary Functions : Algorithms and Implementation
- Elementary mathematical and computational tools for electrical and computer engineers using MATLAB
- Elementary mathematical and computational tools for electrical and computer engineers using MATLAB
- Encyclopedia of Algorithms
- Encyclopedia of Algorithms
- Encyclopedia of Applied and Computational Mathematics
- Energy Minimization Methods in Computer Vision and Pattern Recognition : 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers
- Engineering Computation of Structures: The Finite Element Method
- Engineering Education 4.0 : Excellent Teaching and Learning in Engineering Sciences
- Engineering Mathematics II : Algebraic, Stochastic and Analysis Structures for Networks, Data Classification and Optimization
- Essentials of Dynamics and Vibrations
- Euclidean Distance Geometry : An Introduction
- Euclidean shortest paths : exact or approximate algorithms
- Evolutionary Computation in Combinatorial Optimization : 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
- Evolutionary Computation in Combinatorial Optimization : 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings
- Evolutionary and Biologically Inspired Music, Sound, Art and Design : 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings
- Exact analysis of discrete data
- Exercises in Computational Mathematics with MATLAB
- Experimental Algorithms : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings
- Exploiting Hidden Structure in Matrix Computations: Algorithms and Applications : Cetraro, Italy 2015
- Fast Radial Basis Functions for Engineering Applications
- Fast Software Encryption : 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers
- Feistel Ciphers : Security Proofs and Cryptanalysis
- Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
- Financial Modelling with Forward-looking Information : An Intuitive Approach to Asset Pricing
- Finite Difference Computing with PDEs : A Modern Software Approach
- Finite Element Concepts : A Closed-Form Algebraic Development
- Finite Volumes for Complex Applications VIII - Hyperbolic, Elliptic and Parabolic Problems : FVCA 8, Lille, France, June 2017
- Finite Volumes for Complex Applications VIII - Methods and Theoretical Aspects : FVCA 8, Lille, France, June 2017
- Finite and Profinite Quantum Systems
- Finitely Supported Mathematics : An Introduction
- FluSHELL – A Tool for Thermal Modelling and Simulation of Windings for Large Shell-Type Power Transformers
- Fluid-structure Interactions : Models, Analysis and Finite Elements
- Foundations of Fluid Mechanics with Applications : Problem Solving Using Mathematica®
- Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
- Foundations of Trusted Autonomy
- Fourier Analysis—A Signal Processing Approach
- Frames and Other Bases in Abstract and Function Spaces : Novel Methods in Harmonic Analysis, Volume 1
- Frontiers in Algorithmics : 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings
- Fuel Tank Sloshing Simulation Using the Finite Volume Method
- Fundamentals and Applications of Hardcopy Communication : Conveying Side Information by Printed Media
- Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings
- Fundamentals of Discrete Math for Computer Science : A Problem-Solving Primer
- Fundamentals of Probability and Stochastic Processes with Applications to Communications
- Fundamentals of parameterized complexity
- Fuzzy Control, Estimation and Diagnosis : Single and Interconnected Systems
- Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
- Fuzzy Partial Differential Equations and Relational Equations : Reservoir Characterization and Modeling
- Game-Theoretic Learning and Distributed Optimization in Memoryless Multi-Agent Systems
- Generalized Connectivity of Graphs
- Generalized Inverses: Theory and Computations
- Genetic Programming : 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings
- Genetic Programming : 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
- Geometric Properties for Incomplete data
- Geometric Science of Information : Second International Conference, GSI 2015, Palaiseau, France, October 28–30, 2015, Proceedings
- Geometric Science of Information : Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings
- Geometrically Unfitted Finite Element Methods and Applications : Proceedings of the UCL Workshop 2016
- Geospatial Algebraic Computations : Theory and Applications
- Global Formulations of Lagrangian and Hamiltonian Dynamics on Manifolds : A Geometric Approach to Modeling and Analysis
- Granular, Soft and Fuzzy Approaches for Intelligent Systems : Dedicated to Professor Ronald R. Yager
- Graph Drawing and Network Visualization : 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers
- Graph Drawing and Network Visualization : 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers
- Graph Drawing and Network Visualization : 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers
- Graph Theory
- Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
- Graph-Based Representation and Reasoning : 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings
- Graph-Based Representations in Pattern Recognition : 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16–18, 2017, Proceedings
- Graph-Theoretic Concepts in Computer Science : 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers
- Graph-Theoretic Concepts in Computer Science : 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers
- Graph-Theoretic Concepts in Computer Science : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers
- Graphical Models for Security : Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers
- Grid Generation Methods
- Group Theory and Computation
- Guide to Computing Fundamentals in Cyber-Physical Systems : Concepts, Design Methods, and Applications
- Guide to Discrete Mathematics : An Accessible Introduction to the History, Theory, Logic and Applications
- Guide to Graph Algorithms : Sequential, Parallel and Distributed
- Guide to Scientific Computing in C++
- Hamilton-Jacobi Equations: Approximations, Numerical Analysis and Applications : Cetraro, Italy 2011, Editors: Paola Loreti, Nicoletta Anna Tchou
- Handbook of Digital Games and Entertainment Technologies
- Handbook of Floating-Point Arithmetic
- Handbook of Heuristics
- Handbook of Model Checking
- Haptic Interaction with Deformable Objects : Modelling VR Systems for Textiles
- High Performance Computing and Communications : Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings
- High Performance Computing and Networking : 8th International Conference, HPCN Europe 2000 Amsterdam, The Netherlands, May 8–10, 2000 Proceedings
- High Performance Computing for Computational Science – VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
- High Performance Computing in Science and Engineering ' 17 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2017
- High Performance Computing in Science and Engineering : Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
- High Performance Computing in Science and Engineering : Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers
- High Performance Computing in Science and Engineering ́16 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2016
- High-Performance Computing : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
- Higher-Order Computability
- History of Cryptography and Cryptanalysis : Codes, Ciphers, and Their Algorithms
- Honeypot Frameworks and Their Applications: A New Framework
- How to guard an art gallery and other discrete mathematical adventures
- Hybrid Metaheuristics : 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
- Imaginary Mathematics for Computer Science
- Imaging, Vision and Learning Based on Optimization and PDEs : IVLOPDE, Bergen, Norway, August 29 – September 2, 2016
- Imprecision and Uncertainty in Information Representation and Processing : New Tools Based on Intuitionistic Fuzzy Sets and Generalized Nets
- Improving Service Level Engineering : An Intuitionistic Fuzzy Approach
- Independent Random Sampling Methods
- Index-aware Model Order Reduction Methods : Applications to Differential-Algebraic Equations
- Information Geometry and Its Applications
- Information Processing in Cells and Tissues : 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings
- Information Security : 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings
- Information Security and Cryptology : 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers
- Information Theory and Coding - Solved Problems
- Innovations for Community Services : 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016, Revised Selected Papers
- Innovations for Shape Analysis : Models and Algorithms
- Innovations in Wave Processes Modelling and Decision Making : Grid-Characteristic Method and Applications
- Innovative Security Solutions for Information Technology and Communications : 10th International Conference, SecITC 2017, Bucharest, Romania, June 8–9, 2017, Revised Selected Papers
- Integer Programming and Combinatorial Optimization : 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings
- Integral Methods in Science and Engineering : Progress in Numerical and Analytic Techniques
- Integration of AI and OR Techniques in Constraint Programming : 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings
- Integration of AI and OR Techniques in Constraint Programming : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings
- Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
- Intelligent Processing Algorithms and Applications for GPS Positioning Data of Qinghai-Tibet Railway
- Intelligent Robotics and Applications : 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II
- Intelligent Routines : Solving Mathematical Analysis with Matlab, Mathcad, Mathematica and Maple
- Internet of Vehicles - Safe and Intelligent Mobility : Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings
- Internet of Vehicles. Technologies and Services for Smart Cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings
- Introduction to Cryptography : Principles and Applications
- Introduction to Cutting and Packing Optimization : Problems, Modeling Approaches, Solution Methods
- Introduction to Inverse Problems for Differential Equations
- Introduction to MATLAB for Engineers and Scientists : Solutions for Numerical Computation and Modeling
- Introduction to Mathematica® with Applications
- Introduction to Morphogenetic Computing
- Introduction to Nonlinear Finite Element Analysis
- Introduction to Scilab : For Engineers and Scientists
- Introductory Statistics and Random Phenomena : Uncertainty, Complexity and Chaotic Behavior in Engineering and Science
- Intuitionistic Fuzzy Information Aggregation : Theory and Applications
- Inverse Problems for Partial Differential Equations
- Kronecker Modeling and Analysis of Multidimensional Markovian Systems
- LATIN 2016: Theoretical Informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
- LATIN 2018: Theoretical Informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings
- Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
- Large-Scale Scientific Computing : 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
- Learning and Intelligent Optimization : 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
- Lectures on Matrix Field Theory
- Linear Algebra and Analytic Geometry for Physical Sciences
- Linear Algebra for Computational Sciences and Engineering
- Linear Programming Using MATLAB®
- Linear and Integer Programming Made Easy
- Local Features in Natural Images via Singularity Theory
- Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
- Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
- Logic and automata : history and perspectives
- Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
- Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
- Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
- MARINE 2011, IV International Conference on Computational Methods in Marine Engineering : Selected Papers
- Machine Learning : A Practical Approach on the Statistical Learning Theory
- Machine Learning, Optimization, and Big Data : Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers
- Machine Scheduling to Minimize Weighted Completion Times : The Use of the α-point
- Map Framework : A Formal Model of Maps as a Fundamental Data Type in Information Systems
- Matematica Numerica : Esercizi, Laboratori e Progetti
- Math for the Digital Factory
- Mathematical Analysis and the Mathematics of Computation
- Mathematical Aspects of Computer and Information Sciences : 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
- Mathematical Aspects of Multi–Porosity Continua
- Mathematical Cardiac Electrophysiology
- Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches
- Mathematical Methods for Curves and Surfaces : 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23–28, 2016, Revised Selected Papers
- Mathematical Modelling in Solid Mechanics
- Mathematical Problems in Data Science : Theoretical and Practical Methods
- Mathematical Progress in Expressive Image Synthesis III : Selected and Extended Results from the Symposium MEIS2015
- Mathematical Software – ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
- Mathematical Software – ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
- Mathematical and Numerical Modeling of the Cardiovascular System and Applications
- Mathematical methods in computer science : essays in memory of Thomas Beth
- MathematicaÂ®: A Problem-Centered Approach
- Mathematics and Computation in Music : 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings
- Mathematics and Computing : 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers
- Mathematics and Computing : ICMC 2018, Varanasi, India, January 9-11, Selected Contributions
- Mathematics and Computing : Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings
- Mathematics for Computer Graphics
- Mathematics in computing : an accessible guide to historical, foundational and application contexts
- Mathematics of Energy and Climate Change : International Conference and Advanced School Planet Earth, Portugal, March 21-28, 2013
- Mathematics of discrete structures for computer science
- Matrix Algebra : Theory, Computations and Applications in Statistics
- Matrix and Tensor Factorization Techniques for Recommender Systems
- Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry
- Measurement, Modelling and Evaluation of Computing Systems : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings
- Mechanisms of Cracking and Debonding in Asphalt and Composite Pavements : State-of-the-Art of the RILEM TC 241-MCD
- Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging : MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers
- Mesh Dependence in PDE-Constrained Optimisation : An Application in Tidal Turbine Array Layouts
- Meshfree Methods for Partial Differential Equations VII
- Meshfree Methods for Partial Differential Equations VIII
- Mixed Finite Element Methods and Applications
- Model Reduction of Parametrized Systems
- Modeling and Control of Hybrid Propulsion System for Ground Vehicles
- Modeling and Simulation in Engineering, Economics and Management : International Conference, MS 2016, Teruel, Spain, July 4-5, 2016, Proceedings
- Modeling, Analysis, and Visualization of Anisotropy
- Modeling, Simulation and Optimization of Complex Processes HPSC 2015 : Proceedings of the Sixth International Conference on High Performance Scientific Computing, March 16-20, 2015, Hanoi, Vietnam
- Models, Simulation, and Experimental Issues in Structural Mechanics
- Modern Approaches to Discrete Curvature
- Modern Discrete Mathematics and Analysis : With Applications in Cryptography, Information Systems and Modeling
- Modern Language Models and Computation : Theory with Applications
- Monotonic and Ultra-Low-Cycle Fatigue Behaviour of Pipeline Steels : Experimental and Numerical Approaches
- Monte Carlo and Quasi-Monte Carlo Methods : MCQMC 2016, Stanford, CA, August 14-19
- More Math Into LaTeX
- Multi-Objective Optimization : Evolutionary to Hybrid Framework
- Multibody Mechatronic Systems : Proceedings of the MUSME Conference held in Florianópolis, Brazil, October 24-28, 2017
- Multiscale Models in Mechano and Tumor Biology : Modeling, Homogenization, and Applications
- Music Through Fourier Space : Discrete Fourier Transform in Music Theory
- Network Games, Control, and Optimization : Proceedings of NETGCOOP 2016, Avignon, France
- Neural Networks for Cooperative Control of Multiple Robot Arms
- Neutral and Indifference Portfolio Pricing, Hedging and Investing : With applications in Equity and FX
- New Trends and Advanced Methods in Interdisciplinary Mathematical Sciences
- New Trends in Applied Harmonic Analysis : Sparse Representations, Compressed Sensing, and Multifractal Analysis
- Newton’s Method: an Updated Approach of Kantorovich’s Theory
- Non-Convex Multi-Objective Optimization
- Nonlinear Behaviour and Stability of Thin-Walled Shells
- Nonlinear Eigenproblems in Image Processing and Computer Vision
- Nonlinear MHD Waves and Turbulence : Proceeding of the Workshop Held in Nice, France, 1–4 December 1998
- Nonlinear Partial Differential Equations with Applications
- Novel Methods in Computational Finance
- Number-Theoretic Methods in Cryptology : First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers
- Numbers and Computers
- Numerical Analysis of Multiscale Computations : Proceedings of a Winter Workshop at the Banff International Research Station 2009
- Numerical Mathematics and Advanced Applications 2011 : Proceedings of ENUMATH 2011, the 9th European Conference on Numerical Mathematics and Advanced Applications, Leicester, September 2011
- Numerical Mathematics and Advanced Applications ENUMATH 2015
- Numerical Methods and Modelling for Engineering
- Numerical Methods for Differential Equations, Optimization, and Technological Problems : Dedicated to Professor P. Neittaanmäki on His 60th Birthday
- Numerical Methods for Eulerian and Lagrangian Conservation Laws
- Numerical Methods for Reliability and Safety Assessment : Multiscale and Multiphysics Systems
- Numerical Methods in Matrix Computations
- Numerical Methods of Mathematics Implemented in Fortran
- Numerical Modeling of Materials Under Extreme Conditions
- Numerical Semigroups and Applications
- Numerical Simulation of Distributed Parameter Processes
- Numerical Simulation of Viscous Shocked Accretion Flows Around Black Holes
- Numerical Simulation of the Aerodynamics of High-Lift Configurations
- Numerical and symbolic scientific computing : progress and prospects
- On the Learnability of Physically Unclonable Functions
- One-Dimensional Finite Elements : An Introduction to the FE Method
- Open Problems in Mathematics and Computational Science
- Open Problems in Optimization and Data Analysis
- OpenMP in a New Era of Parallelism : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings
- Operational Research : IO2017, Valença, Portugal, June 28-30
- Operations Research and Enterprise Systems : 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
- Operations Research and Enterprise Systems : 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers
- Operations Research and Enterprise Systems : 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers
- Operations Research, Engineering, and Cyber Security : Trends in Applied Mathematics and Technology
- Optimization Methods in Structural Design
- Optimization Techniques in Computer Vision : Ill-Posed Problems and Regularization
- Optimization and Its Applications in Control and Data Sciences : In Honor of Boris T. Polyak’s 80th Birthday
- Optimization by GRASP : Greedy Randomized Adaptive Search Procedures
- Optimized Response-Adaptive Clinical Trials : Sequential Treatment Allocation Based on Markov Decision Problems
- Orthogonal Designs : Hadamard Matrices, Quadratic Forms and Algebras
- Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology : Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers
- Parallel Computational Technologies : 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
- Parallel Problem Solving from Nature – PPSN XIV : 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings
- Parallel Processing and Applied Mathematics : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I
- Parallel Processing and Applied Mathematics : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II
- Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
- Parallel Processing and Applied Mathematics : 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers
- Parallel Processing and Applied Mathematics : 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers
- Parametric and Nonparametric Statistics for Sample Surveys and Customer Satisfaction Data
- Partition Function Form Games : Coalitional Games with Externalities
- Petri Net Synthesis
- Pillars of computer science : essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
- Plasticity and Fracture
- Playable Cities : The City as a Digital Playground
- Practical Python AI Projects : Mathematical Models of Optimization Problems with Google OR-Tools
- Preventive Biomechanics : Optimizing Support Systems for the Human Body in the Lying and Sitting Position
- Pricing Derivatives Under Lévy Models : Modern Finite-Difference and Pseudo-Differential Operators Approach
- Principles and Practice of Constraint Programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
- Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
- Principles and Practice of Constraint Programming : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
- Privately and Publicly Verifiable Computing Techniques : A Survey
- Proceedings of the 13th International Scientific Conference : Computer Aided Engineering
- Proceedings of the 6th International Workshop on Hydro Scheduling in Competitive Electricity Markets
- Proceedings of the International Conference on Advances in Computational Mechanics 2017 : ACOME 2017, 2 to 4 August 2017, Phu Quoc Island, Vietnam
- Progress in Cryptology -- INDOCRYPT 2015 : 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015, Proceedings
- Progress in Cryptology – INDOCRYPT 2016 : 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings
- Progress in Industrial Mathematics at ECMI 2014
- Proofs from THE BOOK
- Propagation of Multidimensional Nonlinear Waves and Kinematical Conservation Laws
- Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
- Pyomo — Optimization Modeling in Python
- Quality of Life in Urban Landscapes : In Search of a Decision Support System
- Questions About Elastic Waves
- Queueing Theory and Network Applications : 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings
- Random-Like Bi-level Decision Making
- Randomness and completeness in computational complexity
- Recent Advances in Applications of Computational and Fuzzy Mathematics
- Recent Advances in Computational Engineering : Proceedings of the 4th International Conference on Computational Engineering (ICCE 2017) in Darmstadt
- Recent Advances in Differential Equations and Applications
- Recent Applications of Harmonic Analysis to Function Spaces, Differential Equations, and Data Science : Novel Methods in Harmonic Analysis, Volume 2
- Recent Developments in Metaheuristics
- Recent Progress and Modern Challenges in Applied Mathematics, Modeling and Computational Science
- Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
- Recent Trends in Applied Nonlinear Mechanics and Physics : Selected Papers from CSNDD 2016
- Relational Topology
- Relaxed Abduction : Robust Information Interpretation for Industrial Applications
- Rendezvous in Distributed Systems : Theory, Algorithms and Applications
- Ricci Flow for Shape Analysis and Surface Registration : Theories, Algorithms and Applications
- Robust Modelling and Simulation : Integration of SIMIO with Coloured Petri Nets
- SOFSEM 2016: Theory and Practice of Computer Science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
- Scalable Algorithms for Contact Problems
- Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
- Scientific Computing : A Historical Perspective
- Scientific Computing : Vol. I - Linear and Nonlinear Equations
- Scientific Computing : Vol. II - Eigenvalues and Optimization
- Scientific Computing : Vol. III - Approximation and Integration
- Scientific Computing and Algorithms in Industrial Simulations : Projects and Products of Fraunhofer SCAI
- Scientific Computing in Electrical Engineering : SCEE 2016, St. Wolfgang, Austria, October 2016
- Security Protocols : International Workshop Cambridge, United Kingdom, April 10–12, 1996 Proceedings
- Security Standardisation Research : Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings
- Selberg Zeta Functions and Transfer Operators : An Experimental Approach to Singular Perturbations
- Sequences, Groups, and Number Theory
- Sets, Logic and Maths for Computing
- Simulation Science : First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers
- Slow Viscous Flow
- Smart City Networks : Through the Internet of Things
- Smooth Bézier Surfaces over Unstructured Quadrilateral Meshes
- Solving Irregularly Structured Problems in Parallel : 5th International Symposium, IRREGULAR'98 Berkeley, California, USA, August 9–11, 1998 Proceedings
- Solving PDEs in Python : The FEniCS Tutorial I
- Space in Weak Propositional Proof Systems
- Sparse Grids and Applications
- Sparse Grids and Applications - Miami 2016
- Sparse Grids and Applications - Munich 2012
- Spectral Methods for Non-Standard Eigenvalue Problems : Fluid and Structural Mechanics and Beyond
- Spectral and High Order Methods for Partial Differential Equations - ICOSAHOM 2012 : Selected papers from the ICOSAHOM conference, June 25-29, 2012, Gammarth, Tunisia
- Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014 : Selected papers from the ICOSAHOM conference, June 23-27, 2014, Salt Lake City, Utah, USA
- Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2016 : Selected Papers from the ICOSAHOM conference, June 27-July 1, 2016, Rio de Janeiro, Brazil
- Spline and Spline Wavelet Methods with Applications to Signal and Image Processing : Volume I: Periodic Splines
- Splitting Methods in Communication, Imaging, Science, and Engineering
- Stability and Control of Nonlinear Time-varying Systems
- Stable and Efficient Cubature-based Filtering in Dynamical Systems
- Stochastic Processes and Applications : SPAS2017, Västerås and Stockholm, Sweden, October 4-6, 2017
- String Analysis for Software Verification and Security
- Structural Information and Communication Complexity : 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers
- Structural Information and Communication Complexity : 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers
- Subdivision Surface Modeling Technology
- Supercomputing : Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers
- Supercomputing : Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers
- Sustainable Logistics and Transportation : Optimization Models and Algorithms
- Sustained Simulation Performance 2017 : Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2017
- Swarm Intelligence Based Optimization : Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings
- Symmetries, Differential Equations and Applications : SDEA-III, İstanbul, Turkey, August 2017
- System Modeling and Optimization : 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers
- System Reduction for Nanoscale IC Design
- Task Scheduling for Multi-core and Parallel Architectures : Challenges, Solutions and Perspectives
- Teaching and Learning Discrete Mathematics Worldwide: Curriculum and Research
- Tensor Eigenvalues and Their Applications
- Testing and Validation of Computer Simulation Models : Principles, Methods and Applications
- The Discrete Math Workbook : A Companion Manual for Practical Study
- The Foundations of Computability Theory
- The Gradient Discretisation Method
- The Incomputable : Journeys Beyond the Turing Barrier
- The Language of Self-Avoiding Walks : Connective Constants of Quasi-Transitive Graphs
- The Mathematical Aspects of Quantum Maps
- The Mathematical-Function Computation Handbook : Programming Using the MathCW Portable Software Library
- The Mathematics of Medical Imaging : A Beginner’s Guide
- The Musical-Mathematical Mind : Patterns and Transformations
- The Optimal Homotopy Asymptotic Method : Engineering Applications
- The Science and Art of Simulation I : Exploring - Understanding - Knowing
- The Structure and Stability of Persistence Modules
- The Student Supercomputer Challenge Guide : From Supercomputing Competition to the Next HPC Generation
- The Symbolic Computation of Integrability Structures for Partial Differential Equations
- The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates
- Theoretical Computer Science and Discrete Mathematics : First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers
- Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
- Theory and Applications of Satisfiability Testing – SAT 2018 : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
- Theory of Cryptography : 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II
- Theory of Cryptography : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I
- Theory of Cryptography : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II
- Theory of Elastic Oscillations : Equations and Methods
- Thermo-Hydro-Mechanical-Chemical Processes in Porous Media : Benchmarks and Examples
- Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials
- Time-Series Prediction and Applications : A Machine Intelligence Approach
- Tools for Computational Finance
- Tools for High Performance Computing 2016 : Proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing, October 2016, Stuttgart, Germany
- Topics in Numerical Partial Differential Equations and Scientific Computing
- Topics in Theoretical Computer Science : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
- Topological Data Analysis for Scientific Visualization
- Towards Robust Algebraic Multigrid Methods for Nonsymmetric Problems
- Track-Before-Detect Using Expectation Maximisation : The Histogram Probabilistic Multi-hypothesis Tracker: Theory and Applications
- Transactions on Computational Science XXVII