Computer science - Congresses. - Mathematics

Artificial intelligence and soft computing = 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Artificial intelligence and soft computing = 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Computing and combinatorics = 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Distributed computer and communication networks = 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024 : revised selected papers / by: (書目-語言資料,印刷品)

Computing and combinatorics = 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Computer performance engineering = 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024 : revised selected papers / by: (書目-語言資料,印刷品)

Algorithms and discrete applied mathematics = 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025 : proceedings / by: (書目-語言資料,印刷品)

Optimization and applications = 15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024 : revised selected papers / by: (書目-語言資料,印刷品)

Graph-theoretic concepts in computer science = 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024 : revised selected papers / by: (書目-語言資料,印刷品)

Analytical and stochastic modelling techniques and applications = 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024 : proceedings / by: (書目-語言資料,印刷品)

Creative mathematical sciences communication = 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024 : proceedings / by: (書目-語言資料,印刷品)

Computational mathematics and numerical analysis = CSAMCS 2023, Nanjing, China, November 10-12, 2023 / by: (書目-語言資料,印刷品)

Scientific computing and software = Go20 CSCS, Marsalforn, Malta, May 22-26, 2023 / by: (書目-語言資料,印刷品)

Mathematics and logics in computer science = proceedings of ICMLCS 2024 / by: (書目-語言資料,印刷品)

Proceedings of 4th International Conference on Mathematical Modeling and Computational Science = ICMMCS 2025.. Volume 2 / by: (書目-語言資料,印刷品)

Proceedings of 4th International Conference on Mathematical Modeling and Computational Science = ICMMCS 2025.. Volume 3 / by: (書目-語言資料,印刷品)

Reversible computation = 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025 : proceedings / by: (書目-語言資料,印刷品)

Crossroads of computability and logic = insights, inspirations, and innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025 : proceedings / by: (書目-語言資料,印刷品)

Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings / by: (書目-語言資料,印刷品)

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

Discrete mathematics : = an introduction to proofs and combinatorics / 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: (書目-語言資料,印刷品)

Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / by: (書目-語言資料,印刷品)

Mathematical foundations of computer science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Mathematical foundations of computer science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / by: (書目-語言資料,印刷品)

Theory and applications of models of computation = 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings / by: (書目-語言資料,印刷品)

Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings / by: (書目-語言資料,印刷品)

Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / by: (書目-語言資料,印刷品)

Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings / by: (書目-語言資料,印刷品)

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

Relations and kleene algebra in computer science = 11th 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: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (書目-語言資料,印刷品)

Semantics and algebraic specification = essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (書目-語言資料,印刷品)

Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings / by: (書目-語言資料,印刷品)

Theoretical and mathematical foundations of computer science = second international conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers / by: (書目-語言資料,印刷品)

Mathematical foundations of computer science 2011 = 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings / by: (書目-語言資料,印刷品)

Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (書目-語言資料,印刷品)

Discrete mathematics / by: (書目-語言資料,印刷品)

Combinatorial optimization and applications = 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings / by: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (書目-語言資料,印刷品)

Encyclopedia of applied and computational mathematics by: (書目-語言資料,印刷品)

Fields of logic and computation II = essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings / by: (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency X 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: (書目-語言資料,印刷品)

Mathematical and engineering methods in computer science = 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Reversible computation = 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012 : revised papers / by: (書目-語言資料,印刷品)

Theory and applications of models of computation = 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / by: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency VII by: (書目-語言資料,印刷品)

Formal concept analysis = 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

Typed lambda calculi and applications = 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings / by: (書目-語言資料,印刷品)

The nature of computation = logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings / by: (書目-語言資料,印刷品)

Computer science - theory and applications = 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013 : proceedings / by: (書目-語言資料,印刷品)

Intelligent computer mathematics = MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 : proceedings / by: (書目-語言資料,印刷品)

Algebra and coalgebra in computer science = 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013 : proceedings / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013 : proceedings / by: (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2013 = 10th international colloquium, Shanghai, China, September 4-6, 2013 : proceedings / by: (書目-語言資料,印刷品)

Mathematical Foundations of Computer Science 2013 = 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : proceedings / by: (書目-語言資料,印刷品)

Algorithms - ESA 2013 = 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013 : proceedings / by: (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency VIII by: (書目-語言資料,印刷品)

Cellular automata and discrete complex systems = 19th International Workshop, AUTOMATA 2013, Giessen, Germany, September 17-19, 2013 : proceedings / by: (書目-語言資料,印刷品)

Reachability problems = 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings / by: (書目-語言資料,印刷品)

Design and analysis of algorithms = First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / by: (書目-語言資料,印刷品)

Uncertainty quantification in scientific computing = 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Computing and Combinatorics = 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : proceedings / by: (書目-語言資料,印刷品)

Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings / by: (書目-語言資料,印刷品)

Coalgebraic methods in computer science = 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / by: (書目-語言資料,印刷品)

Algorithms - ESA 2012 = 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / by: (書目-語言資料,印刷品)

New Directions in Logic, Language and Computation = ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers / by: (書目-語言資料,印刷品)

Combinatorial optimization and applications = 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings / by: (書目-語言資料,印刷品)

Formal concept analysis = 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings / by: (書目-語言資料,印刷品)

Intelligent Computer Mathematics = 11th 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: (書目-語言資料,印刷品)

Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / by: (書目-語言資料,印刷品)

How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (書目-語言資料,印刷品)

Combinatorial optimization and applications = 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013 : proceedings / by: (書目-語言資料,印刷品)

Certified programs and proofs = third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings / by: (書目-語言資料,印刷品)

Mathematical and engineering methods in computer science = 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Computation, physics and beyond = International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / by: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques = 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / by: (書目-語言資料,印刷品)

Stochastic algorithms = foundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings / by: (書目-語言資料,印刷品)

Mathematical foundations of computer science 2004 = 29th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings / by: (書目-語言資料,印刷品)

Mathematics of program construction = 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / by: (書目-語言資料,印刷品)

Numerical mathematics and advanced applications ENUMATH 2013 = proceedings of ENUMATH 2013, the 10th European Conference on Numerical Mathematics and Advanced Applications, Lausanne, August 2013 / by: (書目-語言資料,印刷品)

Algorithms and discrete applied mathematics = first International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and discrete applied mathematics = second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : proceedings / by: (書目-語言資料,印刷品)

Mathematical and engineering methods in computer science = 10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Mathematical aspects of computer and information sciences = 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Pursuit of the universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings / by: (書目-語言資料,印刷品)

Cellular automata and discrete complex systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings / by: (書目-語言資料,印刷品)

Computational topology in image context = 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016 : proceedings / by: (書目-語言資料,印刷品)

Coalgebraic Methods in Computer Science = 13th 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 informatics = 10th 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 mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / by: (書目-語言資料,印刷品)

Modern mathematical methods and high performance computing in science and technology = M3HPCST, Ghaziabad, India, December 2015 / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / by: (書目-語言資料,印刷品)

Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings / by: (書目-語言資料,印刷品)

Mathematics and computing = third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017 : proceedings / by: (書目-語言資料,印刷品)

Cellular automata and discrete complex systems = 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017 : proceedings / by: (書目-語言資料,印刷品)

Geometric science of information = third International Conference, GSI 2017, Paris, France, November 7-9, 2017 : proceedings / by: (書目-語言資料,印刷品)

Intelligent computer mathematics = 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings / by: (書目-語言資料,印刷品)

Graph-theoretic concepts in computer science = 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques = 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Mathematical aspects of computer and information sciences = 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings / by: (書目-語言資料,印刷品)

High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Applications of computer algebra = Kalamata, Greece, July 20-23 2015 / by: (書目-語言資料,印刷品)

Theoretical computer science and discrete mathematics = first International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings / by: (書目-語言資料,印刷品)

Fundamentals of computation theory = 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings / by: (書目-語言資料,印刷品)

Computational mathematics, numerical analysis and applications = lecture notes of the XVII 'Jacques-Louis Lions' Spanish-French School / by: (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings / by: (書目-語言資料,印刷品)

Mathematics and computing = 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

New frontiers in quantitative methods in informatics = 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Machines, computations, and universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings / by: (書目-語言資料,印刷品)

Sailing routes in the world of computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings / by: (書目-語言資料,印刷品)

Intelligent computer mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018 : proceedings / by: (書目-語言資料,印刷品)

Reversible computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings / by: (書目-語言資料,印刷品)

Graph-theoretic concepts in computer science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018 : proceedings / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / by: (書目-語言資料,印刷品)

Coalgebraic methods in computer science = 14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings / by: (書目-語言資料,印刷品)

Formal concept analysis = 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings / by: (書目-語言資料,印刷品)

Reversible computation = 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings / by: (書目-語言資料,印刷品)

Theory and applications of models of computation = 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017 : proceedings / by: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques = 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Fundamentals of computation theory = 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019 : proceedings / by: (書目-語言資料,印刷品)

At the intersection of language, logic, and information = ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018 : selected papers / by: (書目-語言資料,印刷品)

Algorithms and discrete applied mathematics = third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017 : proceedings / by: (書目-語言資料,印刷品)

Advanced computing in industrial mathematics = revised selected papers of the 10th Annual Meeting of the Bulgarian Section of SIAM December 21-22, 2015, Sofia, Bulgaria / by: (書目-語言資料,印刷品)

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

Advances in optimization and applications = 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26-30, 2022 : revised selected papers / by: (書目-語言資料,印刷品)

Theory and applications of models of computation = 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022 : proceedings / by: (書目-語言資料,印刷品)

Frontiers of algorithmic wisdom = international Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15-19, 2022 : revised selected papers / by: (書目-語言資料,印刷品)

Computing and combinatorics = 28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022 : proceedings / by: (書目-語言資料,印刷品)

Mathematics and computing = ICMC 2022, Vellore, India, January 6-8 / by: (書目-語言資料,印刷品)

Intelligent computer mathematics = 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023 : proceedings / by: (書目-語言資料,印刷品)

Cellular automata and discrete complex systems = 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023 : proceedings / by: (書目-語言資料,印刷品)

Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science = ICMMCS 2023 / by: (書目-語言資料,印刷品)

Artificial intelligence and soft computing = 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Artificial intelligence and soft computing = 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Fundamentals of computation theory = 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023 : proceedings / by: (書目-語言資料,印刷品)

Graph-theoretic concepts in computer science = 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

Advanced computing in industrial mathematics = 14th Annual Meeting of the Bulgarian Section of SIAM December 17-19, 2019, Sofia, Bulgaria : revised selected papers / by: (書目-語言資料,印刷品)

Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings / by: (書目-語言資料,印刷品)

Computer performance engineering and stochastic modelling = 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023 : proceedings / by: (書目-語言資料,印刷品)

Recent trends in algebraic development techniques = 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers / by: (書目-語言資料,印刷品)

Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings / by: (書目-語言資料,印刷品)

Cellular automata and discrete complex systems = 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024 : proceedings / by: (書目-語言資料,印刷品)

Coalgebraic methods in computer science = 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings / by: (書目-語言資料,印刷品)

Intelligent computer mathematics = 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024 : proceedings / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024 : proceedings / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 26th international workshop, CASC 2024, Rennes, France, September 2-6, 2024 : proceedings / by: (書目-語言資料,印刷品)

Symbolic computation in software science = 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings / by: (書目-語言資料,印刷品)

Current problems of applied mathematics and computer systems = CPAMCS 2023 / by: (書目-語言資料,印刷品)

Proceedings of the Fifth International Conference on Emerging Trends in Mathematical Sciences & Computing (IEMSC-24) by: (書目-語言資料,印刷品)

Mathematics of computer science, cybersecurity and artificial intelligence = 5th Scientific Days of Doctoral School of Mathematics and Computer Sciences (S2DSMCS), Dakar, Senegal, December 20-22, 2023 / by: (書目-語言資料,印刷品)

Parallel problem solving from nature - PPSN XVIII = 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Parallel problem solving from nature - PPSN XVIII = 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Parallel problem solving from nature - PPSN XVIII = 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Parallel problem solving from nature - PPSN XVIII = 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Reachability problems = 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings / by: (書目-語言資料,印刷品)

Mathematical analysis and numerical methods = IACMC 2023, Zarqa, Jordan, May 10-12 / by: (書目-語言資料,印刷品)