Computer programming - Congresses.

Term Rewriting and Applications (vol. # 4098)17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings / by: (書目-電子資源)

Static Analysis (vol. # 4134)13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, 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: (書目-電子資源)

Global ComputingIST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers / by: (書目-電子資源)

Programming Multi-Agent SystemsSecond International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers / by: (書目-電子資源)

Machines, Computations, and Universality4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / by: (書目-電子資源)

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

Communicating Sequential Processes. The First 25 YearsSymposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / by: (書目-電子資源)

Automata, Languages and Programming32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by: (書目-電子資源)

Unconventional Programming ParadigmsInternational Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

Static Analysis12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / by: (書目-電子資源)

Static Analysis15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / by: (書目-電子資源)

Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / by: (書目-電子資源)

Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (書目-電子資源)

Mathematics of Program Construction9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / by: (書目-電子資源)

Mathematical Foundations of Computer Science 200833rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings / by: (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 20085th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers / by: (書目-電子資源)

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

Automata, languages and programming30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings / by: (書目-電子資源)

Global computingprogramming environments, languages, security, and analysis of systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers / by: (書目-電子資源)

Perspectives of system informatics5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 ; revised papers / by: (書目-電子資源)

Programming languages and systems12th 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 applications14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings / by: (書目-電子資源)

Static analysis10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / by: (書目-電子資源)

Types for proofs and programsinternational workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers / by: (書目-電子資源)

Mathematics of program construction7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / by: (書目-電子資源)

Programming languages and systems13th 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 systemsfirst international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers / by: (書目-電子資源)

Rewriting techniques and applications15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings / by: (書目-電子資源)

Static analysis11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / by: (書目-電子資源)

Automata, languages and programming31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings / by: (書目-電子資源)

Types for proofs and programsinternational workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers / by: (書目-電子資源)

Rewriting techniques and applications20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings / by: (書目-電子資源)

Types for proofs and programsInternational Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / by: (書目-電子資源)

Proof technology and computation by: (書目-電子資源)

Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part I / by: (書目-電子資源)

Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part II / by: (書目-電子資源)

Programming Multi-Agent Systems6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008 : Revised Invited and Selected Papers / by: (書目-電子資源)

Static analysis16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 20096th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 200934th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings / by: (書目-電子資源)

Software and data technologiesThird International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers / by: (書目-電子資源)

Middleware 2009ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings / by: (書目-電子資源)

Programming languages and systems7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings / by: (書目-電子資源)

Perspectives of systems informatics7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / by: (書目-電子資源)

Programming languages and systems19th 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 programming24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings / by: (書目-電子資源)

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

Rewriting techniques and applications8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings / by: (書目-電子資源)

Static analysis4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / by: (書目-電子資源)

Automata, languages, and programming25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings / by: (書目-電子資源)

Mathematics of program construction4th international conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings / by: (書目-電子資源)

Programming languages and systems7th 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 applications9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998 : proceedings / by: (書目-電子資源)

Static analysis5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings / by: (書目-電子資源)

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

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

Static analysis6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / by: (書目-電子資源)

Types for proofs and programsinternational workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / by: (書目-電子資源)

Mathematics of program construction5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings / by: (書目-電子資源)

Programming languages and systems9th 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 applications11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / by: (書目-電子資源)

Semantics, applications, and implementation of program generationInternational Workshop, SAIG 2000, Montreal,Canada, September 20, 2000 : proceedings / by: (書目-電子資源)

Static analysis7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings/ by: (書目-電子資源)

Types for proofs and programsinternational workshop, TYPES '99, Lokeberg, Sweden, June 12-16, 1999 : selected papers / by: (書目-電子資源)

Automata, languages and programming28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings / by: (書目-電子資源)

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

Rewriting techniques and applications12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / by: (書目-電子資源)

Semantics, applications, and implementation of program generationsecond international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / by: (書目-電子資源)

Static analysis8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / by: (書目-電子資源)

Algebraic and coalgebraic methods in the mathematics of program constructioninternational summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures / by: (書目-電子資源)

Mathematics of program construction6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / by: (書目-電子資源)

Programming languages and systems11th 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 applications13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings / by: (書目-電子資源)

Static analysis9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / by: (書目-電子資源)

Trends in network and pervasive computing-ARCS 2002International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002 : proceedings / by: (書目-電子資源)

Types for proofs and programsInternational Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / by: (書目-電子資源)

Software composition9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (書目-電子資源)

Software engineering research, management and applications 2010 by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 20107th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings / by: (書目-電子資源)

Unifying theories of programmingSecond International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers / by: (書目-電子資源)

Middleware 2010ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010, proceedings / by: (書目-電子資源)

Unifying theories of programmingThird International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, proceedings / by: (書目-電子資源)

Software language engineeringthird international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers / by: (書目-電子資源)

Programming languages and systems20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings / by: (書目-電子資源)

Software and data technologies4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers / by: (書目-電子資源)

Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part II / by: (書目-電子資源)

Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part I / by: (書目-電子資源)

Static analysis18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings / by: (書目-電子資源)

Computer technology and computer programminga text book of computer science / by: (書目-電子資源)

Programming multi-agent systems8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / by: (書目-電子資源)

Automata, languages, and programming39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.Part II / by: (書目-電子資源)

Automata, languages, and programming39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.Part I / by: (書目-電子資源)

Mathematical foundations of computer science 201237th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Static analysis19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings / by: (書目-電子資源)

Hello world! :computer programming for kids and other beginners / by: (書目-語言資料,印刷品)

Proceedings of the eighteenth annual ACM-SIAM symposium on discrete algorithms by: (書目-電子資源)

Proceedings of the nineteenth annual ACM-SIAM symposium on discrete algorithms by: (書目-電子資源)

Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms by: (書目-電子資源)

Proceedings of the Twenty-first Annual ACM-SIAM Symposium on Discrete Algorithms by: (書目-電子資源)

Programming languages and systems10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / by: (書目-電子資源)

OpenSHMEM and related technologiesexperiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings / by: (書目-電子資源)

Programming languages and systems23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (書目-電子資源)

Automata, languages, and programming41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I / by: (書目-電子資源)

Automata, languages, and programming41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part II / by: (書目-電子資源)

Test Your Skills in C by: (書目-電子資源)

Mathematical foundations of computer science 201439th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.Part II / by: (書目-電子資源)

Mathematical foundations of computer science 201439th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.part I / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 201411th International Colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings / by: (書目-語言資料,印刷品)

Static analysis21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : proceedings / by: (書目-電子資源)

Unifying theories of programming5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers / by: (書目-電子資源)

Programming languages and systems24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings / by: (書目-電子資源)

Coordination models and languages17th IFIP WG 6.1 International Conference, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015 : proceedings / by: (書目-電子資源)

Automata, languages, and programming42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part II / by: (書目-電子資源)

Automata, languages, and programming42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part I / by: (書目-電子資源)

Static analysis22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings / by: (書目-電子資源)

OpenSHMEM and related technologiesexperiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015 : revised selected papers / by: (書目-電子資源)

Programming languages and systems13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings / by: (書目-電子資源)

Programming languages and systems25th European Symposium on Programming, ESOP 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / by: (書目-電子資源)

Coordination models and languages18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings / by: (書目-電子資源)

Static analysis23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings / by: (書目-電子資源)

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

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

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

Cracking the coding interview :189 programming questions and solutions / by: (書目-語言資料,印刷品)

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

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

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

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

Bad programming practices 101become a better coder by learning how (not) to program / by: (書目-電子資源)

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

Rules and reasoningsecond International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018 : proceedings / by: (書目-電子資源)

Static analysis25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings / by: (書目-電子資源)

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

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

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

Coordination models and languages19th 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 systems26th 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 reasoningthird International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings / by: (書目-電子資源)

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

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

Accelerator programming using directives4th International Workshop, WACCPD 2017, held in conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017 : proceedings / by: (書目-電子資源)

Coordination models and languages20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings / by: (書目-電子資源)

Programming languages and systems16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018 : proceedings / by: (書目-電子資源)

Programming languages and systems17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

Introduction to Python for kidsLearn Python the fun way by completing activities and solving puzzles / by: (書目-電子資源)

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

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

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

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

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

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

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

Introduction to algorithms / by: (書目-語言資料,印刷品)

Programming languages and systems32nd 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 programmingrevised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany / by: (書目-電子資源)

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

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

Coordination models and languages26th IFIP WG 6.1 International Conference, COORDINATION 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024 : proceedings / by: (書目-電子資源)