Mathematics of Computing.

Mathematical Tools for Data Mining = Set Theory, Partial Orders, Combinatorics / 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)

Algorithmic aspects in information and management = 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010 : proceedings / by: (Language materials, printed)

Mathematica = a problem-centered approach / by: (Language materials, printed)

Grid generation methods by: (Language materials, printed)

Frontiers in algorithmics = 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings / by: (Language materials, printed)

The P=NP question and Godel's lost letter by: (Language materials, printed)

Triangulations = structures for algorithms and applications / by: (Language materials, printed)

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

Boolean function complexity = advances and frontiers / by: (Electronic resources)

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

A proof theory for description logics by: (Electronic resources)

Mathematics of discrete structures for computer science by: (Electronic resources)

The complexity of valued constraint satisfaction problems by: (Electronic resources)

Fundamentals of matrix-analytic methods by: (Electronic resources)

Walter Gautschi. = selected works with commentaries /. Volume 1 by: (Electronic resources)

Walter Gautschi. = selected works with commentaries /. Volume 2 by: (Electronic resources)

Walter Gautschi. = selected works with commentaries /. Volume 3 by: (Electronic resources)

Theory of fuzzy computation by: (Electronic resources)

Cryptography in constant parallel time by: (Electronic resources)

Theory and applications of models of computation = 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014 : proceedings / by: (Electronic resources)

Algorithmic differentiation of pragma-defined parallel regions = differentiating computer programs containing OpenMP / by: (Electronic resources)

Operations research and enterprise systems = third International Conference, ICORES 2014, Angers, France, March 6-8, 2014 : revised selected papers / by: (Electronic resources)

Foundation mathematics for computer science = a visual approach / by: (Electronic resources)

Words and graphs by: (Electronic resources)

The foundations of computability theory by: (Electronic resources)

Compression-based methods of statistical analysis and prediction of time series by: (Electronic resources)

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: (Electronic resources)

Linear algebra for computational sciences and engineering by: (Electronic resources)

An introduction to data analysis using aggregation functions in R by: (Electronic resources)

All about music = the complete ontology: realities, semiotics, communication, and embodiment / by: (Electronic resources)

Algorithms for data science by: (Electronic resources)

Scalable algorithms for contact problems by: (Electronic resources)

Privately and publicly verifiable computing techniques = a survey / by: (Electronic resources)

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

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: (Electronic resources)

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

Constraint theory = multidimensional mathematical model management / by: (Electronic resources)

The musical-mathematical mind = patterns and transformations / by: (Electronic resources)

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

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

A journey through discrete mathematics = a tribute to Jiri Matousek / by: (Electronic resources)

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

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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

Neighborhood semantics for modal logic by: (Electronic resources)

Space in weak propositional proof systems by: (Electronic resources)

Machine learning, optimization, and big data = third International Conference, MOD 2017, Volterra, Italy, September 14-17, 2017 : revised selected papers / by: (Electronic resources)

Artificial life and evolutionary computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017 : revised selected papers / by: (Electronic resources)

Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches by: (Electronic resources)

LATIN 2018 = theoretical informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018 : proceedings / by: (Electronic resources)

New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, 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)

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

Foundations of Generic Optimization. Volume 1,. A Combinatorial Approach to Epistasis / 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)

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

Contemporary Cryptology by: (Language materials, printed)

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

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

Computational Electromagnetics by: (Language materials, printed)

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

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

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

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

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

Mathematical Modeling, Simulation, Visualization and e-Learning 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)

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

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

Handbook of continued fractions for special functions 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)

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)

Matrix-Based Multigrid = Theory and Applications / 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)

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

Mathematical methods in computer science = essays in memory of Thomas Beth / 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)

Computer science - theory and applications = 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings / by: (Language materials, printed)

Theory and applications of models of computation = 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings / by: (Language materials, printed)

A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP / by: (Language materials, printed)

Service oriented infrastructures and cloud service platforms for the enterprise = a selection of common capabilities validated in real-life business trials by the BEinGRID consortium/ by: (Language materials, printed)

Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part I / by: (Language materials, printed)

Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part II / by: (Language materials, printed)

Deontic logic in computer science = 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings / by: (Language materials, printed)

Theory and applications of satisfiability testing - SAT 2010 = 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / by: (Language materials, printed)

Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / by: (Language materials, printed)

Foundations of information and knowledge systems = 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings / by: (Language materials, printed)

Logic and the foundations of game and decision theory - LOFT 8 = 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / by: (Language materials, printed)

The mathematics of language = 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, revised selected papers/ by: (Language materials, printed)

Deterministic extraction from weak random sources by: (Electronic resources)

Domain decomposition methods in science and engineering XIX by: (Electronic resources)

Approximation and computation = in honor of Gradimir V. Milovanovic / by: (Electronic resources)

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

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

Ludics, dialogue and interaction = PRELUDE Project - 2006-2009 : revised selected papers / by: (Electronic resources)

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

A primer on scientific programming with Python by: (Electronic resources)

Integrated methods for optimization by: (Electronic resources)

Digital imaging and communications in medicine (DICOM) = a practical introduction and survival guide / by: (Electronic resources)

Combinatorial optimization = theory and algorithms / by: (Electronic resources)

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: (Electronic resources)

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

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

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

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

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

Grobner bases, coding, and cryptography by: (Electronic resources)

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

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

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

Modeling Time in Computing by: (Electronic resources)

Advances in automatic differentiation by: (Electronic resources)

Graphs, networks, and algorithms by: (Electronic resources)

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

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: (Electronic resources)

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

Mathematical tools for data mining = set theory, partial orders, combinatorics / by: (Electronic resources)

Regulated grammars and automata by: (Electronic resources)

Parallel processing and applied mathematics = 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013 : revised selected papers.. Part I / by: (Electronic resources)

Automated reasoning = 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings / by: (Electronic resources)

Rewriting and Typed Lambda Calculi = joint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 2014 = 17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (Electronic resources)

Nonlinear dynamics of electronic systems = 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014 : proceedings / by: (Electronic resources)

Language, life, limits = 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings / by: (Electronic resources)

Biomedical image registration = 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014 : proceedings / by: (Electronic resources)

Modeling, simulation and optimization for science and technology by: (Electronic resources)

Principles and practice of constraint programming = 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : proceedings / by: (Electronic resources)

Swarm Intelligence = 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014 : proceedings / by: (Electronic resources)

Morphological modeling of terrains and volume data by: (Electronic resources)

Machine learning in medicine - cookbook three by: (Electronic resources)

SAGA - advances in shApes, geometry, and algebra = results from the Marie Curie Initial Training Network / by: (Electronic resources)

Computational musicology in Hindustani music by: (Electronic resources)

Data analytics for renewable energy integration = Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014 : revised selected papers / by: (Electronic resources)

Advances in cryptology - ASIACRYPT 2014 = 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, December 7-11, 2014 : proceedings.. Part I / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XVI = selected papers from ACOMP 2013 / by: (Electronic resources)

Open problems in mathematics and computational science by: (Electronic resources)

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: (Electronic resources)

Theory and applications of models of computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015 : proceedings / by: (Electronic resources)

High performance computing for computational science - VECPAR 2014 = 11th International Conference, Eugene, OR, USA, June 30-July 3, 2014 : revised selected papers / by: (Electronic resources)

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

Principles and practice of constraint programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015 : proceedings / by: (Electronic resources)

Introduction to concurrency theory = transition systems and CCS / by: (Electronic resources)

Petri net synthesis by: (Electronic resources)

Introduction to cryptography = principles and applications / by: (Electronic resources)

Higher-order computability by: (Electronic resources)

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

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: (Electronic resources)

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: (Electronic resources)

Engineering computation of structures = the finite element method / by: (Electronic resources)

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: (Electronic resources)

Encyclopedia of applied and computational mathematics by: (Electronic resources)

Mathematical problems in data science = theoretical and practical methods / by: (Electronic resources)

Operations research and enterprise systems = 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers / by: (Electronic resources)

Data analytics for renewable energy integration = third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015 : revised selected papers / by: (Electronic resources)

Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

Cryptography made simple by: (Electronic resources)

Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs / by: (Electronic resources)

Evolutionary and biologically inspired music, sound, art and design = 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings / by: (Electronic resources)

Applications of evolutionary computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.. Part II / by: (Electronic resources)

Applications of evolutionary computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.. Part I / by: (Electronic resources)

Advances in artificial life, evolutionary computation and systems chemistry = 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015 : revised selected papers / by: (Electronic resources)

Parallel processing and applied mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.. Part I / by: (Electronic resources)

Parallel processing and applied mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.. Part II / by: (Electronic resources)

Mathematical aspects of computer and information sciences = 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers / by: (Electronic resources)

Turing computability = theory and applications / by: (Electronic resources)

Relaxed abduction = robust information interpretation for industrial applications / by: (Electronic resources)

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

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

High performance computing in science and engineering = second International Conference, HPCSE 2015, Solan, Czech Republic, May 25-28, 2015 : revised selected papers / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings / by: (Electronic resources)

Finitely supported mathematics = an introduction / by: (Electronic resources)

Advances in neural networks - ISNN 2016 = 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016 : proceedings / by: (Electronic resources)

A primer on scientific programming with Python by: (Electronic resources)

Mathematical analysis and the mathematics of computation by: (Electronic resources)

Cool math for hot music = a first introduction to mathematics for music theorists / by: (Electronic resources)

Music through Fourier space = discrete Fourier transform in music theory / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Matrix and tensor factorization techniques for recommender systems by: (Electronic resources)

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

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: (Electronic resources)

Introduction to Mathematica with applications by: (Electronic resources)

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

EVOLVE = a bridge between probability, set oriented numerics and evolutionary computation VII / by: (Electronic resources)

The incomputable = journeys beyond the Turing barrier / by: (Electronic resources)

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

Introduction to inverse problems for differential equations by: (Electronic resources)

The mathematical-function computation handbook = programming using the MathCW portable software library / by: (Electronic resources)

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

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

Scalable uncertainty management = 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings / by: (Electronic resources)

Modern language models and computation = theory with applications / by: (Electronic resources)

Verifiable composition of signature and encryption = a comprehensive study of the design paradigms / by: (Electronic resources)

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

Task scheduling for multi-core and parallel architectures = challenges, solutions and perspectives / by: (Electronic resources)

hp-Version discontinuous Galerkin methods on polygonal and polyhedral meshes by: (Electronic resources)

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

Geometrically unfitted finite element methods and applications = proceedings of the UCL Workshop 2016 / by: (Electronic resources)

Fundamentals and applications of hardcopy communication = conveying side information by printed media / by: (Electronic resources)

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: (Electronic resources)

Artificial Intelligence = 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8-9, 2017 : revised selected papers / by: (Electronic resources)

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)

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)

Database theory and application, bio-science and bio-Technology = International Conferences, DTA and BSBT 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings / by: (Language materials, printed)

A primer on scientific programming with Python by: (Electronic resources)

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

Practical Python AI projects = mathematical models of optimization problems with Google OR-tools / by: (Electronic resources)

Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part I / by: (Electronic resources)

Mathematics and computing = 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018 : revised selected papers / by: (Electronic resources)

Clinical rehabilitation experience utilizing serious games = rehabilitation technology and a technical concept for health data collection / by: (Electronic resources)

Handbook of model checking by: (Electronic resources)

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

Computational topology in image context = 7th International Workshop, CTIC 2019, Malaga, Spain, January 24-25, 2019 : proceedings / by: (Electronic resources)

Numerical mathematics and advanced applications ENUMATH 2017 by: (Electronic resources)

Applications of evolutionary computation = 22nd International Conference, EvoApplications 2019, held as part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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

Applied nature-inspired computing = algorithms and case studies / by: (Electronic resources)

Operations research and enterprise systems = 8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019 : revised selected papers / by: (Electronic resources)

Computational intelligence methods for bioinformatics and biostatistics = 15th International Meeting, CIBB 2018, Caparica, Portugal, September 6-8, 2018 : revised selected papers / by: (Electronic resources)

Algorithms and discrete applied mathematics = 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020 : proceedings / by: (Electronic resources)

WALCOM = algorithms and computation : 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020 : proceedings / by: (Electronic resources)

Nature-inspired computation in navigation and routing problems = algorithms, methods and applications / by: (Electronic resources)

Mathematical modelling and scientific computing with applications = ICMMSC 2018, Indore, India, July 19-21 / by: (Electronic resources)

Advances in signal processing and intelligent recognition systems = 5th International Symposium, SIRS 2019, Trivandrum, India, December 18-21, 2019 : revised selected papers / by: (Electronic resources)

Variable neighborhood search = 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3-5, 2019 : revised selected papers / by: (Electronic resources)

Integer programming and combinatorial optimization = 21st International Conference, IPCO 2020, London, UK, June 8-10, 2020 : proceedings / by: (Electronic resources)

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: (Electronic resources)

String processing and information retrieval = 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7-9, 2019 : proceedings / by: (Electronic resources)

Transactions on computational collective intelligence XXXIV by: (Electronic resources)

Methods and models in mathematical programming by: (Electronic resources)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part I / by: (Electronic resources)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part V / by: (Electronic resources)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part II / by: (Electronic resources)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part III / by: (Electronic resources)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part IV / by: (Electronic resources)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part VI / by: (Electronic resources)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part VII / by: (Electronic resources)

Computer science - theory and applications = 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020 : proceedings / by: (Electronic resources)

Artificial life and evolutionary computation = 14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18-20, 2019 : revised selected papers / by: (Electronic resources)

Data mining and big data = 5th International Conference, DMBD 2020, Belgrade, Serbia, July 14-20, 2020 : proceedings / by: (Electronic resources)

Foundations of finitely supported structures = a set theoretical viewpoint / by: (Electronic resources)

Parallel computational technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27-29, 2020 : revised selected papers / by: (Electronic resources)

Combinatorial image analysis = 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16-18, 2020 : proceedings / by: (Electronic resources)

Code-based cryptography = 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9-10, 2020 : revised selected papers / by: (Electronic resources)

Structural information and communication complexity = 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29-July 1, 2020 : proceedings / by: (Electronic resources)

Computational methods for deep learning = theoretic, practice and applications / by: (Electronic resources)

Modelling and development of intelligent systems = 7th International Conference, MDIS 2020, Sibiu, Romania, October 22-24, 2020 : revised selected papers / by: (Electronic resources)

Artificial intelligence for communications and networks = Second EAI International Conference, AICON 2020, Virtual Event, December 19-20, 2020 : proceedings / by: (Electronic resources)

Concise guide to quantum computing = algorithms, exercises, and implementations / by: (Electronic resources)

Parallel and distributed computing, applications and technologies = 21st International Conference, PDCAT 2020, Shenzhen, China, December 28-30, 2020 : proceedings / by: (Electronic resources)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2020, Ghent, Belgium, September 14-18, 2020 : proceedings.. Part II / by: (Electronic resources)

Pattern recognition = 42nd DAGM German Conference, DAGM GCPR 2020, Tubingen, Germany, September 28 - October 1, 2020 : proceedings / by: (Electronic resources)

Evolutionary multi-criterion optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28-31, 2021 : proceedings / by: (Electronic resources)

Transactions on computational science XXXVIII by: (Electronic resources)

Evolutionary computation in combinatorial optimization = 21st European Conference, EvoCOP 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings / by: (Electronic resources)

Applied mathematics and computational mechanics for smart applications = proceedings of AMMAI 2020 / by: (Electronic resources)

Theoretical computer science = 38th National Conference, NCTCS 2020, Nanning, China, November 13-15, 2020 : revised selected papers / by: (Electronic resources)

Sustainable energy for smart cities = second EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020 : proceedings / by: (Electronic resources)

Simulation tools and techniques = 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020 : proceedings.. Part II / by: (Electronic resources)

Database systems for advanced applications = 26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11-14, 2021 : proceedings.. Part II / by: (Electronic resources)

Structural, syntactic, and statistical pattern recognition = joint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21-22, 2021 : proceedings / by: (Electronic resources)

Cerebral aneurysm detection and analysis = first Challenge, CADA 2020, held in conjunction with MICCAI 2020, Lima, Peru, October 8, 2020 : proceedings / by: (Electronic resources)

Scale space and variational methods in computer vision = 8th International Conference, SSVM 2021, virtual event, May 16-20, 2021 : proceedings / by: (Electronic resources)

Integer programming and combinatorial optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19-21, 2021 : proceedings / by: (Electronic resources)

Production research = 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahia Blanca, Argentina, December 9-11, 2020 : revised selected papers.. Part I / by: (Electronic resources)

Production research = 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahia Blanca, Argentina, December 9-11, 2020 : revised selected papers.. Part II / by: (Electronic resources)

Theoremus = a student's guide to mathematical proofs / by: (Electronic resources)

Quality, reliability, security and robustness in heterogeneous systems = 16th EAI International Conference, QShine 2020, virtual event, November 29-30, 2020 : proceedings / by: (Electronic resources)

Advances in knowledge discovery and data mining = 25th Pacific-Asia Conference, PAKDD 2021, virtual event, May 11-14, 2021 : proceedings.. Part III / by: (Electronic resources)

Discrete geometry and mathematical morphology = first International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24-27, 2021 : proceedings / by: (Electronic resources)

Industrial networks and intelligent systems = 5th EAI International Conference, INISCOM 2019, Ho Chi Minh City, Vietnam, August 19, 2019 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Evolutionary multi-criterion optimization = 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019 : proceedings / by: (Electronic resources)

Geometric science of information = 4th International Conference, GSI 2019, Toulouse, France, August 27-29, 2019 : proceedings / by: (Electronic resources)

Principles and practice of constraint programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019 : proceedings / by: (Electronic resources)

Reachability problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings / by: (Electronic resources)

Research in computational molecular biology = 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019 : proceedings / by: (Electronic resources)

Mechanistic explanations in physics and beyond by: (Electronic resources)

Database and expert systems applications = DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14-17, 2020 : proceedings / by: (Electronic resources)

Universal time-series forecasting with mixture predictors by: (Electronic resources)

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: (Electronic resources)

Principles and practice of constraint programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020 : proceedings / by: (Electronic resources)

String processing and information retrieval = 27th International Symposium, SPIRE 2020, Orlando, FL, USA, October 13-15, 2020 : proceedings / by: (Electronic resources)

Simulation and synthesis in medical imaging = 5th International Workshop, SASHIMI 2020, held in conjunction with MICCAI 2020, Lima, Peru, October 4, 2020 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part III / by: (Electronic resources)

Search-based software engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.. Part I / by: (Electronic resources)

Computational methods in systems biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings / by: (Electronic resources)

Topics in Galois fields by: (Electronic resources)

Handbook of computability and complexity in analysis by: (Electronic resources)

Mathematical modeling and supercomputer technologies = 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 - 27, 2020 : revised selected papers / by: (Electronic resources)

Ubiquitous communications and network computing = 4th EAI International Conference, UBICNET 2021, virtual event, March 2021 : proceedings / by: (Electronic resources)

Membrane computing = 21st International Conference, CMC 2020, virtual event, September 14-18, 2020 : revised selected papers / by: (Electronic resources)

Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part V / by: (Electronic resources)

Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part VI / by: (Electronic resources)

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: (Electronic resources)

Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part I / by: (Electronic resources)

Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part III / by: (Electronic resources)

Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part IV / by: (Electronic resources)

Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part II / by: (Electronic resources)

Mathematical optimization theory and operations research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5-10, 2021 : proceedings / by: (Electronic resources)

Integration of constraint programming, artificial intelligence, and operations research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021 : proceedings / by: (Electronic resources)

Machine Learning by: (Electronic resources)

Spatial data and intelligence = second International Conference, SpatialDI 2021, Hangzhou, China, April 22-24, 2021 : proceedings / by: (Electronic resources)

Schwarz methods and multilevel preconditioners for boundary element methods by: (Electronic resources)

Computational logistics = 12th International Conference, ICCL 2021, Enschede, the Netherlands, September 27-29, 2021 : proceedings / by: (Electronic resources)

String processing and information retrieval = 28th International Symposium, SPIRE 2021, Lille, France, October 4-6, 2021 : proceedings / by: (Electronic resources)

Practical optimization = algorithms and engineering applications / by: (Electronic resources)

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 22-24, 2021 : proceedings.. Part II / by: (Electronic resources)

Thinking programs = logical modeling and reasoning about languages, data, computations, and executions / by: (Electronic resources)

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 22-24, 2021 : proceedings.. Part III / by: (Electronic resources)

Algorithmic decision theory = 7th International Conference, ADT 2021, Toulouse, France, November 3-5, 2021 : proceedings / by: (Electronic resources)

Discrete and computational geometry, graphs, and games = 21st Japanese conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018 : revised selected papers / by: (Electronic resources)

Biomedical engineering systems and technologies = 12th International Joint Conference, BIOSTEC 2019, Prague, Czech Republic, February 22-24, 2019 : revised selected papers / by: (Electronic resources)

Advanced computing technologies and applications = proceedings of 2nd International Conference on Advanced Computing Technologies and Applications-ICACTA 2020 / by: (Electronic resources)

Integrated uncertainty in knowledge modelling and decision making = 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11-13, 2020 : proceedings / by: (Electronic resources)

Similarity search and applications = 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 - October 2, 2020 : proceedings / by: (Electronic resources)

Reachability problems = 14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings / by: (Electronic resources)

Intelligent systems = 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20-23, 2020 : proceedings.. Part II / by: (Electronic resources)

Computer algebra in scientific computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020 : proceedings / by: (Electronic resources)

Domain decomposition methods in science and engineering XXV by: (Electronic resources)

Green energy and networking = 7th EAI International Conference, GreeNets 2020, Harbin, China, June 27-28, 2020 : proceedings / by: (Electronic resources)

Advanced communication systems and information security = second International Conference, ACOSIS 2019, Marrakesh, Morocco, November 20-22, 2019 : revised selected papers / by: (Electronic resources)

Introduction to the tools of scientific computing by: (Electronic resources)

Advances in computer games = 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019 : revised selected papers / by: (Electronic resources)

Verification and evaluation of computer and communication systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020 : proceedings / by: (Electronic resources)

Distributed computer and communication networks = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020 : revised selected papers / by: (Electronic resources)

Distributed computer and communication networks = control, computation, communications : 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

Modeling, machine learning and astronomy = first International Conference, MMLA 2019, Bangalore, India, November 22-23, 2019 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

Advanced data mining and applications = 16th International Conference, ADMA 2020, Foshan, China, November 12-14, 2020 : proceedings / by: (Electronic resources)

Algorithmic game theory = 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16-18, 2020 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Mathematical aspects of computer and information sciences = 8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019 : revised selected papers / by: (Electronic resources)

Scalable uncertainty management = 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23-25, 2020 : proceedings / by: (Electronic resources)

Treewidth, kernels, and algorithms = essays dedicated to Hans L. Bodlaender on the occasion of his 60th birthday / by: (Electronic resources)

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: (Electronic resources)

Intelligent systems = 10th razilian conference, BRACIS 2021, virtual event, November 29-December 3, 2021 : proceedings.. Part I / by: (Electronic resources)

Networked systems = 9th International Conference, NETYS 2021, virtual event, May 19-21, 2021 : proceedings / by: (Electronic resources)

Generalized mathieu series by: (Electronic resources)

Nature of computation and communication = 7th EAI International Conference, ICTCC 2021, virtual event, October 28-29, 2021 : proceedings / by: (Electronic resources)

Combinatorial optimization and applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021 : proceedings / by: (Electronic resources)

Distributed computer and communication networks = control, computation, communications : 24th International Conference, DCCN 2021, Moscow, Russia, September 20-24, 2021 : revised selected papers / by: (Electronic resources)

Artificial intelligence = first CAAI International Conference, CICAI 2021, Hangzhou, China, June 5-6, 2021 : proceedings.. Part II / by: (Electronic resources)

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: (Electronic resources)

Distributed computer and communication networks = 24th International Conference, DCCN 2021, Moscow, Russia, September 20-24, 2021 : revised selected papers / by: (Electronic resources)

Seriation in combinatorial and statistical data analysis by: (Electronic resources)

Integrated uncertainty in knowledge modelling and decision making = 9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18-19, 2022 : proceedings / by: (Electronic resources)

Developments in language theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022 : proceedings / by: (Electronic resources)

Mathematics and computation in music = 8th International Conference, MCM 2022, Atlanta, GA, USA, June 21-24, 2022 : proceedings / by: (Electronic resources)

Integration of constraint programming, artificial intelligence, and operations research = International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022 : proceedings / by: (Electronic resources)

Computational science - ICCS 2022 = 22nd International Conference, London, UK, June 21-23, 2022 : proceedings.. Part I / by: (Electronic resources)

Computational science - ICCS 2022 = 22nd International Conference, London, UK, June 21-23, 2022 : proceedings.. Part II / by: (Electronic resources)

Computational science - ICCS 2022 = 22nd International Conference, London, UK, June 21-23, 2022 : proceedings.. Part III / by: (Electronic resources)

Computational science - ICCS 2022 = 22nd International Conference, London, UK, June 21-23, 2022 : proceedings.. Part IV / by: (Electronic resources)

Parallel problem solving from nature - PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022 : proceedings.. Part I / by: (Electronic resources)

Systematic innovation partnerships with artificial intelligence and information technology = 22nd International TRIZ Future Conference, TFC 2022, Warsaw, Poland, September 27-29, 2022 : proceedings / by: (Electronic resources)

KI 2022 = advances in artificial intelligence : 45th German Conference on AI, Trier, Germany, September 19-23, 2022 : proceedings / by: (Electronic resources)

Practical MATLAB deep learning = a projects-based approach / by: (Electronic resources)

Algebraic informatics = 9th International Conference, CAI 2022, virtual event, October 27-29, 2022 : proceedings / by: (Electronic resources)

Discrete geometry and mathematical morphology = second international joint conference, DGMM 2022, Strasbourg, France, October 24-27, 2022 : proceedings / by: (Electronic resources)

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

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: (Electronic resources)

Algorithms for big data = DFG Priority Program 1736 / by: (Electronic resources)

Linear programming computation by: (Electronic resources)

Modelling and development of intelligent systems = 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022 : revised selected papers / by: (Electronic resources)

Artificial intelligence : theories and applications = first International Conference, ICAITA 2022, Mascara, Algeria, November 7-8, 2022 : revised selected papers / by: (Electronic resources)

Parallel processing and applied mathematics = 7th international conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 revised selected papers / 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)

Digital Imaging and Communications in Medicine (DICOM) = A Practical Introduction and Survival Guide / 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)

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)

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)

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

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

Abstract state machines, Alloy, B and Z = second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / by: (Language materials, printed)

High performance networking, computing, communication systems, and mathematical foundations = international conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings/ by: (Language materials, printed)

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

Logical analysis of hybrid systems = proving theorems for complex dynamics / by: (Language materials, printed)

Translational recurrences = from mathematical theory to real-world applications / by: (Electronic resources)

A primer on scientific programming with Python by: (Electronic resources)

Parallelism in matrix computations by: (Electronic resources)

Boolean functions and their applications in cryptography by: (Electronic resources)

Index-aware model order reduction methods = applications to differential-algebraic equations / by: (Electronic resources)

Random-like bi-level decision making by: (Electronic resources)

Analytical and stochastic modeling techniques and applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / by: (Electronic resources)

Principles and practice of constraint programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016 : proceedings / by: (Electronic resources)

Progress in Industrial Mathematics at ECMI 2014 by: (Electronic resources)

Advances in computer algebra = in honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada / by: (Electronic resources)

Independent random sampling methods by: (Electronic resources)

Combinatorial optimization = theory and algorithms / by: (Electronic resources)

High performance computing in science and engineering = third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22-25, 2017 : revised selected papers / by: (Electronic resources)

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

Resonant scattering and generation of waves = cubically polarizable layers / by: (Electronic resources)

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: (Electronic resources)

Communications and networking = 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018 : proceedings / by: (Electronic resources)

Industrial networks and intelligent systems = 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27-28, 2018 : proceedings / by: (Electronic resources)

Visual saliency = from pixel-level to object-level analysis / by: (Electronic resources)

Transactions on rough sets XXI by: (Electronic resources)

Operations research and enterprise systems = 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24-26, 2018 : revised selected papers / by: (Electronic resources)

Game theory for networks = 8th International EAI Conference, GameNets 2019, Paris, France, April 25-26, 2019 : proceedings / by: (Electronic resources)

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

Deep learning with R by: (Electronic resources)

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

Theory and applications of models of computation = 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017 : proceedings / by: (Electronic resources)

Information processing in medical imaging = 26th International Conference, IPMI 2019, Hong Kong, China, June 2-7, 2019 : proceedings / by: (Electronic resources)

Computer Vision - ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.. Part I / by: (Electronic resources)

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

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

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

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

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part IV / by: (Electronic resources)

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: (Electronic resources)

Computational methods in systems biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Maple in mathematics education and research = third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019 : proceedings / by: (Electronic resources)

Optimization and learning = third International Conference, OLA 2020, Cadiz, Spain, February 17-19, 2020 : proceedings / by: (Electronic resources)

Space information networks = 4th International Conference, SINC 2019, Wuzhen, China, September 19-20, 2019 : revised selected papers / by: (Electronic resources)

Numerical computations = theory and algorithms : third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019 : revised selected papers.. Part I / by: (Electronic resources)

Numerical computations = theory and algorithms : third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019 : revised selected papers.. Part II / by: (Electronic resources)

Simulation science = second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

Research in computational molecular biology = 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10-13, 2020 : proceedings / by: (Electronic resources)

2018 MATRIX annals by: (Electronic resources)

Arto Salomaa = mathematician, computer scientist, and teacher, a thematic biography / by: (Electronic resources)

Game theory = third East Asia International Conference, EAGT 2019, Fuzhou, China, March 7-9, 2019 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

Stochastic models in reliability, network security and system safety = essays dedicated to Professor Jinhua Cao on the occasion of his 80th birthday / by: (Electronic resources)

Simulation and synthesis in medical imaging = 4th International Workshop, SASHIMI 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019 : proceedings / by: (Electronic resources)

Ophthalmic Medical Image Analysis = 6th International Workshop, OMIA 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 17 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Practical MATLAB = with modeling, simulation, and processing projects / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Finite volumes for complex applications IX = methods, theoretical aspects, examples : FVCA 9, Bergen, Norway, June 2020 / by: (Electronic resources)

Topological data analysis = the Abel Symposium 2018 / by: (Electronic resources)

Mathematical optimization theory and operations research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, proceedings / by: (Electronic resources)

Proceedings of the sixth International Conference on Mathematics and Computing = ICMC 2020 / by: (Electronic resources)

Algebra and geometry with Python by: (Electronic resources)

Collaborative computing = networking, applications and worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020 : proceedings.. Part I / by: (Electronic resources)

Communications and networking = 15th EAI International Conference, ChinaCom 2020, Shanghai, China, November 20-21, 2020 : proceedings / by: (Electronic resources)

High performance computing in science and engineering = 4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20-23, 2019 : revised selected papers / by: (Electronic resources)

Algorithms and discrete applied mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11-13, 2021 : proceedings / by: (Electronic resources)

Cognitive radio-oriented wireless networks = 15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020 : proceedings / by: (Electronic resources)

Big data = 8th CCF Conference, BigData 2020, Chongqing, China, October 22-24, 2020 : revised selected papers / by: (Electronic resources)

Applications of flower pollination algorithm and its variants by: (Electronic resources)

Mathematical logic by: (Electronic resources)

Computational sciences - modelling, computing and soft computing = first International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020 : revised selected papers / by: (Electronic resources)

Introduction to inverse problems for differential equations by: (Electronic resources)

Algorithmic decision theory = 6th International Conference, ADT 2019, Durham, NC, USA, October 25-27, 2019 : proceedings / by: (Electronic resources)

Combinatorics on words = 12th International Conference, WORDS 2019, Loughborough, UK, September 9-13, 2019 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019 : proceedings / by: (Electronic resources)

Connecting with computability = 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings / by: (Electronic resources)

Geometric science of information = 5th International Conference, GSI 2021, Paris, France, July 21-23, 2021 : proceedings / by: (Electronic resources)

Mathematical optimization theory and operations research = recent trends : 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5-10, 2021 : revised selected papers / by: (Electronic resources)

Fundamentals of computation theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021 : proceedings / by: (Electronic resources)

Logistics and supply chain management = 7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020 : revised selected papers / by: (Electronic resources)

Artificial intelligence and soft computing = 20th International Conference, ICAISC 2021, virtual event, June 21-23, 2021 : proceedings.. Part II / by: (Electronic resources)

Belief functions: theory and applications = 6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 2021 : proceedings / by: (Electronic resources)

Computing and combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24-26, 2021 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings / by: (Electronic resources)

Artificial intelligence algorithms and applications = 11th International Symposium, ISICA 2019, Guangzhou, China, November 16-17, 2019 : revised selected papers / by: (Electronic resources)

Computer information systems and industrial management = 19th International Conference, CISIM 2020, Bialystok, Poland, October 16-18, 2020 : proceedings / by: (Electronic resources)

Developments in language theory = 24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020 : proceedings / by: (Electronic resources)

Industrial networks and intelligent systems = 6th EAI International Conference, INISCOM 2020, Hanoi, Vietnam, August 27-28, 2020 : proceedings / by: (Electronic resources)

Quantitative evaluation of systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings / by: (Electronic resources)

Stabilization, safety, and security of distributed systems = 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020 : proceedings / by: (Electronic resources)

Understand mathematics, understand computing = discrete mathematics that all computing students should know / by: (Electronic resources)

Robotics and rehabilitation intelligence = first International Conference, ICRRI 2020, Fushun, China, September 9-11, 2020 : proceedings.. Part I / by: (Electronic resources)

Robotics and rehabilitation intelligence = first International Conference, ICRRI 2020, Fushun, China, September 9-11, 2020 : proceedings.. Part II / by: (Electronic resources)

LATIN 2020 = theoretical informatics : 14th Latin American Symposium, Sao Paulo, Brazil, January 5-8, 2021 : proceedings / by: (Electronic resources)

Combinatorial optimization and applications = 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11-13, 2020 : proceedings / by: (Electronic resources)

6GN for future wireless networks = third EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020 : proceedings / by: (Electronic resources)

Evolutionary computation in combinatorial optimization = 20th European Conference, EvoCOP 2020, held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020 : proceedings / by: (Electronic resources)

Introduction to scientific programming with Python by: (Electronic resources)

Chance in physics, computer science and philosophy = chance as the foundation of the world / by: (Electronic resources)

Optimization, learning algorithms and applications = first International Conference, OL2A 2021, Braganca, Portugal, July 19-21, 2021 : revised selected papers / by: (Electronic resources)

Theory and practice of natural computing = 10th International Conference, TPNC 2021, Tsukuba, Japan, December 7-10, 2021 : proceedings / by: (Electronic resources)

Optimization and applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021 : proceedings / by: (Electronic resources)

New trends in information and communications technology applications = 5th International Conference, NTICT 2021, Baghdad, Iraq, November 17-18, 2021 : proceedings / by: (Electronic resources)

Introduction to computation = Haskell, logic and automata / by: (Electronic resources)

Principles of parallel scientific computing = a first guide to numerical concepts and programming methods / by: (Electronic resources)

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: (Electronic resources)

Sparse grids and applications - Munich 2018 by: (Electronic resources)

Advances in mathematical logic = dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions / by: (Electronic resources)

Software foundations for data interoperability = 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 21, 2021 : revised selected papers / by: (Electronic resources)

Informatics and intelligent applications = first International Conference, ICIIA 2021, Ota, Nigeria, November 25-27, 2021 : revised selected papers / by: (Electronic resources)

Information systems and design = second International Conference, ICID 2021, virtual event, September 6-7, 2021 : revised selected papers / by: (Electronic resources)

Distributed artificial intelligence = third International Conference, DAI 2021, Shanghai, China, December 17-18, 2021 : proceedings / by: (Electronic resources)

Web and internet economics = 17th International Conference, WINE 2021, Potsdam, Germany, December 14-17, 2021 : proceedings / by: (Electronic resources)

Algorithms and discrete applied mathematics = 8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Communications and networking = 16th EAI International Conference, ChinaCom 2021, virtual event, November 21-22, 2021 : proceedings / by: (Electronic resources)

Code-based cryptography = 9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

Evolutionary computation in combinatorial optimization = 22nd European Conference, EvoCOP 2022, held as part of EvoStar 2022, Madrid, Spain, April 20-22, 2022 : proceedings / by: (Electronic resources)

OCaml scientific computing = functional programming in data science and artificial intelligence / by: (Electronic resources)

Applications of evolutionary computation = 25th European Conference, EvoApplications 2022, held as part of EvoStar 2022, Madrid, Spain, April 20-22, 2022 : proceedings / by: (Electronic resources)

Advances in knowledge discovery and data mining = 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16-19, 2022 : proceedings.. Part I / by: (Electronic resources)

Research in computational molecular biology = 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22-25, 2022 : proceedings / by: (Electronic resources)

Comparative genomics = 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20-21, 2022 : proceedings / by: (Electronic resources)

Integer programming and combinatorial optimization = 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27-29, 2022 : proceedings / by: (Electronic resources)

Modern cryptography.. Volume 1,. A classical introduction to informational and mathematical principle by: (Electronic resources)

Fuzzy mathematical analysis and advances in computational mathematics by: (Electronic resources)

Algorithmic game theory = 14th international symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021 : proceedings / by: (Electronic resources)

Diagrammatic representation and inference = 12th International Conference, Diagrams 2021 : virtual, September 28-30, 2021 : proceedings / by: (Electronic resources)

Formal concept analysis = 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings / by: (Electronic resources)

Unconventional computation and natural computation = 19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021 : proceedings / by: (Electronic resources)

Variable neighborhood search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21-25, 2021 : proceedings / by: (Electronic resources)

Advances in swarm intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022 : proceedings.. Part I / by: (Electronic resources)

Advances in swarm intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022 : proceedings.. Part II / by: (Electronic resources)

Runtime verification = a hands-on approach in Java / by: (Electronic resources)

Reverse mathematics = problems, reductions, and proofs / by: (Electronic resources)

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: (Electronic resources)

Exploration of novel intelligent optimization algorithms = 12th International Symposium, ISICA 2021, Guangzhou, China, November 20-21, 2021 : revised selected papers / by: (Electronic resources)

Next generation arithmetic = third International Conference, CoNGA 2022, Singapore, March 1-3, 2022 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

Advances in Computer Games = 17th International Conference, ACG 2021, virtual event, November 23-25, 2021 : revised selected papers / by: (Electronic resources)

Lattice rules = numerical integration, approximation, and discrepancy / by: (Electronic resources)

Blockchain foundations and applications by: (Electronic resources)

Computational science and its applications - ICCSA 2022 workshops = Malaga, Spain, July 4-7, 2022 : proceedings.. Part II / by: (Electronic resources)

Computer algebra in scientific computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022 : proceedings / by: (Electronic resources)

Choice computing = machine learning and systemic economics for choosing / by: (Electronic resources)

Computer and communication engineering = 2nd International Conference, CCCE 2022, Rome, Italy, March 11-13, 2022 : revised selected papers / by: (Electronic resources)

Quantitative evaluation of systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022 : proceedings / by: (Electronic resources)

Neural computing for advanced applications = third International Conference, NCAA 2022, Jinan, China, July 8-10, 2022 : proceedings.. Part II / by: (Electronic resources)

Introduction to the tools of scientific computing by: (Electronic resources)

Reachability problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings / by: (Electronic resources)

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

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: (Electronic resources)

Information theory = three theorems by claude shannon / by: (Electronic resources)

Human brain and artificial intelligence = third International Workshop, HBAI 2022, held in conjunction with IJCAI-ECAI 2022,Vienna, Austria, July 23, 2022 : revised selected papers / by: (Electronic resources)

Foundation mathematics for computer science = a visual approach / by: (Electronic resources)

Arithmetic of finite fields = 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022 : revised selected papers / by: (Electronic resources)

Verification, model checking, and abstract interpretation = 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / by: (Electronic resources)

Artificial intelligence and soft computing = 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022 : proceedings.. Part II / by: (Electronic resources)

Algorithms and discrete applied mathematics = 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023 : proceedings / by: (Electronic resources)

Smart card research and advanced applications = 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022 : revised selected papers / by: (Electronic resources)

Green, pervasive, and cloud computing = 17th International Conference, GPC 2022, Chengdu, China, December 2-4, 2022 : proceedings / by: (Electronic resources)

Computational data and social networks = 11th International Conference, CSoNet 2022, virtual event, December 5-7, 2022 : proceedings / by: (Electronic resources)

Bio-inspired computing = theories and applications : 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22-25, 2019 : revised selected papers.. Part II / by: (Electronic resources)

Foundation mathematics for computer science = a visual approach / by: (Electronic resources)

Parallel processing and applied mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019 : revised selected papers.. Part II / by: (Electronic resources)

Parallel processing and applied mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019 : revised selected papers.. Part I / by: (Electronic resources)

Computer performance engineering = 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019 : revised selected papers / by: (Electronic resources)

Formalization of complex analysis and matrix theory by: (Electronic resources)

Artificial intelligence and digitalization for sustainable development = 10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022 : proceedings / by: (Electronic resources)

Database systems for advanced applications = 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023 : proceedings.. Part III / by: (Electronic resources)

Algorithms for constructing computably enumerable sets by: (Electronic resources)

Developments in language theory = 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023 : proceedings / by: (Electronic resources)

Integer programming and combinatorial optimization = 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023 : proceedings / by: (Electronic resources)

Integration of constraint programming, artificial intelligence, and operations research = 20th International Conference, CPAIOR 2023, Nice, France, May 29-June 1, 2023 : proceedings / by: (Electronic resources)

Advances in knowledge discovery and data mining = 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023 : proceedings.. Part I / by: (Electronic resources)

Advances in knowledge discovery and data mining = 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023 : proceedings.. Part III / by: (Electronic resources)

Advances in knowledge discovery and data mining = 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023 : proceedings.. Part II / by: (Electronic resources)

Application and theory of petri nets and concurrency = 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023 : proceedings / by: (Electronic resources)

Variable neighborhood search = 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022 : revised selected papers / by: (Electronic resources)

Advances in knowledge discovery and data mining = 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023 : proceedings.. Part IV / by: (Electronic resources)

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

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

Geometric science of information = 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023 : proceedings.. Part I / by: (Electronic resources)

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

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

Mathematics for computer scientists = a practice-oriented approach / by: (Electronic resources)

Applications of computational intelligence = 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023 : revised selected papers / by: (Electronic resources)

Integer programming and combinatorial optimization = 25th International Conference, IPCO 2024, Wrocław, Poland, July 3-5, 2024 : proceedings / by: (Electronic resources)

Logics and type systems in theory and practice = essays dedicated to Herman Geuvers on the occasion of his 60th birthday / by: (Electronic resources)

Mathematics and computation in music = 9th International Conference, MCM 2024, Coimbra, Portugal, June 18-21, 2024 : proceedings / by: (Electronic resources)

Integration of constraint programming, artificial intelligence, and operations research = 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024 : proceedings.. Part II / by: (Electronic resources)

Integration of constraint programming, artificial intelligence, and operations research = 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024 : proceedings.. Part I / by: (Electronic resources)

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

Relational and algebraic methods in computer science = 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024 : proceedings / by: (Electronic resources)

KI 2024 = advances in artificial intelligence : 47th German Conference on AI, Würzburg, Germany, September 25-27, 2024 : proceedings / by: (Electronic resources)

Mathematical optimization theory and operations research = recent trends : 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30 - July 6, 2024 : revised selected papers / by: (Electronic resources)

Body area networks = smart IoT and big data for intelligent health management : 18th EAI International Conference, BODYNETS 2024-A, Milan, Italy, February 5-6, 2024 : proceedings / by: (Electronic resources)

Julia quick syntax reference = a pocket guide for data science programming / by: (Electronic resources)

SOFSEM 2024 = theory and practice of computer science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024 : proceedings / by: (Electronic resources)

Maths for computing = a beginner's guide / by: (Electronic resources)

Clean energy technology and energy storage systems = 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024 : proceedings.. Part III / by: (Electronic resources)

Smart grid and cyber security technologies = 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024 : proceedings.. Part II / by: (Electronic resources)

Advanced control and intelligent computing applications = 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024 : proceedings.. Part IV / by: (Electronic resources)

Creative mathematical sciences communication = 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024 : proceedings / by: (Electronic resources)

Algorithmic decision theory = 8th International Conference, ADT 2024, New Brunswick, NJ, USA, Ooctober 14-16, 2024 : proceedings / by: (Electronic resources)

Numerical mathematics and advanced applications ENUMATH 2023. = European Conference, September 4-8, Lisbon, Portugal /. Volume 1 by: (Electronic resources)

Data science = foundations and applications : 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.. Part VI / by: (Electronic resources)

Practical MATLAB deep learning = a project-based approach / by: (Electronic resources)

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: (Electronic resources)

Computational diffusion MRI = International MICCAI Workshop, Lima, Peru, October 2020 / by: (Electronic resources)

General-purpose optimization through information maximization by: (Electronic resources)

Neural computing for advanced applications = first International Conference, NCAA 2020, Shenzhen, China, July 3-5, 2020 : proceedings / by: (Electronic resources)

Parallel Problem Solving from Nature - PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020 : proceedings.. Part II / by: (Electronic resources)

Parallel problem solving from nature - PPSN XVI = 16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020 : proceedings.. Part I / by: (Electronic resources)

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: (Electronic resources)

Modeling decisions for artificial intelligence = 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2-4, 2020 : proceedings / by: (Electronic resources)

R-calculus.. IV,. Propositional logic by: (Electronic resources)

Web and big data = APWeb-WAIM 2022 International Workshops : KGMA 2022, semiBDMA 2022, DeepLUDA 2022, Nanjing, China, November 25-27, 2022 : proceedings / by: (Electronic resources)

Applications of computational intelligence = 5th IEEE Colombian Conference, ColCACI 2022, Cali, Colombia, July 27-29, 2022 : revised selected papers / by: (Electronic resources)

Concrete abstractions = formalizing and analyzing discrete theories and algorithms with the RISCAL model checker / by: (Electronic resources)

Bio-inspired computing = theories and applications : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18 2022 : revised selected papers / by: (Electronic resources)

Artificial life and evolutionary computation = 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14-16, 2022 : revised selected papers / by: (Electronic resources)

Distributed computer and communication networks = 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022 : revised selected papers / by: (Electronic resources)

Relational and algebraic methods in computer science = 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings / by: (Electronic resources)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.. Part I / by: (Electronic resources)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.. Part III / by: (Electronic resources)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.. Part IV / by: (Electronic resources)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.. Part V / by: (Electronic resources)

Distributed artificial intelligence = 4th International conference, DAI 2022, Tianjin, China, December 15-17, 2022 : proceedings / by: (Electronic resources)

Evolutionary computation in combinatorial optimization = 23rd European Conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023 : proceedings / by: (Electronic resources)

Applications of evolutionary computation = 26th European Conference, EvoApplications 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023 : proceedings / by: (Electronic resources)

Bayesian scientific computing by: (Electronic resources)

Real-world evidence in medical product development by: (Electronic resources)

Introduction to methods for nonlinear optimization by: (Electronic resources)

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

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

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

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

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

Computer-aided architectural design, INTERCONNECTIONS : co-computing beyond boundaries = 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023 : selected papers / by: (Electronic resources)

Deep learning theory and applications = third International Conference, DeLTA 2022, Lisbon, Portugal, July 12-14, 2022 : revised selected papers / by: (Electronic resources)

Deep learning theory and applications = first International Conference, DeLTA 2020, virtual event, July 8-10, 2020, and second International Conference, DeLTA 2021, virtual event, July 7-9, 2021 : revised selected papers / by: (Electronic resources)

Advances in swarm intelligence = 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.. Part I / by: (Electronic resources)

Advances in swarm intelligence = 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.. Part II / by: (Electronic resources)

Comparative genomics = 20th International Conference, RECOMB-CG 2023, Istanbul, Turkey, April 14-15, 2023 : proceedings / by: (Electronic resources)

Geometric science of information = 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023 : proceedings.. Part II / by: (Electronic resources)

Geometric patterns with creative coding = coding for the arts / by: (Electronic resources)

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

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

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

Computational methods for deep learning = theory, algorithms, and implementations / by: (Electronic resources)

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

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

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

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

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

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

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

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

Scalable algorithms for contact problems by: (Electronic resources)

Cosmic rays = multimessenger astrophysics and revolutionary astronomy / by: (Electronic resources)

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

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

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

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

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: (Electronic resources)

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

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

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

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

Methods and applications for modeling and simulation of complex systems = 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023 : proceedings.. Part I / by: (Electronic resources)

Methods and applications for modeling and simulation of complex systems = 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023 : proceedings.. Part II / by: (Electronic resources)

Data science and machine learning = 21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11-13, 2023 : proceedings / by: (Electronic resources)

Advances in optimization and applications = 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023 : revised selected papers / by: (Electronic resources)

Operations research and enterprise systems = 11th International Conference, ICORES 2022, virtual event, February 3-5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023 : revised selected papers / by: (Electronic resources)

Combinatorial optimization and applications = 17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.. Part I / by: (Electronic resources)

Combinatorial optimization and applications = 17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.. Part II / by: (Electronic resources)

Verification, model checking, and abstract interpretation = 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.. Part II / by: (Electronic resources)

Verification, model checking, and abstract interpretation = 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.. Part I / by: (Electronic resources)

R-calculus.. V,. Description logics by: (Electronic resources)

Mathematical modeling and supercomputer technologies = 23rd International Conference, MMS 2023, Nizhny Novgorod, Russia, November 13-16, 2023 : revised selected papers / by: (Electronic resources)

High-performance computing systems and technologies in scientific research, automation of control and production = 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023 : revised selected papers / by: (Electronic resources)

Explainable artificial intelligence and process mining applications for healthcare = third International Workshop, XAI-Healthcare 2023, and first International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023 : proceedings / by: (Electronic resources)

Algorithms and discrete applied mathematics = 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024 : proceedings / by: (Electronic resources)

Green, pervasive, and cloud computing = 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023 : proceedings.. Part I / by: (Electronic resources)

Green, pervasive, and cloud computing = 18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023 : proceedings.. Part II / by: (Electronic resources)

Smart card research and advanced applications = 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023 : revised selected papers / by: (Electronic resources)

Advances in Computer Games = 18th International Conference, ACG 2023, virtual event, November 28-30, 2023 : revised selected papers / by: (Electronic resources)

Graphs and combinatorial optimization = from Theory to Applications : CTW 2023, Garmisch-Partenkirchen, Germany, June 20-22 / by: (Electronic resources)

Foundations of vector retrieval by: (Electronic resources)

Foundations of software science and computation structures = 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.. Part I / by: (Electronic resources)

Artificial life and evolutionary computation = 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023 : revised selected papers / by: (Electronic resources)

Infrared small target detection = theory, methods, and algorithms / by: (Electronic resources)

Bio-inspired computing = theories and applications : 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023 : revised selected papers.. Part I / by: (Electronic resources)

Bio-inspired computing = theories and applications : 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023 : revised selected papers.. Part II / by: (Electronic resources)

Applications of evolutionary computation = 27th European Conference, EvoApplications 2024, held as part of Evostar 2024, Aberystwyth, UK, April 3-5, 2024 : proceedings.. Part I / by: (Electronic resources)

Distributed computer and communication networks = control, computation, communications : 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023 : revised selected papers / by: (Electronic resources)

Applications of evolutionary computation = 27th European Conference, EvoApplications 2024, held as part of Evostar 2024, Aberystwyth, UK, April 3-5, 2024 : proceedings.. Part II / by: (Electronic resources)

Progress in cryptology - INDOCRYPT 2023 = 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023 : proceedings.. Part I / by: (Electronic resources)

Progress in cryptology - INDOCRYPT 2023 = 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023 : proceedings.. Part II / by: (Electronic resources)

Foundations of software science and computation structures = 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.. Part II / by: (Electronic resources)

Discrete geometry and mathematical morphology = third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024 : proceedings / by: (Electronic resources)

Evolutionary computation in combinatorial optimization = 24th European Conference, EvoCOP 2024, held as part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024 : proceedings / by: (Electronic resources)

Advances in knowledge discovery and data mining = 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024 : proceedings.. Part I / by: (Electronic resources)

Advances in knowledge discovery and data mining = 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024 : proceedings.. Part II / by: (Electronic resources)

Advances in knowledge discovery and data mining = 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024 : proceedings.. Part III / by: (Electronic resources)

Advances in knowledge discovery and data mining = 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024 : proceedings.. Part V / by: (Electronic resources)

Advances in knowledge discovery and data mining = 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024 : proceedings.. Part VI / by: (Electronic resources)

Advances in knowledge discovery and data mining = 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024 : proceedings.. Part IV / by: (Electronic resources)

Comparative genomics = 21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024 : proceedings / by: (Electronic resources)

Distributed computer and communication networks = 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023 : revised selected papers / by: (Electronic resources)

New trends in information and communications technology applications = 7th National Conference, NTICT 2023, Baghdad, Iraq, December 20-21, 2023 : proceedings / by: (Electronic resources)

Next generation data science = second Southwest Data Science Conference, SDSC 2023, Waco, TX, USA, March 24-25, 2023 : revised selected papers / by: (Electronic resources)

Intelligence computation and applications = 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023 : revised selected papers.. Part I / by: (Electronic resources)

Intelligence computation and applications = 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023 : revised selected papers.. Part II / by: (Electronic resources)

Application and theory of petri nets and concurrency = 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024 : proceedings / by: (Electronic resources)

Computational science - ICCS 2024 = 24th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.. Part II / by: (Electronic resources)

Computational science - ICCS 2024 = 24th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.. Part IV / by: (Electronic resources)

Computational science - ICCS 2024 = 24th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.. Part V / by: (Electronic resources)

Computational science - ICCS 2024 = 24th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.. Part I / by: (Electronic resources)

Computational science - ICCS 2024 = 24th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.. Part III / by: (Electronic resources)

Computational science - ICCS 2024 = 24th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.. Part VII / by: (Electronic resources)

Computational science - ICCS 2024 = 24th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.. Part VI / by: (Electronic resources)

Coalgebraic methods in computer science = 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings / by: (Electronic resources)

Developments in language theory = 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024 : proceedings / by: (Electronic resources)

Methods and applications for modeling and simulation of complex systems = 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing = 26th international workshop, CASC 2024, Rennes, France, September 2-6, 2024 : proceedings / by: (Electronic resources)

Advances in swarm intelligence = 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024 : proceedings.. Part I / by: (Electronic resources)

Advances in swarm intelligence = 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024 : proceedings.. Part II / by: (Electronic resources)

Recent advances in next-generation data science = third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024 : revised selected papers / by: (Electronic resources)

Quantitative evaluation of systems and formal modeling and analysis of timed systems = first International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings / by: (Electronic resources)

Advancement in computational methods for life systems modelling and simulation = 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024 : proceedings.. Part I / by: (Electronic resources)

Robotics and autonomous systems and engineering applications of computational intelligence = 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024 : proceedings.. Part V / by: (Electronic resources)

Computer and communication engineering = 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024 : revised selected papers / by: (Electronic resources)

World conference of AI-powered innovation and inventive design = 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024 : proceedings.. Part I / by: (Electronic resources)

World conference of AI-powered innovation and inventive design = 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024 : proceedings.. Part II / by: (Electronic resources)

R-calculus, VI = finite injury priority method / by: (Electronic resources)

Applied computational mathematics = ICCE 2023, Chennai, India, December 8-9 / by: (Electronic resources)

New trends in information and communications technology applications = 8th national conference, NTICT 2024, Baghdad, Iraq, December 18-19, 2024 : proceedings / by: (Electronic resources)

Distributed computer and communication networks = 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024 : revised selected papers / by: (Electronic resources)

Modelling and development of intelligent systems = 9th International Conference, MDIS 2024, Sibiu, Romania, October 17-19, 2024 : revised selected papers / by: (Electronic resources)

Computational diffusion MRI = 15th International Workshop, CDMRI 2024, held in conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024 : proceedings / by: (Electronic resources)

Applications of evolutionary computation = 28th European Conference, EvoApplications 2025, held as part of EvoStar 2025, Trieste, Italy, April 23-25, 2025 : proceedings.. Part I / by: (Electronic resources)

Applications of evolutionary computation = 28th European Conference, EvoApplications 2025, held as part of EvoStar 2025, Trieste, Italy, April 23-25, 2025 : proceedings.. Part II / by: (Electronic resources)

Foundations of software science and computation structures = 28th International Conference, FoSSaCS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings / by: (Electronic resources)

Combinatorial optimization and applications = 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024 : proceedings.. Part II / by: (Electronic resources)

Combinatorial optimization and applications = 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024 : proceedings.. Part I / by: (Electronic resources)

Scale space and variational methods in computer vision = 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025 : proceedings.. Part I / by: (Electronic resources)

Code-based cryptography = 12th International Workshop, CBCrypto 2024, Zurich, Switzerland, May 25-26, 2024 : revised selected papers / by: (Electronic resources)

Scale space and variational methods in computer vision = 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025 : proceedings.. Part II / by: (Electronic resources)

Numerical mathematics and advanced applications ENUMATH 2023. = European Conference, September 4-8, Lisbon, Portugal /. Volume 2 by: (Electronic resources)

Operations research and enterprise systems = 13th International Conference, ICORES 2024, Rome, Italy, February 24-26, 2024 : revised selected papers / by: (Electronic resources)

Application and theory of petri nets and concurrency = 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025 : proceedings / by: (Electronic resources)

Integer programming and combinatorial optimization = 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025 : proceedings / by: (Electronic resources)

Advances in knowledge discovery and data mining = 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.. Part I / by: (Electronic resources)

Data science = foundations and applications : 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.. Part VII / by: (Electronic resources)

Advances in knowledge discovery and data mining = 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.. Part V / by: (Electronic resources)

Advances in knowledge discovery and data mining = 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.. Part II / by: (Electronic resources)

Crossroads of computability and logic = insights, inspirations, and innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025 : proceedings / by: (Electronic resources)

Advances in knowledge discovery and data mining = 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.. Part III / by: (Electronic resources)

Advances in knowledge discovery and data mining = 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.. Part IV / by: (Electronic resources)

SOFSEM 2025 = theory and practice of computer science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025 : proceedings.. Part II / by: (Electronic resources)

Foundation mathematics for computer science = a visual approach / by: (Electronic resources)

Simulation for a sustainable future = 11th congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3-5, 2023 : proceedings.. Part I / by: (Electronic resources)

Reachability problems = 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings / by: (Electronic resources)

Scalable uncertainty management = 16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024 : proceedings / by: (Electronic resources)

Progress in Cryptology - INDOCRYPT 2024 = 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024 : proceedings.. Part I / by: (Electronic resources)

Progress in Cryptology - INDOCRYPT 2024 = 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024 : proceedings.. Part II / by: (Electronic resources)

Numerical computations = theory and algorithms : 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 : revised selected papers.. Part I / by: (Electronic resources)

Numerical computations = theory and algorithms : 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 : revised selected papers.. Part II / by: (Electronic resources)

Numerical computations = theory and algorithms : 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 : revised selected papers.. Part III / by: (Electronic resources)

Mathematical modeling and supercomputer technologies = 24th International Conference, MMST 2024, Nizhni Novgorod, Russia, November 18-21, 2024 : revised selected papers / by: (Electronic resources)

Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part II / by: (Electronic resources)

Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part I / by: (Electronic resources)

Optimization and applications = 15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024 : revised selected papers / by: (Electronic resources)

Algorithms and discrete applied mathematics = 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025 : proceedings / by: (Electronic resources)

SOFSEM 2025 = theory and practice of computer science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025 : proceedings.. Part I / by: (Electronic resources)

Distributed computer and communication networks = 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024 : revised selected papers / by: (Electronic resources)

Arithmetic of finite fields = 10th International Workshop, WAIFI 2024, Ottawa, ON, Canada, June 10-12, 2024 : revised selected papers / by: (Electronic resources)

Evolutionary computation in combinatorial optimization = 25th European Conference, EvoCOP 2025, held as part of EvoStar 2025, Trieste, Italy, April 23-25, 2025 : proceedings / by: (Electronic resources)

Integrated uncertainty in knowledge modelling and decision making = 11th International Symposium, IUKM 2025, Ho Chi Minh City, Vietnam, March 17-19, 2025 : proceedings.. Part I / by: (Electronic resources)

Integration of constraint programming, artificial intelligence, and operations research = 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025 : proceedings.. Part I / by: (Electronic resources)

Integration of constraint programming, artificial intelligence, and operations research = 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025 : proceedings.. Part II / by: (Electronic resources)

Computational science - ICCS 2025 = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part I / by: (Electronic resources)

Computational science - ICCS 2025 Workshops = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part IV / by: (Electronic resources)

Computational science - ICCS 2025 Workshops = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part VI / by: (Electronic resources)

Scientific computing and software = Go20 CSCS, Marsalforn, Malta, May 22-26, 2023 / by: (Electronic resources)

Computational science - ICCS 2025 Workshops = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part V / by: (Electronic resources)

Computational science - ICCS 2025 = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part II / by: (Electronic resources)

Computational science - ICCS 2025 = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part III / by: (Electronic resources)

Computational science - ICCS 2025 = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part IV / by: (Electronic resources)

Computational science - ICCS 2025 Workshops = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part I / by: (Electronic resources)

Computational science - ICCS 2025 Workshops = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part II / by: (Electronic resources)

Computational science - ICCS 2025 Workshops = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part III / by: (Electronic resources)

Extreme-scale computing = a practical introduction with C++ / by: (Electronic resources)

Symbolic mathematics with Python by: (Electronic resources)

Federated learning = a primer for mathematicians / by: (Electronic resources)

Essentials for deeper understanding of quantum computing by: (Electronic resources)

Computational bodily fluid dynamics = models, algorithms and applications / by: (Electronic resources)

Integrated uncertainty in knowledge modelling and decision making = 11th International Symposium, IUKM 2025, Ho Chi Minh City, Vietnam, March 17-19, 2025 : proceedings.. Part II / by: (Electronic resources)

Applications of computational intelligence in management and mathematics. = 9th ICCM 2023, NERIST, Arunachal Pradesh, India, August 04-05 /. II by: (Electronic resources)

Applications of computational intelligence in management and mathematics. = 9th ICCM 2023, NERIST, Arunachal Pradesh, India, August 04-05 /. I by: (Electronic resources)