Computer programming - Congresses.

Programming languages and systems = 20th 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 technologies = 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers / by: (書目-電子資源)

Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / 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: (書目-電子資源)

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

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

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

Generative and transformational techniques in software engineering IV : = international summer school, GTTSE 2011, Braga, Portugal, July 3-9, 2011 : revised papers / by: (書目-語言資料,印刷品)

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

Programming languages and systems = 23rd 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 programming = 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.. Part I / by: (書目-電子資源)

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

Theoretical aspects of computing - ICTAC 2014 = 11th International Colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings / by: (書目-電子資源)

Static analysis = 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : proceedings / by: (書目-電子資源)

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

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

Programming languages and systems = 24th 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 languages = 17th 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 programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Automata, languages, and programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.. Part I / by: (書目-語言資料,印刷品)

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

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

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

Programming languages and systems = 25th 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 languages = 18th 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 analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings / by: (書目-電子資源)

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

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

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