Computer science - Mathematics - Congresses.
Overview
| Works: | 258 works in 209 publications in 209 languages | |
|---|---|---|
Titles
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 /
by:
(Language materials, printed)
Proceedings : = Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 /
by:
(Language materials, printed)
Proceedings : = Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 /
by:
(Language materials, printed)
Categories in computer science and logic : = proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /
by:
(Language materials, printed)
Selected topics in discrete mathematics : = proceedings of the Moscow Discrete Mathematics Seminar, 1972-1990 /
by:
(Language materials, printed)
Algorithmic and quantitative real algebraic geometry : = DIMACS Workshop, Algorithmic and Quantitative Aspects of Real Algebraic, Geometry in Mathematics and Computer Science, March 12-16, 2001, DIMACS Center/
by:
(Language materials, printed)
Mathematics of program construction = 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /
by:
(Electronic resources)
Mathematical foundations of computer science 2004 = 29th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings /
by:
(Electronic resources)
Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
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)
Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /
by:
(Language materials, printed)
Relations and Kleene algebra in computer science = 10th 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:
(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)
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)
Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
by:
(Language materials, printed)
Computer science logic = 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, 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)
Mathematical methods in computer science = essays in memory of Thomas Beth /
by:
(Language materials, printed)
Mathematical foundations of computer science 2003 = 28th International symposium /
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)
Category theory and computer science = 7th international conference, CTCS'97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 12th international workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers /
by:
(Language materials, printed)
Automata, languages and programming = 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings /
by:
(Language materials, printed)
Mathematical foundations of computer science 1999 = 24th international symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers /
by:
(Electronic resources)
Automata, languages and programming = 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings /
by:
(Language materials, printed)
Mathematical foundations of computer science 2000 = 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000 : proceedings /
by:
(Language materials, printed)
Mathematics of program construction = 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings /
by:
(Language materials, printed)
Mathematical foundations of computer science 2001 = 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 27-31, 2001 : proceedings /
by:
(Language materials, printed)
Stochastic algorithms = foundations and applications : international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings /
by:
(Language materials, printed)
Algebraic and coalgebraic methods in the mathematics of program construction = international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures /
by:
(Language materials, printed)
Mathematics of program construction = 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
by:
(Language materials, printed)
Theory and applications of models of computation = 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings /
by:
(Language materials, printed)
Formal concept analysis = 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010 : proceedings /
by:
(Language materials, printed)
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(Electronic resources)
Algorithms and discrete applied mathematics = third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017 : proceedings /
by:
(Electronic resources)
Singularities and computer algebra = festschrift for Gert-Martin Greuel on the occasion of his 70th birthday /
by:
(Electronic resources)
Cellular automata and discrete complex systems = 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017 : proceedings /
by:
(Electronic resources)
High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers /
by:
(Electronic resources)
Theoretical computer science and discrete mathematics = first International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016 : revised selected papers /
by:
(Electronic resources)
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(Electronic resources)
Fundamentals of computation theory = 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings /
by:
(Electronic resources)
Computational mathematics, numerical analysis and applications = lecture notes of the XVII 'Jacques-Louis Lions' Spanish-French School /
by:
(Electronic resources)
Geometric science of information = third International Conference, GSI 2017, Paris, France, November 7-9, 2017 : proceedings /
by:
(Electronic resources)
Graph-theoretic concepts in computer science = 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017 : revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Advances in computer algebra = in honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada /
by:
(Electronic resources)
Mathematics and computing = 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018 : revised selected papers /
by:
(Electronic resources)
New frontiers in quantitative methods in informatics = 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017 : revised selected papers /
by:
(Electronic resources)
Machines, computations, and universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings /
by:
(Electronic resources)
Sailing routes in the world of computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings /
by:
(Electronic resources)
Intelligent computer mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018 : proceedings /
by:
(Electronic resources)
Computational topology in image context = 7th International Workshop, CTIC 2019, Malaga, Spain, January 24-25, 2019 : proceedings /
by:
(Electronic resources)
High performance computing for computational science - VECPAR 2018 = 13th International Conference, Sao Pedro, Brazil, September 17-19, 2018 : revised selected papers /
by:
(Electronic resources)
Formal concept analysis = 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings /
by:
(Electronic resources)
Graph-theoretic concepts in computer science = 45th International Workshop, WG 2019, Vall de Nuria, Spain, June 19-21, 2019 : revised papers /
by:
(Electronic resources)
Reversible computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020 : proceedings /
by:
(Electronic resources)
Intelligent computer mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020 : proceedings /
by:
(Electronic resources)
Proceedings of the fifth International Conference on Mathematics and Computing = ICMC 2019 /
by:
(Electronic resources)
Algorithms and discrete applied mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11-13, 2021 : proceedings /
by:
(Electronic resources)
Arithmetic of finite fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6-8, 2020 : revised selected and invited papers /
by:
(Electronic resources)
Cellular automata and discrete complex systems = 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019 : proceedings /
by:
(Electronic resources)
Combinatorial optimization and applications = 13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019 : proceedings /
by:
(Electronic resources)
Computing with foresight and industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings /
by:
(Electronic resources)
Formal concept analysis = 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings /
by:
(Electronic resources)
Geometric science of information = 4th International Conference, GSI 2019, Toulouse, France, August 27-29, 2019 : proceedings /
by:
(Electronic resources)
Intelligent computer mathematics = 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019 : proceedings /
by:
(Electronic resources)
Reachability problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
(Electronic resources)
Reversible computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
by:
(Electronic resources)
Theory and applications of models of computation = 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019 : proceedings /
by:
(Electronic resources)
Reversible computation = 13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings /
by:
(Electronic resources)
Connecting with computability = 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings /
by:
(Electronic resources)
Geometric science of information = 5th International Conference, GSI 2021, Paris, France, July 21-23, 2021 : proceedings /
by:
(Electronic resources)
New trends in applied analysis and computational mathematics = proceedings of the International Conference on Advances in Mathematics and Computing (ICAMC 2020) /
by:
(Electronic resources)
Computer algebra in scientific computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021 : proceedings /
by:
(Electronic resources)
Graph-theoretic concepts in computer science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23-25, 2021 : revised selected papers /
by:
(Electronic resources)
Artificial intelligence algorithms and applications = 11th International Symposium, ISICA 2019, Guangzhou, China, November 16-17, 2019 : revised selected papers /
by:
(Electronic resources)
Coalgebraic methods in computer science = 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings /
by:
(Electronic resources)
Cellular automata and discrete complex systems = 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10-12, 2020 : proceedings /
by:
(Electronic resources)
Theory and applications of models of computation = 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020 : proceedings /
by:
(Electronic resources)
Reachability problems = 14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020 : proceedings /
by:
(Electronic resources)
Analytical and stochastic modelling techniques and applications = 25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019 : proceedings /
by:
(Electronic resources)
LATIN 2020 = theoretical informatics : 14th Latin American Symposium, Sao Paulo, Brazil, January 5-8, 2021 : proceedings /
by:
(Electronic resources)
Advances in optimization and applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020 : revised selected papers /
by:
(Electronic resources)
Mathematical aspects of computer and information sciences = 8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019 : revised selected papers /
by:
(Electronic resources)
Performance engineering and stochastic modeling = 17th European Workshop, EPEW 2021 and 26th International Conference, ASMTA 2021, virtual event, December 9-10 and December 13-14, 2021 : proceedings /
by:
(Electronic resources)
Advances in optimization and applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021 : revised selected papers /
by:
(Electronic resources)
Combinatorial optimization and applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021 : proceedings /
by:
(Electronic resources)
Proceedings of 2nd International Conference on Mathematical Modeling and Computational Science = ICMMCS 2021/
by:
(Electronic resources)
Coalgebraic methods in computer science = 16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022 : proceedings.. Part I /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022 : proceedings.. Part II /
by:
(Electronic resources)
Combinatorics, graph theory and computing = SEICCGTC 2020, Boca Raton, USA, March 9-13 /
by:
(Electronic resources)
Advances in optimization and applications = 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26-30, 2022 : revised selected papers /
by:
(Electronic resources)
Theory and applications of models of computation = 17th Annual Conference, TAMC 2022, Tianjin, China, September 16-18, 2022 : proceedings /
by:
(Electronic resources)
Frontiers of algorithmic wisdom = international Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15-19, 2022 : revised selected papers /
by:
(Electronic resources)
Computing and combinatorics = 28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022 : proceedings /
by:
(Electronic resources)
New trends of mathematical inverse problems and applications = ICNTAM 2022, Beni Mellal, Morocco, May 19-21 /
by:
(Electronic resources)
Artificial intelligence and soft computing = 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023 : proceedings.. Part I /
by:
(Electronic resources)
Artificial intelligence and soft computing = 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023 : proceedings.. Part II /
by:
(Electronic resources)
Fundamentals of computation theory = 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023 : proceedings /
by:
(Electronic resources)
Graph-theoretic concepts in computer science = 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023 : revised selected papers /
by:
(Electronic resources)
Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings /
by:
(Electronic resources)
Advances in optimization and applications = 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023 : revised selected papers /
by:
(Electronic resources)
Computing and combinatorics = 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.. Part I /
by:
(Electronic resources)
Algorithms and discrete applied mathematics = 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024 : proceedings /
by:
(Electronic resources)
Distributed computer and communication networks = control, computation, communications : 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023 : revised selected papers /
by:
(Electronic resources)
Theory and applications of models of computation = 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024 : proceedings /
by:
(Electronic resources)
Reversible computation = 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024 : proceedings /
by:
(Electronic resources)
Proceedings of the tenth International Conference on Mathematics and Computing = ICMC 2024.. Volume 1 /
by:
(Electronic resources)
Proceedings of the tenth International Conference on Mathematics and Computing = ICMC 2024.. Volume 2 /
by:
(Electronic resources)
Combinatorics, graph theory and computing = SEICCGTC 2021, Boca Raton, USA, March 8-12 /
by:
(Electronic resources)
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:
(Electronic resources)
Combinatorics, graph theory and computing = SEICCGTC 2022, Boca Raton, USA, March 7-11 /
by:
(Electronic resources)
Relational and algebraic methods in computer science = 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024 : proceedings /
by:
(Electronic resources)
Symbolic computation in software science = 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /
by:
(Electronic resources)
Current problems of applied mathematics and computer systems = CPAMCS 2023 /
by:
(Electronic resources)
Graph-theoretic concepts in computer science = 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024 : revised selected papers /
by:
(Electronic resources)
Optimization and applications = 15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024 : revised selected papers /
by:
(Electronic resources)
Algorithms and discrete applied mathematics = 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025 : proceedings /
by:
(Electronic resources)
Computer performance engineering = 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024 : revised selected papers /
by:
(Electronic resources)
Computing and combinatorics = 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.. Part III /
by:
(Electronic resources)
Distributed computer and communication networks = 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024 : revised selected papers /
by:
(Electronic resources)
Computing and combinatorics = 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.. Part II /
by:
(Electronic resources)
Artificial intelligence and soft computing = 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024 : proceedings.. Part III /
by:
(Electronic resources)
Artificial intelligence and soft computing = 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024 : proceedings.. Part I /
by:
(Electronic resources)
Artificial intelligence and soft computing = 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024 : proceedings.. Part II /
by:
(Electronic resources)
Applied computational mathematics = ICCE 2023, Chennai, India, December 8-9 /
by:
(Electronic resources)
Distributed computer and communication networks = 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024 : revised selected papers /
by:
(Electronic resources)
Combinatorial optimization and applications = 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024 : proceedings.. Part II /
by:
(Electronic resources)
Combinatorial optimization and applications = 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024 : proceedings.. Part I /
by:
(Electronic resources)
Recent trends in algebraic development techniques = 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024 : revised selected papers /
by:
(Electronic resources)
Proceedings of 4th International Conference on Mathematical Modeling and Computational Science = ICMMCS 2025.. Volume 1 /
by:
(Electronic resources)
Advanced computing in industrial mathematics = 17th Annual Meeting of the Bulgarian Section of SIAM, December 20-22, 2022, Sofia, Bulgaria : revised selected papers /
by:
(Electronic resources)
Advances in data science and optimization of complex systems = proceedings of the International Conference on Applied Mathematics and Computer Science -- ICAMCS 2024.. Volume 1 /
by:
(Electronic resources)
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:
(Electronic resources)
Reversible computation = 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025 : proceedings /
by:
(Electronic resources)
Computing Technologies and Applied Mathematics = CTAM 2024, Komsomolsk-na-Amure, Russia, October 07-11, 2024 /
by:
(Electronic resources)
Combinatorics, graph theory and computing = SEICCGTC 2023, Boca Raton, USA, March 6-10 /
by:
(Electronic resources)
Addressing modern challenges in the mathematical, statistical, and computational sciences = the VI AMMCS International Conference, Waterloo, Canada, August 14-18, 2023 /
by:
(Electronic resources)
Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005
by:
(Language materials, printed)
High performance networking, computing, communication systems, and mathematical foundations = international conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings/
by:
(Language materials, printed)
Mathematical foundations of computer science 1997 = 22nd International Symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings /
by:
(Language materials, printed)
Mathematical foundations of computer science 1998 = 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 : proceedings /
by:
(Language materials, printed)
Mathematics of program construction = 4th international conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings /
by:
(Language materials, printed)
Generalized quantifiers and computation = 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 14th international workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers /
by:
(Language materials, printed)
Mathematical foundations of computer science 2002 = 27th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings /
by:
(Language materials, printed)
Computer algebra in scientific computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Mathematics and computing = third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017 : proceedings /
by:
(Electronic resources)
Mathematical aspects of computer and information sciences = 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
by:
(Electronic resources)
Advanced computational methods for knowledge engineering = proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017 /
by:
(Electronic resources)
Advanced computing in industrial mathematics = 11th Annual Meeting of the Bulgarian Section of SIAM December 20-22, 2016, Sofia, Bulgaria : revised selected papers /
by:
(Electronic resources)
Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings /
by:
(Electronic resources)
Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings /
by:
(Electronic resources)
Reversible computation = 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings /
by:
(Electronic resources)
Theory and applications of models of computation = 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Algorithms and discrete applied mathematics = 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020 : proceedings /
by:
(Electronic resources)
Recent advances in intelligent information systems and applied mathematics
by:
(Electronic resources)
Relational and algebraic methods in computer science = 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings /
by:
(Electronic resources)
Beyond the horizon of computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020 : proceedings /
by:
(Electronic resources)
Proceedings of the sixth International Conference on Mathematics and Computing = ICMC 2020 /
by:
(Electronic resources)
Advanced computing in industrial mathematics = 13th Annual Meeting of the Bulgarian Section of SIAM, December 18-20, 2018, Sofia, Bulgaria, revised selected papers /
by:
(Electronic resources)
Recent trends in algebraic development techniques = 25th International Workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers /
by:
(Electronic resources)
Proceedings of First International Conference on Mathematical Modeling and Computational Science = ICMMCS 2020 /
by:
(Electronic resources)
Mathematical analysis and computing = ICMAC 2019, Kalavakkam, India, December 23-24 /
by:
(Electronic resources)
Algorithms and discrete applied mathematics = 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019 : proceedings /
by:
(Electronic resources)
Recent developments in mathematical, statistical and computational sciences = the V AMMCS International Conference, Waterloo, Canada, August 18-23, 2019 /
by:
(Electronic resources)
Fundamentals of computation theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021 : proceedings /
by:
(Electronic resources)
Reachability problems = 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /
by:
(Electronic resources)
Relational and algebraic methods in computer science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings /
by:
(Electronic resources)
Mathematical control and numerical applications = JANO13, Khouribga, Morocco, February 22-24, 2021 /
by:
(Electronic resources)
Optimization and applications = 11th international conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, proceedings /
by:
(Electronic resources)
Combinatorial optimization and applications = 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11-13, 2020 : proceedings /
by:
(Electronic resources)
Optimization and applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021 : proceedings /
by:
(Electronic resources)
Algorithms and discrete applied mathematics = 8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022 : proceedings /
by:
(Electronic resources)
Proceedings of the Seventh International Conference on Mathematics and Computing = ICMC 2021 /
by:
(Electronic resources)
Formal concept analysis = 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings /
by:
(Electronic resources)
Intelligent computer mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021 : proceedings /
by:
(Electronic resources)
Reversible computation = 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings /
by:
(Electronic resources)
Revolutions and revelations in computability = 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings /
by:
(Electronic resources)
Exploration of novel intelligent optimization algorithms = 12th International Symposium, ISICA 2021, Guangzhou, China, November 20-21, 2021 : revised selected papers /
by:
(Electronic resources)
Intelligent computer mathematics = 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022 : proceedings /
by:
(Electronic resources)
Mathematics of program construction = 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022 : proceedings /
by:
(Electronic resources)
Reachability problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings /
by:
(Electronic resources)
Artificial intelligence and soft computing = 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022 : proceedings.. Part II /
by:
(Electronic resources)
Artificial intelligence and soft computing = 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022 : proceedings.. Part I /
by:
(Electronic resources)
Algorithms and discrete applied mathematics = 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023 : proceedings /
by:
(Electronic resources)
Advanced computing in industrial mathematics = 15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria : revised selected papers /
by:
(Electronic resources)
Relational and algebraic methods in computer science = 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings /
by:
(Electronic resources)
Reversible computation = 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023 : proceedings /
by:
(Electronic resources)
Unity of logic and computation = 19th Conference on Computability in Europe, CIE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings /
by:
(Electronic resources)
Proceedings of the ninth International Conference on Mathematics and Computing = ICMC 2023 /
by:
(Electronic resources)
Computer algebra in scientific computing = 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023 : proceedings /
by:
(Electronic resources)
Cellular automata and discrete complex systems = 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023 : proceedings /
by:
(Electronic resources)
Intelligent computer mathematics = 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings /
by:
(Electronic resources)
Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science = ICMMCS 2023 /
by:
(Electronic resources)
Advanced computing in industrial mathematics = 14th Annual Meeting of the Bulgarian Section of SIAM December 17-19, 2019, Sofia, Bulgaria : revised selected papers /
by:
(Electronic resources)
Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Computing and combinatorics = 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.. Part II /
by:
(Electronic resources)
Combinatorial optimization and applications = 17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.. Part I /
by:
(Electronic resources)
Combinatorial optimization and applications = 17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.. Part II /
by:
(Electronic resources)
Selected reflections in language, logic, and information = ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 student sessions : selected papers /
by:
(Electronic resources)
Advanced computational applications of geometric algebra = first International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022 : proceedings /
by:
(Electronic resources)
Distributed computer and communication networks = 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023 : revised selected papers /
by:
(Electronic resources)
Intelligence computation and applications = 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023 : revised selected papers.. Part I /
by:
(Electronic resources)
Intelligence computation and applications = 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023 : revised selected papers.. Part II /
by:
(Electronic resources)
Twenty years of theoretical and practical synergies = 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024 : proceedings /
by:
(Electronic resources)
Cellular automata and discrete complex systems = 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024 : proceedings /
by:
(Electronic resources)
Intelligent computer mathematics = 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024 : proceedings /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XVIII = 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.. Part I /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XVIII = 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.. Part II /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XVIII = 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.. Part III /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XVIII = 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024 : proceedings.. Part IV /
by:
(Electronic resources)
Reachability problems = 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings /
by:
(Electronic resources)
Mathematical analysis and numerical methods = IACMC 2023, Zarqa, Jordan, May 10-12 /
by:
(Electronic resources)
Proceedings of the Fifth International Conference on Emerging Trends in Mathematical Sciences & Computing (IEMSC-24)
by:
(Electronic resources)
Computer algebra in scientific computing = 26th international workshop, CASC 2024, Rennes, France, September 2-6, 2024 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Creative mathematical sciences communication = 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024 : proceedings /
by:
(Electronic resources)
Analytical and stochastic modelling techniques and applications = 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024 : proceedings /
by:
(Electronic resources)
Advanced computing in industrial mathematics = 16th Annual Meeting of the Bulgarian Section of SIAM, December 21-23, 2021, Sofia, Bulgaria : revised selected papers /
by:
(Electronic resources)
Proceedings of 4th International Conference on Mathematical Modeling and Computational Science = ICMMCS 2025.. Volume 3 /
by:
(Electronic resources)
Proceedings of 4th International Conference on Mathematical Modeling and Computational Science = ICMMCS 2025.. Volume 2 /
by:
(Electronic resources)
Mathematics and logics in computer science = proceedings of ICMLCS 2024 /
by:
(Electronic resources)
Scientific computing and software = Go20 CSCS, Marsalforn, Malta, May 22-26, 2023 /
by:
(Electronic resources)
Computational mathematics and numerical analysis = CSAMCS 2023, Nanjing, China, November 10-12, 2023 /
by:
(Electronic resources)
Advanced computing in industrial mathematics = 18th Annual Meeting of the Bulgarian Section of SIAM December 11-13, 2023, Sofia, Bulgaria : revised selected papers /
by:
(Electronic resources)
Advances in data science and optimization of complex systems = proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024.. Volume 2 /
by:
(Electronic resources)
Advances in data science = Women in Data Science and Mathematics (WiSDM) 2023 /
by:
(Electronic resources)
Show more
Fewer
Subjects