Computer programming - Congresses.

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

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

Software and data technologies = 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Global Computing = IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Unconventional Programming Paradigms = International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and 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 = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / by: (書目-語言資料,印刷品)

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

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (書目-語言資料,印刷品)

Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings / by: (書目-語言資料,印刷品)

Middleware 2009 = ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings / by: (書目-語言資料,印刷品)

Software and data technologies = Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings / by: (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (書目-語言資料,印刷品)

Mathematical foundations of computer science 2009 = 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : 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: (書目-語言資料,印刷品)

Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings / by: (書目-語言資料,印刷品)

Professional WPF programming : = NET development with the Windows Presentation Foundation / 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: (書目-語言資料,印刷品)

Unifying theories of programming = 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers / 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 = 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013 : proceedings / by: (書目-語言資料,印刷品)

Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2013 = 10th international colloquium, Shanghai, China, September 4-6, 2013 : proceedings / by: (書目-語言資料,印刷品)

Unifying theories of programming and formal engineering methods = International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013 : advanced lectures / by: (書目-語言資料,印刷品)

Mathematical Foundations of Computer Science 2013 = 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / 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: (書目-語言資料,印刷品)

Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Programming languages and systems = 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013 : proceedings / by: (書目-語言資料,印刷品)

Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / 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: (書目-語言資料,印刷品)

Perspectives of system informatics = 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 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: (書目-語言資料,印刷品)

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

Mathematics of program construction = 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 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: (書目-語言資料,印刷品)

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

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

Computer technology and computer programming : = new research and strategies / 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: (書目-語言資料,印刷品)

Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers / 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: (書目-語言資料,印刷品)

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

Learn to code with games / by: (書目-語言資料,印刷品)

Learn Python 3 the hard way : = a very simple introduction to the terrifyingly beautiful world of computers and code / by: (書目-語言資料,印刷品)

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

Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings / 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 = 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: (書目-語言資料,印刷品)

Rules and reasoning = second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : 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: (書目-語言資料,印刷品)

Unifying theories of programming = 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

C++ all-in-one for dummies / 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: (書目-語言資料,印刷品)

Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings / by: (書目-語言資料,印刷品)