Computer science - Mathematics
概要
作品: | 385 作品在 252 項出版品 252 種語言 |
---|
書目資訊
Real-Time Management of Resource Allocations Systems :A Discrete Event Systems Approach /
by:
(書目-電子資源)
Tutorials on Emerging Methodologies and Applications in Operations Research :Presented at Informs 2004, Denver, CO /
by:
(書目-電子資源)
Pseudosolution of Linear Functional Equations :Parameters Estimation of Linear Functional Relationships /
by:
(書目-電子資源)
Dimension Reduction of Large-Scale Systems :Proceedings of a Workshop held in Oberwolfach, Germany, October 19-25, 2003 /
by:
(書目-電子資源)
Mathematics and computer science II :algorithms, trees, combinatorics and probabilities /
by:
(書目-語言資料,印刷品)
Mathematics of Program Construction8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /
by:
(書目-電子資源)
Mathematics of Program Construction9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
by:
(書目-電子資源)
Computer science logic22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Computer mathematics8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers /
by:
(書目-語言資料,印刷品)
Semantics and algebraic specificationessays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
by:
(書目-電子資源)
Mathematics of program construction4th international conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings /
by:
(書目-電子資源)
Formal concept analysis8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010 : proceedings /
by:
(書目-電子資源)
Interfacesexplorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 Student Sessions, selected papers /
by:
(書目-電子資源)
Formal concept analysis9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings /
by:
(書目-電子資源)
Certified programs and proofsfirst international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings /
by:
(書目-電子資源)
Mathematics and computer science III :algorithms, trees, combinatorics, and probabilities /
by:
(書目-語言資料,印刷品)
Reversible computationthird International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(書目-電子資源)
Formal concept analysis10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings /
by:
(書目-電子資源)
New Directions in Logic, Language and ComputationESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers /
by:
(書目-電子資源)
Algorithms - ESA 201220th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings /
by:
(書目-電子資源)
Reachability problems6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(書目-電子資源)
Certified programs and proofssecond international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(書目-電子資源)
Formal concept analysis12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings /
by:
(書目-電子資源)
Intelligent computer mathematicsInternational Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings /
by:
(書目-電子資源)
Reversible computation6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings /
by:
(書目-電子資源)
Pristine perspectives on logic, language, and computationESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(書目-電子資源)
Computer algebra in scientific computing16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical aspects of computing - ICTAC 201411th International Colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015 : proceedings /
by:
(書目-電子資源)
Formal concept analysis13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings /
by:
(書目-電子資源)
Intelligent computer mathematicsInternational Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings /
by:
(書目-電子資源)
Reversible computation7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(書目-電子資源)
Fields of logic and computation IIessays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
(書目-電子資源)
Algorithms - ESA 201523rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
by:
(書目-電子資源)
Intelligent computer mathematics9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings /
by:
(書目-電子資源)
Modern mathematical methods and high performance computing in science and technologyM3HPCST, Ghaziabad, India, December 2015 /
by:
(書目-電子資源)
Reachability problems10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(書目-電子資源)
Singularities and computer algebrafestschrift for Gert-Martin Greuel on the occasion of his 70th birthday /
by:
(書目-電子資源)
Mathematics and computingthird International Conference, ICMC 2017, Haldia, India, January 17-21, 2017 : proceedings /
by:
(書目-電子資源)
Intelligent computer mathematics10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings /
by:
(書目-電子資源)
Reachability problems11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(書目-電子資源)
Geometric science of informationthird International Conference, GSI 2017, Paris, France, November 7-9, 2017 : proceedings /
by:
(書目-電子資源)
Advances in computer algebrain honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada /
by:
(書目-電子資源)
Reversible computation10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings /
by:
(書目-電子資源)
Formal concept analysis14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings /
by:
(書目-電子資源)
Reversible computation9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings /
by:
(書目-電子資源)
Reachability problems12th International Conference, RP 2018, Marseille, France, September 24-26, 2018 : proceedings /
by:
(書目-電子資源)
Reversible computation12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020 : proceedings /
by:
(書目-電子資源)
Intelligent computer mathematics13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020 : proceedings /
by:
(書目-電子資源)
Formal concept analysis15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings /
by:
(書目-電子資源)
Geometric science of information4th International Conference, GSI 2019, Toulouse, France, August 27-29, 2019 : proceedings /
by:
(書目-電子資源)
Reachability problems13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
(書目-電子資源)
Reversible computation11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
by:
(書目-電子資源)
Reachability problems14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
(書目-電子資源)
LATIN 2020theoretical informatics : 14th Latin American Symposium, Sao Paulo, Brazil, January 5-8, 2021 : proceedings /
by:
(書目-電子資源)
Proceedings of the fifth International Conference on Mathematics and ComputingICMC 2019 /
by:
(書目-電子資源)
Proceedings of the sixth International Conference on Mathematics and ComputingICMC 2020 /
by:
(書目-電子資源)
Proceedings of First International Conference on Mathematical Modeling and Computational ScienceICMMCS 2020 /
by:
(書目-電子資源)
Reversible computation13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings /
by:
(書目-電子資源)
Geometric science of information5th International Conference, GSI 2021, Paris, France, July 21-23, 2021 : proceedings /
by:
(書目-電子資源)
Reachability problems15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /
by:
(書目-電子資源)
Mathematical control and numerical applicationsJANO13, Khouribga, Morocco, February 22-24, 2021 /
by:
(書目-電子資源)
Formal concept analysis16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings /
by:
(書目-電子資源)
Intelligent computer mathematics14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021 : proceedings /
by:
(書目-電子資源)
Proceedings of the Seventh International Conference on Mathematics and ComputingICMC 2021 /
by:
(書目-電子資源)
Reversible computation14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings /
by:
(書目-電子資源)
Proceedings of 2nd International Conference on Mathematical Modeling and Computational ScienceICMMCS 2021/
by:
(書目-電子資源)
Reachability problems16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings /
by:
(書目-電子資源)
Computing and combinatorics28th International Conference, COCOON 2022, Shenzhen, China, October 22-24, 2022 : proceedings /
by:
(書目-電子資源)
Intelligent computer mathematics16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 : proceedings /
by:
(書目-電子資源)
Proceedings of 3rd International Conference on Mathematical Modeling and Computational ScienceICMMCS 2023 /
by:
(書目-電子資源)
Reversible computation15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023 : proceedings /
by:
(書目-電子資源)
Proceedings of the ninth International Conference on Mathematics and ComputingICMC 2023 /
by:
(書目-電子資源)
New trends of mathematical inverse problems and applicationsICNTAM 2022, Beni Mellal, Morocco, May 19-21 /
by:
(書目-電子資源)
Reachability problems17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
(書目-電子資源)
Formal concept analysis17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings /
by:
(書目-電子資源)
Proceedings of the tenth International Conference on Mathematics and ComputingICMC 2024.Volume 1 /
by:
(書目-電子資源)
Proceedings of the tenth International Conference on Mathematics and ComputingICMC 2024.Volume 2 /
by:
(書目-電子資源)
更多
較少的
主題