Computer programming - Congresses.

Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers / by: (書目-語言資料,印刷品)

Perspectives of system informatics = 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 ; revised papers / by: (書目-語言資料,印刷品)

Automata, languages, and programming = 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 30th European Symposium on Programming, ESOP 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings / by: (書目-電子資源)

Programming languages and systems = 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / by: (書目-電子資源)

Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings / by: (書目-電子資源)

Coordination models and languages = 25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings / by: (書目-電子資源)

Mathematics of program construction = 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / by: (書目-語言資料,印刷品)

Programming Multi-Agent Systems = Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers / by: (書目-語言資料,印刷品)

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

Communicating Sequential Processes. The First 25 Years = Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings / by: (書目-語言資料,印刷品)

Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (書目-語言資料,印刷品)

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

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

Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-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: (書目-語言資料,印刷品)

Programming languages and systems = 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings/ by: (書目-語言資料,印刷品)

Mathematics of program construction = 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / by: (書目-語言資料,印刷品)

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

Global computing = programming environments, languages, security, and analysis of systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers / by: (書目-語言資料,印刷品)

Programming languages and systems = 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / by: (書目-語言資料,印刷品)

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

Static analysis = 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / by: (書目-語言資料,印刷品)

Types for proofs and programs = international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers / by: (書目-語言資料,印刷品)

Programming languages and systems = 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / by: (書目-語言資料,印刷品)

Programming multi-agent systems = first international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers / by: (書目-語言資料,印刷品)

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

Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / by: (書目-語言資料,印刷品)

Automata, languages and programming = 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings / by: (書目-語言資料,印刷品)

Types for proofs and programs = international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers / by: (書目-語言資料,印刷品)

Proof technology and computation by: (書目-語言資料,印刷品)

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

Perspectives of systems informatics = 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / by: (書目-語言資料,印刷品)

Programming languages and systems = 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / by: (書目-語言資料,印刷品)

Automata, languages, and programming = 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings / by: (書目-語言資料,印刷品)

Programming languages = implementations, logics, and programs : 9th international symposium, PLILP'97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / by: (書目-語言資料,印刷品)

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

Mathematics of program construction = 4th international conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings / by: (書目-語言資料,印刷品)

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

Programming languages and systems = 7th European Symposium on Programming, ESOP'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / by: (書目-語言資料,印刷品)

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

Mathematics of program construction = 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / by: (書目-語言資料,印刷品)

Types for proofs and programs = international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / by: (書目-語言資料,印刷品)

Programming languages and systems = 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / by: (書目-語言資料,印刷品)

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

Semantics, applications, and implementation of program generation = International Workshop, SAIG 2000, Montreal,Canada, September 20, 2000 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings/ by: (書目-語言資料,印刷品)

Types for proofs and programs = international workshop, TYPES '99, Lokeberg, Sweden, June 12-16, 1999 : selected papers / by: (書目-語言資料,印刷品)

Automata, languages and programming = 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings/ by: (書目-語言資料,印刷品)

Semantics, applications, and implementation of program generation = second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / by: (書目-語言資料,印刷品)

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

Static analysis = 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / by: (書目-語言資料,印刷品)

Algebraic and coalgebraic methods in the mathematics of program construction = international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures / by: (書目-語言資料,印刷品)

Mathematics of program construction = 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / by: (書目-語言資料,印刷品)

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

Static analysis = 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / by: (書目-語言資料,印刷品)

Trends in network and pervasive computing-ARCS 2002 = International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002 : proceedings / by: (書目-語言資料,印刷品)

Types for proofs and programs = International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / by: (書目-語言資料,印刷品)

Software composition = 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (書目-語言資料,印刷品)

Software engineering research, management and applications 2010 by: (書目-語言資料,印刷品)

Programming languages and systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings / by: (書目-電子資源)

OpenSHMEM and related technologies = enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016 : revised selected papers / by: (書目-電子資源)

Unifying theories of programming = 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers / by: (書目-電子資源)

Scaling OpenMP for exascale performance and portability = 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings / by: (書目-電子資源)

Static analysis = 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017 : proceedings / by: (書目-電子資源)

Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings / by: (書目-電子資源)

OpenSHMEM and related technologies = big compute and big data convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017 : revised selected papers / by: (書目-電子資源)

Programming languages and systems = 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (書目-電子資源)

Accelerator programming using Directives = 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018 : proceedings / by: (書目-電子資源)

OpenSHMEM and related technologies = OpenSHMEM in the era of extreme heterogeneity : 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018 : revised selected papers / by: (書目-電子資源)

Programming languages and systems = 28th European Symposium on Programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / by: (書目-電子資源)

Coordination models and languages = 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings / by: (書目-電子資源)

Programming languages and systems = 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / by: (書目-電子資源)

Rules and reasoning = third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings / by: (書目-電子資源)

Unifying theories of programming = 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings / by: (書目-電子資源)

學生提問與教材存取對程式設計學習的影響 = = Effect of student-generated questions and learning material interacting on programming learning / by: (書目-語言資料,印刷品)

Open source systems = 16th IFIP WG 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12-14, 2020 : proceedings / by: (書目-電子資源)

Programming languages and systems = 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings / by: (書目-電子資源)

Static analysis = 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019 : proceedings / by: (書目-電子資源)

Perspectives of system informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019 : revised selected papers / by: (書目-電子資源)

Accelerator programming using directives = 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019 : revised selected papers / by: (書目-電子資源)

Open source systems = 17th IFIP WG 2.13 International Conference, OSS 2021, virtual event, May 12-13, 2021 : proceedings / by: (書目-電子資源)

Accelerator programming using directives = 7th International Workshop, WACCPD 2020, virtual event, November 20, 2020 : proceedings / by: (書目-電子資源)

Fuzzy-logic-based programming / by: (書目-語言資料,印刷品)

Programming languages and systems = 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021 : proceedings / by: (書目-電子資源)

Static analysis = 28th international symposium, SAS 2021,Chicago, IL, USA : proceedings / by: (書目-電子資源)

Programming languages and systems = 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020 : proceedings / by: (書目-電子資源)

Static analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020 : proceedings / by: (書目-電子資源)

Accelerator programming using directives = 8th international workshop, WACCPD 2021, virtual event, November 14, 2021 : proceedings / by: (書目-電子資源)

OpenSHMEM and related technologies = OpenSHMEM in the era of exascale and smart networks : 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, virtual event, September 14-16, 2021 : revised selected papers / by: (書目-電子資源)

Mathematics of program construction = 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022 : proceedings / by: (書目-電子資源)

Static analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022 : proceedings / by: (書目-電子資源)

Programming languages and systems = 32nd European Symposium on programming, Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings / by: (書目-電子資源)

Concurrency, specification and programming = revised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany / by: (書目-電子資源)