Programming languages (Electronic computers) - Congresses.

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: (書目-語言資料,印刷品)

Declarative Agent Languages and Technologies II = Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Languages and Compilers for High Performance Computing = 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers by: (書目-語言資料,印刷品)

Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings by: (書目-語言資料,印刷品)

Proceedings of International Computer Symposium 1978, December 18-20, 1978, Nanking, Taipei, Republic of China. 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: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers by: (書目-語言資料,印刷品)

Database Programming Languages : = 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers 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: (書目-語言資料,印刷品)

Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Declarative agent languages and technologies VI = 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Advances in computing science--ASIAN 2003 = programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : revised papers / by: (書目-語言資料,印刷品)

Modular programming languages = Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 proceedings / 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: (書目-語言資料,印刷品)

Programming languages and systems = first Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings / by: (書目-語言資料,印刷品)

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

Database programming languages = 9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers / by: (書目-語言資料,印刷品)

Declarative agent languages and technologies = first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers / by: (書目-語言資料,印刷品)

Domain-specific program generation = international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers / by: (書目-語言資料,印刷品)

Programming languages and systems = second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings / 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: (書目-語言資料,印刷品)

Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / 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: (書目-語言資料,印刷品)

Analysis and verification of multiple-agent languages = 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 9th international workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996 : proceedings / by: (書目-語言資料,印刷品)

Modular programming languages = Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997 : proceedings / by: (書目-語言資料,印刷品)

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

Database programming languages = 6th international workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 : proceedings / by: (書目-語言資料,印刷品)

Meta-level architectures and reflection = Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : 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: (書目-語言資料,印刷品)

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

Automata, languages and programming = 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : 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: (書目-語言資料,印刷品)

Languages, compilers, and run-time systems for scalable computers = 5th international workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers / by: (書目-語言資料,印刷品)

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

Automata, languages and programming = 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 12th International Workshop, LCPC '99, La Jolla, CA, USA, August 4-6, 1999 ; proceedings / by: (書目-語言資料,印刷品)

Modular programming languages = Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8,2000 : proceedings / by: (書目-語言資料,印刷品)

Research issues in structured and semistructured database programming = 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch, Rannoch, UK, September 1-3, 1999 : revised papers/ by: (書目-語言資料,印刷品)

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

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

Languages and compilers for parallel computing = 13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers / by: (書目-語言資料,印刷品)

Languages, compilers, and tools for embedded systems = ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June18, 2000 : proceedings / by: (書目-語言資料,印刷品)

Metalevel architectures and separation of crosscutting concerns = third international conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 : proceedings / by: (書目-語言資料,印刷品)

Programming languages = 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings / by: (書目-電子資源)

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

Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 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: (書目-電子資源)

Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 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: (書目-電子資源)

OpenMP = portable multi-level parallelism on modern systems : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022 : proceedings / by: (書目-電子資源)

Programming languages and systems = 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022 : proceedings / by: (書目-電子資源)

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

Languages and compilers for parallel computing = 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022 : revised selected papers / by: (書目-電子資源)

Programming languages and systems = 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings / by: (書目-電子資源)

Database programming languages = 8th international workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001 : revised papers / 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: (書目-語言資料,印刷品)

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

Formal methods for quantitative aspects of programming languages = 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / 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: (書目-電子資源)

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: (書目-電子資源)

Software technologies = 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018 : revised selected papers / by: (書目-電子資源)

Software technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019 : revised selected papers / 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: (書目-電子資源)

Languages and compilers for parallel computing = 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019 : revised selected papers / by: (書目-電子資源)

Software technologies = 15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers / by: (書目-電子資源)

Computer safety, reliability, and security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings / by: (書目-電子資源)

OpenMP = conquering the full hardware spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Search-based software engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021 : proceedings / by: (書目-電子資源)

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

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

Languages and compilers for parallel computing = 33rd International Workshop, LCPC 2020, virtual event, October 14-16, 2020 : revised selected papers / by: (書目-電子資源)

Languages and compilers for parallel computing = 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021 : revised selected papers / 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: (書目-電子資源)

Software technologies = 16th International Conference, ICSOFT 2021, virtual event, July 6-8, 2021 : revised selected papers / by: (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2022 Workshops, DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2002 : 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: (書目-電子資源)

Software technologies = 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022 : revised selected papers / by: (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings / by: (書目-電子資源)

Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : 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: (書目-電子資源)