Computer science - Mathematics - Congresses.
概要
作品: | 208 作品在 159 項出版品 159 種語言 |
---|
書目資訊
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 /
by:
(書目-語言資料,印刷品)
Proceedings : = Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 /
by:
(書目-語言資料,印刷品)
Proceedings : = Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 /
by:
(書目-語言資料,印刷品)
Selected topics in discrete mathematics : = proceedings of the Moscow Discrete Mathematics Seminar, 1972-1990 /
by:
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005
by:
(書目-語言資料,印刷品)
Computer science logic = 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Computer mathematics = 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2003 = 28th International symposium /
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:
(書目-語言資料,印刷品)
Category theory and computer science = 7th international conference, CTCS'97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 1998 = 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of program construction = 4th international conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings /
by:
(書目-語言資料,印刷品)
Stochastic algorithms = foundations and applications : international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2002 = 27th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of program construction = 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Formal concept analysis = 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Geometric science of information = third International Conference, GSI 2017, Paris, France, November 7-9, 2017 : proceedings /
by:
(書目-電子資源)
Formal concept analysis = 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings /
by:
(書目-電子資源)
Reversible computation = 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings /
by:
(書目-電子資源)
Reversible computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020 : proceedings /
by:
(書目-電子資源)
Formal concept analysis = 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings /
by:
(書目-電子資源)
Reachability problems = 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /
by:
(書目-電子資源)
Mathematical control and numerical applications = JANO13, Khouribga, Morocco, February 22-24, 2021 /
by:
(書目-電子資源)
Reachability problems = 14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
(書目-電子資源)
LATIN 2020 = theoretical informatics : 14th Latin American Symposium, Sao Paulo, Brazil, January 5-8, 2021 : proceedings /
by:
(書目-電子資源)
Proceedings of the Seventh International Conference on Mathematics and Computing = ICMC 2021 /
by:
(書目-電子資源)
Proceedings of 2nd International Conference on Mathematical Modeling and Computational Science = ICMMCS 2021/
by:
(書目-電子資源)
Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science = ICMMCS 2023 /
by:
(書目-電子資源)
Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
(書目-電子資源)
Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings /
by:
(書目-電子資源)
Mathematics of program construction = 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2004 = 29th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, 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:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Stochastic algorithms = foundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 1997 = 22nd International Symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 12th international workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 1999 = 24th international symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2000 = 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of program construction = 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 14th international workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2001 = 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 27-31, 2001 : proceedings /
by:
(書目-語言資料,印刷品)
Singularities and computer algebra = festschrift for Gert-Martin Greuel on the occasion of his 70th birthday /
by:
(書目-電子資源)
Mathematics and computing = third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017 : proceedings /
by:
(書目-電子資源)
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(書目-電子資源)
Advances in computer algebra = in honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada /
by:
(書目-電子資源)
Proceedings of the fifth International Conference on Mathematics and Computing = ICMC 2019 /
by:
(書目-電子資源)
Proceedings of the sixth International Conference on Mathematics and Computing = ICMC 2020 /
by:
(書目-電子資源)
Proceedings of First International Conference on Mathematical Modeling and Computational Science = ICMMCS 2020 /
by:
(書目-電子資源)
Reachability problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
(書目-電子資源)
Reversible computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
by:
(書目-電子資源)
Reversible computation = 13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings /
by:
(書目-電子資源)
Geometric science of information = 5th International Conference, GSI 2021, Paris, France, July 21-23, 2021 : proceedings /
by:
(書目-電子資源)
Reversible computation = 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings /
by:
(書目-電子資源)
Combinatorics, graph theory and computing = SEICCGTC 2020, Boca Raton, USA, March 9-13 /
by:
(書目-電子資源)
Reachability problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings /
by:
(書目-電子資源)
Computing and combinatorics = 28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022 : proceedings /
by:
(書目-電子資源)
Reversible computation = 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023 : proceedings /
by:
(書目-電子資源)
Proceedings of the ninth International Conference on Mathematics and Computing = ICMC 2023 /
by:
(書目-電子資源)
New trends of mathematical inverse problems and applications = ICNTAM 2022, Beni Mellal, Morocco, May 19-21 /
by:
(書目-電子資源)
Reversible computation = 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024 : proceedings /
by:
(書目-電子資源)
Proceedings of the tenth International Conference on Mathematics and Computing = ICMC 2024.. Volume 1 /
by:
(書目-電子資源)
Proceedings of the tenth International Conference on Mathematics and Computing = ICMC 2024.. Volume 2 /
by:
(書目-電子資源)
更多
較少的
主題