Algorithms - Congresses.

Quantifier elimination and cylindrical algebraic decomposition / by: (書目-語言資料,印刷品)

Algorithmic number theory = 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings / by: (書目-語言資料,印刷品)

Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (書目-語言資料,印刷品)

Algorithm Theory - SWAT 2008 = 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings / by: (書目-語言資料,印刷品)

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

Algorithms and complexity = 5th Italian conference, CIAC 2003 Rome, Italy, May 28-30, 2003 : proceedings / by: (書目-語言資料,印刷品)

Applied algebra, algebraic algorithms, and error-correcting codes = 15th international symposium, AAECC-15, Toulouse, France, May 12-16, 2003 : proceedings / by: (書目-語言資料,印刷品)

Algorithms in bioinformatics = Third International Workshop, WABI 2003, Budapest, Hungary, September 2003 : proceedings / by: (書目-語言資料,印刷品)

Rewriting techniques and applications = 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings / by: (書目-語言資料,印刷品)

Almost ring theory by: (書目-語言資料,印刷品)

Rewriting techniques and applications = 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings / by: (書目-語言資料,印刷品)

Algorithms and complexity = third Italian conference, CIAC '97, Rome, Italy, March 12-14, 1997 : proceedings / by: (書目-語言資料,印刷品)

Applied algebra, algebraic algorithms, and error-correcting codes = 12th international symposium, AAECC-12, Toulouse, France, June 23-27, 1997 : proceedings / by: (書目-語言資料,印刷品)

Graph-theoretic concepts in computer science = 23rd International Workshop, WG'97, Berlin, Germany, June 18-20, 1997, proceedings / by: (書目-語言資料,印刷品)

Rewriting techniques and applications = 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings / by: (書目-語言資料,印刷品)

Algorithm theory-- SWAT '98 = 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998 : proceedings / by: (書目-語言資料,印刷品)

Rewriting techniques and applications = 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998 : proceedings / by: (書目-語言資料,印刷品)

Applied algebra, algebraic algorithms, and error-correcting codes = 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings / by: (書目-語言資料,印刷品)

Rewriting techniques and applications = 10th international conference, RTA-99, Trento, Italy, July 1999 : proceedings / by: (書目-電子資源)

Algorithms and complexity = 4th Italian conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings / by: (書目-語言資料,印刷品)

Applied algebra, algebraic algorithms, and error-correcting codes = 14th international symposium, AAECC-14, Melbourne, Australia, November 26-30, 2001 : proceedings / by: (書目-語言資料,印刷品)

Algorithm theory - SWAT 2000 = 7th Scandinavian Workshopon Algorithm Theory, Bergen, Norway, July 5-7, 2000 : proceedings / by: (書目-語言資料,印刷品)

Rewriting techniques and applications = 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / by: (書目-語言資料,印刷品)

Rewriting techniques and applications = 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / by: (書目-語言資料,印刷品)

Stochastic algorithms = foundations and applications : international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings / by: (書目-語言資料,印刷品)

Graph-theoretic concepts in computer science = 28th International Workshop, WG 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002 : revised papers / by: (書目-語言資料,印刷品)

Algorithm theory - SWAT 2002 = 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 ; proceedings / by: (書目-語言資料,印刷品)

Algorithmic game theory = 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017 : proceedings / by: (書目-電子資源)

Algorithms and discrete applied mathematics = 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020 : proceedings / by: (書目-電子資源)

Model-based safety and assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019 : proceedings / by: (書目-電子資源)

Algorithmic Foundations of Robotics XIV = proceedings of the Fourteenth Workshop on the Algorithmic Foundations of Robotics / by: (書目-電子資源)

Algorithms and complexity = 12th International Conference, CIAC 2021, virtual event, May 10-12, 2021 : proceedings / by: (書目-電子資源)

Algorithms and data structures = 17th International Symposium, WADS 2021, virtual event, August 9-11, 2021 : proceedings / by: (書目-電子資源)

Algorithmic game theory = 12th International Symposium, SAGT 2019, Athens, Greece, September 30 - October 3, 2019 : proceedings / by: (書目-電子資源)

Algorithms and complexity = 11th International Conference, CIAC 2019, Rome, Italy, May 27-29, 2019 : proceedings / by: (書目-電子資源)

Algorithms and discrete applied mathematics = 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021 : proceedings / by: (書目-電子資源)

Combinatorial algorithms = 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8-10, 2020 : proceedings / by: (書目-電子資源)

Algorithmic foundations of robotics XII = proceedings of the Twelfth Workshop on the Algorithmic Foundations of Robotics / by: (書目-電子資源)

Algorithmic foundations of robotics XIII = proceedings of the 13th Workshop on the Algorithmic Foundations of Robotics / by: (書目-電子資源)

Computer algebra in scientific computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020 : proceedings / by: (書目-電子資源)

Algorithms and discrete applied mathematics = 8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022 : proceedings / by: (書目-電子資源)

Algorithmic foundations of robotics XV = proceedings of the fifteenth workshop on the algorithmic foundations of robotics / by: (書目-電子資源)

Algorithmic game theory = 14th international symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021 : proceedings / by: (書目-電子資源)

Algorithms and data structures = 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31-August 2, 2023 : proceedings / by: (書目-電子資源)

Algorithmic game theory = 16th International Symposium, SAGT 2023, Egham, UK, September 4-7, 2023 : proceedings / by: (書目-電子資源)

Artificial intelligence and soft computing = 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023 : proceedings.. Part II / by: (書目-電子資源)

Artificial intelligence and soft computing = 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023 : proceedings.. Part I / by: (書目-電子資源)

Algorithms in algebraic geometry and applications / by: (書目-語言資料,印刷品)

Rewriting techniques and applications = 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings / by: (書目-語言資料,印刷品)

Algorithm theory - SWAT 2004 = 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004, proceedings / by: (書目-語言資料,印刷品)

Machines, Computations, and Universality = 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Combinatorial and Algorithmic Aspects of Networking = First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers by: (書目-語言資料,印刷品)

Algorithms in Bioinformatics : = 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings by: (書目-語言資料,印刷品)

Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 by: (書目-語言資料,印刷品)

Algorithmic Foundations of Robotics VI by: (書目-語言資料,印刷品)

Contemporary Mathematics = Fast algorithms for structured matrices : theory and applications / by: (書目-語言資料,印刷品)

Proceedings of the eighth Workshop on Algorithm Engineering and Experiments and the third Workshop on Analytic Algorithmics and Combinatorics by: (書目-語言資料,印刷品)

IEEE transactions on computers. by: (書目-語言資料,印刷品)

Algorithm theory - SWAT 2004 = 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004, proceedings / by: (書目-語言資料,印刷品)

Algorithms in bioinformatics = 4th international workshop, WABI 2004, Bergen, Norway, September 17-21, 2004 : proceedings / by: (書目-語言資料,印刷品)

Algorithms in algebraic geometry / by: (書目-語言資料,印刷品)

Rewriting techniques and applications = 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings / by: (書目-語言資料,印刷品)

Fun with algorithms = 5th international conference, FUN 2010, Ischia, Italy, June 2-4, 2010 : proceedings / by: (書目-語言資料,印刷品)

Algorithms in algebraic geometry by: (書目-語言資料,印刷品)

Algorithms and complexity = 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and applications = essays dedicated to Esko Ukkonen on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Algorithms and complexity in mathematics, epistemology, and science = proceedings of 2015 and 2016 ACMES Conferences / by: (書目-電子資源)

Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings / by: (書目-電子資源)

Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings / by: (書目-電子資源)

Algorithms and discrete applied mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11-13, 2021 : proceedings / by: (書目-電子資源)

Combinatorial algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5-7, 2021 : proceedings / by: (書目-電子資源)

Model-based safety and assessment = 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020 : proceedings / by: (書目-電子資源)

Algorithmic game theory = 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16-18, 2020 : proceedings / by: (書目-電子資源)

Combinatorial algorithms = 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7-9, 2022 : proceedings / by: (書目-電子資源)

Model-based safety and assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022 : proceedings / by: (書目-電子資源)

Algorithmic game theory = 15th International Symposium, SAGT 2022, Colchester, UK, September 12-15, 2022 : proceedings / by: (書目-電子資源)

Artificial intelligence and soft computing = 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022 : proceedings.. Part II / by: (書目-電子資源)

Artificial intelligence and soft computing = 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022 : proceedings.. Part I / by: (書目-電子資源)

Algorithms and complexity = 13th international conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023 : proceedings / by: (書目-電子資源)

Combinatorial algorithms = 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023 : proceedings / by: (書目-電子資源)

Advances in bias and fairness in information retrieval = 4th International Workshop, BIAS 2023, Dublin, Ireland, April 2, 2023 : revised selected papers / by: (書目-電子資源)