Computer programming - Congresses.

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

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

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

Programming languages and systems = 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : proceedings / 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: (書目-電子資源)

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

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

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

Windows驅動程式設計指南 / by: (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2010 = 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings / by: (書目-語言資料,印刷品)

Unifying theories of programming = Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers / by: (書目-語言資料,印刷品)

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

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

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 Twenty-first Annual ACM-SIAM Symposium on Discrete Algorithms by: (書目-電子資源)

Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms 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: (書目-電子資源)

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

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

Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers / 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: (書目-電子資源)

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

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

Programming languages and systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 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: (書目-電子資源)