Mathematics of Computing.

Mathematical software - ICMS 2024 = 8th International Conference, Durham, UK, July 22-25, 2024 : proceedings / by: (Language materials, printed)

Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings / by: (Language materials, printed)

Scale space and variational methods in computer vision = 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023 : proceedings / by: (Language materials, printed)

Evolutionary multi-criterion optimization = 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023 : proceedings / by: (Language materials, printed)

Computational diffusion MRI = 14th International Workshop, CDMRI 2023, held in conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023 : proceedings / by: (Language materials, printed)

Optimization and applications = 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023 : revised selected papers / by: (Language materials, printed)

Artificial intelligence research = 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023 : proceedings / by: (Language materials, printed)

Artificial intelligence logic and applications = the 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings / by: (Language materials, printed)

Cosmic rays = multimessenger astrophysics and revolutionary astronomy / by: (Language materials, printed)

Scalable algorithms for contact problems by: (Language materials, printed)

Code-based cryptography = 11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023 : revised selected papers / by: (Language materials, printed)

Integrated uncertainty in knowledge modelling and decision making = 10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2-4, 2023 : proceedings.. Part II / by: (Language materials, printed)

Integrated uncertainty in knowledge modelling and decision making = 10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2-4, 2023 : proceedings.. Part I / by: (Language materials, printed)

Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings / by: (Language materials, printed)

Game theory for networks = 11th International EAI Conference, GameNets 2022, virtual event, July 7-8, 2022 : proceedings / by: (Language materials, printed)

Web and Internet Economics = 17th International Conference, WINE 2021, Potsdam, Germany, December 14–17, 2021, Proceedings / by: (Language materials, printed)

Software Foundations for Data Interoperability = 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers / by: (Language materials, printed)

Modern Cryptography Volume 1 = A Classical Introduction to Informational and Mathematical Principle / by: (Language materials, printed)

Applications of Evolutionary Computation = 25th European Conference, EvoApplications 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by: (Language materials, printed)

Distributed Artificial Intelligence = Third International Conference, DAI 2021, Shanghai, China, December 17–18, 2021, Proceedings / by: (Language materials, printed)

Fuzzy Mathematical Analysis and Advances in Computational Mathematics by: (Language materials, printed)

Communications and Networking = 16th EAI International Conference, ChinaCom 2021, Virtual Event, November 21-22, 2021, Proceedings / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 22nd European Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by: (Language materials, printed)

Computational Engineering 2 = Theorie und Anwendungen im Bereich der Elektrodynamik / by: (Language materials, printed)

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

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

Code-Based Cryptography = 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21–22, 2021 Revised Selected Papers / by: (Language materials, printed)

Parallel Problem Solving from Nature – PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part I / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings / by: (Language materials, printed)

Seriation in Combinatorial and Statistical Data Analysis by: (Language materials, printed)

Integrated Uncertainty in Knowledge Modelling and Decision Making = 9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18–19, 2022, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2022 Workshops = Malaga, Spain, July 4–7, 2022, Proceedings, Part II / by: (Language materials, printed)

Advances in Computer Games = 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers / by: (Language materials, printed)

Exploration of Novel Intelligent Optimization Algorithms = 12th International Symposium, ISICA 2021, Guangzhou, China, November 20–21, 2021, Revised Selected Papers / by: (Language materials, printed)

Comparative Genomics = 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20–21, 2022, Proceedings / by: (Language materials, printed)

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

Reverse Mathematics = Problems, Reductions, and Proofs / by: (Language materials, printed)

Lattice Rules = Numerical Integration, Approximation, and Discrepancy / by: (Language materials, printed)

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

Next Generation Arithmetic = Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers / by: (Language materials, printed)

Runtime Verification = A Hands-On Approach in Java / by: (Language materials, printed)

Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part II / by: (Language materials, printed)

Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part IV / by: (Language materials, printed)

Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part I / by: (Language materials, printed)

Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III / by: (Language materials, printed)

Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part II / by: (Language materials, printed)

Algorithmische Geometrie = Grundlagen, Methoden, Anwendungen / by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings / by: (Language materials, printed)

Erzeugende Funktionen verständlich erklärt by: (Language materials, printed)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings / by: (Language materials, printed)

Mathematics and Computation in Music = 8th International Conference, MCM 2022, Atlanta, GA, USA, June 21–24, 2022, Proceedings / by: (Language materials, printed)

Integer Programming and Combinatorial Optimization = 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022, Proceedings / by: (Language materials, printed)

OCaml Scientific Computing = Functional Programming in Data Science and Artificial Intelligence / by: (Language materials, printed)

Research in Computational Molecular Biology = 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022, Proceedings / by: (Language materials, printed)

Data Mining = 20th Australasian Conference, AusDM 2022, Western Sydney, Australia, December 12–15, 2022, Proceedings / by: (Language materials, printed)

Artificial Intelligence Research = Third Southern African Conference, SACAIR 2022, Stellenbosch, South Africa, December 5–9, 2022, Proceedings / by: (Language materials, printed)

Computational Diffusion MRI = 13th International Workshop, CDMRI 2022, Held in Conjunction with MICCAI 2022, Singapore, Singapore, September 22, 2022, Proceedings / by: (Language materials, printed)

R-Calculus, III: Post Three-Valued Logic by: (Language materials, printed)

Bioinspired Optimization Methods and Their Applications = 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings / by: (Language materials, printed)

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

Neural Computing for Advanced Applications = Third International Conference, NCAA 2022, Jinan, China, July 8–10, 2022, Proceedings, Part II / by: (Language materials, printed)

Discrete Geometry and Mathematical Morphology = Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24–27, 2022, Proceedings / by: (Language materials, printed)

Algebraic Informatics = 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings / by: (Language materials, printed)

Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / by: (Language materials, printed)

Grundlagen der Theoretischen Informatik 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)

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)

Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part I / 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)

Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings / by: (Language materials, printed)

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

Choice Computing: Machine Learning and Systemic Economics for Choosing by: (Language materials, printed)

Blockchain Foundations and Applications by: (Language materials, printed)

Principles of Parallel Scientific Computing = A First Guide to Numerical Concepts and Programming Methods / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV / 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)

Introduction to Computation = Haskell, Logic and Automata / 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)

Nature of Computation and Communication = 7th EAI International Conference, ICTCC 2021, Virtual Event, October 28–29, 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)

Combinatorial Optimization and Applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 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)

Optimization and Applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings / 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)

Sparse Grids and Applications - Munich 2018 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)

Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 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)

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)

Unconventional Computation and Natural Computation = 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 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)

Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 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)

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 I / 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)

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

Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers / 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)

Parallel and Distributed Computing, Applications and Technologies = 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, 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)

Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings / 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)

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)

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)

Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings / 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)

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

Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings / 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)

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)

Data Mining = 19th Australasian Conference on Data Mining, AusDM 2021, Brisbane, QLD, Australia, December 14-15, 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)

Optimization, Learning Algorithms and Applications = First International Conference, OL2A 2021, Bragança, Portugal, July 19–21, 2021, Revised Selected Papers / by: (Language materials, printed)

Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings / 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)

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)

Chance in Physics, Computer Science and Philosophy = Chance as the Foundation of the World / by: (Language materials, printed)

Generalized Mathieu Series by: (Language materials, printed)

Optimization and Applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings / 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)

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)

Algorithmic Decision Theory = 7th International Conference, ADT 2021, Toulouse, France, November 3–5, 2021, Proceedings / 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)

Thinking Programs = Logical Modeling and Reasoning About Languages, Data, Computations, and Executions / 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)

Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 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)

Practical Optimization = Algorithms and Engineering Applications / 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)

Mathematical Modeling and Supercomputer Technologies = 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 – 27, 2020, Revised Selected Papers / 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)

Formal Concept Analysis = 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – 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)

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)

Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 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)

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

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I / 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)

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

Algorithmic Game Theory = 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021, Proceedings / by: (Language materials, printed)

Handbook of Computability and Complexity in Analysis by: (Language materials, printed)

Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers / 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)

Mathematical Logic 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)

Proceedings of the Sixth International Conference on Mathematics and Computing = ICMC 2020 / 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)

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)

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)

Computational Diffusion MRI = International MICCAI Workshop, Lima, Peru, October 2020 / 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)

Parallel and Distributed Computing, Applications and Technologies = 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings / 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)

Konkrete Mathematik (nicht nur) für Informatiker = Mit vielen Grafiken und Algorithmen in Python / 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)

Modelling and Development of Intelligent Systems = 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers / 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)

Simulation Tools and Techniques = 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part II / by: (Language materials, printed)

Communications and Networking = 15th EAI International Conference, ChinaCom 2020, Shanghai, China, November 20-21, 2020, Proceedings / by: (Language materials, printed)

Der Zufall in Physik, Informatik und Philosophie = Zufall als Fundament der Welt / by: (Language materials, printed)

Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings / 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)

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)

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)

Algebra and Geometry with Python 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)

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)

Introduction to Inverse Problems for Differential Equations 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)

Sustainable Energy for Smart Cities = Second EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020, Proceedings / by: (Language materials, printed)

Grundkurs Künstliche Intelligenz = Eine praxisorientierte Einführung / 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)

Theoretical Computer Science = 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, 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)

Computational Methods for Deep Learning = Theoretic, Practice and Applications / 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)

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

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

Applied Mathematics and Computational Mechanics for Smart Applications = Proceedings of AMMAI 2020 / 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)

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)

Applications of Flower Pollination Algorithm and its Variants 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)

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

Machine Learning by: (Language materials, printed)

Geometric Science of Information = 5th International Conference, GSI 2021, Paris, France, July 21–23, 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)

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

Ubiquitous Communications and Network Computing = 4th EAI International Conference, UBICNET 2021, Virtual Event, March 2021, Proceedings / 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)

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

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

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

Concise Guide to Quantum Computing = Algorithms, Exercises, and Implementations / 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)

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

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

Basiswissen Analysis = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool / 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)

Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings / 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)

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)

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)

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)

Foundation Mathematics for Computer Science = A Visual 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)

Practical MATLAB Deep Learning = A Project-Based Approach / 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)

Advanced Communication Systems and Information Security = Second International Conference, ACOSIS 2019, Marrakesh, Morocco, November 20–22, 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)

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

Formalization of Complex Analysis and Matrix Theory 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)

Green Energy and Networking = 7th EAI International Conference, GreeNets 2020, Harbin, China, June 27-28, 2020, Proceedings / 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)

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)

Domain Decomposition Methods in Science and Engineering XXV 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 III / 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)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 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)

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)

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)

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)

Combinatorial Image Analysis = 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020, Proceedings / 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)

Applied Nature-Inspired Computing: Algorithms and Case Studies 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)

WALCOM: Algorithms and Computation = 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings / 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)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I / 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)

Foundations of Generic Optimization. Volume 1,. A Combinatorial Approach to Epistasis / by: (Language materials, printed)

High Performance Computing - HiPC 2005 = 12th International Conference, Goa, India, December 18-21, 2005. Proceedings / by: (Language materials, printed)

Mathematical Modeling, Simulation, Visualization and e-Learning by: (Language materials, printed)

Shared Memory Parallel Programming with Open MP = 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 / by: (Language materials, printed)

Digital Imaging and Communications in Medicine (DICOM) = A Practical Introduction and Survival Guide / by: (Language materials, printed)

Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers / by: (Language materials, printed)

The modern algebra of information retrieval by: (Language materials, printed)

OpenMP shared memory parallel programming = international workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006 : proceedings / by: (Language materials, printed)

Graphs, Networks and Algorithms by: (Language materials, printed)

Dynamical Systems = Examples of Complex Behaviour / by: (Language materials, printed)

Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by: (Language materials, printed)

Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (Language materials, printed)

Foundation mathematics for computer science = a visual approach / by: (Language materials, printed)

QoS in Packet Networks by: (Language materials, printed)

Adaptive and Natural Computing Algorithms = Proceedings of the International Conference in Coimbra, Portugal, 2005 / by: (Language materials, printed)

Dissemination of Information in Communication Networks = Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by: (Language materials, printed)

Design of Adaptive Finite Element Software = The Finite Element Toolbox ALBERTA / 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)

Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (Language materials, printed)

Deterministic extraction from weak random sources by: (Language materials, printed)

Domain decomposition methods in science and engineering XIX by: (Language materials, printed)

Approximation and computation = in honor of Gradimir V. Milovanovic / by: (Language materials, printed)

Tutorials on Emerging Methodologies and Applications in Operations Research = Presented at Informs 2004, Denver, CO / by: (Language materials, printed)

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

Logic and its applications = 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings / by: (Language materials, printed)

High performance computing in science and engineering '10 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2010 / by: (Language materials, printed)

Contemporary Cryptology by: (Language materials, printed)

Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings / by: (Language materials, printed)

Computational Electromagnetics by: (Language materials, printed)

A Practical Programming Model for the Multi-Core Era = 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings / by: (Language materials, printed)

High Performance Computing and Communications : = First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings by: (Language materials, printed)

Mathematics and computation, a contemporary view = the abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 / by: (Language materials, printed)

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

Ludics, dialogue and interaction = PRELUDE Project - 2006-2009 : revised selected papers / by: (Language materials, printed)

High performance computing for computational science = VECPAR 2010 : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers / by: (Language materials, printed)

High Performance Computing in Science and Engineering `07 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2007 / by: (Language materials, printed)

Categories for Software Engineering by: (Language materials, printed)

OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings / by: (Language materials, printed)

An Annotated Timeline of Operations Research = An Informal History / by: (Language materials, printed)

Matrix-Based Multigrid = Theory and Applications / by: (Language materials, printed)

High Performance Computing for Computational Science - VECPAR 2004 = 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / by: (Language materials, printed)

Mathematical Tools for Data Mining = Set Theory, Partial Orders, Combinatorics / by: (Language materials, printed)

New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / by: (Language materials, printed)

Constraint Theory = Multidimensional Mathematical Model Management / by: (Language materials, printed)

A primer on scientific programming with Python by: (Language materials, printed)

Domain Decomposition Methods �X Algorithms and Theory by: (Language materials, printed)

Theory and applications of models of computation = 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings / by: (Language materials, printed)

Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings / by: (Language materials, printed)

Handbook of continued fractions for special functions by: (Language materials, printed)

Computer science = theory and applications : 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011 : proceedings / by: (Language materials, printed)

Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / by: (Language materials, printed)

Algebraic informatics = 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings / by: (Language materials, printed)

Quaternions for computer graphics by: (Language materials, printed)

Fractional calculus for scientists and engineers by: (Language materials, printed)

Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011 : proceedings / by: (Language materials, printed)

High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings / by: (Language materials, printed)

The Next Wave in Computing, Optimization, and Decision Technologies by: (Language materials, printed)

A Modern Perspective on Type Theory = From its Origins until Today / by: (Language materials, printed)

Foundations of Generic Optimization. 2. Applications of Fuzzy Control, Genetic Algorithms and Neural Networks / by: (Language materials, printed)

Graph Theory by: (Language materials, printed)

High-Performance Computing = 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers / by: (Language materials, printed)

Parallel processing and applied mathematics = 7th international conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 revised selected papers / by: (Language materials, printed)

Mathematical methods in computer science = essays in memory of Thomas Beth / by: (Language materials, printed)

Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday / by: (Language materials, printed)

Mathematical foundations of scientific visualization, computer graphics, and massive data explorationm by: (Language materials, printed)

Algorithmic algebraic combinatorics and Grobner bases by: (Language materials, printed)

Cryptology and Network Security = 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009 : proceedings / by: (Language materials, printed)

Infinity in Logic and Computation = International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers / by: (Language materials, printed)

Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: (Language materials, printed)

Handbook of weighted automata by: (Language materials, printed)

Fundamentals of computation theory = 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings / by: (Language materials, printed)

Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (Language materials, printed)

Unconventional computation = 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings / by: (Language materials, printed)

Reasoning web = semantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures / by: (Language materials, printed)

CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / by: (Language materials, printed)

Algorithms - ESA 2009 = 17th annual European symposium, Copenhagen, Denmark, September 7-9 : proceedings / by: (Language materials, printed)

Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / by: (Language materials, printed)

Computational logic in multi-agent systems = b9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers / by: (Language materials, printed)

Computer science - theory and applications = 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009 : Proceedings / by: (Language materials, printed)

Theorem proving in higher order logics = 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings / by: (Language materials, printed)

Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (Language materials, printed)

Mathematical foundations of computer science 2009 = 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings / by: (Language materials, printed)

A primer on scientific programming with Python by: (Language materials, printed)

Handbook of large-scale random networks by: (Language materials, printed)

Cryptology and Network Security : = 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009 : proceedings / by: (Language materials, printed)

Quantum interaction = 5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 : revised selected papers / by: (Language materials, printed)

Theoretical and mathematical foundations of computer science = second international conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers / by: (Language materials, printed)

Programming for engineers = a foundational approach to learning C and Matlab / by: (Language materials, printed)

The block cipher companion by: (Language materials, printed)

The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (Language materials, printed)

Apartness and uniformity = a constructive development / by: (Language materials, printed)

Patterns in permutations and words by: (Language materials, printed)

Perspectives on Soviet and Russian computing = first IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006 : revised selected papers / by: (Language materials, printed)

Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings / by: (Language materials, printed)

Spectral methods = algorithms, analysis and applications / by: (Language materials, printed)

Mathematics and computation, a contemporary view = the abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 / by: (Language materials, printed)

Mathematical problems in data science = theoretical and practical methods / 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)

Data analytics for renewable energy integration = third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015 : revised selected papers / 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)

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)

Advances in cryptology - ASIACRYPT 2015 = 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.. Part I / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2015 = 21st International Conference on the Theory and Application of Cryptology and Information Security Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.. Part II / by: (Language materials, printed)

Encyclopedia of applied and computational mathematics by: (Language materials, printed)

Engineering computation of structures = the finite element method / by: (Language materials, printed)

The foundations of computability theory by: (Language materials, printed)

Higher-order computability by: (Language materials, printed)

Introduction to concurrency theory = transition systems and CCS / by: (Language materials, printed)

Introduction to cryptography = principles and applications / by: (Language materials, printed)

Petri net synthesis 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)

Theory and applications of satisfiability testing - SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings / by: (Language materials, printed)

Words and graphs by: (Language materials, printed)

Sparse grids and applications by: (Language materials, printed)

Graphs, networks, and algorithms by: (Language materials, printed)

Meshfree methods for partial differential equations VI by: (Language materials, printed)

Polyhedral and algebraic methods in computational geometry by: (Language materials, printed)

Quantum attacks on public-key cryptosystems by: (Language materials, printed)

Theory and applications of models of computation = 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / by: (Language materials, printed)

Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers / by: (Language materials, printed)

Frontiers in algorithmics and algorithmic aspects in information and management = third joint international conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013 : proceedings / by: (Language materials, printed)

Typed lambda calculi and applications = 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings / by: (Language materials, printed)

Algebraic informatics = 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings / by: (Language materials, printed)

Condition = the geometry of numerical algorithms / by: (Language materials, printed)

Models and algorithms for genome evolution by: (Language materials, printed)

Advances in automatic differentiation by: (Language materials, printed)

Graphs, networks, and algorithms by: (Language materials, printed)

An annotated timeline of operations research = an informal history / by: (Language materials, printed)

Mathematics of discrete structures for computer science by: (Language materials, printed)

Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings / by: (Language materials, printed)

Computer science - theory and applications = 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings / by: (Language materials, printed)

Parallel processing and applied mathematics = 9th international conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part II / by: (Language materials, printed)

A primer on scientific programming with Python by: (Language materials, printed)

Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (Language materials, printed)

Biomedical image registration = 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012 : proceedings / by: (Language materials, printed)

Automated reasoning = 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / by: (Language materials, printed)

Mathematics of approximation by: (Language materials, printed)

Grobner bases, coding, and cryptography by: (Language materials, printed)

A proof theory for description logics by: (Language materials, printed)

Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / by: (Language materials, printed)

Web and internet economics = 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013 : proceedings / by: (Language materials, printed)

People, problems, and proofs = essays from Godel's Lost Letter: 2010 / by: (Language materials, printed)

Integrated methods for optimization by: (Language materials, printed)

Digital imaging and communications in medicine (DICOM) = a practical introduction and survival guide / by: (Language materials, printed)

Combinatorial optimization = theory and algorithms / by: (Language materials, printed)

Boolean function complexity = advances and frontiers / by: (Language materials, printed)

Computation, physics and beyond = International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers / by: (Language materials, printed)

Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part II / by: (Language materials, printed)

Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part I / by: (Language materials, printed)

Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (Language materials, printed)

Foundations of information and knowledge systems = 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings / by: (Language materials, printed)

Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings / by: (Language materials, printed)

Mathematics and modern art = proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010 / by: (Language materials, printed)

High performance computing in science and engineering, Garching/Munich 2007 = transactions of the Third Joint HLRB and KONWIHR Status and Result Workshop, Dec. 2007, Leibniz Supercomputing Centre, Garching-Munich, Germany / by: (Language materials, printed)

Fundamentals of computation theory = 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023 : proceedings / by: (Language materials, printed)

KI 2023 = advances in artificial intelligence : 46th German Conference on AI, Berlin, Germany, September 26-29, 2023 : proceedings / by: (Language materials, printed)

Quantitative evaluation of systems = 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (Language materials, printed)

Mathematical optimization theory and operations research = recent trends : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023 : revised selected papers / by: (Language materials, printed)

Computational methods for deep learning = theory, algorithms, and implementations / by: (Language materials, printed)

Computer algebra in scientific computing = 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023 : proceedings / by: (Language materials, printed)

Information systems and design = third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022 : revised selected papers / by: (Language materials, printed)

International Conference on Neural Computing for Advanced Applications = 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023 : proceedings.. Part I / by: (Language materials, printed)

Mathematics for computer scientists = a practice-oriented approach / by: (Language materials, printed)

International Conference on Neural Computing for Advanced Applications = 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023 : proceedings.. Part II / by: (Language materials, printed)

Towards AI-aided invention and innovation = 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023 : proceedings / by: (Language materials, printed)

Application and theory of petri nets and concurrency = 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022 : proceedings / by: (Language materials, printed)

High-performance computing systems and technologies in scientific research, automation of control and production = 12th International Conference, HPCST 2022, Barnaul, Russia, May 20-21, 2022 : revised selected papers / by: (Language materials, printed)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part II / by: (Language materials, printed)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part IV / by: (Language materials, printed)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part V / by: (Language materials, printed)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part I / by: (Language materials, printed)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part III / by: (Language materials, printed)

Information processing in medical imaging = 28th International Conference, IPMI 2023, San Carlos de Bariloche, Argentina, June 18-23, 2023 : proceedings / by: (Language materials, printed)

Computer and communication engineering = third International Conference, CCCE 2023, Stockholm, Sweden, March 10-12, 2023 : revised selected papers / by: (Language materials, printed)

Information theory = three theorems by claude shannon / by: (Language materials, printed)

Algorithms for big data = DFG Priority Program 1736 / by: (Language materials, printed)

The recent advances in transdisciplinary data science = first Southwest Data Science Conference, SDSC 2022, Waco, TX, USA, March 25-26, 2022 : revised selected papers / by: (Language materials, printed)

Artificial life and evolutionary computation = 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15-17, 2021 : revised selected papers / by: (Language materials, printed)

Advances in model and data engineering in the digitalization era = MEDI 2022 short papers and DETECT 2022 workshop papers, Cairo, Egypt, November 21-24, 2022 : proceedings / by: (Language materials, printed)

Advances in Knowledge Discovery and Data Mining = 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part I / by: (Language materials, printed)

Distributed Computer and Communication Networks = 24th International Conference, DCCN 2021, Moscow, Russia, September 20–24, 2021, Revised Selected Papers / by: (Language materials, printed)

Developments in Language Theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings / by: (Language materials, printed)

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

Information Systems and Design = Second International Conference, ICID 2021, Virtual Event, September 6–7, 2021, Revised Selected Papers / by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = 8th International Conference, CALDAM 2022, Puducherry, India, February 10–12, 2022, Proceedings / by: (Language materials, printed)

Informatics and Intelligent Applications = First International Conference, ICIIA 2021, Ota, Nigeria, November 25–27, 2021, 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)

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)

Modeling, Machine Learning and Astronomy = First International Conference, MMLA 2019, Bangalore, India, November 22–23, 2019, Revised Selected Papers / 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)

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)

Advanced Data Mining and Applications = 16th International Conference, ADMA 2020, Foshan, China, November 12–14, 2020, Proceedings / 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)

Distributed Computer and Communication Networks = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14–18, 2020, 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)

Advances in Computer Games = 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers / 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)

Robotics and Rehabilitation Intelligence = First International Conference, ICRRI 2020, Fushun, China, September 9–11, 2020, Proceedings, Part I / 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)

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

Understand Mathematics, Understand Computing = Discrete Mathematics That All Computing Students Should Know / 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)

Intelligent Systems = 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20–23, 2020, Proceedings, Part II / 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)

Reachability Problems = 14th International Conference, RP 2020, Paris, France, October 19–21, 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)

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

Introduction to the Tools of Scientific Computing 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)

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

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

Search-Based Software Engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings / 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)

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

Universal Time-Series Forecasting with Mixture Predictors 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)

Stabilization, Safety, and Security of Distributed Systems = 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings / 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)

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

Basiswissen Lineare Algebra = Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool / 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)

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

Scalable Uncertainty Management = 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23–25, 2020, Proceedings / 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)

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)

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, 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)

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)

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)

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)

Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers / 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)

Developments in Language Theory = 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings / 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)

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)

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)

Industrial Networks and Intelligent Systems = 6th EAI International Conference, INISCOM 2020, Hanoi, Vietnam, August 27–28, 2020, Proceedings / 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)

Integer Programming and Combinatorial Optimization = 21st International Conference, IPCO 2020, London, UK, June 8–10, 2020, Proceedings / 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)

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)

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

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

2018 MATRIX Annals 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)

Computer Performance Engineering = 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 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)

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

Introduction to Scientific Programming with Python 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)

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)

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

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

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

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

Information theory and statistical learning by: (Language materials, printed)

Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (Language materials, printed)

High performance computing in science and engineering '08 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008 / by: (Language materials, printed)

Computability of Julia sets by: (Language materials, printed)

Post-quantum cryptography by: (Language materials, printed)

Visualization and processing of tensor fields = advances and perspectives / by: (Language materials, printed)

Quantum interaction = third international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings / by: (Language materials, printed)

Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (Language materials, printed)

Markov random field modeling in image analysis by: (Language materials, printed)

Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / by: (Language materials, printed)

Geometric algebra = an algebraic system for computer games and animation/ by: (Language materials, printed)

The algorithm design manual by: (Language materials, printed)

Fundamentals of matrix-analytic methods by: (Language materials, printed)

Walter Gautschi. = selected works with commentaries /. Volume 1 by: (Language materials, printed)

Walter Gautschi. = selected works with commentaries /. Volume 2 by: (Language materials, printed)

Walter Gautschi. = selected works with commentaries /. Volume 3 by: (Language materials, printed)

Theory of fuzzy computation by: (Language materials, printed)

Spectral and high order methods for partial differential equations - ICOSAHOM 2012 = selected papers from the ICOSAHOM conference, June 25-29, 2012, Gammarth, Tunisia / by: (Language materials, printed)

Cryptography in constant parallel time by: (Language materials, printed)

Algorithms for sensor systems = 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013 : revised selected papers / by: (Language materials, printed)

Foundations of information and knowledge systems = 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings / by: (Language materials, printed)

Mathematical tools for data mining = set theory, partial orders, combinatorics / by: (Language materials, printed)

Regulated grammars and automata 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)

Parallelism in matrix computations by: (Language materials, printed)

Cryptography made simple by: (Language materials, printed)

Boolean functions and their applications in cryptography by: (Language materials, printed)

Index-aware model order reduction methods = applications to differential-algebraic equations / by: (Language materials, printed)

Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs / 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)

Applications of evolutionary computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.. Part II / 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)

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)

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)

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)

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)

Compression-based methods of statistical analysis and prediction of time series 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)

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

Turing computability = theory and applications / by: (Language materials, printed)

Relaxed abduction = robust information interpretation for industrial applications / by: (Language materials, printed)

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

High performance computing in science and engineering = second International Conference, HPCSE 2015, Solan, Czech Republic, May 25-28, 2015 : revised selected papers / 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)

Linear algebra for computational sciences and engineering by: (Language materials, printed)

Finitely supported mathematics = an introduction / 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)

A primer on scientific programming with Python by: (Language materials, printed)

Random-like bi-level decision making by: (Language materials, printed)

Analytical and stochastic modeling techniques and applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / 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)

Mathematical analysis and the mathematics of computation by: (Language materials, printed)

Cool math for hot music = a first introduction to mathematics for music theorists / by: (Language materials, printed)

Music through Fourier space = discrete Fourier transform in music theory / by: (Language materials, printed)

An introduction to data analysis using aggregation functions in R by: (Language materials, printed)

All about music = the complete ontology: realities, semiotics, communication, and embodiment / 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)

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)

Algorithms for data science by: (Language materials, printed)

Matrix and tensor factorization techniques for recommender systems by: (Language materials, printed)

Scalable algorithms for contact problems by: (Language materials, printed)

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

Advances in artificial life, evolutionary computation, and systems chemistry = 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016 : revised selected papers / by: (Language materials, printed)

Computer games = 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016 : revised selected papers / by: (Language materials, printed)

Mathematics and computing = third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017 : proceedings / by: (Language materials, printed)

EVOLVE = a bridge between probability, set oriented numerics and evolutionary computation VII / by: (Language materials, printed)

The incomputable = journeys beyond the Turing barrier / by: (Language materials, printed)

The musical-mathematical mind = patterns and transformations / by: (Language materials, printed)

Modern language models and computation = theory with applications / by: (Language materials, printed)

Verifiable composition of signature and encryption = a comprehensive study of the design paradigms / by: (Language materials, printed)

Geometric science of information = third International Conference, GSI 2017, Paris, France, November 7-9, 2017 : proceedings / by: (Language materials, printed)

Innovative security solutions for information technology and communications = 10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017 : revised selected papers / by: (Language materials, printed)

A journey through discrete mathematics = a tribute to Jiri Matousek / by: (Language materials, printed)

Symbolic and quantitative approaches to reasoning with uncertainty = 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017 : proceedings / by: (Language materials, printed)

Deterministic global optimization = an introduction to the diagonal approach / by: (Language materials, printed)

Grid generation methods by: (Language materials, printed)

Supercomputing = third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers / by: (Language materials, printed)

Task scheduling for multi-core and parallel architectures = challenges, solutions and perspectives / by: (Language materials, printed)

Queueing theory and network applications = 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017 : proceedings / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2017 = 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017 : proceedings.. Part I / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2017 = 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017 : proceedings.. Part II / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2017 = 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017 : proceedings.. Part III / by: (Language materials, printed)

Internet of vehicles = technologies and services for smart cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017 : proceedings / by: (Language materials, printed)

hp-Version discontinuous Galerkin methods on polygonal and polyhedral meshes by: (Language materials, printed)

Neighborhood semantics for modal logic by: (Language materials, printed)

Mathematical aspects of computer and information sciences = 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings / by: (Language materials, printed)

Space in weak propositional proof systems by: (Language materials, printed)

Geometrically unfitted finite element methods and applications = proceedings of the UCL Workshop 2016 / by: (Language materials, printed)

High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers / by: (Language materials, printed)

Introduction to inverse problems for differential equations by: (Language materials, printed)

The mathematical-function computation handbook = programming using the MathCW portable software library / by: (Language materials, printed)

Principles and practice of constraint programming = 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (Language materials, printed)

Constraint theory = multidimensional mathematical model management / by: (Language materials, printed)

BNAIC 2016 = artificial intelligence : 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016 : revised selected papers / by: (Language materials, printed)

Scalable uncertainty management = 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : 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)

Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches by: (Language materials, printed)

LATIN 2018 = theoretical informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 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)

Independent random sampling methods by: (Language materials, printed)

Combinatorial optimization = theory and algorithms / 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)

Clinical rehabilitation experience utilizing serious games = rehabilitation technology and a technical concept for health data collection / by: (Language materials, printed)

Handbook of model checking 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)

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

Sparse grids and applications = Miami 2016 / 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)

Intelligent robotics and applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018 : proceedings.. Part II / by: (Language materials, printed)

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

Simulation science = first International Workshop, SimScience 2017, Gottingen, Germany, April 27-28, 2017 : revised selected papers / by: (Language materials, printed)

Multi-objective optimization = evolutionary to hybrid framework / 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)

Principles and practice of constraint programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018 : proceedings / by: (Language materials, printed)

Developments in language theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings / 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)

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)

Studies on speech production = 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017 : revised selected papers / 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)

Transactions on computational science XXXIII 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)

Scientific computing = a historical perspective / by: (Language materials, printed)

Transactions on computational collective intelligence XXXI by: (Language materials, printed)

Domain decomposition methods in science and engineering XXIV by: (Language materials, printed)

The GLOBAL optimization algorithm = newly updated with Java implementation and parallelization / by: (Language materials, printed)

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

Advances in neural networks - ISNN 2017 = 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017 : proceedings.. Part II / by: (Language materials, printed)

Advances in neural networks - ISNN 2017 = 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017 : proceedings.. Part I / by: (Language materials, printed)

Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings / by: (Language materials, printed)

Smart cities = second International Conference, Smart-CT 2017, Malaga, Spain, June 14-16, 2017 : proceedings / by: (Language materials, printed)

Theory and applications of models of computation = 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017 : 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)

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)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part I / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part III / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part V / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part II / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part IV / 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)

Linear algebra for computational sciences and engineering by: (Language materials, printed)

Parallel computing technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019 : proceedings / by: (Language materials, printed)

Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations by: (Language materials, printed)

Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (Language materials, printed)

Data analytics for renewable energy integration = 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016 : revised selected papers / by: (Language materials, printed)

Algorithms for sensor systems = 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016 : revised selected papers / by: (Language materials, printed)

Operations research and enterprise systems = 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016 : revised selected papers / by: (Language materials, printed)

Introduction to Mathematica with applications by: (Language materials, printed)

Introduction to Concurrency Theory = Transition Systems and CCS / by: (Language materials, printed)

Advances in Cryptology -- ASIACRYPT 2015 = 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part I / by: (Language materials, printed)

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)

Operations Research and Enterprise Systems = Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, 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)

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)

Operations Research and Enterprise Systems = 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / 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)

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

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

Petri Net Synthesis by: (Language materials, printed)

Words and Graphs by: (Language materials, printed)

Introduction to Cryptography = Principles and Applications / 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)

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)

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)

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)

Evolving Computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. 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)

Theory and Applications of Models of Computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 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)

Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings / 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)

Linear Algebra for Computational Sciences and Engineering 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)

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)

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)

Random-Like Bi-level Decision Making 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)

Music Through Fourier Space = Discrete Fourier Transform in Music Theory / 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)

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)

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

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

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

Algorithms for Data Science 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)

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)

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

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

Cryptography Made Simple 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)

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)

Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II / 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)

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)

Principles and Practice of Constraint Programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings / 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)

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)

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

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

Boolean Functions and Their Applications in Cryptography 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)

Quantum Computing verstehen = Grundlagen – Anwendungen – Perspektiven / 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)

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)

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)

Algorithms and Discrete Applied Mathematics = 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings / 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)

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)

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)

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

Kombinatorische Optimierung = Theorie und Algorithmen / 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)

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

Transactions on Computational Science XXXIII 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)

Transactions on Computational Collective Intelligence XXXI 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)

Mathematics and Computing = 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, 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)

Advances in Computer Algebra = In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada / 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)

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

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

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

Sparse Grids and Applications - Miami 2016 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)

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)

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

Fundamentals and Applications of Hardcopy Communication = Conveying Side Information by Printed Media / 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)

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

Monte Carlo and Quasi-Monte Carlo Methods = MCQMC 2016, Stanford, CA, August 14-19 / 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)

Combinatorial Optimization = Theory and Algorithms / 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)

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)

Transactions on Rough Sets XXI 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)

Analysis of Experimental Algorithms = Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, 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)

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)

Methods and Models in Mathematical Programming 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)

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)

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

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

Parallel Computing Technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings / 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)

Mechanistic Explanations in Physics and Beyond 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)

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)

Transactions on Computational Collective Intelligence XXXIV 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)

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)

Reflections on the Foundations of Mathematics = Univalent Foundations, Set Theory and General Thoughts / 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)

Practical MATLAB = With Modeling, Simulation, and Processing Projects / 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)

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

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

Deep Learning with R 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)

Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 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)

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)

Numerical Mathematics and Advanced Applications ENUMATH 2017 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)

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)