Computer programming - Congresses.
Overview
| Works: | 95 works in 44 publications in 44 languages | |
|---|---|---|
Titles
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(Language materials, printed)
Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms.
by:
(Language materials, printed)
Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms.
by:
(Language materials, printed)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(Language materials, printed)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
(Language materials, printed)
Programming Multi-Agent Systems = Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers /
by:
(Language materials, printed)
Machines, Computations, and Universality = 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
(Language materials, printed)
Software language engineering = third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Software and data technologies = 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers /
by:
(Language materials, printed)
Global Computing = IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Unconventional Programming Paradigms = International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings /
by:
(Language materials, printed)
Middleware 2009 = ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(Language materials, printed)
Software and data technologies = Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers /
by:
(Language materials, printed)
Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings /
by:
(Language materials, printed)
Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
(Language materials, printed)
Mathematical foundations of computer science 2009 = 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings /
by:
(Language materials, printed)
Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(Language materials, printed)
OpenSHMEM and related technologies = experiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015 : revised selected papers /
by:
(Language materials, printed)
Programming languages and systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
by:
(Language materials, printed)
Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
(Language materials, printed)
Professional WPF programming : = NET development with the Windows Presentation Foundation /
by:
(Language materials, printed)
Proceedings of the eighteenth annual ACM-SIAM symposium on discrete algorithms
by:
(Language materials, printed)
Proceedings of the nineteenth annual ACM-SIAM symposium on discrete algorithms
by:
(Language materials, printed)
Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
by:
(Language materials, printed)
Proceedings of the Twenty-first Annual ACM-SIAM Symposium on Discrete Algorithms
by:
(Language materials, printed)
Unifying theories of programming = 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers /
by:
(Language materials, printed)
Generative and transformational techniques in software engineering IV = International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011 : revised papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Static analysis = 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013 : proceedings /
by:
(Language materials, printed)
Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part I /
by:
(Language materials, printed)
Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part II /
by:
(Language materials, printed)
Theoretical aspects of computing - ICTAC 2013 = 10th international colloquium, Shanghai, China, September 4-6, 2013 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Mathematical Foundations of Computer Science 2013 = 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings /
by:
(Language materials, printed)
Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part II /
by:
(Language materials, printed)
Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part I /
by:
(Language materials, printed)
Programming languages and systems = 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013 : proceedings /
by:
(Language materials, printed)
Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
by:
(Language materials, printed)
Automata, languages and programming = 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Perspectives of system informatics = 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 ; revised papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Rewriting techniques and applications = 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings /
by:
(Language materials, printed)
Static analysis = 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings /
by:
(Language materials, printed)
Types for proofs and programs = international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers /
by:
(Language materials, printed)
Rewriting techniques and applications = 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings /
by:
(Language materials, printed)
Mathematics of program construction = 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Programming multi-agent systems = first international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers /
by:
(Language materials, printed)
Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
(Language materials, printed)
Automata, languages and programming = 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings /
by:
(Language materials, printed)
Types for proofs and programs = international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Computer technology and computer programming : = new research and strategies /
by:
(Language materials, printed)
OpenSHMEM and related technologies = experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Static analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings /
by:
(Language materials, printed)
OpenSHMEM and related technologies = enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016 : revised selected papers /
by:
(Language materials, printed)
Learn Python 3 the hard way : = a very simple introduction to the terrifyingly beautiful world of computers and code /
by:
(Language materials, printed)
Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings /
by:
(Language materials, printed)
Scaling OpenMP for exascale performance and portability = 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings /
by:
(Language materials, printed)
Static analysis = 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Rules and reasoning = second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018 : proceedings /
by:
(Language materials, printed)
Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Unifying theories of programming = 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings /
by:
(Language materials, printed)
Show more
Fewer
Subjects