Computer science—Mathematics.

Optimal Interconnection Trees in the Plane = Theory, Algorithms and Applications / by: (Language materials, printed)

Information Security and Cryptology = 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers / by: (Language materials, printed)

Progress in Cryptology - LATINCRYPT 2014 = Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014 Revised Selected Papers / by: (Language materials, printed)

High Performance Computing for Computational Science -- VECPAR 2014 = 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / by: (Language materials, printed)

Engineering Computation of Structures: The Finite Element Method by: (Language materials, printed)

Logic-Based Program Synthesis and Transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / by: (Language materials, printed)

Operations Research and Enterprise Systems = Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers / by: (Language materials, printed)

Analytical and Stochastic Modelling Techniques and Applications = 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / by: (Language materials, printed)

Computer Science -- Theory and Applications = 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / by: (Language materials, printed)

Experimental Algorithms = 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings / by: (Language materials, printed)

Graph Transformation = 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / by: (Language materials, printed)

DNA Computing and Molecular Programming = 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings / by: (Language materials, printed)

Progress in Cryptology -- LATINCRYPT 2015 = 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings / by: (Language materials, printed)

Algebraic Informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / by: (Language materials, printed)

An Introduction to Optimal Satellite Range Scheduling by: (Language materials, printed)

Relational and Algebraic Methods in Computer Science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / by: (Language materials, printed)

Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / by: (Language materials, printed)

Security Standardisation Research = Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings / by: (Language materials, printed)

Logic-Based Program Synthesis and Transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / by: (Language materials, printed)

Cryptography and Coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings / by: (Language materials, printed)

Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science by: (Language materials, printed)

Mathematical Modeling of Technological Processes = 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings / by: (Language materials, printed)

Engineering Secure Software and Systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings / by: (Language materials, printed)

Curves and Surfaces = 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / by: (Language materials, printed)

Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / by: (Language materials, printed)

Mathematical Morphology and Its Applications to Signal and Image Processing = 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings / by: (Language materials, printed)

Advances in Spatial and Temporal Databases = 14th International Symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015. Proceedings / by: (Language materials, printed)

Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / by: (Language materials, printed)

Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II / by: (Language materials, printed)

More Playful User Interfaces = Interfaces that Invite Social and Physical Interaction / by: (Language materials, printed)

Advances in Computer Games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / by: (Language materials, printed)

Constructive Side-Channel Analysis and Secure Design = 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers / by: (Language materials, printed)

Mathematical Problems in Data Science = Theoretical and Practical Methods / by: (Language materials, printed)

Mathematik für Informatiker = Ein praxisbezogenes Lehrbuch / by: (Language materials, printed)

Correct Software in Web Applications and Web Services by: (Language materials, printed)

SOFSEM 2015: Theory and Practice of Computer Science = 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings / by: (Language materials, printed)

Fundamentals of Computation Theory = 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings / by: (Language materials, printed)

Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 2 Extensions and Generalizations = A Monograph Based on Articles of the Founding Authors, Reproduced in Full / by: (Language materials, printed)

Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / by: (Language materials, printed)

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

On Meaningful Scientific Laws by: (Language materials, printed)

Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I / by: (Language materials, printed)

Mathematics and Computation in Music = 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings / by: (Language materials, printed)

Combinatorics on Words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / by: (Language materials, printed)

Advances in Cryptology -- CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I / by: (Language materials, printed)

Geometry, Mechanics, and Dynamics = The Legacy of Jerry Marsden / by: (Language materials, printed)

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

Why Cryptography Should Not Rely on Physical Attack Complexity by: (Language materials, printed)

Ready = A Commodore 64 Retrospective / by: (Language materials, printed)

The Mathematics of Medical Imaging = A Beginner’s Guide / by: (Language materials, printed)

Frontiers in Algorithmics = 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings / by: (Language materials, printed)

Graphentheorie = Eine Einführung aus dem 4-Farben Problem / by: (Language materials, printed)

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 / by: (Language materials, printed)

Genetic Programming = 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by: (Language materials, printed)

Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / by: (Language materials, printed)

Fuzzy Logic = An Introductory Course for Engineering Students / by: (Language materials, printed)

Arithmetic of Finite Fields = 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / 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)

Big-Data Analytics and Cloud Computing = Theory, Algorithms and Applications / by: (Language materials, printed)

Graph Drawing and Network Visualization = 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers / by: (Language materials, printed)

Geometric Science of Information = Second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015, Proceedings / by: (Language materials, printed)

Operations Research and Enterprise Systems = 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings / by: (Language materials, printed)

Channel Coding Techniques for Wireless Communications by: (Language materials, printed)

Algorithms and Models for the Web Graph = 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings / by: (Language materials, printed)

Bilevel Programming Problems = Theory, Algorithms and Applications to Energy Networks / by: (Language materials, printed)

Mathematical Technology of Networks = Bielefeld, December 2013 / by: (Language materials, printed)

Algorithms and Data Structures = 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings / by: (Language materials, printed)

Mathematica®: A Problem-Centered Approach by: (Language materials, printed)

Elementare Zahlentheorie = Beispiele, Geschichte, Algorithmen / by: (Language materials, printed)

Foundation Mathematics for Computer Science = A Visual Approach / by: (Language materials, printed)

Research in Shape Modeling = Los Angeles, July 2013 / by: (Language materials, printed)

The Foundations of Computability Theory by: (Language materials, printed)

Commutative Algebra: Constructive Methods = Finite Projective Modules / by: (Language materials, printed)

A User’s Guide to Network Analysis in R by: (Language materials, printed)

Testing and Validation of Computer Simulation Models = Principles, Methods and Applications / by: (Language materials, printed)

Constructive Commutative Algebra = Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases / by: (Language materials, printed)

Higher-Order Computability by: (Language materials, printed)

Petri Net Synthesis by: (Language materials, printed)

Applied Asset and Risk Management = A Guide to Modern Portfolio Management and Behavior-Driven Markets / by: (Language materials, printed)

Words and Graphs by: (Language materials, printed)

Introduction au traitement mathématique des images - méthodes déterministes by: (Language materials, printed)

Semigroups, Algebras and Operator Theory = Kochi, India, February 2014 / by: (Language materials, printed)

Handbook of Mathematical Methods in Imaging by: (Language materials, printed)

Accuracy and Fuzziness. A Life in Science and Politics = A Festschrift book to Enric Trillas Ruiz / by: (Language materials, printed)

Introduction to Cryptography = Principles and Applications / by: (Language materials, printed)

Excel und VBA = Einführung mit praktischen Anwendungen in den Naturwissenschaften / by: (Language materials, printed)

Optimierungsmethoden = Eine Einführung / by: (Language materials, printed)

Encyclopedia of Applied and Computational Mathematics by: (Language materials, printed)

Mathematische Grundlagen der Informatik = Mathematisches Denken und Beweisen Eine Einführung / by: (Language materials, printed)

Quantum Computing verstehen = Grundlagen - Anwendungen - Perspektiven / by: (Language materials, printed)

Operators for Similarity Search = Semantics, Techniques and Usage Scenarios / by: (Language materials, printed)

Die Monte-Carlo-Methode = Beispiele unter Excel VBA / 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)

Moderne Verfahren der Kryptographie = Von RSA zu Zero-Knowledge / by: (Language materials, printed)

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 / by: (Language materials, printed)

Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / by: (Language materials, printed)

Combinatorial Image Analysis = 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings / by: (Language materials, printed)

Algorithms for Sensor Systems = 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers / by: (Language materials, printed)

Trusted Systems = 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers / 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)

Automated Reasoning with Analytic Tableaux and Related Methods = 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by: (Language materials, printed)

Developments in Language Theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. / by: (Language materials, printed)

Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II / by: (Language materials, printed)

Evolving Computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / by: (Language materials, printed)

Codes, Cryptology, and Information Security = First International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015, Proceedings - In Honor of Thierry Berger / by: (Language materials, printed)

Approximation and Online Algorithms = 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers / by: (Language materials, printed)

Information Security = 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings / by: (Language materials, printed)

Formal Concept Analysis = 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / 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)

Theory and Applications of Satisfiability Testing -- SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 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)

Computer Algebra and Polynomials = Applications of Algebra and Number Theory / by: (Language materials, printed)

Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / by: (Language materials, printed)

Theory and Applications of Models of Computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings / by: (Language materials, printed)

Logic and Its Applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / by: (Language materials, printed)

Algorithms in Bioinformatics = 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, Proceedings / by: (Language materials, printed)

Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / by: (Language materials, printed)

Recent Trends in Algebraic Development Techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / by: (Language materials, printed)

Combinatorial Optimization and Applications = 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings / by: (Language materials, printed)

Machines, Computations, and Universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / by: (Language materials, printed)

Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / by: (Language materials, printed)

Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / by: (Language materials, printed)

Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / by: (Language materials, printed)

Information Processing in Cells and Tissues = 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings / by: (Language materials, printed)

Combinatorial Algorithms = 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers / by: (Language materials, printed)

Computing and Combinatorics = 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings / by: (Language materials, printed)

Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings / by: (Language materials, printed)

Descriptional Complexity of Formal Systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / by: (Language materials, printed)

Graph-Based Representations in Pattern Recognition = 10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings / by: (Language materials, printed)

Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / by: (Language materials, printed)

Advances in Cryptology -- CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II / by: (Language materials, printed)

Perceptual Image Coding with Discrete Cosine Transform by: (Language materials, printed)

Data Analytics for Renewable Energy Integration = Third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015. Revised Selected Papers / by: (Language materials, printed)

Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / by: (Language materials, printed)

Distributed and Sequential Algorithms for Bioinformatics by: (Language materials, printed)

Fuzzy Algebraic Hyperstructures = An Introduction / by: (Language materials, printed)

An Introduction to Catalan Numbers by: (Language materials, printed)

Approximation and Online Algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers / by: (Language materials, printed)

Cellular Automata and Discrete Complex Systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings / by: (Language materials, printed)

Computational Methods in Systems Biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / by: (Language materials, printed)

Intelligent Computer Mathematics = International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / by: (Language materials, printed)

Algorithms and Complexity = 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings / by: (Language materials, printed)

Linear Algebra for Computational Sciences and Engineering by: (Language materials, printed)

Descriptive Set Theoretic Methods in Automata Theory = Decidability and Topological Complexity / by: (Language materials, printed)

Graph Drawing and Network Visualization = 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers / by: (Language materials, printed)

New Trends in Applied Harmonic Analysis = Sparse Representations, Compressed Sensing, and Multifractal Analysis / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I / by: (Language materials, printed)

Evolutionary and Biologically Inspired Music, Sound, Art and Design = 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings / by: (Language materials, printed)

Combinatorial Optimization and Applications = 10th International Conference, COCOA 2016, Hong Kong, China, December 16–18, 2016, Proceedings / by: (Language materials, printed)

Mathematical Aspects of Computer and Information Sciences = 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers / by: (Language materials, printed)

Combinatorial Algorithms = 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers / by: (Language materials, printed)

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 / by: (Language materials, printed)

Progress in Industrial Mathematics at ECMI 2014 by: (Language materials, printed)

Topics in Theoretical Computer Science = The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers / by: (Language materials, printed)

Random-Like Bi-level Decision Making by: (Language materials, printed)

Genetic Programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings / by: (Language materials, printed)

Discrete Geometry for Computer Imagery = 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings / by: (Language materials, printed)

Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I / by: (Language materials, printed)

High Performance Computing in Science and Engineering = Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers / by: (Language materials, printed)

Advances in Neural Networks – ISNN 2016 = 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings / by: (Language materials, printed)

Graph-Based Representation and Reasoning = 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings / by: (Language materials, printed)

Discrete Optimization and Operations Research = 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings / by: (Language materials, printed)

Music Through Fourier Space = Discrete Fourier Transform in Music Theory / by: (Language materials, printed)

Optimization Techniques in Computer Vision = Ill-Posed Problems and Regularization / by: (Language materials, printed)

High Performance Computing in Science and Engineering ´16 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2016 / by: (Language materials, printed)

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 / by: (Language materials, printed)

DNA Computing and Molecular Programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings / by: (Language materials, printed)

Advances in Stochastic and Deterministic Global Optimization by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II / by: (Language materials, printed)

Integer Programming and Combinatorial Optimization = 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings / by: (Language materials, printed)

System Modeling and Optimization = 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers / by: (Language materials, printed)

Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / by: (Language materials, printed)

Advances in Artificial Life, Evolutionary Computation and Systems Chemistry = 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers / by: (Language materials, printed)

Optimization and Its Applications in Control and Data Sciences = In Honor of Boris T. Polyak’s 80th Birthday / by: (Language materials, printed)

Language and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / by: (Language materials, printed)

Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / by: (Language materials, printed)

Arithmetic of Finite Fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers / by: (Language materials, printed)

Algorithms in Bioinformatics = 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings / by: (Language materials, printed)

Programmieren für Ingenieure und Naturwissenschaftler = Grundlagen / by: (Language materials, printed)

LATIN 2016: Theoretical Informatics = 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings / by: (Language materials, printed)

Computer Science – Theory and Applications = 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings / by: (Language materials, printed)

Implementation and Application of Automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings / by: (Language materials, printed)

Graph Transformation = 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings / by: (Language materials, printed)

Algorithms for Computational Biology = Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings / by: (Language materials, printed)

Frontiers in Algorithmics = 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings / by: (Language materials, printed)

Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings / by: (Language materials, printed)

An Introduction to Data Analysis using Aggregation Functions in R by: (Language materials, printed)

More Math Into LaTeX by: (Language materials, printed)

Combinatorial Algorithms = 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings / by: (Language materials, printed)

Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part II / by: (Language materials, printed)

Selected Areas in Cryptography - SAC 2015 = 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers / by: (Language materials, printed)

Local Features in Natural Images via Singularity Theory by: (Language materials, printed)

Algorithm Engineering = Selected Results and Surveys / by: (Language materials, printed)

Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers / by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers / by: (Language materials, printed)

Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / by: (Language materials, printed)

Algorithmic Advances in Riemannian Geometry and Applications = For Machine Learning, Computer Vision, Statistics, and Optimization / by: (Language materials, printed)

Progress in Cryptology – INDOCRYPT 2016 = 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings / by: (Language materials, printed)

Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II / by: (Language materials, printed)

Automated Reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / by: (Language materials, printed)

Integration of AI and OR Techniques in Constraint Programming = 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings / by: (Language materials, printed)

Fuzzy Logic of Quasi-Truth: An Algebraic Treatment by: (Language materials, printed)

Generalized Connectivity of Graphs by: (Language materials, printed)

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 / by: (Language materials, printed)

Modeling and Simulation in Engineering, Economics and Management = International Conference, MS 2016, Teruel, Spain, July 4-5, 2016, Proceedings / by: (Language materials, printed)

Distributed Computer and Communication Networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers / by: (Language materials, printed)

Energie- und Paritätsgewinnbedingungen auf Spielstrukturen by: (Language materials, printed)

Algebra for Cryptologists by: (Language materials, printed)

Linear and Integer Programming Made Easy by: (Language materials, printed)

Algorithms for Data Science by: (Language materials, printed)

Mathematical Progress in Expressive Image Synthesis III = Selected and Extended Results from the Symposium MEIS2015 / by: (Language materials, printed)

Innovations for Community Services = 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016, Revised Selected Papers / by: (Language materials, printed)

Guide to Computing Fundamentals in Cyber-Physical Systems = Concepts, Design Methods, and Applications / by: (Language materials, printed)

Numerical Methods and Modelling for Engineering by: (Language materials, printed)

Computational Intelligence, Cyber Security and Computational Models = Proceedings of ICC3 2015 / by: (Language materials, printed)

All About Music = The Complete Ontology: Realities, Semiotics, Communication, and Embodiment / by: (Language materials, printed)

Turing Computability = Theory and Applications / by: (Language materials, printed)

Compression-Based Methods of Statistical Analysis and Prediction of Time Series by: (Language materials, printed)

Big Data Technologies and Applications by: (Language materials, printed)

Cool Math for Hot Music = A First Introduction to Mathematics for Music Theorists / by: (Language materials, printed)

Scalable Algorithms for Contact Problems by: (Language materials, printed)

The Structure and Stability of Persistence Modules by: (Language materials, printed)

A Primer on Scientific Programming with Python by: (Language materials, printed)

Mathematik für Informatiker = Grundlagen und Anwendungen / by: (Language materials, printed)

Parallelism in Matrix Computations by: (Language materials, printed)

Einführung in die computerorientierte Mathematik mit Sage by: (Language materials, printed)

Cryptography Made Simple by: (Language materials, printed)

Combinatorics and Complexity of Partition Functions by: (Language materials, printed)

Complete Symbolic Simulation of SystemC Models = Efficient Formal Verification of Finite Non-Terminating Programs / by: (Language materials, printed)

Finitely Supported Mathematics = An Introduction / by: (Language materials, printed)

Mathematische Algorithmen und Computer-Performance kompakt by: (Language materials, printed)

Directed Algebraic Topology and Concurrency by: (Language materials, printed)

Geospatial Algebraic Computations = Theory and Applications / by: (Language materials, printed)

Stochastische Integration = Eine Einführung in die Finanzmathematik / by: (Language materials, printed)

Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications / by: (Language materials, printed)

Matrix and Tensor Factorization Techniques for Recommender Systems by: (Language materials, printed)

Relaxed Abduction = Robust Information Interpretation for Industrial Applications / by: (Language materials, printed)

Mathematical Analysis and the Mathematics of Computation by: (Language materials, printed)

Numerical Mathematics and Advanced Applications ENUMATH 2015 by: (Language materials, printed)

Map Framework = A Formal Model of Maps as a Fundamental Data Type in Information Systems / by: (Language materials, printed)

Optimization by GRASP = Greedy Randomized Adaptive Search Procedures / by: (Language materials, printed)

Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II / by: (Language materials, printed)

Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II / by: (Language materials, printed)

Hybrid Metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings / by: (Language materials, printed)

Information Security and Cryptology = 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers / 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)

Graphical Models for Security = Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers / by: (Language materials, printed)

Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I / by: (Language materials, printed)

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 / by: (Language materials, printed)

Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III / by: (Language materials, printed)

Computing and Combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / by: (Language materials, printed)

Analytical and Stochastic Modelling Techniques and Applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / by: (Language materials, printed)

Information Security = 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings / by: (Language materials, printed)

Trusted Systems = 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers / by: (Language materials, printed)

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 / by: (Language materials, printed)

Formal Grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / by: (Language materials, printed)

Constructive Side-Channel Analysis and Secure Design = 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers / by: (Language materials, printed)

Algorithmic Aspects of Cloud Computing = First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / by: (Language materials, printed)

Transactions on Computational Science XXVII by: (Language materials, printed)

Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I / by: (Language materials, printed)

Learning and Intelligent Optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers / by: (Language materials, printed)

Principles and Practice of Constraint Programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings / by: (Language materials, printed)

Swarm Intelligence Based Optimization = Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers / by: (Language materials, printed)

Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings / by: (Language materials, printed)

Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings / by: (Language materials, printed)

Structural Information and Communication Complexity = 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers / by: (Language materials, printed)

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 / by: (Language materials, printed)

Experimental Algorithms = 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings / by: (Language materials, printed)

Combinatorial Optimization = 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers / by: (Language materials, printed)

Descriptional Complexity of Formal Systems = 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / by: (Language materials, printed)

Parallel Problem Solving from Nature – PPSN XIV = 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings / by: (Language materials, printed)

Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / by: (Language materials, printed)

Diagrammatic Representation and Inference = 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings / by: (Language materials, printed)

Statistik und Excel = Elementarer Umgang mit Daten / by: (Language materials, printed)

Developments in Language Theory = 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

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 / by: (Language materials, printed)

Imprecision and Uncertainty in Information Representation and Processing = New Tools Based on Intuitionistic Fuzzy Sets and Generalized Nets / by: (Language materials, printed)

Numerical Semigroups and Applications by: (Language materials, printed)

Fast Software Encryption = 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers / by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers / by: (Language materials, printed)

Pursuit of the Universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings / by: (Language materials, printed)

Information Geometry and Its Applications by: (Language materials, printed)

Index-aware Model Order Reduction Methods = Applications to Differential-Algebraic Equations / by: (Language materials, printed)

Topics in Numerical Partial Differential Equations and Scientific Computing by: (Language materials, printed)

Boolean Functions and Their Applications in Cryptography by: (Language materials, printed)

Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings / by: (Language materials, printed)

Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities = Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / by: (Language materials, printed)

Scientific Computing = A Historical Perspective / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency XIII by: (Language materials, printed)

Lai-Massey Cipher Designs = History, Design Criteria and Cryptanalysis / by: (Language materials, printed)

Quantum Computing verstehen = Grundlagen – Anwendungen – Perspektiven / by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings / by: (Language materials, printed)

Information Geometry and Its Applications = On the Occasion of Shun-ichi Amari's 80th Birthday, IGAIA IV Liblice, Czech Republic, June 2016 / by: (Language materials, printed)

Nonsymmetric Operads in Combinatorics by: (Language materials, printed)

Modeling Decisions for Artificial Intelligence = 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings / by: (Language materials, printed)

Mathematics and Computing = ICMC 2018, Varanasi, India, January 9-11, Selected Contributions / by: (Language materials, printed)

A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry by: (Language materials, printed)

Advances in Bioinformatics and Computational Biology = 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings / by: (Language materials, printed)

Fourier Analysis—A Signal Processing Approach by: (Language materials, printed)

Graph Drawing and Network Visualization = 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers / by: (Language materials, printed)

Honeypot Frameworks and Their Applications: A New Framework by: (Language materials, printed)

Mathematical Foundations of Advanced Informatics = Volume 1: Inductive Approaches / by: (Language materials, printed)

Theoretische Informatik = Eine umfassende Einführung / by: (Language materials, printed)

Verallgemeinerte Funktionen = Grundlagen und Anwendungsbeispiele / by: (Language materials, printed)

Artificial Intelligence = First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings / by: (Language materials, printed)

Structural Information and Communication Complexity = 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers / by: (Language materials, printed)

Konkrete Mathematik (nicht nur) für Informatiker = Mit vielen Grafiken und Algorithmen in Python / by: (Language materials, printed)

Multi-Objective Optimization = Evolutionary to Hybrid Framework / by: (Language materials, printed)

Handbook of Heuristics by: (Language materials, printed)

LATIN 2018: Theoretical Informatics = 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings / by: (Language materials, printed)

Domain Decomposition Methods in Science and Engineering XXIV by: (Language materials, printed)

Principles and Practice of Constraint Programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / by: (Language materials, printed)

Sailing Routes in the World of Computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings / by: (Language materials, printed)

Algorithmic Game Theory = 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings / by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings / by: (Language materials, printed)

Cellular Automata = A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition / by: (Language materials, printed)

Advanced Concepts for Intelligent Vision Systems = 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings / by: (Language materials, printed)

The Discrete Math Workbook = A Companion Manual for Practical Study / by: (Language materials, printed)

Combinatorial Optimization and Applications = 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings / by: (Language materials, printed)

Studies on Speech Production = 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers / by: (Language materials, printed)

Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II / by: (Language materials, printed)

Artificial Intelligence and Symbolic Computation = 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings / by: (Language materials, printed)

High Performance Computing in Science and Engineering = Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers / by: (Language materials, printed)

Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings / by: (Language materials, printed)

Ewa Orłowska on Relational Methods in Logic and Computer Science by: (Language materials, printed)

The Gröbner Cover by: (Language materials, printed)

Recent Advances in Applications of Computational and Fuzzy Mathematics by: (Language materials, printed)

Mathematical Software – ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / by: (Language materials, printed)

Large-Scale Scientific Computing = 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers / by: (Language materials, printed)

Wie berechenbar ist unsere Welt = Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung / by: (Language materials, printed)

Crossbar-Based Interconnection Networks = Blocking, Scalability, and Reliability / by: (Language materials, printed)

Reachability Problems = 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings / by: (Language materials, printed)

Advances in Artificial Intelligence = 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings / by: (Language materials, printed)

Kombinatorische Optimierung = Theorie und Algorithmen / by: (Language materials, printed)

Graph Drawing and Network Visualization = 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings / by: (Language materials, printed)

Arithmetic of Finite Fields = 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers / by: (Language materials, printed)

Web and Internet Economics = 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings / by: (Language materials, printed)

Approximation and Online Algorithms = 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings / by: (Language materials, printed)

Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II / by: (Language materials, printed)

Analysis for Computer Scientists = Foundations, Methods, and Algorithms / by: (Language materials, printed)

Imaginary Mathematics for Computer Science by: (Language materials, printed)

Simulation Science = First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers / by: (Language materials, printed)

History of Cryptography and Cryptanalysis = Codes, Ciphers, and Their Algorithms / by: (Language materials, printed)

Transactions on Computational Science XXXIII by: (Language materials, printed)

Computational Engineering = Theorie und Praxis der Transportmodelle / by: (Language materials, printed)

New Trends in Emerging Complex Real Life Problems = ODS, Taormina, Italy, September 10–13, 2018 / by: (Language materials, printed)

Information Technologies and Mathematical Modelling. Queueing Theory and Applications = 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers / by: (Language materials, printed)

Distributed Computer and Communication Networks = 21st International Conference, DCCN 2018, Moscow, Russia, September 17–21, 2018, Proceedings / by: (Language materials, printed)

Artificial Life and Evolutionary Computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers / by: (Language materials, printed)

Stability and Control of Nonlinear Time-varying Systems by: (Language materials, printed)

Combinatorial Algorithms = 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings / by: (Language materials, printed)

Graph Data Management = Fundamental Issues and Recent Developments / by: (Language materials, printed)

Euclidean Distance Matrices and Their Applications in Rigidity Theory by: (Language materials, printed)

Monomial Ideals and Their Decompositions by: (Language materials, printed)

Arbres pour l’Algorithmique by: (Language materials, printed)

Machine Learning = A Practical Approach on the Statistical Learning Theory / by: (Language materials, printed)

Mathematical and Numerical Modeling of the Cardiovascular System and Applications by: (Language materials, printed)

Transactions on Computational Collective Intelligence XXXI by: (Language materials, printed)

Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I / by: (Language materials, printed)

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 / by: (Language materials, printed)

Combinatorial Optimization = 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers / by: (Language materials, printed)

Developments in Language Theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings / by: (Language materials, printed)

The GLOBAL Optimization Algorithm = Newly Updated with Java Implementation and Parallelization / by: (Language materials, printed)

Parallel Computational Technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers / by: (Language materials, printed)

Playful Disruption of Digital Media by: (Language materials, printed)

Mathematics and Computing = 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers / by: (Language materials, printed)

Sequences, Groups, and Number Theory by: (Language materials, printed)

Partition Function Form Games = Coalitional Games with Externalities / by: (Language materials, printed)

Guide to Graph Algorithms = Sequential, Parallel and Distributed / by: (Language materials, printed)

Applied Mathematics and Computational Intelligence by: (Language materials, printed)

Multiple Criteria Decision Aid = Methods, Examples and Python Implementations / by: (Language materials, printed)

Combinatorial Algorithms = 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers / by: (Language materials, printed)

Approximation and Online Algorithms = 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers / by: (Language materials, printed)

Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation = Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings / by: (Language materials, printed)

Modeling and Simulation with Compose and Activate by: (Language materials, printed)

Advances in Computer Algebra = In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada / by: (Language materials, printed)

Adventures Between Lower Bounds and Higher Altitudes = Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday / by: (Language materials, printed)

Measurement, Modelling and Evaluation of Computing Systems = 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings / by: (Language materials, printed)

Mathematik für Software Engineering by: (Language materials, printed)

Nonlinear Eigenproblems in Image Processing and Computer Vision by: (Language materials, printed)

Tensor Eigenvalues and Their Applications by: (Language materials, printed)

Algorithmen für Ingenieure = Technische Realisierung mit Excel und VBA / by: (Language materials, printed)

Fundamentals of Discrete Math for Computer Science = A Problem-Solving Primer / by: (Language materials, printed)

Handbook of Floating-Point Arithmetic by: (Language materials, printed)

Do Colors Exist? = And Other Profound Physics Questions / by: (Language materials, printed)

Clinical Rehabilitation Experience Utilizing Serious Games = Rehabilitation Technology and a Technical Concept for Health Data Collection / by: (Language materials, printed)

Computer Aided Systems Theory – EUROCAST 2017 = 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II / by: (Language materials, printed)

Linear Algebra and Analytic Geometry for Physical Sciences by: (Language materials, printed)

Relational Topology by: (Language materials, printed)

Computer Science – Theory and Applications = 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings / by: (Language materials, printed)

Graph-Based Representation and Reasoning = 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings / by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / by: (Language materials, printed)

Handbook of Model Checking by: (Language materials, printed)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings / by: (Language materials, printed)

A Semidiscrete Version of the Citti-Petitot-Sarti Model as a Plausible Model for Anthropomorphic Image Reconstruction and Pattern Recognition by: (Language materials, printed)

Cellular Automata and Discrete Complex Systems = 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings / by: (Language materials, printed)

Proofs from THE BOOK by: (Language materials, printed)

Application of Soft Computing and Intelligent Methods in Geophysics by: (Language materials, printed)

Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings / by: (Language materials, printed)

Classes of Directed Graphs by: (Language materials, printed)

Algorithms for Computational Biology = 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings / by: (Language materials, printed)

Sparse Grids and Applications - Miami 2016 by: (Language materials, printed)

Algorithmic Aspects of Cloud Computing = Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers / by: (Language materials, printed)

Optimization Problems and Their Applications = 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers / by: (Language materials, printed)

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 / by: (Language materials, printed)

Operations Research and Enterprise Systems = 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I / by: (Language materials, printed)

Energy Minimization Methods in Computer Vision and Pattern Recognition = 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers / by: (Language materials, printed)

Number-Theoretic Methods in Cryptology = First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers / by: (Language materials, printed)

Frontiers in Algorithmics = 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings / by: (Language materials, printed)

Independent Random Sampling Methods by: (Language materials, printed)

Computer Aided Systems Theory – EUROCAST 2017 = 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I / by: (Language materials, printed)

Artificial Evolution = 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers / by: (Language materials, printed)

Computing and Combinatorics = 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings / by: (Language materials, printed)

Fundamentals and Applications of Hardcopy Communication = Conveying Side Information by Printed Media / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings / by: (Language materials, printed)

Biomedical Engineering Systems and Technologies = 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers / by: (Language materials, printed)

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 / by: (Language materials, printed)

On the Learnability of Physically Unclonable Functions by: (Language materials, printed)

Machine Learning, Optimization, and Big Data = Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers / by: (Language materials, printed)

Programmieren für Ingenieure und Naturwissenschaftler = Intelligente Algorithmen und digitale Technologien / by: (Language materials, printed)

Monte Carlo and Quasi-Monte Carlo Methods = MCQMC 2016, Stanford, CA, August 14-19 / by: (Language materials, printed)

High Performance Computing in Science and Engineering ' 17 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2017 / by: (Language materials, printed)

Artificial Intelligence = 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8–9, 2017, Revised Selected Papers / by: (Language materials, printed)

Practical Python AI Projects = Mathematical Models of Optimization Problems with Google OR-Tools / by: (Language materials, printed)

Descriptional Complexity of Formal Systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings / by: (Language materials, printed)

Combinatorial Optimization = Theory and Algorithms / by: (Language materials, printed)

Improving Service Level Engineering = An Intuitionistic Fuzzy Approach / by: (Language materials, printed)

Recent Developments in Metaheuristics by: (Language materials, printed)

Graphical Models for Security = 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers / by: (Language materials, printed)

Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I / by: (Language materials, printed)

Computing and Combinatorics = 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings / by: (Language materials, printed)

Elementare Differentialgeometrie (nicht nur) für Informatiker = Mit vielen Grafiken und Visualisierungen in JavaScript / by: (Language materials, printed)

Hybrid Systems Biology = 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by: (Language materials, printed)

Computer Science – Theory and Applications = 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings / by: (Language materials, printed)

Computational Topology in Image Context = 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings / by: (Language materials, printed)

Algorithmic Decision Theory = 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings / by: (Language materials, printed)

Simulation and Synthesis in Medical Imaging = 4th International Workshop, SASHIMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings / by: (Language materials, printed)

Ophthalmic Medical Image Analysis = 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings / by: (Language materials, printed)

Hybrid Metaheuristics = 11th International Workshop, HM 2019, Concepción, Chile, January 16–18, 2019, Proceedings / by: (Language materials, printed)

Evolutionary Learning: Advances in Theories and Algorithms by: (Language materials, printed)

Transactions on Rough Sets XXI by: (Language materials, printed)

Logic and Its Applications = 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / by: (Language materials, printed)

Advances in Mathematical Methods and High Performance Computing by: (Language materials, printed)

Evolutionary Multi-Criterion Optimization = 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings / by: (Language materials, printed)

Advances in Optimization and Decision Science for Society, Services and Enterprises = ODS, Genoa, Italy, September 4-7, 2019 / by: (Language materials, printed)

Calculus for Computer Graphics by: (Language materials, printed)

Analysis of Experimental Algorithms = Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers / by: (Language materials, printed)

Foundations of Software Science and Computation Structures = 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by: (Language materials, printed)

Computer Simulation Validation = Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives / by: (Language materials, printed)

Algorithmic Aspects of Cloud Computing = 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers / by: (Language materials, printed)

Shapes and Diffeomorphisms by: (Language materials, printed)

Algorithms and Complexity = 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings / by: (Language materials, printed)

DNA Computing and Molecular Programming = 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings / by: (Language materials, printed)

Low-Rank Approximation = Algorithms, Implementation, Applications / by: (Language materials, printed)

Parallel Computational Technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers / by: (Language materials, printed)

High Performance Computing in Science and Engineering ' 18 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018 / by: (Language materials, printed)

Numerical Methods and Applications = 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers / by: (Language materials, printed)

Numerical Geometry, Grid Generation and Scientific Computing = Proceedings of the 9th International Conference, NUMGRID 2018 / Voronoi 150, Celebrating the 150th Anniversary of G.F. Voronoi, Moscow, Russia, December 2018 / by: (Language materials, printed)

Visual Saliency: From Pixel-Level to Object-Level Analysis by: (Language materials, printed)

Genetic Programming = 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by: (Language materials, printed)

Game Theory for Networks = 8th International EAI Conference, GameNets 2019, Paris, France, April 25–26, 2019, Proceedings / by: (Language materials, printed)

Research in Computational Molecular Biology = 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II / by: (Language materials, printed)

Industrial Networks and Intelligent Systems = 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings / by: (Language materials, printed)

Quantum Interaction = 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers / by: (Language materials, printed)

Beginning MATLAB and Simulink = From Novice to Professional / by: (Language materials, printed)

Automated Reasoning with Analytic Tableaux and Related Methods = 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings / by: (Language materials, printed)

Basic Math for Game Development with Unity 3D = A Beginner's Guide to Mathematical Foundations / by: (Language materials, printed)

Methods and Models in Mathematical Programming by: (Language materials, printed)

Logic Functions and Equations = Binary Models for Computer Science / by: (Language materials, printed)

Functional Imaging and Modeling of the Heart = 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings / by: (Language materials, printed)

Geometric Multiplication of Vectors = An Introduction to Geometric Algebra in Physics / by: (Language materials, printed)

Algorithms and Models for the Web Graph = 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings / by: (Language materials, printed)

Finite Difference Methods. Theory and Applications = 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings / by: (Language materials, printed)

Geometric Science of Information = 4th International Conference, GSI 2019, Toulouse, France, August 27–29, 2019, Proceedings / by: (Language materials, printed)

Queueing Theory and Network Applications = 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings / by: (Language materials, printed)

Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory by: (Language materials, printed)

Computational and Information Technologies in Science, Engineering and Education = 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers / by: (Language materials, printed)

Frontiers in Algorithmics = 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings / by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers / by: (Language materials, printed)

Reachability Problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings / by: (Language materials, printed)

Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung / by: (Language materials, printed)

Building Bridges II = Mathematics of László Lovász / by: (Language materials, printed)

Mathematics in Everyday Life by: (Language materials, printed)

Notes from the International Autumn School on Computational Number Theory by: (Language materials, printed)

Algorithms for Sensor Systems = 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23–24, 2018, Revised Selected Papers / by: (Language materials, printed)

Planetary Spacecraft Navigation by: (Language materials, printed)

WALCOM: Algorithms and Computation = 13th International Conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019, Proceedings / by: (Language materials, printed)

SOFSEM 2019: Theory and Practice of Computer Science = 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings / by: (Language materials, printed)

Variable Neighborhood Search = 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers / by: (Language materials, printed)

Combinatorics on Words = 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings / by: (Language materials, printed)

Scale Space and Variational Methods in Computer Vision = 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019, Proceedings / by: (Language materials, printed)

Combinatorial Optimization and Applications = 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings / by: (Language materials, printed)

Computing with Foresight and Industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings / by: (Language materials, printed)

Theory and Applications of Models of Computation = 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings / by: (Language materials, printed)

Applying Fuzzy Logic for the Digital Economy and Society by: (Language materials, printed)

Handbook of Metaheuristics by: (Language materials, printed)

Resonant Scattering and Generation of Waves = Cubically Polarizable Layers / by: (Language materials, printed)

Verschlüsseln, Signieren, Angreifen = Eine kompakte Einführung in die Kryptografie / by: (Language materials, printed)

Parallel Computing Technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings / by: (Language materials, printed)

Web and Big Data = Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part I / by: (Language materials, printed)

String Processing and Information Retrieval = 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings / by: (Language materials, printed)

Stabilization, Safety, and Security of Distributed Systems = 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings / by: (Language materials, printed)

Magic and Antimagic Graphs = Attributes, Observations and Challenges in Graph Labelings / by: (Language materials, printed)

Mechanistic Explanations in Physics and Beyond by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / by: (Language materials, printed)

Business Process Management = 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings / by: (Language materials, printed)

Advanced Computing in Industrial Mathematics = 12th Annual Meeting of the Bulgarian Section of SIAM December 20-22, 2017, Sofia, Bulgaria Revised Selected Papers / by: (Language materials, printed)

Learning and Intelligent Optimization = 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers / by: (Language materials, printed)

Advances in Cryptology – ASIACRYPT 2019 = 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III / by: (Language materials, printed)

Fractal Dimension for Fractal Structures = With Applications to Finance / by: (Language materials, printed)

Network Games, Control, and Optimization = Proceedings of NETGCOOP 2018, New York, NY / by: (Language materials, printed)

Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II / by: (Language materials, printed)

Intelligent Data Processing = 11th International Conference, IDP 2016, Barcelona, Spain, October 10–14, 2016, Revised Selected Papers / by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV / by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V / by: (Language materials, printed)

Mathematik für Informatiker = Ein praxisbezogenes Lehrbuch / by: (Language materials, printed)

Advances and Trends in Artificial Intelligence. From Theory to Practice = 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings / by: (Language materials, printed)

Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers / by: (Language materials, printed)

Linear Algebra and Group Theory for Physicists and Engineers by: (Language materials, printed)

Transactions on Computational Collective Intelligence XXXIV by: (Language materials, printed)

Business and Consumer Analytics: New Ideas by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings / by: (Language materials, printed)

Unconventional Computation and Natural Computation = 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings / by: (Language materials, printed)

Information Processing in Medical Imaging = 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings / by: (Language materials, printed)

Informatik-Bausteine = Eine komprimierte Einführung / by: (Language materials, printed)

Smart Cities, Green Technologies, and Intelligent Transport Systems = 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers / by: (Language materials, printed)

Advanced Methods for Geometric Modeling and Numerical Simulation by: (Language materials, printed)

Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings / by: (Language materials, printed)

Julia Quick Syntax Reference = A Pocket Guide for Data Science Programming / by: (Language materials, printed)

Aspekte des Unendlichen = Eine kleine Erzählung für Nichtmathematiker / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers / by: (Language materials, printed)

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations by: (Language materials, printed)

Reflections on the Foundations of Mathematics = Univalent Foundations, Set Theory and General Thoughts / by: (Language materials, printed)

Language and Automata Theory and Applications = 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / by: (Language materials, printed)

Graph Transformation = 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / by: (Language materials, printed)

Unifying Theories of Programming = 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / by: (Language materials, printed)

Learn Java with Math = Using Fun Projects and Games / by: (Language materials, printed)

Discrete Geometry for Computer Imagery = 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings / by: (Language materials, printed)

Practical MATLAB = With Modeling, Simulation, and Processing Projects / by: (Language materials, printed)

Computergrafik = Band I des Standardwerks Computergrafik und Bildverarbeitung / by: (Language materials, printed)

Computational Diffusion MRI = International MICCAI Workshop, Granada, Spain, September 2018 / by: (Language materials, printed)

Research in Data Science by: (Language materials, printed)

Stochastic Models in Reliability, Network Security and System Safety = Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday / by: (Language materials, printed)

Core Data Analysis: Summarization, Correlation, and Visualization by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings / by: (Language materials, printed)

Arto Salomaa: Mathematician, Computer Scientist, and Teacher = A Thematic Biography / by: (Language materials, printed)

Algebraic Informatics = 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings / by: (Language materials, printed)

Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings / by: (Language materials, printed)

Deep Learning with R by: (Language materials, printed)

New Trends in Applied Harmonic Analysis, Volume 2 = Harmonic Analysis, Geometric Measure Theory, and Applications / by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I / by: (Language materials, printed)

Operations Research and Enterprise Systems = 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers / by: (Language materials, printed)

Applications of Evolutionary Computation = 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by: (Language materials, printed)

Integer Programming and Combinatorial Optimization = 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings / by: (Language materials, printed)

Graph-Based Representations in Pattern Recognition = 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19–21, 2019, Proceedings / by: (Language materials, printed)

Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings / by: (Language materials, printed)

Mathematical Morphology and Its Applications to Signal and Image Processing = 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings / by: (Language materials, printed)

Graph Drawing and Network Visualization = 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings / by: (Language materials, printed)

Game Theory = Third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7–9, 2019, Revised Selected Papers / by: (Language materials, printed)

Combinatorial Algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings / by: (Language materials, printed)

Code-Based Cryptography = 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18–19, 2019, Revised Selected Papers / by: (Language materials, printed)

Algorithms and Data Structures = 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings / by: (Language materials, printed)

Fundamentals of Computation Theory = 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings / by: (Language materials, printed)

Structural Information and Communication Complexity = 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings / by: (Language materials, printed)

Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings / by: (Language materials, printed)

Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part I / by: (Language materials, printed)

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

Information Technologies and Mathematical Modelling. Queueing Theory and Applications = 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers / by: (Language materials, printed)

Steuerung eines autonomen Fahrzeugs durch Deep Reinforcement Learning by: (Language materials, printed)

Numerical Mathematics and Advanced Applications ENUMATH 2017 by: (Language materials, printed)

Optimization and Applications = 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1–5, 2018, Revised Selected Papers / by: (Language materials, printed)

27th International Meshing Roundtable by: (Language materials, printed)

Mathematical Insights into Advanced Computer Graphics Techniques by: (Language materials, printed)

Communications and Networking = 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings / by: (Language materials, printed)

Quality, Reliability, Security and Robustness in Heterogeneous Systems = 14th EAI International Conference, Qshine 2018, Ho Chi Minh City, Vietnam, December 3–4, 2018, Proceedings / by: (Language materials, printed)

Integrated Uncertainty in Knowledge Modelling and Decision Making = 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings / by: (Language materials, printed)

Compressed Sensing and Its Applications = Third International MATHEON Conference 2017 / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency XIV by: (Language materials, printed)

Algorithms for Computational Biology = 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings / by: (Language materials, printed)

Algorithms and Complexity in Mathematics, Epistemology, and Science = Proceedings of 2015 and 2016 ACMES Conferences / by: (Language materials, printed)

Linear Algebra for Computational Sciences and Engineering by: (Language materials, printed)

Industrial Networks and Intelligent Systems = 5th EAI International Conference, INISCOM 2019, Ho Chi Minh City, Vietnam, August 19, 2019, Proceedings / by: (Language materials, printed)

Operations Research and Enterprise Systems = 8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I / by: (Language materials, printed)

Handbook of Heuristics by: (Language materials, printed)

Gut gepackt – Kein Bit zu viel = Kompression digitaler Daten verständlich erklärt / by: (Language materials, printed)

Biomedical Engineering Systems and Technologies = 12th International Joint Conference, BIOSTEC 2019, Prague, Czech Republic, February 22–24, 2019, Revised Selected Papers / by: (Language materials, printed)

Fuzzy Transforms for Image Processing and Data Analysis = Core Concepts, Processes and Applications / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings / by: (Language materials, printed)

Applied Nature-Inspired Computing: Algorithms and Case Studies by: (Language materials, printed)

Combinatorial and Additive Number Theory III = CANT, New York, USA, 2017 and 2018 / by: (Language materials, printed)

Making Smart Cities More Playable = Exploring Playable Cities / by: (Language materials, printed)

Computational Intelligence Methods for Bioinformatics and Biostatistics = 15th International Meeting, CIBB 2018, Caparica, Portugal, September 6–8, 2018, Revised Selected Papers / by: (Language materials, printed)

Parallel Algorithms in Computational Science and Engineering by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = 6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, Proceedings / by: (Language materials, printed)

Combinatorial Image Analysis = 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020, Proceedings / by: (Language materials, printed)

The Amazing Journey of Reason = from DNA to Artificial Intelligence / by: (Language materials, printed)

Maple in Mathematics Education and Research = Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15–17, 2019, Proceedings / by: (Language materials, printed)

Nature-Inspired Computation in Navigation and Routing Problems = Algorithms, Methods and Applications / by: (Language materials, printed)

Advanced Computing Technologies and Applications = Proceedings of 2nd International Conference on Advanced Computing Technologies and Applications—ICACTA 2020 / by: (Language materials, printed)

Simulation Science = Second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019, Revised Selected Papers / by: (Language materials, printed)

Unsupervised Learning in Space and Time = A Modern Approach for Computer Vision using Graph-based Techniques and Deep Neural Networks / by: (Language materials, printed)

Foundations of Software Science and Computation Structures = 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / by: (Language materials, printed)

Building Decision Support Systems = using MiniZinc / by: (Language materials, printed)

Analytical and Stochastic Modelling Techniques and Applications = 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings / by: (Language materials, printed)

Combinatorial Algorithms = 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings / by: (Language materials, printed)

Information Processing and Management of Uncertainty in Knowledge-Based Systems = 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part II / by: (Language materials, printed)

Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples = FVCA 9, Bergen, Norway, June 2020 / by: (Language materials, printed)

Artificial Mathematical Intelligence = Cognitive, (Meta)mathematical, Physical and Philosophical Foundations / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part II / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V / by: (Language materials, printed)

Domain Decomposition Methods in Science and Engineering XXV by: (Language materials, printed)

Graph Transformation = 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings / by: (Language materials, printed)

Advances in Signal Processing and Intelligent Recognition Systems = 5th International Symposium, SIRS 2019, Trivandrum, India, December 18–21, 2019, Revised Selected Papers / by: (Language materials, printed)

Pattern Recognition Techniques Applied to Biomedical Problems by: (Language materials, printed)

Neural Computing for Advanced Applications = First International Conference, NCAA 2020, Shenzhen, China, July 3–5, 2020, Proceedings / by: (Language materials, printed)

Mathematical Software – ICMS 2020 = 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings / by: (Language materials, printed)

Approximation and Online Algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / by: (Language materials, printed)

Green Energy and Networking = 7th EAI International Conference, GreeNets 2020, Harbin, China, June 27-28, 2020, Proceedings / by: (Language materials, printed)

SOFSEM 2020: Theory and Practice of Computer Science = 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VI / by: (Language materials, printed)

Algorithms and Models for the Web Graph = 17th International Workshop, WAW 2020, Warsaw, Poland, September 21–22, 2020, Proceedings / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings / by: (Language materials, printed)

Formalization of Complex Analysis and Matrix Theory by: (Language materials, printed)

Fuzzy Hypergraphs and Related Extensions by: (Language materials, printed)

Artificial Life and Evolutionary Computation = 14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18–20, 2019, Revised Selected Papers / by: (Language materials, printed)

Basiswissen Angewandte Mathematik – Numerik, Grafik, Kryptik = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool / by: (Language materials, printed)

An Introduction to Computational Origami by: (Language materials, printed)

The Discrete Math Workbook = A Companion Manual Using Python / by: (Language materials, printed)

Computational Diffusion MRI = MICCAI Workshop, Shenzhen, China, October 2019 / by: (Language materials, printed)

Advanced Communication Systems and Information Security = Second International Conference, ACOSIS 2019, Marrakesh, Morocco, November 20–22, 2019, Revised Selected Papers / by: (Language materials, printed)

Fuzzy Recurrence Plots and Networks with Applications in Biomedicine by: (Language materials, printed)

Integrated Uncertainty in Knowledge Modelling and Decision Making = 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11–13, 2020, Proceedings / by: (Language materials, printed)

Optimization and Applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Proceedings / by: (Language materials, printed)

Practical MATLAB Deep Learning = A Project-Based Approach / by: (Language materials, printed)

Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I / by: (Language materials, printed)

Foundation Mathematics for Computer Science = A Visual Approach / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part II / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I / by: (Language materials, printed)

Optimal Social Influence by: (Language materials, printed)

Pairwise Comparisons Method = Theory and Applications in Decision Making / by: (Language materials, printed)

Quantitative Evaluation of Systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings / by: (Language materials, printed)

Elderly Health Services and Remote Health Monitoring by: (Language materials, printed)

Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices = 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Kitakyushu, Japan, September 22-25, 2020, Proceedings / by: (Language materials, printed)

Topics in Theoretical Computer Science = Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings / by: (Language materials, printed)

Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings / by: (Language materials, printed)

Mathematical Aspects of Computer and Information Sciences = 8th International Conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019, Revised Selected Papers / by: (Language materials, printed)

Applied Mathematical Analysis: Theory, Methods, and Applications by: (Language materials, printed)

Basiswissen Analysis = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool / by: (Language materials, printed)

Predictive Analytics und Data Mining = Eine Einführung mit R / by: (Language materials, printed)

Algorithmic Game Theory = 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16–18, 2020, Proceedings / by: (Language materials, printed)

Optimization and Learning = Third International Conference, OLA 2020, Cádiz, Spain, February 17–19, 2020, Proceedings / by: (Language materials, printed)

Mathematical Modelling and Scientific Computing with Applications = ICMMSC 2018, Indore, India, July 19–21 / by: (Language materials, printed)

Modeling Decisions for Artificial Intelligence = 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020, Proceedings / by: (Language materials, printed)

Deep Learning Architectures = A Mathematical Approach / by: (Language materials, printed)

Mathematical Research for Blockchain Economy = 1st International Conference MARBLE 2019, Santorini, Greece / by: (Language materials, printed)

Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part I / by: (Language materials, printed)

Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II / by: (Language materials, printed)

Introduction to Scientific Programming with Python by: (Language materials, printed)

Handbook of Variational Methods for Nonlinear Geometric Data by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings / by: (Language materials, printed)

Optimization and Applications = 10th International Conference, OPTIMA 2019, Petrovac, Montenegro, September 30 – October 4, 2019, Revised Selected Papers / by: (Language materials, printed)

Learning and Intelligent Optimization = 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers / by: (Language materials, printed)

Mathematics in Computing = An Accessible Guide to Historical, Foundational and Application Contexts / by: (Language materials, printed)

Space Information Networks = 4th International Conference, SINC 2019, Wuzhen, China, September 19–20, 2019, Revised Selected Papers / by: (Language materials, printed)

Data Mining and Big Data = 5th International Conference, DMBD 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings / by: (Language materials, printed)

Computer Performance Engineering = 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by: (Language materials, printed)

Mathematische Probleme lösen mit Maple = Ein Kurzeinstieg / by: (Language materials, printed)

2018 MATRIX Annals by: (Language materials, printed)

General-Purpose Optimization Through Information Maximization by: (Language materials, printed)

Handbook of Digital Games and Entertainment Technologies by: (Language materials, printed)

Variable Neighborhood Search = 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers / by: (Language materials, printed)

Computer Aided Systems Theory – EUROCAST 2019 = 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I / by: (Language materials, printed)

Handbuch Gestaltung digitaler und vernetzter Arbeitswelten by: (Language materials, printed)

Combinatorial Optimization = 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers / by: (Language materials, printed)

Practical MATLAB Modeling with Simulink = Programming and Simulating Ordinary and Partial Differential Equations / by: (Language materials, printed)

Foundations of Finitely Supported Structures = A Set Theoretical Viewpoint / by: (Language materials, printed)

Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II / by: (Language materials, printed)

Profinite Semigroups and Symbolic Dynamics by: (Language materials, printed)

Integer Programming and Combinatorial Optimization = 21st International Conference, IPCO 2020, London, UK, June 8–10, 2020, Proceedings / by: (Language materials, printed)

Sets, Logic and Maths for Computing by: (Language materials, printed)

Bildverarbeitung = Band II des Standardwerks Computergrafik und Bildverarbeitung / by: (Language materials, printed)

Discrete Mathematics and Applications by: (Language materials, printed)

Computer Information Systems and Industrial Management = 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings / by: (Language materials, printed)

Industrial Networks and Intelligent Systems = 6th EAI International Conference, INISCOM 2020, Hanoi, Vietnam, August 27–28, 2020, Proceedings / by: (Language materials, printed)

A Matrix Algebra Approach to Artificial Intelligence by: (Language materials, printed)

Distributed Graph Analytics = Programming, Languages, and Their Compilation / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / by: (Language materials, printed)

Research in Computational Molecular Biology = 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10–13, 2020, Proceedings / by: (Language materials, printed)

Treewidth, Kernels, and Algorithms = Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday / by: (Language materials, printed)

Developments in Language Theory = 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings / by: (Language materials, printed)

Artificial Intelligence Algorithms and Applications = 11th International Symposium, ISICA 2019, Guangzhou, China, November 16–17, 2019, Revised Selected Papers / by: (Language materials, printed)

Accelerated Optimization for Machine Learning = First-Order Algorithms / by: (Language materials, printed)

Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers / by: (Language materials, printed)

Information Processing and Management of Uncertainty in Knowledge-Based Systems = 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part I / by: (Language materials, printed)

Information Processing and Management of Uncertainty in Knowledge-Based Systems = 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part III / by: (Language materials, printed)

Computer Science – Theory and Applications = 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings / by: (Language materials, printed)

Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings / by: (Language materials, printed)

String Processing and Information Retrieval = 27th International Symposium, SPIRE 2020, Orlando, FL, USA, October 13–15, 2020, Proceedings / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings / by: (Language materials, printed)

Code-Based Cryptography = 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9–10, 2020, Revised Selected Papers / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Revised Selected Papers / by: (Language materials, printed)

Geoinformatics in Sustainable Ecosystem and Society = 7th International Conference, GSES 2019, and First International Conference, GeoAI 2019, Guangzhou, China, November 21–25, 2019, Revised Selected Papers / by: (Language materials, printed)

Structural Information and Communication Complexity = 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings / by: (Language materials, printed)

Basiswissen Lineare Algebra = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool / by: (Language materials, printed)

Scalable Uncertainty Management = 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23–25, 2020, Proceedings / by: (Language materials, printed)

Bio-inspired Computing: Theories and Applications = 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019, Revised Selected Papers, Part II / by: (Language materials, printed)

Topological Data Analysis = The Abel Symposium 2018 / by: (Language materials, printed)

Database and Expert Systems Applications = DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14–17, 2020, Proceedings / by: (Language materials, printed)

Stabilization, Safety, and Security of Distributed Systems = 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings / by: (Language materials, printed)

Information and Communication Technologies in Education, Research, and Industrial Applications = 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers / by: (Language materials, printed)

Frontiers in Algorithmics = 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings / by: (Language materials, printed)

Universal Time-Series Forecasting with Mixture Predictors by: (Language materials, printed)

New Trends in Computational Vision and Bio-inspired Computing = Selected works presented at the ICCVBIC 2018, Coimbatore, India / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part III / by: (Language materials, printed)

Recent Advances in Data Science = Third International Conference on Data Science, Medicine, and Bioinformatics, IDMB 2019, Nanning, China, June 22–24, 2019, Revised Selected Papers / by: (Language materials, printed)

Search-Based Software Engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings / by: (Language materials, printed)

Topics in Galois Fields by: (Language materials, printed)

Multivariate Public Key Cryptosystems by: (Language materials, printed)

Optimal Coverage in Wireless Sensor Networks by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part I / by: (Language materials, printed)

Computational Methods in Systems Biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings / by: (Language materials, printed)

Beyond Planar Graphs = Communications of NII Shonan Meetings / by: (Language materials, printed)

Shape Optimization Problems by: (Language materials, printed)

Numerical Semigroups and Applications by: (Language materials, printed)

Mathematical Research for Blockchain Economy = 2nd International Conference MARBLE 2020, Vilamoura, Portugal / by: (Language materials, printed)

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra = In Honour of Peter Paule on his 60th Birthday / by: (Language materials, printed)

The Algorithm Design Manual by: (Language materials, printed)

Introduction to the Tools of Scientific Computing by: (Language materials, printed)

LATIN 2020: Theoretical Informatics = 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings / by: (Language materials, printed)

Approximation of Euclidean Metric by Digital Distances by: (Language materials, printed)

Theory and Applications of Models of Computation = 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings / by: (Language materials, printed)

Similarity Search and Applications = 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 – October 2, 2020, Proceedings / by: (Language materials, printed)

Reachability Problems = 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings / by: (Language materials, printed)

Combinatorial Optimization and Applications = 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings / by: (Language materials, printed)

Lattice-Based Cryptosystems = A Design Perspective / by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers / by: (Language materials, printed)

Intelligent Systems = 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20–23, 2020, Proceedings, Part II / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings / by: (Language materials, printed)

Understand Mathematics, Understand Computing = Discrete Mathematics That All Computing Students Should Know / by: (Language materials, printed)

Topological Methods in Data Analysis and Visualization V = Theory, Algorithms, and Applications / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VII / by: (Language materials, printed)

Simulation and Synthesis in Medical Imaging = 5th International Workshop, SASHIMI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings / by: (Language materials, printed)

Robotics and Rehabilitation Intelligence = First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part I / by: (Language materials, printed)

Robotics and Rehabilitation Intelligence = First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part II / by: (Language materials, printed)

Advances in Computer Games = 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers / by: (Language materials, printed)

Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings / by: (Language materials, printed)

Statistisches Programmieren mit R = Eine ausführliche, übersichtliche, spannende und praxiserprobte Einführung / by: (Language materials, printed)

Distributed Computer and Communication Networks = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14–18, 2020, Revised Selected Papers / by: (Language materials, printed)

Distributed Computer and Communication Networks: Control, Computation, Communications = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020, Revised Selected Papers / by: (Language materials, printed)

Advanced Data Mining and Applications = 16th International Conference, ADMA 2020, Foshan, China, November 12–14, 2020, Proceedings / by: (Language materials, printed)

Machine Learning, Optimization, and Data Science = 6th International Conference, LOD 2020, Siena, Italy, July 19–23, 2020, Revised Selected Papers, Part I / by: (Language materials, printed)

Recent Featured Applications of Artificial Intelligence Methods. LSMS 2020 and ICSEE 2020 Workshops = Workshops of the 6th International Conference on Life System Modeling and Simulation, LSMS 2020, and 6th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2020, Shanghai, China, October 25, 2020, Proceedings / by: (Language materials, printed)

Modeling, Machine Learning and Astronomy = First International Conference, MMLA 2019, Bangalore, India, November 22–23, 2019, Revised Selected Papers / by: (Language materials, printed)

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production = 10th International Conference, HPCST 2020, Barnaul, Russia, May 15–16, 2020, Revised Selected Papers / by: (Language materials, printed)

Advances in Optimization and Applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Revised Selected Papers / by: (Language materials, printed)

6GN for Future Wireless Networks = Third EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020, Proceedings / by: (Language materials, printed)

Graph Drawing and Network Visualization = 28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16–18, 2020, Revised Selected Papers / by: (Language materials, printed)

Optimization and Learning = 4th International Conference, OLA 2021, Catania, Italy, June 21-23, 2021, Proceedings / by: (Language materials, printed)

Time-dependent Problems in Imaging and Parameter Identification by: (Language materials, printed)

Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings / by: (Language materials, printed)

Arithmetic and Algebraic Circuits by: (Language materials, printed)

Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2020, Ghent, Belgium, September 14–18, 2020, Proceedings, Part II / by: (Language materials, printed)

Concise Guide to Quantum Computing = Algorithms, Exercises, and Implementations / by: (Language materials, printed)

Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings / by: (Language materials, printed)

The Search for ExtraTerrestrial Intelligence = Proceedings of the 2nd SETI-INAF Meeting 2019 / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency XV by: (Language materials, printed)

Transactions on Computational Science XXXVIII by: (Language materials, printed)

Computer Algebra = An Algorithm-Oriented Introduction / by: (Language materials, printed)

Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung / by: (Language materials, printed)

Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings / by: (Language materials, printed)

Systems, Patterns and Data Engineering with Geometric Calculi by: (Language materials, printed)

Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by: (Language materials, printed)

Ubiquitous Communications and Network Computing = 4th EAI International Conference, UBICNET 2021, Virtual Event, March 2021, Proceedings / by: (Language materials, printed)

Schwarz Methods and Multilevel Preconditioners for Boundary Element Methods by: (Language materials, printed)

Machine Learning by: (Language materials, printed)

Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / by: (Language materials, printed)

Discrete Geometry and Mathematical Morphology = First International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021, Proceedings / by: (Language materials, printed)

Geometric Science of Information = 5th International Conference, GSI 2021, Paris, France, July 21–23, 2021, Proceedings / by: (Language materials, printed)

Recent Trends in Mathematical Modeling and High Performance Computing = M3HPCST-2020, Ghaziabad, India, January 9-11, 2020 / by: (Language materials, printed)

Well Packed – Not a Bit Too Much = Compression of Digital Data Explained in an Understandable Way / by: (Language materials, printed)

Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings / by: (Language materials, printed)

Quaternions for Computer Graphics by: (Language materials, printed)

Pattern Recognition = 42nd DAGM German Conference, DAGM GCPR 2020, Tübingen, Germany, September 28 – October 1, 2020, Proceedings / by: (Language materials, printed)

Multivariate Data Analysis on Matrix Manifolds = (with Manopt) / by: (Language materials, printed)

Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings / by: (Language materials, printed)

Applications of Flower Pollination Algorithm and its Variants by: (Language materials, printed)

Machine Learning and Knowledge Discovery in Databases. Research Track = European Conference, ECML PKDD 2021, Bilbao, Spain, September 13–17, 2021, Proceedings, Part II / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (Language materials, printed)

Cognitive Radio-Oriented Wireless Networks = 15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020, Proceedings / by: (Language materials, printed)

Stability Analysis of Regenerative Queueing Models = Mathematical Methods and Applications / by: (Language materials, printed)

Mathematical Structures of Ergodicity and Chaos in Population Dynamics by: (Language materials, printed)

Applied Mathematics and Computational Mechanics for Smart Applications = Proceedings of AMMAI 2020 / by: (Language materials, printed)

Big Data = 8th CCF Conference, BigData 2020, Chongqing, China, October 22–24, 2020, Revised Selected Papers / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part I / by: (Language materials, printed)

Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings / by: (Language materials, printed)

Information Technologies and Mathematical Modelling. Queueing Theory and Applications = 19th International Conference, ITMM 2020, Named after A.F. Terpugov, Tomsk, Russia, December 2-5, 2020, Revised Selected Papers / by: (Language materials, printed)

Computational Sciences - Modelling, Computing and Soft Computing = First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers / by: (Language materials, printed)

Maple in Mathematics Education and Research = 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2–6, 2020, Revised Selected Papers / by: (Language materials, printed)

Computational Methods for Deep Learning = Theoretic, Practice and Applications / by: (Language materials, printed)

Advanced Computing in Industrial Mathematics = 13th Annual Meeting of the Bulgarian Section of SIAM, December 18-20, 2018, Sofia, Bulgaria, Revised Selected Papers / by: (Language materials, printed)

Database Systems for Advanced Applications = 26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11–14, 2021, Proceedings, Part II / by: (Language materials, printed)

Theoretical Computer Science = 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers / by: (Language materials, printed)

Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21–22, 2021, Proceedings / by: (Language materials, printed)

Grundkurs Künstliche Intelligenz = Eine praxisorientierte Einführung / by: (Language materials, printed)

An Invitation to Analytic Combinatorics = From One to Several Variables / by: (Language materials, printed)

Diskrete Mathematik mit Grundlagen = Lehrbuch für Studierende von MINT-Fächern / by: (Language materials, printed)

Sustainable Energy for Smart Cities = Second EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020, Proceedings / by: (Language materials, printed)

Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy = Proceedings of the First International Conference, MMCITRE 2020 / by: (Language materials, printed)

Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings / by: (Language materials, printed)

Cerebral Aneurysm Detection and Analysis = First Challenge, CADA 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings / by: (Language materials, printed)

Introduction to Inverse Problems for Differential Equations by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers / by: (Language materials, printed)

High Performance Computing in Science and Engineering = 4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20–23, 2019, Revised Selected Papers / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research: Recent Trends = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Revised Selected Papers / by: (Language materials, printed)

Algebra and Geometry with Python by: (Language materials, printed)

Numerical Geometry, Grid Generation and Scientific Computing = Proceedings of the 10th International Conference, NUMGRID 2020 / Delaunay 130, Celebrating the 130th Anniversary of Boris Delaunay, Moscow, Russia, November 2020 / by: (Language materials, printed)

Collaborative Computing: Networking, Applications and Worksharing = 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16–18, 2020, Proceedings, Part I / by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings / by: (Language materials, printed)

Discrete Mathematics and Graph Theory = A Concise Study Companion and Guide / by: (Language materials, printed)

Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings / by: (Language materials, printed)

Der Zufall in Physik, Informatik und Philosophie = Zufall als Fundament der Welt / by: (Language materials, printed)

Game Theory for Cyber Deception = From Theory to Applications / by: (Language materials, printed)

Communications and Networking = 15th EAI International Conference, ChinaCom 2020, Shanghai, China, November 20-21, 2020, Proceedings / by: (Language materials, printed)

Simulation Tools and Techniques = 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part II / by: (Language materials, printed)

MATLAB® und Simulink® in der Ingenieurpraxis = Modellbildung, Berechnung und Simulation / by: (Language materials, printed)

The Zeroth Book of Graph Theory = An Annotated Translation of Les Réseaux (ou Graphes)—André Sainte-Laguë (1926) / by: (Language materials, printed)

String Processing and Information Retrieval = 28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings / by: (Language materials, printed)

Modelling and Development of Intelligent Systems = 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings / by: (Language materials, printed)

Introduction to Continuous Optimization by: (Language materials, printed)

Matheuristics = Algorithms and Implementations / by: (Language materials, printed)

Scale Space and Variational Methods in Computer Vision = 8th International Conference, SSVM 2021, Virtual Event, May 16–20, 2021, Proceedings / by: (Language materials, printed)

Arithmetic of Finite Fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers / by: (Language materials, printed)

Konkrete Mathematik (nicht nur) für Informatiker = Mit vielen Grafiken und Algorithmen in Python / by: (Language materials, printed)

Artificial Intelligence for Communications and Networks = Second EAI International Conference, AICON 2020, Virtual Event, December 19-20, 2020, Proceedings / by: (Language materials, printed)

Parallel and Distributed Computing, Applications and Technologies = 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings / by: (Language materials, printed)

Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings / by: (Language materials, printed)

Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings / by: (Language materials, printed)

Computational Diffusion MRI = International MICCAI Workshop, Lima, Peru, October 2020 / by: (Language materials, printed)

Advances in Knowledge Discovery and Data Mining = 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part III / by: (Language materials, printed)

Production Research = 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part I / by: (Language materials, printed)

Production Research = 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part II / by: (Language materials, printed)

Proceedings of the Fifth International Conference on Mathematics and Computing = ICMC 2019 / by: (Language materials, printed)

Proceedings of the Sixth International Conference on Mathematics and Computing = ICMC 2020 / by: (Language materials, printed)

Theoremus = A Student's Guide to Mathematical Proofs / by: (Language materials, printed)

Spatial Data and Intelligence = Second International Conference, SpatialDI 2021, Hangzhou, China, April 22–24, 2021, Proceedings / by: (Language materials, printed)

Recent Advances in Numerical Methods for Hyperbolic PDE Systems = NumHyp 2019 / by: (Language materials, printed)

Mathematical Logic by: (Language materials, printed)

High Performance Computing in Science and Engineering '19 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2019 / by: (Language materials, printed)

Algorithms for Computational Biology = 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021, Proceedings / by: (Language materials, printed)

Quality, Reliability, Security and Robustness in Heterogeneous Systems = 16th EAI International Conference, QShine 2020, Virtual Event, November 29–30, 2020, Proceedings / by: (Language materials, printed)

Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers / by: (Language materials, printed)

Handbook of Computability and Complexity in Analysis by: (Language materials, printed)

Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / by: (Language materials, printed)

Algorithmic Game Theory = 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part VI / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part III / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings / by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / by: (Language materials, printed)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / by: (Language materials, printed)

Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings / by: (Language materials, printed)

Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II / by: (Language materials, printed)

Functional Imaging and Modeling of the Heart = 11th International Conference, FIMH 2021, Stanford, CA, USA, June 21-25, 2021, Proceedings / by: (Language materials, printed)

Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings / by: (Language materials, printed)

Formal Concept Analysis = 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021, Proceedings / by: (Language materials, printed)

Unconventional Computation and Natural Computation = 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings / by: (Language materials, printed)

Mathematical Modeling and Supercomputer Technologies = 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 – 27, 2020, Revised Selected Papers / by: (Language materials, printed)

Algorithms on Trees and Graphs = With Python Code / by: (Language materials, printed)

Belief Functions: Theory and Applications = 6th International Conference, BELIEF 2021, Shanghai, China, October 15–19, 2021, Proceedings / by: (Language materials, printed)

Monte Carlo Search = First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings / by: (Language materials, printed)

Practical Optimization = Algorithms and Engineering Applications / by: (Language materials, printed)

Geometric Structures of Statistical Physics, Information Geometry, and Learning = SPIGL'20, Les Houches, France, July 27–31 / by: (Language materials, printed)

Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings / by: (Language materials, printed)

Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings / by: (Language materials, printed)

Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / by: (Language materials, printed)

Recent Advances in Sustainable Energy and Intelligent Systems = 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part II / by: (Language materials, printed)

Thinking Programs = Logical Modeling and Reasoning About Languages, Data, Computations, and Executions / by: (Language materials, printed)

Intelligent Equipment, Robots, and Vehicles = 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part III / by: (Language materials, printed)

Algorithmic Decision Theory = 7th International Conference, ADT 2021, Toulouse, France, November 3–5, 2021, Proceedings / by: (Language materials, printed)

Line Graphs and Line Digraphs by: (Language materials, printed)

Logistics and Supply Chain Management = 7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020, Revised Selected Papers / by: (Language materials, printed)

Discrete and Computational Geometry, Graphs, and Games = 21st Japanese Conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018, Revised Selected Papers / by: (Language materials, printed)

Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications / by: (Language materials, printed)

Mathematical Control and Numerical Applications = JANO13, Khouribga, Morocco, February 22–24, 2021 / by: (Language materials, printed)

Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings / by: (Language materials, printed)

Optimization and Applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings / by: (Language materials, printed)

Introduction to Discrete Event Systems by: (Language materials, printed)

Generalized Mathieu Series by: (Language materials, printed)

Algebraic Graph Algorithms = A Practical Guide Using Python / by: (Language materials, printed)

Chance in Physics, Computer Science and Philosophy = Chance as the Foundation of the World / by: (Language materials, printed)

Mathematical Reasoning: The History and Impact of the DReaM Group by: (Language materials, printed)

Anti-Differentiation and the Calculation of Feynman Amplitudes by: (Language materials, printed)

Performance Engineering and Stochastic Modeling = 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings / by: (Language materials, printed)

Pyomo — Optimization Modeling in Python by: (Language materials, printed)

Intelligent Systems = 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I / by: (Language materials, printed)

Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings / by: (Language materials, printed)

Advances in Data Science by: (Language materials, printed)

Optimization, Learning Algorithms and Applications = First International Conference, OL2A 2021, Bragança, Portugal, July 19–21, 2021, Revised Selected Papers / by: (Language materials, printed)

Advances in Optimization and Applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Revised Selected Papers / by: (Language materials, printed)

Combinatorial Optimization and Applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings / by: (Language materials, printed)

Data Mining = 19th Australasian Conference on Data Mining, AusDM 2021, Brisbane, QLD, Australia, December 14-15, 2021, Proceedings / by: (Language materials, printed)

Distributed Computer and Communication Networks: Control, Computation, Communications = 24th International Conference, DCCN 2021, Moscow, Russia, September 20–24, 2021, Revised Selected Papers / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings / by: (Language materials, printed)

Graph Drawing and Network Visualization = 29th International Symposium, GD 2021, Tübingen, Germany, September 14–17, 2021, Revised Selected Papers / by: (Language materials, printed)

High Performance Computing in Science and Engineering '20 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2020 / by: (Language materials, printed)

Optimization and Data Science: Trends and Applications = 5th AIROYoung Workshop and AIRO PhD School 2021 Joint Event / by: (Language materials, printed)

Plane Finite Elements for Two-Dimensional Problems = Application of the Computer Algebra System Maxima / by: (Language materials, printed)

Artificial Intelligence = First CAAI International Conference, CICAI 2021, Hangzhou, China, June 5–6, 2021, Proceedings, Part II / by: (Language materials, printed)

Game Theory and Networks = New Perspectives and Directions / by: (Language materials, printed)

Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings / by: (Language materials, printed)

Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / by: (Language materials, printed)

Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings / by: (Language materials, printed)

Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by: (Language materials, printed)

Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings / by: (Language materials, printed)

Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / by: (Language materials, printed)

Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings / by: (Language materials, printed)

Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (Language materials, printed)

Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part I / by: (Language materials, printed)

Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings / by: (Language materials, printed)

High Performance Computing in Science and Engineering = 4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20–23, 2019, Revised Selected Papers / by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers / by: (Language materials, printed)

Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings / by: (Language materials, printed)

Arithmetic of Finite Fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers / by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings / by: (Language materials, printed)

String Processing and Information Retrieval = 28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings / by: (Language materials, printed)

Parallel and Distributed Computing, Applications and Technologies = 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part III / by: (Language materials, printed)

Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings / by: (Language materials, printed)

Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings / by: (Language materials, printed)

Algorithms for Computational Biology = 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part VI / by: (Language materials, printed)

Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / by: (Language materials, printed)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / by: (Language materials, printed)

Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings / by: (Language materials, printed)

Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings / by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / by: (Language materials, printed)

Unconventional Computation and Natural Computation = 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings / by: (Language materials, printed)

Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings / by: (Language materials, printed)

Machine Learning and Principles and Practice of Knowledge Discovery in Databases = International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I / by: (Language materials, printed)

Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / by: (Language materials, printed)

Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings / by: (Language materials, printed)

Discrete and Computational Geometry, Graphs, and Games = 21st Japanese Conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018, Revised Selected Papers / by: (Language materials, printed)

Sparse Grids and Applications - Munich 2018 by: (Language materials, printed)

Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings / by: (Language materials, printed)

Optimization and Applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings / by: (Language materials, printed)

Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings / by: (Language materials, printed)

Performance Engineering and Stochastic Modeling = 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings / by: (Language materials, printed)

Combinatorial Optimization and Applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings / by: (Language materials, printed)

Distributed Computer and Communication Networks: Control, Computation, Communications = 24th International Conference, DCCN 2021, Moscow, Russia, September 20–24, 2021, Revised Selected Papers / by: (Language materials, printed)

Protecting Privacy through Homomorphic Encryption by: (Language materials, printed)

Nature of Computation and Communication = 7th EAI International Conference, ICTCC 2021, Virtual Event, October 28–29, 2021, Proceedings / by: (Language materials, printed)

Optimization and Decision Science = ODS, Virtual Conference, November 19, 2020 / by: (Language materials, printed)

Business Analytics = Data Science for Business Problems / by: (Language materials, printed)

New Trends in Information and Communications Technology Applications = 5th International Conference, NTICT 2021, Baghdad, Iraq, November 17–18, 2021, Proceedings / by: (Language materials, printed)

Introduction to Computation = Haskell, Logic and Automata / by: (Language materials, printed)

Advances in Mathematical Logic = Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV / by: (Language materials, printed)

Principles of Parallel Scientific Computing = A First Guide to Numerical Concepts and Programming Methods / by: (Language materials, printed)

Blockchain Foundations and Applications by: (Language materials, printed)

Choice Computing: Machine Learning and Systemic Economics for Choosing by: (Language materials, printed)

KI 2022: Advances in Artificial Intelligence = 45th German Conference on AI, Trier, Germany, September 19–23, 2022, Proceedings / by: (Language materials, printed)

Practical MATLAB Deep Learning = A Projects-Based Approach / by: (Language materials, printed)

Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings / by: (Language materials, printed)

Combinatorics, Graph Theory and Computing = SEICCGTC 2020, Boca Raton, USA, March 9–13 / by: (Language materials, printed)

Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part I / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 16th International Conference, AAIM 2022, Guangzhou, China, August 13–14, 2022, Proceedings / by: (Language materials, printed)

Systematic Innovation Partnerships with Artificial Intelligence and Information Technology = 22nd International TRIZ Future Conference, TFC 2022, Warsaw, Poland, September 27–29, 2022, Proceedings / by: (Language materials, printed)

Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology / by: (Language materials, printed)

Computer and Communication Engineering = 2nd International Conference, CCCE 2022, Rome, Italy, March 11–13, 2022, Revised Selected Papers / by: (Language materials, printed)

Grundlagen der Theoretischen Informatik by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research: Recent Trends = 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2–6, 2022, Revised Selected Papers / by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers / by: (Language materials, printed)

Computational Engineering - Introduction to Numerical Methods by: (書目-語言資料,印刷品)

Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8–9, 2022, Proceedings / by: (書目-語言資料,印刷品)

Discrete Geometry and Mathematical Morphology = Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24–27, 2022, Proceedings / by: (書目-語言資料,印刷品)

Algebraic Informatics = 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings / by: (書目-語言資料,印刷品)

Neural Computing for Advanced Applications = Third International Conference, NCAA 2022, Jinan, China, July 8–10, 2022, Proceedings, Part II / by: (書目-語言資料,印刷品)

Introduction to the Tools of Scientific Computing by: (書目-語言資料,印刷品)

LATIN 2022: Theoretical Informatics = 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings / by: (書目-語言資料,印刷品)

Den Fehlerteufel ausgetrickst = Codierungstheorie verständlich erklärt / by: (書目-語言資料,印刷品)

Beginning MATLAB and Simulink = From Beginner to Pro / by: (書目-語言資料,印刷品)

Petri Nets = Theoretical Models and Analysis Methods for Concurrent Systems / by: (書目-語言資料,印刷品)

Python for Probability, Statistics, and Machine Learning by: (書目-語言資料,印刷品)

Bioinspired Optimization Methods and Their Applications = 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings / by: (書目-語言資料,印刷品)

R-Calculus, III: Post Three-Valued Logic by: (書目-語言資料,印刷品)

Digital Twins: Basics and Applications by: (書目-語言資料,印刷品)

Algebraic Foundations for Applied Topology and Data Analysis by: (書目-語言資料,印刷品)

Combinatorial Optimization = 7th International Symposium, ISCO 2022, Virtual Event, May 18–20, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Diffusion MRI = 13th International Workshop, CDMRI 2022, Held in Conjunction with MICCAI 2022, Singapore, Singapore, September 22, 2022, Proceedings / by: (書目-語言資料,印刷品)

Artificial Intelligence Research = Third Southern African Conference, SACAIR 2022, Stellenbosch, South Africa, December 5–9, 2022, Proceedings / by: (書目-語言資料,印刷品)

Data Mining = 20th Australasian Conference, AusDM 2022, Western Sydney, Australia, December 12–15, 2022, Proceedings / by: (書目-語言資料,印刷品)

City, Society, and Digital Transformation = Proceedings of the 2022 INFORMS International Conference on Service Science / by: (書目-語言資料,印刷品)

Algorithmic Learning in a Random World by: (書目-語言資料,印刷品)

Encrypt, Sign, Attack = A compact introduction to cryptography / by: (書目-語言資料,印刷品)

Research in Computational Molecular Biology = 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022, Proceedings / by: (書目-語言資料,印刷品)

OCaml Scientific Computing = Functional Programming in Data Science and Artificial Intelligence / by: (書目-語言資料,印刷品)

Integer Programming and Combinatorial Optimization = 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022, Proceedings / by: (書目-語言資料,印刷品)

Combinatorial Algorithms = 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022, Proceedings / by: (書目-語言資料,印刷品)

Mathematics and Computation in Music = 8th International Conference, MCM 2022, Atlanta, GA, USA, June 21–24, 2022, Proceedings / by: (書目-語言資料,印刷品)

Building and Solving Mathematical Programming Models = 50 Practical Examples / by: (書目-語言資料,印刷品)

Logic Functions and Equations = Fundamentals and Applications using the XBOOLE-Monitor / by: (書目-語言資料,印刷品)

Integration in Finite Terms: Fundamental Sources by: (書目-語言資料,印刷品)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings / by: (書目-語言資料,印刷品)

Alternating Direction Method of Multipliers for Machine Learning by: (書目-語言資料,印刷品)

Erzeugende Funktionen verständlich erklärt by: (書目-語言資料,印刷品)

Application and Theory of Petri Nets and Concurrency = 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings / by: (書目-語言資料,印刷品)

Large-Scale Simultaneous Localization and Mapping by: (書目-語言資料,印刷品)

Algorithmische Geometrie = Grundlagen, Methoden, Anwendungen / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Formal Methods for Software Engineering = Languages, Methods, Application Domains / by: (書目-語言資料,印刷品)

Information Technologies and Mathematical Modelling. Queueing Theory and Applications = 20th International Conference, ITMM 2021, Named after A.F. Terpugov, Tomsk, Russia, December 1–5, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part II / by: (書目-語言資料,印刷品)

Z2Z4-Linear Codes by: (書目-語言資料,印刷品)

Graph Transformation = 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings / by: (書目-語言資料,印刷品)

Runtime Verification = A Hands-On Approach in Java / by: (書目-語言資料,印刷品)

Next Generation Arithmetic = Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Coalgebraic Methods in Computer Science = 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings / by: (書目-語言資料,印刷品)

Lattice Rules = Numerical Integration, Approximation, and Discrepancy / by: (書目-語言資料,印刷品)

Statistical Reliability Engineering = Methods, Models and Applications / by: (書目-語言資料,印刷品)

Reverse Mathematics = Problems, Reductions, and Proofs / by: (書目-語言資料,印刷品)

Operations Research and Enterprise Systems = 9th International Conference, ICORES 2020, Valetta, Malta, February 22–24, 2020, and 10th International Conference, ICORES 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Comparative Genomics = 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20–21, 2022, Proceedings / by: (書目-語言資料,印刷品)

Exploration of Novel Intelligent Optimization Algorithms = 12th International Symposium, ISICA 2021, Guangzhou, China, November 20–21, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Computer Games = 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Science and Its Applications – ICCSA 2022 Workshops = Malaga, Spain, July 4–7, 2022, Proceedings, Part II / by: (書目-語言資料,印刷品)

Frontiers of Algorithmics = International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings / by: (書目-語言資料,印刷品)

Integrated Uncertainty in Knowledge Modelling and Decision Making = 9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18–19, 2022, Proceedings / by: (書目-語言資料,印刷品)

Geometric Challenges in Isogeometric Analysis by: (書目-語言資料,印刷品)

Seriation in Combinatorial and Statistical Data Analysis by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings / by: (書目-語言資料,印刷品)

Parallel Problem Solving from Nature – PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part I / by: (書目-語言資料,印刷品)

Exact and Heuristic Methods in Combinatorial Optimization = A Study on the Linear Ordering and the Maximum Diversity Problem / by: (書目-語言資料,印刷品)

Hidden Markov Models and Applications by: (書目-語言資料,印刷品)

Code-Based Cryptography = 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21–22, 2021 Revised Selected Papers / by: (書目-語言資料,印刷品)

Minimum Divergence Methods in Statistical Machine Learning = From an Information Geometric Viewpoint / by: (書目-語言資料,印刷品)

WALCOM: Algorithms and Computation = 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022, Proceedings / by: (書目-語言資料,印刷品)

Large-Scale Scientific Computing = 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Metrics That Make a Difference = How to Analyze Change and Error / by: (書目-語言資料,印刷品)

Computer-Aided Architectural Design. Design Imperatives: The Future is Now = 19th International Conference, CAAD Futures 2021, Los Angeles, CA, USA, July 16–18, 2021, Selected Papers / by: (書目-語言資料,印刷品)

Foundations of Software Science and Computation Structures = 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / by: (書目-語言資料,印刷品)

Algorithmic Decision Making with Python Resources = From Multicriteria Performance Records to Decision Algorithms via Bipolar-Valued Outranking Digraphs / by: (書目-語言資料,印刷品)

On the Epistemology of Data Science = Conceptual Tools for a New Inductivism / by: (書目-語言資料,印刷品)

Multilayer Networks: Analysis and Visualization = Introduction to muxViz with R / by: (書目-語言資料,印刷品)

Computational Engineering 2 = Theorie und Anwendungen im Bereich der Elektrodynamik / by: (書目-語言資料,印刷品)

Evolutionary Computation in Combinatorial Optimization = 22nd European Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by: (書目-語言資料,印刷品)

Communications and Networking = 16th EAI International Conference, ChinaCom 2021, Virtual Event, November 21-22, 2021, Proceedings / by: (書目-語言資料,印刷品)

Fuzzy Mathematical Analysis and Advances in Computational Mathematics by: (書目-語言資料,印刷品)

Distributed Artificial Intelligence = Third International Conference, DAI 2021, Shanghai, China, December 17–18, 2021, Proceedings / by: (書目-語言資料,印刷品)

Applications of Evolutionary Computation = 25th European Conference, EvoApplications 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by: (書目-語言資料,印刷品)

Modern Cryptography Volume 1 = A Classical Introduction to Informational and Mathematical Principle / by: (書目-語言資料,印刷品)

Software Foundations for Data Interoperability = 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Statistics in the Public Interest = In Memory of Stephen E. Fienberg / by: (書目-語言資料,印刷品)

Web and Internet Economics = 17th International Conference, WINE 2021, Potsdam, Germany, December 14–17, 2021, Proceedings / by: (書目-語言資料,印刷品)

Diabetic Foot Ulcers Grand Challenge = Second Challenge, DFUC 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / by: (書目-語言資料,印刷品)

Wireless and Satellite Systems = 12th EAI International Conference, WiSATS 2021, Virtual Event, China, July 31 – August 2, 2021, Proceedings / by: (書目-語言資料,印刷品)

Informatics and Intelligent Applications = First International Conference, ICIIA 2021, Ota, Nigeria, November 25–27, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithms and Discrete Applied Mathematics = 8th International Conference, CALDAM 2022, Puducherry, India, February 10–12, 2022, Proceedings / by: (書目-語言資料,印刷品)

Mathematics for Computer Graphics by: (書目-語言資料,印刷品)

Information Systems and Design = Second International Conference, ICID 2021, Virtual Event, September 6–7, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Statistics for Data Scientists = An Introduction to Probability, Statistics, and Data Analysis / by: (書目-語言資料,印刷品)

Body Area Networks. Smart IoT and Big Data for Intelligent Health Management = 16th EAI International Conference, BODYNETS 2021, Virtual Event, October 25-26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Services – SERVICES 2021 = 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings / by: (書目-語言資料,印刷品)

Deep Generative Modeling by: (書目-語言資料,印刷品)

Metaheuristics and Nature Inspired Computing = 8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021, Proceedings / by: (書目-語言資料,印刷品)

Foundation Mathematics for Science and Engineering Students by: (書目-語言資料,印刷品)

A Guide to Graph Algorithms by: (書目-語言資料,印刷品)

A Topology of Mind = Spiral Thought Patterns, the Hyperlinking of Text, Ideas and More / by: (書目-語言資料,印刷品)

Cohesive Subgraph Search Over Large Heterogeneous Information Networks by: (書目-語言資料,印刷品)

Advances in Knowledge Discovery and Data Mining = 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part II / by: (書目-語言資料,印刷品)

Developments in Language Theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings / by: (書目-語言資料,印刷品)

Distributed Computer and Communication Networks = 24th International Conference, DCCN 2021, Moscow, Russia, September 20–24, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Knowledge Discovery and Data Mining = 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part I / by: (書目-語言資料,印刷品)