Computer algorithms - Congresses.

Theory and applications of satisfiability testing = 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / by: (書目-語言資料,印刷品)

Experimental and Efficient Algorithms = 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings / by: (書目-語言資料,印刷品)

Combinatorial Pattern Matching = 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings / by: (書目-語言資料,印刷品)

Algorithmic Applications in Management = First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings / by: (書目-語言資料,印刷品)

Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: (書目-語言資料,印刷品)

Computer Algebra and Geometric Algebra with Applications = 6th international workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers/ by: (書目-語言資料,印刷品)

Algorithms - ESA 2005 : = 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings by: (書目-語言資料,印刷品)

Algorithmic Learning Theory : = 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings by: (書目-語言資料,印刷品)

Metaheuristics: Progress as Real Problem Solvers by: (書目-語言資料,印刷品)

Experimental algorithms = 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30 - June 1, 2008 : proceedings / by: (書目-語言資料,印刷品)

Theory and applications of satisfiability testing--SAT 2008 = 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / by: (書目-語言資料,印刷品)

Parameterized and exact computation = third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings / by: (書目-語言資料,印刷品)

WALCOM: Algorithms and Computation = Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings / by: (書目-語言資料,印刷品)

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

Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms by: (書目-語言資料,印刷品)

Algorithmic Aspects in Information and Management = 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings / by: (書目-語言資料,印刷品)

Frontiers in Algorithmics = Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings / by: (書目-語言資料,印刷品)

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques = 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings/ by: (書目-語言資料,印刷品)

Statistical data mining and knowledge discovery / by: (書目-語言資料,印刷品)

Algorithms in bioinformatics = 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings / by: (書目-語言資料,印刷品)

Algorithms and models for the web-graph = 6th international workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Algorithms--ESA 2003 = 11th annual European symposium, Budapest, Hungary, September 16-19, 2003 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic learning theory = 14th international conference, ALT 2003, Sapporo, Japan, October 2003 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and computation = 14th international symposium, ISAAC 2003 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and data structures = 8th international workshop, WADS 2003, Ottawa, Ontario, Canada, July 30-August 1, 2003 : proceedings / by: (書目-語言資料,印刷品)

Combinatorial pattern matching = 14th annual symposium, CPM 2003, Morelia, Michoacan, Mexico, June 25-27, 2003 : proceedings / by: (書目-語言資料,印刷品)

Experimental and efficient algorithms = second international workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic learning theory = 15th international conference, ALT 2004, Padova, Italy, October 2-5, 2004 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and models for the web-graph = third international workshop, WAW 2004, Rome, Italy, October 16, 2004 : proceedings / by: (書目-語言資料,印刷品)

Algorithms--ESA 2004 = 12th annual European symposium, Bergen, Norway, September 14-17, 2004 : proceedings / by: (書目-語言資料,印刷品)

Approximation, randomization, and combinatorial optimization : algorithms and techniques = 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004, and 8th International Workshop on Randomization and Computation, RANDOM 2004, Cambridge, MA, USA, August 22-24, 2004 : proceedings / by: (書目-語言資料,印刷品)

Combinatorial pattern matching = 15th annual symposium, CPM 2004, Istanbul, Turkey, July 5-7, 2004 : proceedings / by: (書目-語言資料,印刷品)

Experimental and efficient algorithms = third international workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004 : proceedings / by: (書目-語言資料,印刷品)

Structural information and communication complexity = 16th international colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, revised selected papers / by: (書目-語言資料,印刷品)

Distributed algorithms = 11th International Workshop, WDAG '97, Saarbrucken, Germany, September 24-26, 1997 : proceedings / by: (書目-語言資料,印刷品)

Graph-theoretic concepts in computer science = 22nd International Workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic learning theory = 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998 : proceedings / by: (書目-語言資料,印刷品)

Algorithms--ESA '98 = 6th annual European symposium, Venice, Italy, August 24-26, 1998 : proceedings / by: (書目-語言資料,印刷品)

Approximation algorithms for combinatorial optimization = international workshop, APPROX '98, Aalborg, Denmark, July 18-19, 1998 : proceedings / by: (書目-語言資料,印刷品)

Algorithm engineering = 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic learning theory = 10th International Conference, ALT'99, Tokyo, Japan, December 6-8, 1999 : proceedings / by: (書目-語言資料,印刷品)

Algorithms - ESA '99 = 7th annual European symposium, Prague, Czech Republic, July 16-18, 1999 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and computation = 10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 ; proceedings / by: (書目-語言資料,印刷品)

Algorithms and data structures = 6th International Workshop, WADS'99, Vancouver, Canada, August 11-14, 1999 : proceedings / by: (書目-語言資料,印刷品)

Approximation algorithms for combinatorial optimization = third international workshop, APPROX 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings / by: (書目-語言資料,印刷品)

Algorithm engineering = 4th international workshop, WAE 2000, Saarbrucken, germany, September 5-8 2000 : proceedings / by: (書目-語言資料,印刷品)

Algorithm engineering = 5th international workshop, WAE 2001, Aarhus, Denmark, August 28-31, 2001 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic learning theory = 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and computation = 12th international symposium,ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and data structures = 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings / by: (書目-語言資料,印刷品)

Algorithms in bioinformatics = First International Workshop, WABI 2001, Arhus, Denmark, August 28-31, 2001 proceedings / by: (書目-語言資料,印刷品)

Algorithms-ESA 2001 = 9th annual European symposium, Arhus, Denmark, August 28-31, 2001 : proceedings / by: (書目-語言資料,印刷品)

Algorithm engineering and experiments = 4th international workshop, ALENEX 2002, San Francisco, CA, USA, January 4-5. 2002 : revised papers / by: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Economic models and algorithms for distributed systems by: (書目-語言資料,印刷品)

Handbook of satisfiability by: (書目-語言資料,印刷品)

Algorithms and data structures = 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017 : proceedings / by: (書目-電子資源)

Intelligent computing theories and application = 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017 : proceedings.. Part I / by: (書目-電子資源)

Intelligent computing theories and application = 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017 : proceedings.. Part II / by: (書目-電子資源)

Intelligent computing methodologies = 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017 : proceedings.. Part III / by: (書目-電子資源)

Combinatorial algorithms = 29th International Workshop, IWOCA 2018, Singapore, July 16-19, 2018 : proceedings / by: (書目-電子資源)

Modelling and implementation of complex systems = proceedings of the 5th International Symposium, MISC 2018, December 16-18, 2018, Laghouat, Algeria / by: (書目-電子資源)

Big scientific data benchmarks, architecture, and systems = first Workshop, SDBA 2018, Beijing, China, June 12, 2018 : revised selected papers / by: (書目-電子資源)

Algorithms for sensor systems = 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23-24, 2018 : revised selected papers / by: (書目-電子資源)

Frontiers in algorithmics = 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019 : proceedings.. Part II / by: (書目-電子資源)

WALCOM = algorithms and computation : 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020 : proceedings / by: (書目-電子資源)

Modelling and implementation of complex systems = proceedings of the 6th International Symposium, MISC 2020, Batna, Algeria, October 24-26, 2020 / by: (書目-電子資源)

Proceedings of 6th International Conference on Harmony Search, Soft Computing and Applications = ICHSA 2020, Istanbul / by: (書目-電子資源)

Applications of advanced computing in systems = proceedings of International Conference on Advances in Systems, Control and Computing / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings / by: (書目-電子資源)

Computer science and engineering in health services = 5th EAI International Conference, COMPSE 2021, virtual event, July 29, 2021 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2020 = 23rd International Conference, Alghero, Italy, July 3-10, 2020 : proceedings / by: (書目-電子資源)

Advances in data sciences, security and applications = proceedings of ICDSSA 2019 / by: (書目-電子資源)

Algorithmic aspects in information and management = 15th International Conference, AAIM 2021, virtual event, December 20-22, 2021 : proceedings / by: (書目-電子資源)

Algorithms and solutions based on computer technology = 5th Scientific International Online Conference Algorithms and Solutions Based on Computer Technology (ASBC 2021) / by: (書目-電子資源)

Proceedings of 7th International Conference on Harmony Search, Soft Computing and Applications = ICHSA 2022 / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 17th International Conference, WASA 2022, Dalian, China, October 28-30 2022 : proceedings.. Part II / by: (書目-電子資源)

Frontiers of algorithmic wisdom = international Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15-19, 2022 : revised selected papers / by: (書目-電子資源)

Modelling and implementation of complex systems = proceedings of the 7th International Symposium, MISC 2022, Mostaganem, Algeria, October 30-31, 2022 / by: (書目-電子資源)

Frontiers of algorithmics = 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 : proceedings / by: (書目-電子資源)

WALCOM = algorithms and computation : 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023 : proceedings / by: (書目-電子資源)

Algorithms and models for the web graph = 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023 : proceedings / by: (書目-電子資源)

WALCOM = algorithms and computation : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021 : proceedings / by: (書目-電子資源)

Parameterized and exact computation = first international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings / by: (書目-語言資料,印刷品)

Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithms and Data Structures = 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings / by: (書目-語言資料,印刷品)

Advanced Data Mining and Applications = First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005, Proceedings / by: (書目-語言資料,印刷品)

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques = algorithms and techniques : 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005, and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and Computation : = 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings by: (書目-語言資料,印刷品)

Adaptive and Natural Computing Algorithms = Proceedings of the International Conference in Coimbra, Portugal, 2005 / by: (書目-語言資料,印刷品)

Proceedings of the fourteenth annual ACM-SIAM Symposium on Discrete Algorithms by: (書目-語言資料,印刷品)

Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms by: (書目-語言資料,印刷品)

Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms by: (書目-語言資料,印刷品)

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

Combinatorial Pattern Matching = 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Models for the Web-Graph = Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006. Revised Papers / by: (書目-語言資料,印刷品)

Algorithms - ESA 2008 = 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings / by: (書目-語言資料,印刷品)

Algorithms and computation = 19th international symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008, proceedings / by: (書目-語言資料,印刷品)

WALCOM: algorithms and computation = third international workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings / by: (書目-語言資料,印刷品)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 6th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2003, and 7th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2003, Princeton, NJ, USA, August 24-26, 2003 : proceedings / by: (書目-語言資料,印刷品)

Automata, languages and programming = 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings / by: (書目-語言資料,印刷品)

Parameterized and exact computation = first international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings / by: (書目-語言資料,印刷品)

Theory and applications of satisfiability testing = 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / by: (書目-語言資料,印刷品)

Graph-theoretic concepts in computer science : = 33rd international workshop, WG 2007, Dornburg, Germany, June 21-23, 2007 : revised papers / by: (書目-語言資料,印刷品)

WALCOM = algorithms and computation : 4th international workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic learning theory = 8th international workshop, ALT '97, Sendai, Japan, October 6-8, 1997 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and data structures = 5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997 : proceedings / by: (書目-電子資源)

Algorithms - ESA '97 = 5th annual European symposium, Graz, Austria, September 15-17, 1997 : proceedings / by: (書目-電子資源)

Combinatorial pattern matching = 8th Annual Symposium, CPM 97, Aarhus, Denmark, June 30-July 2, 1997 : proceedings / by: (書目-語言資料,印刷品)

Combinatorial pattern matching = 9th annual symposium, CPM 98, Piscataway, New Jersey, USA, July 20-22, 1998 : proceedings / by: (書目-語言資料,印刷品)

Combinatorial pattern matching = 10th annual symposium, CPM 99, Warwick University, UK, July 22-24, 1999 ; proceedings / by: (書目-語言資料,印刷品)

Algorithms - ESA 2000 = 8th annual European symposium, Saarbrucken, Germany, September 5-8, 2000 : proceedings / by: (書目-語言資料,印刷品)

Algorithms and computation = 11th international conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000 ; proceedings / by: (書目-語言資料,印刷品)

Combinatorial pattern matching = 11th annual symposium, CPM 2000, Montreal, Canada, June 21-23, 2000 : proceedings/ by: (書目-語言資料,印刷品)

Large-scale scientific computing = Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001 : revised papers / by: (書目-語言資料,印刷品)

Algorithms and computation = 13th international symposium, ISAAC 2002, Vancouver, BC, Canada, November 21-23, 2002 : proceedings / by: (書目-語言資料,印刷品)

Algorithms in bioinformatics = Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002 : proceedings / by: (書目-語言資料,印刷品)

Algorithms--ESA 2002 = 10th annual European symposium, Rome, Italy, September 17-21, 2002 : proceedings / by: (書目-語言資料,印刷品)

Combinatorial pattern matching = 13th annual symposium, CPM 2002, Fukuoka, Japan, July 3-5, 2002 : proceedings / by: (書目-語言資料,印刷品)

Structural information and communication complexity = 17th international colloquium, SIROCCO 2010, Sirince, Turkey, June 7-11, 2010 : proceedings / by: (書目-語言資料,印刷品)

Algorithm theory - SWAT 2010 = 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic aspects in information and management = 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010 : proceedings / by: (書目-語言資料,印刷品)

Theory and applications of satisfiability testing - SAT 2010 = 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / by: (書目-語言資料,印刷品)

Experimental algorithms = 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010 : proceedings / by: (書目-語言資料,印刷品)

Computational modeling of objects represented in images = Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010 : proceedings / by: (書目-語言資料,印刷品)

Novel algorithms and techniques in telecommunications and networking by: (書目-語言資料,印刷品)

Algorithms and parallel VLSI architectures III = proceedings of the International Workshop, Algorithms and Parallel VLSI Architectures III, Leuven, Belgium, August 29-31, 1994 / by: (書目-電子資源)

Algorithms and models for the web graph = 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016 : proceedings / by: (書目-電子資源)

Algorithms for sensor systems = 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016 : revised selected papers / by: (書目-電子資源)

Harmony search algorithm = proceedings of the 3rd International Conference on Harmony Search Algorithm (ICHSA 2017) / by: (書目-電子資源)

WALCOM = algorithms and computation : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017 : proceedings / by: (書目-電子資源)

Algorithms and complexity = 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017 : proceedings / by: (書目-電子資源)

Computer science - theory and applications = 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2017 = 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (書目-電子資源)

Algorithms and models for the web graph = 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017 : revised selected papers / by: (書目-電子資源)

Parallel architecture, algorithm and programming = 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017 : proceedings / by: (書目-電子資源)

Algorithms for sensor systems = 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017 : revised selected papers / by: (書目-電子資源)

WALCOM = algorithms and computation : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018 : proceedings / by: (書目-電子資源)

Advances in computer algebra = in honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada / by: (書目-電子資源)

Algorithms and applications = ALAP 2018 / by: (書目-電子資源)

Combinatorial algorithms = 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017 : revised selected papers / by: (書目-電子資源)

Algorithms and models for the web graph = 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings / by: (書目-電子資源)

Computational and statistical methods in intelligent systems by: (書目-電子資源)

Computational statistics and mathematical modeling methods in intelligent systems = proceedings of 3rd Computational Methods in Systems and Software 2019.. Vol. 2 / by: (書目-電子資源)

Harmony search and nature inspired optimization algorithms = theory and applications, ICHSA 2018 / by: (書目-電子資源)

Intelligent systems applications in software engineering = proceedings of 3rd Computational Methods in Systems and Software 2019.. Vol. 1 / by: (書目-電子資源)

Algorithms and computation = 8th International Symposium, ISAAC '97, Singapore, December 17-19, 1997 : proceedings / by: (書目-電子資源)

Advances in harmony search, soft computing and applications by: (書目-電子資源)

Inventive computation technologies by: (書目-電子資源)

Parallel architectures, algorithms and programming = 10th International Symposium, PAAP 2019, Guangzhou, China, December 12-14, 2019 : revised selected papers / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, proceedings.. Part I / by: (書目-電子資源)

Computer science - theory and applications = 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020 : proceedings / by: (書目-電子資源)

Parallel architectures, algorithms and programming = 11th International Symposium, PAAP 2020, Shenzhen, China, December 28-30, 2020 : proceedings / by: (書目-電子資源)

Software engineering and algorithms = proceedings of 10th Computer Science On-line Conference 2021.. Vol. 1 / by: (書目-電子資源)

Computer science - theory and applications = 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019 : proceedings / by: (書目-電子資源)

Frontiers in algorithmics = 13th International Workshop, FAW 2019, Sanya, China, April 29 - May 3, 2019 : proceedings / by: (書目-電子資源)

WALCOM = algorithms and computation : 13th International Conference, WALCOM 2019, Guwahati, India, February 27 - March 2, 2019 : proceedings / by: (書目-電子資源)

Frontiers in algorithmics = 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020 : proceedings / by: (書目-電子資源)

Data analysis and optimization for engineering and computing problems = proceedings of the 3rd EAI International Conference on Computer Science and Engineering and Health Services / by: (書目-電子資源)

Advances in bias and fairness in information retrieval = second International Workshop on Algorithmic Bias in Search and Recommendation, BIAS 2021, Lucca, Italy, April 1, 2021 : proceedings / by: (書目-電子資源)

Computer science - theory and applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021 : proceedings / by: (書目-電子資源)

Intelligent computing theories and application = 17th International Conference, ICIC 2021, Shenzhen, China, August 12-15, 2021 : proceedings.. Part I / by: (書目-電子資源)

Intelligent computing theories and application = 17th International Conference, ICIC 2021, Shenzhen, China, August 12-15, 2021 : proceedings.. Part III / by: (書目-電子資源)

Intelligent computing theories and application = 17th International Conference, ICIC 2021, Shenzhen, China, August 12-15, 2021 : proceedings.. Part II / by: (書目-電子資源)

Algorithms for sensor systems = 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9-10, 2021 : proceedings / by: (書目-電子資源)

Algorithms and models for the web graph = 17th International Workshop, WAW 2020, Warsaw, Poland, September 21-22, 2020 : proceedings / by: (書目-電子資源)

Algorithmic aspects in information and management = 14th International Conference, AAIM 2020, Jinhua, China, August 10-12, 2020 : proceedings / by: (書目-電子資源)

Algorithms for sensor systems = 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9-10, 2020 : revised selected papers / by: (書目-電子資源)

Optimization, learning algorithms and applications = first International Conference, OL2A 2021, Braganca, Portugal, July 19-21, 2021 : revised selected papers / by: (書目-電子資源)

Frontiers of algorithmics = International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16-19, 2021 : proceedings / by: (書目-電子資源)

Algorithmic aspects in information and management = 16th International Conference, AAIM 2022, Guangzhou, China, August 13-14, 2022 : proceedings / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 17th International Conference, WASA 2022, Dalian, China, October 28-30 2022 : proceedings.. Part III / by: (書目-電子資源)

Optimization, learning algorithms and applications = second International Conference, OL2A 2022, Povoa de Varzim, Portugal, October 24-25, 2022 : proceedings / by: (書目-電子資源)

Algorithmics of wireless networks = 18th International Symposium on Algorithmics of Wireless Networks, ALGOSENSORS 2022, Potsdam, Germany, September 8-9, 2022 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10-12, 2022 : proceedings / by: (書目-電子資源)

Algorithms and discrete applied mathematics = 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023 : proceedings / by: (書目-電子資源)

Differential equations, mathematical modeling and computational algorithms = DEMMCA 2021, Belgorod, Russia, October 25-29 / by: (書目-電子資源)

Algorithmics of wireless networks = 19th International Symposium, ALGOWIN 2023, Amsterdam, the Netherlands, September 7-8, 2023 : revised selected papers / by: (書目-電子資源)

Walcom = algorithms and computation : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022 : proceedings / by: (書目-電子資源)

Handbook of satisfiability by: (書目-電子資源)