Computer science - Congresses. - Mathematics

Intelligent computer mathematics = 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings / by: (Language materials, printed)

Cellular automata and discrete complex systems = 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023 : proceedings / by: (Language materials, printed)

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

Mathematics and computing = ICMC 2022, Vellore, India, January 6-8 / by: (Language materials, printed)

Computing and combinatorics = 28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022 : proceedings / by: (Language materials, printed)

Frontiers of algorithmic wisdom = international Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15-19, 2022 : revised selected papers / by: (Language materials, printed)

Theory and applications of models of computation = 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022 : proceedings / by: (Language materials, printed)

Advances in optimization and applications = 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26-30, 2022 : revised selected papers / by: (Language materials, printed)

Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings / by: (Language materials, printed)

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

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

Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms. by: (Language materials, printed)

Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms. by: (Language materials, printed)

Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / by: (Language materials, printed)

Mathematical foundations of computer science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.. Part II / by: (Language materials, printed)

Mathematical foundations of computer science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.. Part I / by: (Language materials, printed)

Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (Language materials, printed)

Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / by: (Language materials, printed)

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

Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by: (Language materials, printed)

Relational and algebraic methods in computer science = 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings / by: (Language materials, printed)

Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / by: (Language materials, printed)

Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings / by: (Language materials, printed)

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

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: (Language materials, printed)

Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (Language materials, printed)

Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (Language materials, printed)

Semantics and algebraic specification = essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (Language materials, printed)

Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings / by: (Language materials, printed)

Theoretical and mathematical foundations of computer science = second international conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers / by: (Language materials, printed)

Mathematical foundations of computer science 2011 = 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings / by: (Language materials, printed)

Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (Language materials, printed)

Discrete mathematics / by: (Language materials, printed)

Combinatorial optimization and applications = 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings / by: (Language materials, printed)

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

Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (Language materials, printed)

Encyclopedia of applied and computational mathematics by: (Language materials, printed)

Fields of logic and computation II = essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / by: (Language materials, printed)

Relational and algebraic methods in computer science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency X by: (Language materials, printed)

Proceedings of the eighteenth annual ACM-SIAM symposium on discrete algorithms by: (Language materials, printed)

Proceedings of the nineteenth annual ACM-SIAM symposium on discrete algorithms by: (Language materials, printed)

Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms by: (Language materials, printed)

Proceedings of the Twenty-first Annual ACM-SIAM Symposium on Discrete Algorithms by: (Language materials, printed)

Mathematical and engineering methods in computer science = 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 : revised selected papers / by: (Language materials, printed)

Reversible computation = 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012 : revised papers / by: (Language materials, printed)

Theory and applications of models of computation = 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / by: (Language materials, printed)

Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency VII by: (Language materials, printed)

Formal concept analysis = 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings / by: (Language materials, printed)

Typed lambda calculi and applications = 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings / by: (Language materials, printed)

The nature of computation = logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings / by: (Language materials, printed)

Computer science - theory and applications = 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Algebra and coalgebra in computer science = 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013 : proceedings / by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 2013 = 10th international colloquium, Shanghai, China, September 4-6, 2013 : proceedings / by: (Language materials, printed)

Mathematical Foundations of Computer Science 2013 = 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : proceedings / by: (Language materials, printed)

Algorithms - ESA 2013 = 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013 : proceedings / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency VIII by: (Language materials, printed)

Cellular automata and discrete complex systems = 19th International Workshop, AUTOMATA 2013, Giessen, Germany, September 17-19, 2013 : proceedings / by: (Language materials, printed)

Reachability problems = 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings / by: (Language materials, printed)

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

Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (Language materials, printed)

Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (Language materials, printed)

Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Computing and Combinatorics = 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : proceedings / by: (Language materials, printed)

Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / by: (Language materials, printed)

Algorithms - ESA 2012 = 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / by: (Language materials, printed)

New Directions in Logic, Language and Computation = ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers / by: (Language materials, printed)

Combinatorial optimization and applications = 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings / by: (Language materials, printed)

Formal concept analysis = 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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

How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (Language materials, printed)

Combinatorial optimization and applications = 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013 : proceedings / by: (Language materials, printed)

Certified programs and proofs = third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings / by: (Language materials, printed)

Mathematical and engineering methods in computer science = 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

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

Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / by: (Language materials, printed)

Recent trends in algebraic development techniques = 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / by: (Language materials, printed)

Stochastic algorithms = foundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings / by: (Language materials, printed)

Mathematical foundations of computer science 2004 = 29th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings / by: (Language materials, printed)

Mathematics of program construction = 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Algorithms and discrete applied mathematics = first International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings / by: (Language materials, printed)

Algorithms and discrete applied mathematics = second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : proceedings / by: (Language materials, printed)

Mathematical and engineering methods in computer science = 10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers / by: (Language materials, printed)

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

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

Cellular automata and discrete complex systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings / by: (Language materials, printed)

Computational topology in image context = 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Intelligent computer mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / by: (Language materials, printed)

Modern mathematical methods and high performance computing in science and technology = M3HPCST, Ghaziabad, India, December 2015 / by: (Language materials, printed)

Computer algebra in scientific computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / by: (Language materials, printed)

Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings / by: (Language materials, printed)

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

Cellular automata and discrete complex systems = 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017 : proceedings / by: (Language materials, printed)

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

Intelligent computer mathematics = 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings / by: (Language materials, printed)

Graph-theoretic concepts in computer science = 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017 : revised selected papers / by: (Language materials, printed)

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: (Language materials, printed)

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

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

Applications of computer algebra = Kalamata, Greece, July 20-23 2015 / by: (Language materials, printed)

Theoretical computer science and discrete mathematics = first International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016 : revised selected papers / by: (Language materials, printed)

Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings / by: (Language materials, printed)

Fundamentals of computation theory = 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings / by: (Language materials, printed)

Computational mathematics, numerical analysis and applications = lecture notes of the XVII 'Jacques-Louis Lions' Spanish-French School / by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings / by: (Language materials, printed)

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

New frontiers in quantitative methods in informatics = 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017 : revised selected papers / by: (Language materials, printed)

Machines, computations, and universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings / by: (Language materials, printed)

Sailing routes in the world of computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings / by: (Language materials, printed)

Intelligent computer mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018 : proceedings / by: (Language materials, printed)

Reversible computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings / by: (Language materials, printed)

Graph-theoretic concepts in computer science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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

Formal concept analysis = 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings / by: (Language materials, printed)

Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings / by: (Language materials, printed)

Reversible computation = 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings / by: (Language materials, printed)

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

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: (Language materials, printed)

Fundamentals of computation theory = 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019 : proceedings / by: (Language materials, printed)

At the intersection of language, logic, and information = ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018 : selected papers / by: (Language materials, printed)

Algorithms and discrete applied mathematics = third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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