Computer science - Mathematics

Tutorials on Emerging Methodologies and Applications in Operations Research :Presented at Informs 2004, Denver, CO / by: (Electronic resources)

Basics of Fluid Mechanics and Introduction to Computational Fluid Dynamics / by: (Electronic resources)

Pseudosolution of Linear Functional Equations :Parameters Estimation of Linear Functional Relationships / by: (Electronic resources)

Graph Theory, Combinatorics and Algorithms :Interdisciplinary Applications / by: (Electronic resources)

Statistical and Computational Inverse Problems / by: (Electronic resources)

Developing Statistical Software in Fortran 95 / by: (Electronic resources)

Quantum Dynamics with Trajectories :Introduction to Quantum Hydrodynamics / by: (Electronic resources)

The Basics of S-PLUS / by: (Electronic resources)

Microflows and Nanoflows :Fundamentals and Simulation / by: (Electronic resources)

Advances in Air Pollution Modeling for Environmental Security :Proceedings of the NATO Advanced Research Workshop on Advances in Air Pollution Modeling for Environmental Security Borovetz, Bulgaria 8��2 May 2004 / by: (Electronic resources)

Upscaling Multiphase Flow in Porous Media :From Pore to Core and Beyond / by: (Electronic resources)

Nonlinear Optimization with Financial Applications / by: (Electronic resources)

An Introduction to Programming and Numerical Methods in MATLAB / by: (Electronic resources)

Multiscale Methods in Science and Engineering / by: (Electronic resources)

Mathematical Methods and Modelling in Hydrocarbon Exploration and Production / by: (Electronic resources)

High Performance Computing in Science and Engineering, Munich 2004 :Transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2-3, 2004, Technical University of Munich, and Leibniz-Rechenzentrum Munich, Germany / by: (Electronic resources)

Domain Decomposition Methods ��Algorithms and Theory / by: (Electronic resources)

Domain Decomposition Methods in Science and Engineering / by: (Electronic resources)

Adaptive Mesh Refinement - Theory and Applications :Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3-5, 2003 / by: (Electronic resources)

Meshfree Methods for Partial Differential Equations.II by: (Electronic resources)

Computational Methods for Algebraic Spline Surfaces :ESF Exploratory Workshop / by: (Electronic resources)

Multidisciplinary Methods for Analysis Optimization and Control of Complex Systems / by: (Electronic resources)

Dimension Reduction of Large-Scale Systems :Proceedings of a Workshop held in Oberwolfach, Germany, October 19-25, 2003 / by: (Electronic resources)

Numerical Methods for General and Structured Eigenvalue Problems / by: (Electronic resources)

High Performance Computing in Science and Engineering, Garching 2004 :Transactions of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germany / by: (Electronic resources)

Frontiers of Numerical Analysis / by: (Electronic resources)

Trends and Applications in Constructive Approximation / by: (Electronic resources)

Continuum Thermomechanics / by: (Electronic resources)

Nonlinear Partial Differential Equations with Applications / by: (Electronic resources)

Differential Equations with Symbolic Computation / by: (Electronic resources)

Handbook on Modelling for Discrete Optimization / by: (Electronic resources)

Metaheuristic Procedures for Training Neutral Networks / by: (Electronic resources)

Combinatorial Optimization in Communication Networks / by: (Electronic resources)

Continuous System Simulation / by: (Electronic resources)

Geometric Properties for Incomplete data / by: (Electronic resources)

Theory of Computation / by: (Electronic resources)

Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions / by: (Electronic resources)

Multifield Problems in Solid and Fluid Mechanics / by: (Electronic resources)

The Mathematica GuideBook for Numerics / by: (Electronic resources)

Nonsmooth Mechanics and Analysis :Theoretical and Numerical Advances / by: (Electronic resources)

Modeling and Simulation in Scilab/Scicos / by: (Electronic resources)

Global Optimization :Scientific and Engineering Case Studies / by: (Electronic resources)

Inverse Problems for Partial Differential Equations / by: (Electronic resources)

Max-Plus Methods for Nonlinear Control and Estimation / by: (Electronic resources)

Nonlinear Ill :posed Problems of Monotone Type by: (Electronic resources)

Mathematics of Large Eddy Simulation of Turbulent Flows / by: (Electronic resources)

Automatic Differentiation: Applications, Theory, and Implementations / by: (Electronic resources)

Classification Algorithms for Codes and Designs / by: (Electronic resources)

Computing in Algebraic Geometry :A Quick Start using SINGULAR / by: (Electronic resources)

High Performance Computing in Science and Engineering'05 :Transactions of the High Performance Computing Center Stuttgart (HLRS) 2005 / by: (Electronic resources)

Numerical Solution of Partial Differential Equations on Parallel Computers / by: (Electronic resources)

Triangulations and Applications / by: (Electronic resources)

Analysis, Modeling and Simulation of Multiscale Problems / by: (Electronic resources)

Variational Problems in Materials Science / by: (Electronic resources)

Numerical Optimization / by: (Electronic resources)

Effective Computational Geometry for Curves and Surfaces / by: (Electronic resources)

Large Eddy Simulation for Incompressible Flows :An Introduction / by: (Electronic resources)

Quantum Computation and Information :From Theory to Experiment / by: (Electronic resources)

Mathematics and computer science II :algorithms, trees, combinatorics and probabilities / by: (Language materials, printed)

Relations and Kleene algebra in computer science10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / by: (Electronic resources)

Foundations of Information and Knowledge Systems4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings / by: (Electronic resources)

Mathematics of Program Construction8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings / by: (Electronic resources)

Mathematical Foundations of Computer Science 200631st International Symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006, Proceedings / by: (Electronic resources)

Relations and Kleene Algebra in Computer Science9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / by: (Electronic resources)

Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms. by: (Electronic resources)

Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms. by: (Electronic resources)

Recent Trends in Algebraic Development Techniques17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (Electronic resources)

Algebra and Coalgebra in Computer ScienceFirst International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by: (Electronic resources)

Mathematical Foundations of Computer Science 200530th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings / by: (Electronic resources)

Stochastic Algorithms: Foundations and Applications :Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 by: (Electronic resources)

Mathematics of Program Construction9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / by: (Electronic resources)

Mathematical Foundations of Computer Science 200833rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings / by: (Electronic resources)

Theoretical Aspects of Computing - ICTAC 20085th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (Electronic resources)

Computer science logic22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings / by: (Language materials, printed)

Computer mathematics8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers / by: (Language materials, printed)

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

Advances in Air Pollution Modeling for Environmental SecurityProceedings of the NATO Advanced Research Workshop on Advances in Air Pollution Modeling for Environmental Security Borovetz, Bulgaria 8–12 May 2004 / by: (Electronic resources)

Domain Decomposition Methods — Algorithms and Theory by: (Electronic resources)

Mathematical foundations of computer science 200328th International symposium / by: (Electronic resources)

Recent trends in algebraic development techniques16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / by: (Electronic resources)

Stochastic algorithmsfoundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings / by: (Electronic resources)

Mathematical foundations of computer science 200429th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings / by: (Electronic resources)

Mathematics of program construction7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / 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)

Theoretical aspects of computing - ICTAC 20096th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 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)

Algebra and coalgebra in computer sciencethird international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (Electronic resources)

Semantics and algebraic specificationessays dedicated to Peter D. Mosses on the occasion of his 60th birthday / by: (Electronic resources)

Relations and kleene algebra in computer science11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings / by: (Electronic resources)

Building bridgesbetween mathematics and computer science / 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)

Category theory and computer science7th international conference, CTCS'97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings / by: (Electronic resources)

Mathematical foundations of computer science 199722nd International Symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings / by: (Electronic resources)

Mathematical foundations of computer science 199823rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 : proceedings / by: (Electronic resources)

Mathematics of program construction4th international conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings / by: (Electronic resources)

Recent trends in algebraic development techniques12th international workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers / by: (Electronic resources)

Automata, languages and programming26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings / by: (Electronic resources)

Generalized quantifiers and computation9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures / by: (Electronic resources)

Mathematical foundations of computer science 199924th international symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 : proceedings / by: (Electronic resources)

Recent trends in algebraic development techniques13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / by: (Electronic resources)

Automata, languages and programming27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings / by: (Electronic resources)

Mathematical foundations of computer science 200025th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000 : proceedings / by: (Electronic resources)

Mathematics of program construction5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings / by: (Electronic resources)

Recent trends in algebraic development techniques14th international workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers / by: (Electronic resources)

Mathematical foundations of computer science 200126th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 27-31, 2001 : proceedings / by: (Electronic resources)

Stochastic algorithmsfoundations and applications : international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings / by: (Electronic resources)

Algebraic and coalgebraic methods in the mathematics of program constructioninternational summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures / by: (Electronic resources)

Mathematical foundations of computer science 200227th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings / by: (Electronic resources)

Mathematics of program construction6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : 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)

Formal concept analysis8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010 : proceedings / by: (Electronic resources)

Discrete mathematics in statistical physicsintroductory lectures / by: (Electronic resources)

Discrete mathematics :an introduction to proofs and combinatorics / by: (Language materials, printed)

Mathematical foundations of computer science 201035th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings / by: (Electronic resources)

Interfacesexplorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 Student Sessions, selected papers / by: (Electronic resources)

Theoretical aspects of computing - ICTAC 20107th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings / by: (Electronic resources)

Formal concept analysis9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / by: (Electronic resources)

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

Relational and algebraic methods in computer science12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings / by: (Electronic resources)

Mathematical foundations of computer science 201136th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings / by: (Electronic resources)

Algebra and coalgebra in computer science4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (Electronic resources)

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

Certified programs and proofsfirst international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings / by: (Electronic resources)

Handbook of discrete and combinatorial mathematics / by: (Language materials, printed)

Mathematics and computer science III :algorithms, trees, combinatorics, and probabilities / by: (Language materials, printed)

Mathematical and engineering methods in computer science7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers / 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)

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

Reversible computationthird International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / by: (Electronic resources)

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

How the world computesTuring Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (Electronic resources)

Formal concept analysis10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings / by: (Electronic resources)

Intelligent Computer Mathematics11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings / by: (Electronic resources)

New Directions in Logic, Language and ComputationESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers / by: (Electronic resources)

Combinatorial optimization and applications6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings / by: (Electronic resources)

Uncertainty quantification in scientific computing10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011 : revised selected papers / by: (Electronic resources)

Computing and Combinatorics18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : proceedings / by: (Electronic resources)

Mathematical foundations of computer science 201237th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings / by: (Electronic resources)

Coalgebraic methods in computer science11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers / by: (Electronic resources)

Computer algebra in scientific computing14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / by: (Electronic resources)

Algorithms - ESA 201220th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / by: (Electronic resources)

Reachability problems6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (Electronic resources)

Certified programs and proofssecond international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (Electronic resources)

Proceedings of the eighteenth annual ACM-SIAM symposium on discrete algorithms by: (Electronic resources)

Proceedings of the nineteenth annual ACM-SIAM symposium on discrete algorithms by: (Electronic resources)

Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms by: (Electronic resources)

Proceedings of the Twenty-first Annual ACM-SIAM Symposium on Discrete Algorithms by: (Electronic resources)

Design and analysis of algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / by: (Electronic resources)

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

Relational and algebraic methods in computer science14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : proceedings / by: (Electronic resources)

Horizons of the minda tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday / by: (Electronic resources)

Formal concept analysis12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 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)

Intelligent computer mathematicsInternational Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings / by: (Electronic resources)

Reversible computation6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings / by: (Electronic resources)

Pristine perspectives on logic, language, and computationESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers / by: (Electronic resources)

Coalgebraic methods in computer science12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers / by: (Electronic resources)

Mathematical foundations of computer science 201439th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.Part II / by: (Electronic resources)

Mathematical foundations of computer science 201439th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.part I / by: (Electronic resources)

Theoretical computer science8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings / by: (Electronic resources)

Mathematics and computing 2013International Conference in Haldia, India / by: (Electronic resources)

Computer algebra in scientific computing16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014 : proceedings / by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 201411th International Colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings / by: (Language materials, printed)

Reachability problems8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings / by: (Language materials, printed)

Computer mathematics9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 : contributed papers and invited talks / by: (Language materials, printed)

Combinatorial optimization and applications8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings / by: (Electronic resources)

Mathematical and engineering methods in computer science9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17 - 19, 2014 : revised selected papers / by: (Electronic resources)

Transactions on petri nets and other models of concurrency IX by: (Electronic resources)

Numerical mathematics and advanced applications ENUMATH 2013proceedings of ENUMATH 2013, the 10th European Conference on Numerical Mathematics and Advanced Applications, Lausanne, August 2013 / by: (Electronic resources)

Algorithms and discrete applied mathematicsfirst International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings / 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)

Perspectives of system informatics9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014 : revised selected papers / by: (Electronic resources)

Cellular automata and discrete complex systems20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014 : revised selected papers / by: (Electronic resources)

Formal concept analysis13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings / by: (Electronic resources)

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

Intelligent computer mathematicsInternational Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings / by: (Electronic resources)

Reversible computation7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / by: (Electronic resources)

Cellular automata and discrete complex systems21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015 : proceedings / by: (Electronic resources)

Mathematics and computingICMC, Haldia, India, January 2015 / by: (Electronic resources)

Machines, computations, and universality7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / by: (Electronic resources)

Mathematical foundations of computer science 201540th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part II / by: (Electronic resources)

Mathematical foundations of computer science 201540th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part I / by: (Electronic resources)

Fields of logic and computation IIessays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / by: (Electronic resources)

Computer algebra in scientific computing17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings / by: (Electronic resources)

Algorithms - ESA 201523rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings / by: (Electronic resources)

Transactions on petri nets and other models of concurrency X by: (Electronic resources)

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

Combinatorial optimization and applications9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings / 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 and discrete applied mathematicssecond International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : proceedings / by: (Electronic resources)

Mathematical and engineering methods in computer science10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers / 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)

Cellular automata and discrete complex systems22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings / by: (Electronic resources)

Computational topology in image context6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016 : proceedings / 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)

Coalgebraic Methods in Computer Science13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers / by: (Electronic resources)

Perspectives of system informatics10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015 : revised selected papers / by: (Electronic resources)

Intelligent computer mathematics9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / by: (Electronic resources)

Modern mathematical methods and high performance computing in science and technologyM3HPCST, Ghaziabad, India, December 2015 / by: (Electronic resources)

Computer algebra in scientific computing18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / by: (Electronic resources)

Reachability problems10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings / by: (Electronic resources)

Algorithms and discrete applied mathematicsthird International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017 : proceedings / by: (Electronic resources)

Advanced computing in industrial mathematicsrevised selected papers of the 10th Annual Meeting of the Bulgarian Section of SIAM December 21-22, 2015, Sofia, Bulgaria / by: (Electronic resources)

Singularities and computer algebrafestschrift for Gert-Martin Greuel on the occasion of his 70th birthday / by: (Electronic resources)

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

Cellular automata and discrete complex systems23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017 : proceedings / by: (Electronic resources)

Intelligent computer mathematics10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings / 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)

Applications of computer algebraKalamata, Greece, July 20-23 2015 / by: (Electronic resources)

Theoretical computer science and discrete mathematicsfirst International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016 : revised selected papers / by: (Electronic resources)

Reachability problems11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings / by: (Electronic resources)

Fundamentals of computation theory21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings / by: (Electronic resources)

Computational mathematics, numerical analysis and applicationslecture notes of the XVII 'Jacques-Louis Lions' Spanish-French School / by: (Electronic resources)

Theoretical aspects of computing - ICTAC 201714th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings / by: (Electronic resources)

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

Graph-theoretic concepts in computer science43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017 : revised selected papers / by: (Electronic resources)

Recent trends in algebraic development techniques23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: (Electronic resources)

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

Advanced computational methods for knowledge engineeringproceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017 / by: (Electronic resources)

Advanced computing in industrial mathematics11th Annual Meeting of the Bulgarian Section of SIAM December 20-22, 2016, Sofia, Bulgaria : 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)

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

New frontiers in quantitative methods in informatics7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017 : revised selected papers / by: (Electronic resources)

Machines, computations, and universality8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings / by: (Electronic resources)

Sailing routes in the world of computation14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings / by: (Electronic resources)

Intelligent computer mathematics11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018 : proceedings / by: (Electronic resources)

Reversible computation10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings / by: (Electronic resources)

Graph-theoretic concepts in computer science44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018 : proceedings / by: (Electronic resources)

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

Coalgebraic methods in computer science14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018 : revised selected papers / by: (Electronic resources)

Information technology and applied mathematicsICITAM 2017 / by: (Electronic resources)

Advances in computer science for engineering and education by: (Electronic resources)

High performance computing for computational science - VECPAR 201813th International Conference, Sao Pedro, Brazil, September 17-19, 2018 : revised selected papers / by: (Electronic resources)

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

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

Formal concept analysis14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings / by: (Electronic resources)

Reversible computation9th International Conference, RC 2017, Kolkata, India, July 6-7, 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)

Recent trends in algebraic development techniques24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers / by: (Electronic resources)

Fundamentals of computation theory22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019 : proceedings / by: (Electronic resources)

At the intersection of language, logic, and informationESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018 : selected papers / by: (Electronic resources)

Graph-theoretic concepts in computer science45th International Workshop, WG 2019, Vall de Nuria, Spain, June 19-21, 2019 : revised papers / by: (Electronic resources)

Research in data science by: (Electronic resources)

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

Combinatorial optimization and applications12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018 : proceedings / by: (Electronic resources)

Reachability problems12th International Conference, RP 2018, Marseille, France, September 24-26, 2018 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29 - November 1, 2018 : proceedings / by: (Electronic resources)

Structural, syntactic, and statistical pattern recognitionJoint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018 : proceedings / by: (Electronic resources)

Relational and algebraic methods in computer science18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings / by: (Electronic resources)

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

Recent advances in intelligent information systems and applied mathematics by: (Electronic resources)

Advances in computer science for engineering and education II by: (Electronic resources)

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

Beyond the horizon of computability16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020 : proceedings / by: (Electronic resources)

Handbook of discrete and combinatorial mathematics by: (Electronic resources)

Reversible computation12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020 : proceedings / by: (Electronic resources)

Intelligent computer mathematics13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020 : proceedings / by: (Electronic resources)

Coalgebraic methods in computer science15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings / by: (Electronic resources)

Algorithms and discrete applied mathematics5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019 : proceedings / by: (Electronic resources)

Cellular automata and discrete complex systems25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019 : proceedings / by: (Electronic resources)

Combinatorial optimization and applications13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019 : proceedings / by: (Electronic resources)

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

Computing with foresight and industry15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings / by: (Electronic resources)

Formal concept analysis15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings / by: (Electronic resources)

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

Intelligent computer mathematics12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019 : proceedings / by: (Electronic resources)

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

Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings / by: (Electronic resources)

Theory and applications of models of computation15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019 : proceedings / by: (Electronic resources)

Cellular automata and discrete complex systems26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10-12, 2020 : proceedings / by: (Electronic resources)

Theory and applications of models of computation16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020 : proceedings / by: (Electronic resources)

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

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

Analytical and stochastic modelling techniques and applications25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019 : proceedings / by: (Electronic resources)

Optimization and applications11th international conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, proceedings / 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 optimization and applications11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020 : revised selected papers / 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)

Advances in computer science for engineering and education III by: (Electronic resources)

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

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

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

Recent trends in algebraic development techniques25th International Workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers / by: (Electronic resources)

Proceedings of First International Conference on Mathematical Modeling and Computational ScienceICMMCS 2020 / by: (Electronic resources)

Mathematical analysis and computingICMAC 2019, Kalavakkam, India, December 23-24 / by: (Electronic resources)

Advanced computing in industrial mathematics13th Annual Meeting of the Bulgarian Section of SIAM, December 18-20, 2018, Sofia, Bulgaria, revised selected papers / by: (Electronic resources)

Arithmetic of finite fields8th International Workshop, WAIFI 2020, Rennes, France, July 6-8, 2020 : revised selected and invited papers / by: (Electronic resources)

Reversible computation13th International Conference, RC 2021, virtual event, July 7-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)

New trends in applied analysis and computational mathematicsproceedings of the International Conference on Advances in Mathematics and Computing (ICAMC 2020) / by: (Electronic resources)

Advances in computer science for engineering and education IV by: (Electronic resources)

Computer algebra in scientific computing23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021 : proceedings / by: (Electronic resources)

Recent developments in mathematical, statistical and computational sciencesthe V AMMCS International Conference, Waterloo, Canada, August 18-23, 2019 / by: (Electronic resources)

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

Graph-theoretic concepts in computer science47th International Workshop, WG 2021, Warsaw, Poland, June 23-25, 2021 : revised selected papers / by: (Electronic resources)

Reachability problems15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings / by: (Electronic resources)

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

Mathematical control and numerical applicationsJANO13, Khouribga, Morocco, February 22-24, 2021 / by: (Electronic resources)

Advances in optimization and applications12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021 : revised selected papers / by: (Electronic resources)

Combinatorial optimization and applications15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 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)

Advances in data science by: (Electronic resources)

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

Intelligent computer mathematics14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021 : proceedings / by: (Electronic resources)

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

Mathematics and its applications in new computer systemsMANCS-2021 / by: (Electronic resources)

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

Reversible computation14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings / by: (Electronic resources)

Revolutions and revelations in computability18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings / by: (Electronic resources)

Proceedings of 2nd International Conference on Mathematical Modeling and Computational ScienceICMMCS 2021/ 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)

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)

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

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

Intelligent computer mathematics15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022 : proceedings / by: (Electronic resources)

Mathematics of program construction14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022 : proceedings / by: (Electronic resources)

Combinatorics, graph theory and computingSEICCGTC 2020, Boca Raton, USA, March 9-13 / by: (Electronic resources)

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

Advances in optimization and applications13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26-30, 2022 : revised selected papers / by: (Electronic resources)

Theory and applications of models of computation17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022 : proceedings / by: (Electronic resources)

Frontiers of algorithmic wisdominternational Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15-19, 2022 : revised selected papers / by: (Electronic resources)

Computing and combinatorics28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022 : proceedings / by: (Electronic resources)

Mathematics and computingICMC 2022, Vellore, India, January 6-8 / by: (Electronic resources)

Current problems in applied mathematics and computer science and systems by: (Electronic resources)

Mathematics and computationIACMC 2022, Zarqa, Jordan, May 11-13 / by: (Electronic resources)

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

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

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

Advanced computing in industrial mathematics15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria : 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)

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

Cellular automata and discrete complex systems29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023 : proceedings / by: (Electronic resources)

Intelligent computer mathematics16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings / by: (Electronic resources)

Proceedings of 3rd International Conference on Mathematical Modeling and Computational ScienceICMMCS 2023 / by: (Electronic resources)

Reversible computation15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023 : proceedings / by: (Electronic resources)

Unity of logic and computation19th Conference on Computability in Europe, CIE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings / by: (Electronic resources)

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

New trends of mathematical inverse problems and applicationsICNTAM 2022, Beni Mellal, Morocco, May 19-21 / by: (Electronic resources)

Artificial intelligence and soft computing22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023 : proceedings.Part I / by: (Electronic resources)

Artificial intelligence and soft computing22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023 : proceedings.Part II / by: (Electronic resources)

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

Graph-theoretic concepts in computer science49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023 : revised selected papers / by: (Electronic resources)

Advanced computing in industrial mathematics14th Annual Meeting of the Bulgarian Section of SIAM December 17-19, 2019, Sofia, Bulgaria : revised selected papers / by: (Electronic resources)

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

Computer performance engineering and stochastic modelling19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023 : proceedings / by: (Electronic resources)

Recent trends in algebraic development techniques26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers / 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)

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)

Twenty years of theoretical and practical synergies20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024 : proceedings / by: (Electronic resources)

Proceedings of the tenth International Conference on Mathematics and ComputingICMC 2024.Volume 1 / by: (Electronic resources)

Proceedings of the tenth International Conference on Mathematics and ComputingICMC 2024.Volume 2 / by: (Electronic resources)

Combinatorics, graph theory and computingSEICCGTC 2021, Boca Raton, USA, March 8-12 / by: (Electronic resources)

Reversible computation16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024 : 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)

Computing and combinatorics29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.Part I / by: (Electronic resources)

Computing and combinatorics29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.Part II / 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)

Selected reflections in language, logic, and informationESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 student sessions : selected papers / by: (Electronic resources)

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

Advanced computational applications of geometric algebrafirst International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022 : proceedings / by: (Electronic resources)

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

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

Theory and applications of models of computation18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024 : proceedings / by: (Electronic resources)

Cellular automata and discrete complex systems30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024 : proceedings / by: (Electronic resources)

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

Intelligent computer mathematics17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024 : proceedings / by: (Electronic resources)

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

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

Symbolic computation in software science10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings / by: (Electronic resources)

Current problems of applied mathematics and computer systemsCPAMCS 2023 / by: (Electronic resources)

Parallel problem solving from nature - PPSN XVIII18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.Part I / by: (Electronic resources)

Parallel problem solving from nature - PPSN XVIII18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.Part II / by: (Electronic resources)

Parallel problem solving from nature - PPSN XVIII18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.Part III / by: (Electronic resources)

Parallel problem solving from nature - PPSN XVIII18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.Part IV / by: (Electronic resources)

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

Mathematical analysis and numerical methodsIACMC 2023, Zarqa, Jordan, May 10-12 / by: (Electronic resources)

Proceedings of the Fifth International Conference on Emerging Trends in Mathematical Sciences & Computing (IEMSC-24) by: (Electronic resources)

Combinatorics, graph theory and computingSEICCGTC 2022, Boca Raton, USA, March 7-11 / by: (Electronic resources)

Mathematics of computer science, cybersecurity and artificial intelligence5th Scientific Days of Doctoral School of Mathematics and Computer Sciences (S2DSMCS), Dakar, Senegal, December 20-22, 2023 / by: (Electronic resources)

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

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

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

Recent trends in algebraic development techniques27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024 : revised selected papers / by: (Electronic resources)

Proceedings of 4th International Conference on Mathematical Modeling and Computational ScienceICMMCS 2025.Volume 1 / by: (Electronic resources)

Advanced computing in industrial mathematics17th Annual Meeting of the Bulgarian Section of SIAM, December 20-22, 2022, Sofia, Bulgaria : revised selected papers / by: (Electronic resources)

Advances in data science and optimization of complex systemsproceedings of the International Conference on Applied Mathematics and Computer Science -- ICAMCS 2024.Volume 1 / by: (Electronic resources)

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

Analytical and stochastic modelling techniques and applications28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024 : proceedings / by: (Electronic resources)

Graph-theoretic concepts in computer science50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024 : revised selected papers / by: (Electronic resources)

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

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

Computer performance engineering20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024 : revised selected papers / by: (Electronic resources)

Computing and combinatorics30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.Part III / by: (Electronic resources)

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

Computing and combinatorics30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.Part II / by: (Electronic resources)

Artificial intelligence and soft computing23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024 : proceedings.Part III / by: (Electronic resources)

Artificial intelligence and soft computing23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024 : proceedings.Part I / by: (Electronic resources)

Artificial intelligence and soft computing23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024 : proceedings.Part II / by: (Electronic resources)

Advanced computing in industrial mathematics16th Annual Meeting of the Bulgarian Section of SIAM, December 21-23, 2021, Sofia, Bulgaria : revised selected papers / by: (Electronic resources)

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

Computing Technologies and Applied MathematicsCTAM 2024, Komsomolsk-na-Amure, Russia, October 07-11, 2024 / by: (Electronic resources)

Combinatorics, graph theory and computingSEICCGTC 2023, Boca Raton, USA, March 6-10 / by: (Electronic resources)

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

Reversible computation17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025 : proceedings / by: (Electronic resources)

Proceedings of 4th International Conference on Mathematical Modeling and Computational ScienceICMMCS 2025.Volume 3 / by: (Electronic resources)

Proceedings of 4th International Conference on Mathematical Modeling and Computational ScienceICMMCS 2025.Volume 2 / by: (Electronic resources)

Mathematics and logics in computer scienceproceedings of ICMLCS 2024 / by: (Electronic resources)

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

Computational mathematics and numerical analysisCSAMCS 2023, Nanjing, China, November 10-12, 2023 / by: (Electronic resources)

Advanced computing in industrial mathematics18th Annual Meeting of the Bulgarian Section of SIAM December 11-13, 2023, Sofia, Bulgaria : revised selected papers / by: (Language materials, printed)

Advances in data science and optimization of complex systemsproceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024.Volume 2 / by: (Electronic resources)

Addressing modern challenges in the mathematical, statistical, and computational sciencesthe VI AMMCS International Conference, Waterloo, Canada, August 14-18, 2023 / by: (Electronic resources)

Advances in data scienceWomen in Data Science and Mathematics (WiSDM) 2023 / by: (Electronic resources)

Current problems of applied mathematics and computer systemsCPAMCS 2024 / by: (Electronic resources)

African Conference on Research in Computer Science and Applied Mathematicsproceedings of the Mathematics Section of CARI 2024 / by: (Electronic resources)

Computing and combinatorics30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.Part I / by: (Electronic resources)