Computer science - Mathematics

Tutorials on Emerging Methodologies and Applications in Operations Research :Presented at Informs 2004, Denver, CO / by: (書目-電子資源)

Basics of Fluid Mechanics and Introduction to Computational Fluid Dynamics / by: (書目-電子資源)

Pseudosolution of Linear Functional Equations :Parameters Estimation of Linear Functional Relationships / by: (書目-電子資源)

Graph Theory, Combinatorics and Algorithms :Interdisciplinary Applications / by: (書目-電子資源)

Statistical and Computational Inverse Problems / by: (書目-電子資源)

Developing Statistical Software in Fortran 95 / by: (書目-電子資源)

Quantum Dynamics with Trajectories :Introduction to Quantum Hydrodynamics / by: (書目-電子資源)

The Basics of S-PLUS / by: (書目-電子資源)

Microflows and Nanoflows :Fundamentals and Simulation / by: (書目-電子資源)

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: (書目-電子資源)

Upscaling Multiphase Flow in Porous Media :From Pore to Core and Beyond / by: (書目-電子資源)

Nonlinear Optimization with Financial Applications / by: (書目-電子資源)

An Introduction to Programming and Numerical Methods in MATLAB / by: (書目-電子資源)

Multiscale Methods in Science and Engineering / by: (書目-電子資源)

Mathematical Methods and Modelling in Hydrocarbon Exploration and Production / by: (書目-電子資源)

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: (書目-電子資源)

Domain Decomposition Methods ��Algorithms and Theory / by: (書目-電子資源)

Domain Decomposition Methods in Science and Engineering / by: (書目-電子資源)

Adaptive Mesh Refinement - Theory and Applications :Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3-5, 2003 / by: (書目-電子資源)

Meshfree Methods for Partial Differential Equations.II by: (書目-電子資源)

Computational Methods for Algebraic Spline Surfaces :ESF Exploratory Workshop / by: (書目-電子資源)

Multidisciplinary Methods for Analysis Optimization and Control of Complex Systems / by: (書目-電子資源)

Dimension Reduction of Large-Scale Systems :Proceedings of a Workshop held in Oberwolfach, Germany, October 19-25, 2003 / by: (書目-電子資源)

Numerical Methods for General and Structured Eigenvalue Problems / by: (書目-電子資源)

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: (書目-電子資源)

Frontiers of Numerical Analysis / by: (書目-電子資源)

Trends and Applications in Constructive Approximation / by: (書目-電子資源)

Continuum Thermomechanics / by: (書目-電子資源)

Nonlinear Partial Differential Equations with Applications / by: (書目-電子資源)

Differential Equations with Symbolic Computation / by: (書目-電子資源)

Handbook on Modelling for Discrete Optimization / by: (書目-電子資源)

Metaheuristic Procedures for Training Neutral Networks / by: (書目-電子資源)

Combinatorial Optimization in Communication Networks / by: (書目-電子資源)

Continuous System Simulation / by: (書目-電子資源)

Geometric Properties for Incomplete data / by: (書目-電子資源)

Theory of Computation / by: (書目-電子資源)

Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions / by: (書目-電子資源)

Multifield Problems in Solid and Fluid Mechanics / by: (書目-電子資源)

The Mathematica GuideBook for Numerics / by: (書目-電子資源)

Nonsmooth Mechanics and Analysis :Theoretical and Numerical Advances / by: (書目-電子資源)

Modeling and Simulation in Scilab/Scicos / by: (書目-電子資源)

Global Optimization :Scientific and Engineering Case Studies / by: (書目-電子資源)

Inverse Problems for Partial Differential Equations / by: (書目-電子資源)

Max-Plus Methods for Nonlinear Control and Estimation / by: (書目-電子資源)

Nonlinear Ill :posed Problems of Monotone Type by: (書目-電子資源)

Mathematics of Large Eddy Simulation of Turbulent Flows / by: (書目-電子資源)

Automatic Differentiation: Applications, Theory, and Implementations / by: (書目-電子資源)

Classification Algorithms for Codes and Designs / by: (書目-電子資源)

Computing in Algebraic Geometry :A Quick Start using SINGULAR / by: (書目-電子資源)

High Performance Computing in Science and Engineering'05 :Transactions of the High Performance Computing Center Stuttgart (HLRS) 2005 / by: (書目-電子資源)

Numerical Solution of Partial Differential Equations on Parallel Computers / by: (書目-電子資源)

Triangulations and Applications / by: (書目-電子資源)

Analysis, Modeling and Simulation of Multiscale Problems / by: (書目-電子資源)

Variational Problems in Materials Science / by: (書目-電子資源)

Numerical Optimization / by: (書目-電子資源)

Effective Computational Geometry for Curves and Surfaces / by: (書目-電子資源)

Large Eddy Simulation for Incompressible Flows :An Introduction / by: (書目-電子資源)

Quantum Computation and Information :From Theory to Experiment / by: (書目-電子資源)

Mathematics and computer science II :algorithms, trees, combinatorics and probabilities / by: (書目-語言資料,印刷品)

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: (書目-電子資源)

Foundations of Information and Knowledge Systems4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings / by: (書目-電子資源)

Mathematics of Program Construction8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings / by: (書目-電子資源)

Mathematical Foundations of Computer Science 200631st International Symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006, Proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms. by: (書目-電子資源)

Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms. by: (書目-電子資源)

Recent Trends in Algebraic Development Techniques17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (書目-電子資源)

Algebra and Coalgebra in Computer ScienceFirst International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by: (書目-電子資源)

Mathematical Foundations of Computer Science 200530th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings / by: (書目-電子資源)

Stochastic Algorithms: Foundations and Applications :Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 by: (書目-電子資源)

Mathematics of Program Construction9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / by: (書目-電子資源)

Mathematical Foundations of Computer Science 200833rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings / by: (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 20085th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (書目-電子資源)

Computer science logic22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings / by: (書目-語言資料,印刷品)

Computer mathematics8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers / by: (書目-語言資料,印刷品)

Mathematical methods in computer scienceessays in memory of Thomas Beth / by: (書目-語言資料,印刷品)

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: (書目-電子資源)

Domain Decomposition Methods — Algorithms and Theory by: (書目-電子資源)

Mathematical foundations of computer science 200328th International symposium / by: (書目-電子資源)

Recent trends in algebraic development techniques16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / by: (書目-電子資源)

Stochastic algorithmsfoundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 200429th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings / by: (書目-電子資源)

Mathematics of program construction7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / by: (書目-電子資源)

Mathematical theory and computational practice5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 20096th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (書目-電子資源)

Algebra and coalgebra in computer sciencethird international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (書目-電子資源)

Semantics and algebraic specificationessays dedicated to Peter D. Mosses on the occasion of his 60th birthday / by: (書目-電子資源)

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: (書目-電子資源)

Building bridgesbetween mathematics and computer science / by: (書目-電子資源)

High performance networking, computing, communication systems, and mathematical foundationsinternational conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings / by: (書目-電子資源)

Category theory and computer science7th international conference, CTCS'97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 199722nd International Symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 199823rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 : proceedings / by: (書目-電子資源)

Mathematics of program construction4th international conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques12th international workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers / by: (書目-電子資源)

Automata, languages and programming26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Mathematical foundations of computer science 199924th international symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / by: (書目-電子資源)

Automata, languages and programming27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 200025th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000 : proceedings / by: (書目-電子資源)

Mathematics of program construction5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques14th international workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers / by: (書目-電子資源)

Mathematical foundations of computer science 200126th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 27-31, 2001 : proceedings / by: (書目-電子資源)

Stochastic algorithmsfoundations and applications : international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings / by: (書目-電子資源)

Algebraic and coalgebraic methods in the mathematics of program constructioninternational summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures / by: (書目-電子資源)

Mathematical foundations of computer science 200227th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings / by: (書目-電子資源)

Mathematics of program construction6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings / by: (書目-電子資源)

Formal concept analysis8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010 : proceedings / by: (書目-電子資源)

Discrete mathematics in statistical physicsintroductory lectures / by: (書目-電子資源)

Discrete mathematics :an introduction to proofs and combinatorics / by: (書目-語言資料,印刷品)

Mathematical foundations of computer science 201035th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings / by: (書目-電子資源)

Interfacesexplorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 Student Sessions, selected papers / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 20107th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings / by: (書目-電子資源)

Formal concept analysis9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 201136th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings / by: (書目-電子資源)

Algebra and coalgebra in computer science4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (書目-電子資源)

Theoretical and mathematical foundations of computer sciencesecond international conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers / by: (書目-電子資源)

Certified programs and proofsfirst international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings / by: (書目-電子資源)

Handbook of discrete and combinatorial mathematics / by: (書目-語言資料,印刷品)

Mathematics and computer science III :algorithms, trees, combinatorics, and probabilities / by: (書目-語言資料,印刷品)

Mathematical and engineering methods in computer science7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Recent trends in algebraic development techniques20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (書目-電子資源)

Reversible computationthird International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / by: (書目-電子資源)

Theory and applications of models of computation9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / by: (書目-電子資源)

How the world computesTuring Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (書目-電子資源)

Formal concept analysis10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

New Directions in Logic, Language and ComputationESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers / by: (書目-電子資源)

Combinatorial optimization and applications6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings / by: (書目-電子資源)

Uncertainty quantification in scientific computing10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011 : revised selected papers / by: (書目-電子資源)

Computing and Combinatorics18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 201237th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Coalgebraic methods in computer science11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers / by: (書目-電子資源)

Computer algebra in scientific computing14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / by: (書目-電子資源)

Algorithms - ESA 201220th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / by: (書目-電子資源)

Reachability problems6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (書目-電子資源)

Certified programs and proofssecond international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (書目-電子資源)

Proceedings of the eighteenth annual ACM-SIAM symposium on discrete algorithms by: (書目-電子資源)

Proceedings of the nineteenth annual ACM-SIAM symposium on discrete algorithms by: (書目-電子資源)

Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms by: (書目-電子資源)

Proceedings of the Twenty-first Annual ACM-SIAM Symposium on Discrete Algorithms by: (書目-電子資源)

Design and analysis of algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : proceedings / by: (書目-電子資源)

Horizons of the minda tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday / by: (書目-電子資源)

Formal concept analysis12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings / by: (書目-電子資源)

Language, life, limits10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings / by: (書目-電子資源)

Intelligent computer mathematicsInternational Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings / by: (書目-電子資源)

Reversible computation6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings / by: (書目-電子資源)

Pristine perspectives on logic, language, and computationESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Mathematical foundations of computer science 201439th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.Part II / by: (書目-電子資源)

Mathematical foundations of computer science 201439th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.part I / by: (書目-電子資源)

Theoretical computer science8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings / by: (書目-電子資源)

Mathematics and computing 2013International Conference in Haldia, India / by: (書目-電子資源)

Computer algebra in scientific computing16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014 : proceedings / by: (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 201411th International Colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings / by: (書目-語言資料,印刷品)

Reachability problems8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings / by: (書目-語言資料,印刷品)

Computer mathematics9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012 : contributed papers and invited talks / by: (書目-語言資料,印刷品)

Combinatorial optimization and applications8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings / by: (書目-電子資源)

Mathematical and engineering methods in computer science9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17 - 19, 2014 : revised selected papers / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency IX by: (書目-電子資源)

Numerical mathematics and advanced applications ENUMATH 2013proceedings of ENUMATH 2013, the 10th European Conference on Numerical Mathematics and Advanced Applications, Lausanne, August 2013 / by: (書目-電子資源)

Algorithms and discrete applied mathematicsfirst International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015 : proceedings / by: (書目-電子資源)

High performance computing for computational science - VECPAR 201411th International Conference, Eugene, OR, USA, June 30-July 3, 2014 : revised selected papers / by: (書目-電子資源)

Perspectives of system informatics9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014 : revised selected papers / by: (書目-電子資源)

Cellular automata and discrete complex systems20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014 : revised selected papers / by: (書目-電子資源)

Formal concept analysis13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings / by: (書目-電子資源)

Evolving computability11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings / by: (書目-電子資源)

Intelligent computer mathematicsInternational Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings / by: (書目-電子資源)

Reversible computation7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / by: (書目-電子資源)

Cellular automata and discrete complex systems21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015 : proceedings / by: (書目-電子資源)

Mathematics and computingICMC, Haldia, India, January 2015 / by: (書目-電子資源)

Machines, computations, and universality7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 201540th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part II / by: (書目-電子資源)

Mathematical foundations of computer science 201540th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part I / by: (書目-電子資源)

Fields of logic and computation IIessays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / by: (書目-電子資源)

Computer algebra in scientific computing17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings / by: (書目-電子資源)

Algorithms - ESA 201523rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency X by: (書目-電子資源)

Encyclopedia of applied and computational mathematics by: (書目-電子資源)

Combinatorial optimization and applications9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (書目-電子資源)

Algorithms and discrete applied mathematicssecond International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : proceedings / by: (書目-電子資源)

Mathematical and engineering methods in computer science10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers / by: (書目-電子資源)

Mathematical aspects of computer and information sciences6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers / by: (書目-電子資源)

Cellular automata and discrete complex systems22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings / by: (書目-電子資源)

Computational topology in image context6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016 : proceedings / by: (書目-電子資源)

Pursuit of the universal12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Intelligent computer mathematics9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / by: (書目-電子資源)

Modern mathematical methods and high performance computing in science and technologyM3HPCST, Ghaziabad, India, December 2015 / by: (書目-電子資源)

Computer algebra in scientific computing18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / by: (書目-電子資源)

Reachability problems10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings / by: (書目-電子資源)

Algorithms and discrete applied mathematicsthird International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Singularities and computer algebrafestschrift for Gert-Martin Greuel on the occasion of his 70th birthday / by: (書目-電子資源)

Mathematics and computingthird International Conference, ICMC 2017, Haldia, India, January 17-21, 2017 : proceedings / by: (書目-電子資源)

Cellular automata and discrete complex systems23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017 : proceedings / by: (書目-電子資源)

Intelligent computer mathematics10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings / by: (書目-電子資源)

High performance computing for computational science - VECPAR 201612th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers / by: (書目-電子資源)

Applications of computer algebraKalamata, Greece, July 20-23 2015 / by: (書目-電子資源)

Theoretical computer science and discrete mathematicsfirst International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016 : revised selected papers / by: (書目-電子資源)

Reachability problems11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings / by: (書目-電子資源)

Fundamentals of computation theory21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings / by: (書目-電子資源)

Computational mathematics, numerical analysis and applicationslecture notes of the XVII 'Jacques-Louis Lions' Spanish-French School / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 201714th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings / by: (書目-電子資源)

Geometric science of informationthird International Conference, GSI 2017, Paris, France, November 7-9, 2017 : proceedings / by: (書目-電子資源)

Graph-theoretic concepts in computer science43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017 : revised selected papers / by: (書目-電子資源)

Recent trends in algebraic development techniques23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: (書目-電子資源)

Mathematical aspects of computer and information sciences7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings / by: (書目-電子資源)

Advanced computational methods for knowledge engineeringproceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017 / by: (書目-電子資源)

Advanced computing in industrial mathematics11th Annual Meeting of the Bulgarian Section of SIAM December 20-22, 2016, Sofia, Bulgaria : revised selected papers / by: (書目-電子資源)

Advances in computer algebrain honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada / by: (書目-電子資源)

Mathematics and computing4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018 : revised selected papers / by: (書目-電子資源)

New frontiers in quantitative methods in informatics7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017 : revised selected papers / by: (書目-電子資源)

Machines, computations, and universality8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings / by: (書目-電子資源)

Sailing routes in the world of computation14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings / by: (書目-電子資源)

Intelligent computer mathematics11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018 : proceedings / by: (書目-電子資源)

Reversible computation10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings / by: (書目-電子資源)

Graph-theoretic concepts in computer science44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Information technology and applied mathematicsICITAM 2017 / by: (書目-電子資源)

Advances in computer science for engineering and education by: (書目-電子資源)

High performance computing for computational science - VECPAR 201813th International Conference, Sao Pedro, Brazil, September 17-19, 2018 : revised selected papers / by: (書目-電子資源)

Computational topology in image context7th International Workshop, CTIC 2019, Malaga, Spain, January 24-25, 2019 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings / by: (書目-電子資源)

Formal concept analysis14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings / by: (書目-電子資源)

Reversible computation9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers / by: (書目-電子資源)

Fundamentals of computation theory22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019 : proceedings / by: (書目-電子資源)

At the intersection of language, logic, and informationESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018 : selected papers / by: (書目-電子資源)

Graph-theoretic concepts in computer science45th International Workshop, WG 2019, Vall de Nuria, Spain, June 19-21, 2019 : revised papers / by: (書目-電子資源)

Research in data science by: (書目-電子資源)

Algorithms and discrete applied mathematics4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018 : proceedings / by: (書目-電子資源)

Combinatorial optimization and applications12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018 : proceedings / by: (書目-電子資源)

Reachability problems12th International Conference, RP 2018, Marseille, France, September 24-26, 2018 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29 - November 1, 2018 : proceedings / by: (書目-電子資源)

Structural, syntactic, and statistical pattern recognitionJoint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings / by: (書目-電子資源)

Algorithms and discrete applied mathematics6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020 : proceedings / by: (書目-電子資源)

Recent advances in intelligent information systems and applied mathematics by: (書目-電子資源)

Advances in computer science for engineering and education II by: (書目-電子資源)

Artificial intelligence algorithms and applications11th International Symposium, ISICA 2019, Guangzhou, China, November 16-17, 2019 : revised selected papers / by: (書目-電子資源)

Beyond the horizon of computability16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020 : proceedings / by: (書目-電子資源)

Handbook of discrete and combinatorial mathematics by: (書目-電子資源)

Reversible computation12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020 : proceedings / by: (書目-電子資源)

Intelligent computer mathematics13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Algorithms and discrete applied mathematics5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019 : proceedings / by: (書目-電子資源)

Cellular automata and discrete complex systems25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019 : proceedings / by: (書目-電子資源)

Combinatorial optimization and applications13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019 : proceedings / by: (書目-電子資源)

Computing with foresight and industry15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings / by: (書目-電子資源)

Formal concept analysis15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings / by: (書目-電子資源)

Geometric science of information4th International Conference, GSI 2019, Toulouse, France, August 27-29, 2019 : proceedings / by: (書目-電子資源)

Intelligent computer mathematics12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019 : proceedings / by: (書目-電子資源)

Reachability problems13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019 : proceedings / by: (書目-電子資源)

Cellular automata and discrete complex systems26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10-12, 2020 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020 : proceedings / by: (書目-電子資源)

Reachability problems14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020 : proceedings / by: (書目-電子資源)

Analytical and stochastic modelling techniques and applications25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019 : proceedings / by: (書目-電子資源)

Optimization and applications11th international conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, proceedings / by: (書目-電子資源)

LATIN 2020theoretical informatics : 14th Latin American Symposium, Sao Paulo, Brazil, January 5-8, 2021 : proceedings / by: (書目-電子資源)

Combinatorial optimization and applications14th International Conference, COCOA 2020, Dallas, TX, USA, December 11-13, 2020 : proceedings / by: (書目-電子資源)

Advances in optimization and applications11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020 : revised selected papers / by: (書目-電子資源)

Mathematical aspects of computer and information sciences8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019 : revised selected papers / by: (書目-電子資源)

Advances in computer science for engineering and education III by: (書目-電子資源)

Proceedings of the fifth International Conference on Mathematics and ComputingICMC 2019 / by: (書目-電子資源)

Proceedings of the sixth International Conference on Mathematics and ComputingICMC 2020 / by: (書目-電子資源)

Algorithms and discrete applied mathematics7th International Conference, CALDAM 2021, Rupnagar, India, February 11-13, 2021 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques25th International Workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers / by: (書目-電子資源)

Proceedings of First International Conference on Mathematical Modeling and Computational ScienceICMMCS 2020 / by: (書目-電子資源)

Mathematical analysis and computingICMAC 2019, Kalavakkam, India, December 23-24 / by: (書目-電子資源)

Advanced computing in industrial mathematics13th Annual Meeting of the Bulgarian Section of SIAM, December 18-20, 2018, Sofia, Bulgaria, revised selected papers / by: (書目-電子資源)

Arithmetic of finite fields8th International Workshop, WAIFI 2020, Rennes, France, July 6-8, 2020 : revised selected and invited papers / by: (書目-電子資源)

Reversible computation13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings / by: (書目-電子資源)

Connecting with computability17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings / by: (書目-電子資源)

Geometric science of information5th International Conference, GSI 2021, Paris, France, July 21-23, 2021 : proceedings / by: (書目-電子資源)

New trends in applied analysis and computational mathematicsproceedings of the International Conference on Advances in Mathematics and Computing (ICAMC 2020) / by: (書目-電子資源)

Advances in computer science for engineering and education IV by: (書目-電子資源)

Computer algebra in scientific computing23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021 : proceedings / by: (書目-電子資源)

Recent developments in mathematical, statistical and computational sciencesthe V AMMCS International Conference, Waterloo, Canada, August 18-23, 2019 / by: (書目-電子資源)

Fundamentals of computation theory23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021 : proceedings / by: (書目-電子資源)

Graph-theoretic concepts in computer science47th International Workshop, WG 2021, Warsaw, Poland, June 23-25, 2021 : revised selected papers / by: (書目-電子資源)

Reachability problems15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings / by: (書目-電子資源)

Mathematical control and numerical applicationsJANO13, Khouribga, Morocco, February 22-24, 2021 / by: (書目-電子資源)

Advances in optimization and applications12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021 : revised selected papers / by: (書目-電子資源)

Combinatorial optimization and applications15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021 : proceedings / by: (書目-電子資源)

Optimization and applications12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Advances in data science by: (書目-電子資源)

Formal concept analysis16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings / by: (書目-電子資源)

Intelligent computer mathematics14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021 : proceedings / by: (書目-電子資源)

Algorithms and discrete applied mathematics8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022 : proceedings / by: (書目-電子資源)

Mathematics and its applications in new computer systemsMANCS-2021 / by: (書目-電子資源)

Proceedings of the Seventh International Conference on Mathematics and ComputingICMC 2021 / by: (書目-電子資源)

Reversible computation14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings / by: (書目-電子資源)

Revolutions and revelations in computability18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings / by: (書目-電子資源)

Proceedings of 2nd International Conference on Mathematical Modeling and Computational ScienceICMMCS 2021/ by: (書目-電子資源)

Exploration of novel intelligent optimization algorithms12th International Symposium, ISICA 2021, Guangzhou, China, November 20-21, 2021 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Parallel problem solving from nature - PPSN XVII17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022 : proceedings.Part I / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XVII17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022 : proceedings.Part II / by: (書目-電子資源)

Intelligent computer mathematics15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022 : proceedings / by: (書目-電子資源)

Mathematics of program construction14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022 : proceedings / by: (書目-電子資源)

Combinatorics, graph theory and computingSEICCGTC 2020, Boca Raton, USA, March 9-13 / by: (書目-電子資源)

Reachability problems16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings / by: (書目-電子資源)

Advances in optimization and applications13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26-30, 2022 : revised selected papers / by: (書目-電子資源)

Theory and applications of models of computation17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022 : proceedings / by: (書目-電子資源)

Frontiers of algorithmic wisdominternational Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15-19, 2022 : revised selected papers / by: (書目-電子資源)

Computing and combinatorics28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022 : proceedings / by: (書目-電子資源)

Mathematics and computingICMC 2022, Vellore, India, January 6-8 / by: (書目-電子資源)

Current problems in applied mathematics and computer science and systems by: (書目-電子資源)

Mathematics and computationIACMC 2022, Zarqa, Jordan, May 11-13 / by: (書目-電子資源)

Artificial intelligence and soft computing21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022 : proceedings.Part II / by: (書目-電子資源)

Artificial intelligence and soft computing21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022 : proceedings.Part I / by: (書目-電子資源)

Algorithms and discrete applied mathematics9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023 : proceedings / by: (書目-電子資源)

Advanced computing in industrial mathematics15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria : revised selected papers / by: (書目-電子資源)

Relational and algebraic methods in computer science20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023 : proceedings / by: (書目-電子資源)

Cellular automata and discrete complex systems29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023 : proceedings / by: (書目-電子資源)

Intelligent computer mathematics16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings / by: (書目-電子資源)

Proceedings of 3rd International Conference on Mathematical Modeling and Computational ScienceICMMCS 2023 / by: (書目-電子資源)

Reversible computation15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023 : proceedings / by: (書目-電子資源)

Unity of logic and computation19th Conference on Computability in Europe, CIE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings / by: (書目-電子資源)

Proceedings of the ninth International Conference on Mathematics and ComputingICMC 2023 / by: (書目-電子資源)

New trends of mathematical inverse problems and applicationsICNTAM 2022, Beni Mellal, Morocco, May 19-21 / by: (書目-電子資源)

Artificial intelligence and soft computing22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023 : proceedings.Part I / by: (書目-電子資源)

Artificial intelligence and soft computing22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023 : proceedings.Part II / by: (書目-電子資源)

Fundamentals of computation theory24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023 : proceedings / by: (書目-電子資源)

Graph-theoretic concepts in computer science49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023 : revised selected papers / by: (書目-電子資源)

Advanced computing in industrial mathematics14th Annual Meeting of the Bulgarian Section of SIAM December 17-19, 2019, Sofia, Bulgaria : revised selected papers / by: (書目-電子資源)

Reachability problems17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings / by: (書目-電子資源)

Computer performance engineering and stochastic modelling19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers / by: (書目-電子資源)