Mathematics of Computing.

Grammatical Picture GenerationA Tree-Based Approach / by: (Electronic resources)

Applied Parallel ComputingState of the Art in Scientific Computing / by: (Electronic resources)

Theory and Applications of Models of ComputationThird International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings / by: (Electronic resources)

Parallel Processing and Applied Mathematics6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers / by: (Electronic resources)

Computer Science -- Theory and ApplicationsFirst International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings / by: (Electronic resources)

Algebra, Meaning, and ComputationEssays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / by: (Electronic resources)

Logical Approaches to Computational BarriersSecond Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings / by: (Electronic resources)

High Performance Computing and Communications (vol. # 4208)Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings / by: (Electronic resources)

High Performance Computing - HiPC 200613th International Conference Bangalore, India, December 18-21, 2006, Proceedings / by: (Electronic resources)

Logic and Theory of Algorithms4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (Electronic resources)

Logic, Language, Information and Computation15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (Electronic resources)

Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations by: (Electronic resources)

Shared Memory Parallel Programming with Open MP5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 / by: (Electronic resources)

High Performance Computing for Computational Science - VECPAR 20046th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / by: (Electronic resources)

New Computational ParadigmsFirst Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / by: (Electronic resources)

High Performance Computing and Communications :First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings by: (Electronic resources)

A Practical Programming Model for the Multi-Core Era3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings / by: (Electronic resources)

Matrix-Based MultigridTheory and Applications / by: (Electronic resources)

Mathematical Tools for Data MiningSet Theory, Partial Orders, Combinatorics / by: (Electronic resources)

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

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

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

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

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

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

Information theory and statistical learning by: (Electronic resources)

Logic and its applicationsthird Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (Electronic resources)

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

Computability of Julia sets by: (Electronic resources)

Post-quantum cryptography by: (Electronic resources)

Quantum interactionthird international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings / by: (Electronic resources)

Language and automata theory and applicationsthird international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (Electronic resources)

Visualization and processing of tensor fieldsadvances and perspectives / by: (Electronic resources)

Markov random field modeling in image analysis by: (Electronic resources)

Theory and applications of models of computation6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / by: (Electronic resources)

Geometric algebraan algebraic system for computer games and animation/ by: (Electronic resources)

Algorithmic aspects in information and management5th international conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009 : proceedings / by: (Electronic resources)

Logic, language, information and computation16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings / by: (Electronic resources)

Typed lambda calculi and applications9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/ by: (Electronic resources)

Developments in language theory13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings / by: (Electronic resources)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings / by: (Electronic resources)

Logic programming25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings / by: (Electronic resources)

Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part I / by: (Electronic resources)

Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part II / by: (Electronic resources)

Mathematical theory and computational practice5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings / by: (Electronic resources)

Computational logic in multi-agent systemsb9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers / by: (Electronic resources)

Computer science - theory and applications4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009 : Proceedings / by: (Electronic resources)

Theorem proving in higher order logics22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings / by: (Electronic resources)

Algebraic informaticsthird international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (Electronic resources)

Mathematical foundations of computer science 200934th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings / by: (Electronic resources)

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

Handbook of weighted automata by: (Electronic resources)

Fundamentals of computation theory17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings / by: (Electronic resources)

Recent trends in algebraic development techniques19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (Electronic resources)

Unconventional computation8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings / by: (Electronic resources)

Reasoning websemantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures / by: (Electronic resources)

Computer science logic23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: (Electronic resources)

CONCUR 2009 - concurrency theory20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / by: (Electronic resources)

Algorithms - ESA 200917th annual European symposium, Copenhagen, Denmark, September 7-9 : proceedings / by: (Electronic resources)

Reachability problems3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / by: (Electronic resources)

Infinity in Logic and ComputationInternational Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers / by: (Electronic resources)

Cryptology and Network Security8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009 : proceedings / by: (Electronic resources)

Rigorous methods for software construction and analysisessays dedicated to Egon Borger on the occasion of his 60th birthday / by: (Electronic resources)

Mathematical foundations of scientific visualization, computer graphics, and massive data explorationm by: (Electronic resources)

Algorithmic algebraic combinatorics and Grobner bases by: (Electronic resources)

Abstract state machines, Alloy, B and Zsecond international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / by: (Electronic resources)

High performance networking, computing, communication systems, and mathematical foundationsinternational conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings / by: (Electronic resources)

Computer science - theory and applications5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings / by: (Electronic resources)

Theory and applications of models of computation7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings / by: (Electronic resources)

A 25-Year perspective on logic programmingachievements of the Italian Association for Logic Programming, GULP / by: (Electronic resources)

Algorithmic aspects in information and management6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010 : proceedings / by: (Electronic resources)

Handbook of large-scale random networks by: (Electronic resources)

Service oriented infrastructures and cloud service platforms for the enterprisea selection of common capabilities validated in real-life business trials by the BEinGRID consortium / by: (Electronic resources)

Parallel processing and applied mathematics8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.part I / by: (Electronic resources)

Parallel processing and applied mathematics8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.part II / by: (Electronic resources)

Deontic logic in computer science10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 201013th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / by: (Electronic resources)

Automated reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / by: (Electronic resources)

Foundations of information and knowledge systems6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings / by: (Electronic resources)

Mathematicaa problem-centered approach / by: (Electronic resources)

Grid generation methods by: (Electronic resources)

Logic and the foundations of game and decision theory - LOFT 88th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / by: (Electronic resources)

Frontiers in algorithmics4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings / by: (Electronic resources)

The mathematics of language10th 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: (Electronic resources)

The P=NP question and Godel's lost letter by: (Electronic resources)

Triangulationsstructures for algorithms and applications / by: (Electronic resources)

Logical analysis of hybrid systemsproving theorems for complex dynamics / by: (Electronic resources)

Database theory and application, bio-science and bio-TechnologyInternational 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: (Electronic resources)

Transactions on computational science XIspecial issue on security in computing, part II / by: (Electronic resources)

Fete of combinatorics and computer science by: (Electronic resources)

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

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

Approximation and computationin honor of Gradimir V. Milovanovic / by: (Electronic resources)

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

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

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

High performance computing for computational scienceVECPAR 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)

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

Frontiers in algorithmics and algorithmic aspects in information and managementjoint international conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011 : proceedings / by: (Electronic resources)

Computer sciencetheory and applications : 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011 : proceedings / by: (Electronic resources)

Typed lambda calculi and applications10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / by: (Electronic resources)

Algebraic informatics4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings / by: (Electronic resources)

Quaternions for computer graphics by: (Electronic resources)

Fractional calculus for scientists and engineers by: (Electronic resources)

Patterns in permutations and words by: (Electronic resources)

Perspectives on Soviet and Russian computingfirst IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006 : revised selected papers / by: (Electronic resources)

Fundamentals of computation theory18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings / by: (Electronic resources)

Spectral methodsalgorithms, analysis and applications / by: (Electronic resources)

The mathematics of language12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (Electronic resources)

Apartness and uniformitya constructive development / by: (Electronic resources)

Quantum interaction5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 : revised selected papers / by: (Electronic resources)

Theoretical and mathematical foundations of computer sciencesecond international conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers / by: (Electronic resources)

Programming for engineersa foundational approach to learning C and Matlab / by: (Electronic resources)

The block cipher companion 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 optimizationtheory and algorithms / by: (Electronic resources)

Boolean function complexityadvances and frontiers / by: (Electronic resources)

Computation, physics and beyondInternational 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 computing10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part II / by: (Electronic resources)

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

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

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

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

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

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

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

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

Abstract state machines, Alloy, B, VDM, and Zthird International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (Electronic resources)

Biomedical image registration5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012 : proceedings / by: (Electronic resources)

Automated reasoning6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / by: (Electronic resources)

Mathematics of approximation by: (Electronic resources)

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

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

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

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

Theoretical computer science7th 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)

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

Advances in automatic differentiation by: (Electronic resources)

Graphs, networks, and algorithms 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)

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

Cryptography in constant parallel time by: (Electronic resources)

Algorithms for sensor systems9th 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 systems8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings / by: (Electronic resources)

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

Regulated grammars and automata by: (Electronic resources)

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

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

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

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

Biomedical image registration6th 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)

Automated reasoning7th 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 Calculijoint 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 201417th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (Electronic resources)

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

Translational recurrencesfrom mathematical theory to real-world applications / by: (Electronic resources)

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

Swarm Intelligence9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014 : proceedings / by: (Language materials, printed)

Morphological modeling of terrains and volume data by: (Language materials, printed)

Algorithmic differentiation of pragma-defined parallel regionsdifferentiating computer programs containing OpenMP / by: (Language materials, printed)

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

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

Computational musicology in Hindustani music by: (Electronic resources)

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

Advances in cryptology - ASIACRYPT 201420th 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 XVIselected papers from ACOMP 2013 / by: (Electronic resources)

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

Algorithms for sensor systems10th 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)

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

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

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

Evolving computability11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings / by: (Electronic resources)

Foundation mathematics for computer sciencea visual approach / by: (Electronic resources)

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

Introduction to concurrency theorytransition systems and CCS / by: (Electronic resources)

Words and graphs by: (Electronic resources)

The foundations of computability theory by: (Electronic resources)

Petri net synthesis by: (Electronic resources)

Introduction to cryptographyprinciples and applications / by: (Electronic resources)

Higher-order computability by: (Electronic resources)

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

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

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

Engineering computation of structuresthe finite element method / by: (Electronic resources)

Spectral and high order methods for partial differential equations - ICOSAHOM 2014selected 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 sciencetheoretical and practical methods / by: (Electronic resources)

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

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

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

Algorithms for sensor systems11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015 : revised selected papers / by: (Electronic resources)

Parallelism in matrix computations by: (Electronic resources)

Cryptography made simple by: (Electronic resources)

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

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

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

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

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

Applications of evolutionary computation19th 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 chemistry10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015 : revised selected papers / by: (Electronic resources)

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

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

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

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

Computer gamesfourth 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)

Turing computabilitytheory and applications / by: (Electronic resources)

Relaxed abductionrobust information interpretation for industrial applications / by: (Electronic resources)

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

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

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

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

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

Finitely supported mathematicsan introduction / by: (Electronic resources)

Advances in neural networks - ISNN 201613th 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)

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

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

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

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

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

Music through Fourier spacediscrete Fourier transform in music theory / by: (Electronic resources)

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

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

Advances in cryptology - ASIACRYPT 201622nd 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 201622nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016 : proceedings.Part II / by: (Electronic resources)

Algorithms for data science by: (Electronic resources)

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

Scalable algorithms for contact problems by: (Electronic resources)

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

Algorithms for sensor systems12th 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 systems5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016 : revised selected papers / by: (Electronic resources)

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

Privately and publicly verifiable computing techniquesa survey / by: (Electronic resources)

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

Computer games5th 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 computingthird International Conference, ICMC 2017, Haldia, India, January 17-21, 2017 : proceedings / by: (Electronic resources)

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

The incomputablejourneys beyond the Turing barrier / by: (Electronic resources)

Symbolic and quantitative approaches to reasoning with uncertainty14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017 : proceedings / by: (Electronic resources)

Deterministic global optimizationan introduction to the diagonal approach / by: (Electronic resources)

Grid generation methods by: (Electronic resources)

High performance computing for computational science - VECPAR 201612th 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 handbookprogramming using the MathCW portable software library / by: (Electronic resources)

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

Constraint theorymultidimensional mathematical model management / by: (Electronic resources)

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

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

The musical-mathematical mindpatterns and transformations / by: (Electronic resources)

Modern language models and computationtheory with applications / by: (Electronic resources)

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

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

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

A journey through discrete mathematicsa tribute to Jiri Matousek / by: (Electronic resources)

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

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

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

Advances in cryptology - ASIACRYPT 201723rd 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 201723rd 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 201723rd 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 vehiclestechnologies and services for smart cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017 : proceedings / by: (Electronic resources)

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

Neighborhood semantics for modal logic by: (Electronic resources)

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

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

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

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

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

Computer games6th 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 Intelligence29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8-9, 2017 : revised selected papers / by: (Electronic resources)

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

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

Artificial life and evolutionary computation12th 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 2018theoretical informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018 : proceedings / by: (Electronic resources)

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

Independent random sampling methods by: (Electronic resources)

Combinatorial optimizationtheory and algorithms / by: (Electronic resources)

Combinatorial optimizationtheory and algorithms / by: (Language materials, printed)

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

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

Handbook of model checking by: (Electronic resources)

Operations Research and Enterprise Systems6th International Conference, ICORES 2017, Porto, Portugal, February 23-25, 2017 : revised selected papers / by: (Electronic resources)

Proofs from THE BOOK by: (Electronic resources)

Sparse grids and applicationsMiami 2016 / by: (Electronic resources)

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

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

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

Simulation sciencefirst International Workshop, SimScience 2017, Gottingen, Germany, April 27-28, 2017 : revised selected papers / by: (Electronic resources)

Multi-objective optimizationevolutionary to hybrid framework / by: (Electronic resources)

Distributed computer and communication networks21st International Conference, DCCN 2018, Moscow, Russia, September 17-21, 2018 : proceedings / by: (Electronic resources)

Principles and practice of constraint programming24th International Conference, CP 2018, Lille, France, August 27-31, 2018 : proceedings / by: (Electronic resources)

Developments in language theory22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / by: (Electronic resources)

Computational intelligence, cyber security and computational modelsmodels and techniques for intelligent systems and automation : third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017 : proceedings / by: (Electronic resources)

Studies on speech production11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017 : revised selected papers / by: (Electronic resources)

Graphs in biomedical image analysis and integrating medical imaging and non-imaging modalitiessecond International Workshop, GRAIL 2018 and first International Workshop, Beyond MIC 2018, held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018 : proceedings / by: (Electronic resources)

Transactions on computational science XXXIII by: (Electronic resources)

Advanced concepts for intelligent vision systems19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018 : proceedings / by: (Electronic resources)

Scientific computinga historical perspective / by: (Electronic resources)

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

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

The GLOBAL optimization algorithmnewly updated with Java implementation and parallelization / by: (Electronic resources)

Resonant scattering and generation of wavescubically polarizable layers / by: (Electronic resources)

Smart cities, green technologies, and intelligent transport systems6th International Conference, SMARTGREENS 2017, and third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017 : revised selected papers / by: (Electronic resources)

Transactions on rough sets XXI by: (Electronic resources)

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

Game theory for networks8th 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)

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

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

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

Visual saliencyfrom pixel-level to object-level analysis / by: (Electronic resources)

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

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

Deep learning with R by: (Electronic resources)

Advances in neural networks - ISNN 201714th 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 201714th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017 : proceedings.Part I / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

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

Advances and trends in artificial intelligencefrom 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)

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

Parallel computing technologies15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019 : proceedings / by: (Electronic resources)

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

Unifying theories of programming7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings / by: (Electronic resources)

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

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

Information technologies and mathematical modellingqueueing 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 safetyessays dedicated to Professor Jinhua Cao on the occasion of his 80th birthday / by: (Electronic resources)

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

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

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

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

Numerical geometry, grid generation and scientific computingproceedings 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 MATLABwith modeling, simulation, and processing projects / by: (Electronic resources)

Algorithms and discrete applied mathematics4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018 : proceedings / by: (Electronic resources)

Measurement, modelling and evaluation of computing systems19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018 : proceedings / by: (Electronic resources)

Intelligent data processing11th International Conference, IDP 2016, Barcelona, Spain, October 10-14, 2016 : revised selected papers / by: (Electronic resources)

Analysis of experimental algorithmsSpecial Event, SEA2 2019, Kalamata, Greece, June 24-29, 2019 : revised selected papers / by: (Electronic resources)

Stabilization, safety, and security of distributed systems21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019 : proceedings / by: (Electronic resources)

Advances in cryptology - ASIACRYPT 201925th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8-12, 2019 : proceedings.Part III / by: (Electronic resources)

Graph drawing and network visualization27th International Symposium, GD 2019, Prague, Czech Republic, September 17-20, 2019 : proceedings / by: (Electronic resources)

Graphical models for security6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019 : revised papers / by: (Electronic resources)

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

Learn Java with mathusing fun projects and games / by: (Electronic resources)

Reflections on the foundations of mathematicsunivalent foundations, set theory and general thoughts / by: (Electronic resources)

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

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

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

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

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

Tools and algorithms for the construction and analysis of systems26th 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)

Tools and algorithms for the construction and analysis of systems26th 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 biology24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10-13, 2020 : proceedings / by: (Electronic resources)

2018 MATRIX annals by: (Electronic resources)

Bio-inspired computingtheories 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 sciencea visual approach / by: (Electronic resources)

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

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

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

Information and communication technologies in education, research, and industrial applications15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12-15, 2019 : revised selected papers / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

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

Practical MATLAB deep learninga project-based approach / by: (Electronic resources)

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

Applied nature-inspired computingalgorithms and case studies / by: (Electronic resources)

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

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

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

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

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

Information processing and management of uncertainty in knowledge-based systems18th 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 systems18th 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 systems18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020 : proceedings.Part III / by: (Electronic resources)

Geoinformatics in sustainable ecosystem and society7th International Conference, GSES 2019, and first International Conference, GeoAI 2019, Guangzhou, China, November 21-25, 2019 : revised selected papers / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

Topological data analysisthe Abel Symposium 2018 / by: (Electronic resources)

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

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

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

Foundations of finitely supported structuresa set theoretical viewpoint / by: (Electronic resources)

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

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

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

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

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

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

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

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

Trends in artificial intelligence theory and applicationsartificial 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 intelligence17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2-4, 2020 : proceedings / by: (Electronic resources)

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

Database and expert systems applicationsDEXA 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 sciencethird 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 programming26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020 : proceedings / by: (Electronic resources)

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

Simulation and synthesis in medical imaging5th 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 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part III / by: (Electronic resources)

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

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

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

Topics in Galois fields by: (Electronic resources)

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

Quality, reliability, security and robustness in heterogeneous systems14th EAI International Conference, Qshine 2018, Ho Chi Minh City, Vietnam, December 3-4, 2018 : proceedings / by: (Electronic resources)

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

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

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

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

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

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

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

Research in computational molecular biology23rd 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)

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

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

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

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

Computer algebra in scientific computing22nd 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 networking7th EAI International Conference, GreeNets 2020, Harbin, China, June 27-28, 2020 : proceedings / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

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

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

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

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

Distributed computer and communication networkscontrol, 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 methodsLSMS 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 astronomyfirst 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 production10th International Conference, HPCST 2020, Barnaul, Russia, May 15-16, 2020 : revised selected papers / by: (Electronic resources)

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

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

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

Computer aided systems theory - EUROCAST 201917th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019 : revised selected papers.Part I / by: (Electronic resources)

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

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

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

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

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

Computational methods for deep learningtheoretic, practice and applications / by: (Electronic resources)

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

Algebra and geometry with Python by: (Electronic resources)

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

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

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

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

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

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

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

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

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

Cerebral aneurysm detection and analysisfirst 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 vision8th International Conference, SSVM 2021, virtual event, May 16-20, 2021 : proceedings / by: (Electronic resources)

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

Production research10th 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 research10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahia Blanca, Argentina, December 9-11, 2020 : revised selected papers.Part II / by: (Electronic resources)

Theoremusa student's guide to mathematical proofs / by: (Electronic resources)

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

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

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

Mathematical logic by: (Electronic resources)

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

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

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

Evolutionary multi-criterion optimization11th 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 optimization21st 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 applicationsproceedings of AMMAI 2020 / by: (Electronic resources)

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

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

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

Concise guide to quantum computingalgorithms, exercises, and implementations / by: (Electronic resources)

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

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

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

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

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

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

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

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

Formal techniques for distributed objects, components, and systems41st 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 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part I / by: (Electronic resources)

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

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

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

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

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

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

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

Computational sciences - modelling, computing and soft computingfirst 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)

Machine Learning by: (Electronic resources)

Spatial data and intelligencesecond 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)

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

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

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

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

Numerical geometry, grid generation and scientific computingproceedings 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 MRIInternational MICCAI Workshop, Lima, Peru, October 2020 / by: (Electronic resources)

Practical optimizationalgorithms and engineering applications / by: (Electronic resources)

Recent advances in sustainable energy and intelligent systems7th 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 programslogical modeling and reasoning about languages, data, computations, and executions / by: (Electronic resources)

Intelligent equipment, robots, and vehicles7th 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Performance engineering and stochastic modeling17th 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 systems10th razilian conference, BRACIS 2021, virtual event, November 29-December 3, 2021 : proceedings.Part I / by: (Electronic resources)

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

Generalized mathieu series by: (Electronic resources)

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

Introduction to computationHaskell, logic and automata / by: (Electronic resources)

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

Machine learning and principles and practice of knowledge discovery in databasesinternational 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 logicdedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Mathematics and computation in music8th International Conference, MCM 2022, Atlanta, GA, USA, June 21-24, 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)

Body area networkssmart 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 networks24th 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)

Computer-aided architectural designdesign 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 networking16th EAI International Conference, ChinaCom 2021, virtual event, November 21-22, 2021 : proceedings / by: (Electronic resources)

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

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

Foundations of software science and computation structures25th 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 optimization22nd European Conference, EvoCOP 2022, held as part of EvoStar 2022, Madrid, Spain, April 20-22, 2022 : proceedings / by: (Electronic resources)

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

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

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

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

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

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

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

Runtime verificationa hands-on approach in Java / by: (Electronic resources)

Reverse mathematicsproblems, reductions, and proofs / by: (Electronic resources)

Operations research and enterprise systems9th 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 algorithms12th International Symposium, ISICA 2021, Guangzhou, China, November 20-21, 2021 : revised selected papers / by: (Electronic resources)

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

Coalgebraic methods in computer science16th 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 Games17th International Conference, ACG 2021, virtual event, November 23-25, 2021 : revised selected papers / by: (Electronic resources)

Lattice rulesnumerical integration, approximation, and discrepancy / by: (Electronic resources)

Blockchain foundations and applications by: (Electronic resources)

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

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

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

Choice computingmachine learning and systemic economics for choosing / by: (Electronic resources)

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

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

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

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

Practical MATLAB deep learninga projects-based approach / by: (Electronic resources)

Neural computing for advanced applicationsthird 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 problems16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings / by: (Electronic resources)

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

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

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

Advances in model and data engineering in the digitalization eraMEDI 2022 short papers and DETECT 2022 workshop papers, Cairo, Egypt, November 21-24, 2022 : proceedings / by: (Electronic resources)

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

The recent advances in transdisciplinary data sciencefirst Southwest Data Science Conference, SDSC 2022, Waco, TX, USA, March 25-26, 2022 : revised selected papers / by: (Electronic resources)

Algorithms for big dataDFG Priority Program 1736 / by: (Electronic resources)

Information theorythree theorems by claude shannon / by: (Electronic resources)

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

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

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

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

Advances in knowledge discovery and data mining27th 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 mining27th 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 mining27th 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 concurrency44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023 : proceedings / by: (Electronic resources)

Variable neighborhood search9th 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 mining27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023 : proceedings.Part IV / by: (Electronic resources)

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

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

Foundation mathematics for computer sciencea visual approach / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bayesian scientific computing by: (Electronic resources)

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

Linear programming computation by: (Electronic resources)

High-performance computing systems and technologies in scientific research, automation of control and production12th International Conference, HPCST 2022, Barnaul, Russia, May 20-21, 2022 : revised selected papers / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

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

Mathematics for computer scientistsa practice-oriented approach / by: (Electronic resources)

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

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

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

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

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

Deep learning theory and applicationsfirst 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 intelligence14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.Part I / by: (Electronic resources)

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

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

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

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

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

Computational methods for deep learningtheory, algorithms, and implementations / by: (Electronic resources)

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

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

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

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

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

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

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

Code-based cryptography11th 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 raysmultimessenger astrophysics and revolutionary astronomy / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

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

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

Intelligence computation and applications14th 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 concurrency45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024 : proceedings / by: (Electronic resources)

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

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

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

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

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

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

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

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

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

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

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

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

Methods and applications for modeling and simulation of complex systems22nd 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 systems22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023 : proceedings.Part II / by: (Electronic resources)

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

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

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

Operations research and enterprise systems11th 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 applications17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.Part I / by: (Electronic resources)

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

Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part II / by: (Language materials, printed)

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