Computer programming - Congresses.
Overview
| Works: | 187 works in 82 publications in 82 languages | |
|---|---|---|
Titles
Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms.
by:
(Language materials, printed)
Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms.
by:
(Language materials, printed)
Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms.
by:
(Language materials, printed)
Programming languages and systems17th 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:
(Electronic resources)
Types for Proofs and ProgramsInternational Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
by:
(Electronic resources)
Programming Multi-Agent Systems (vol. # 3862)Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers /
by:
(Electronic resources)
Programming Languages and Systems (vol. # 3924)15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /
by:
(Electronic resources)
Unifying Theories of ProgrammingFirst International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers /
by:
(Electronic resources)
Mathematics of Program Construction8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /
by:
(Electronic resources)
Automata, Languages and Programming (vol. # 4051)33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.Part I /
by:
(Electronic resources)
Term Rewriting and Applications (vol. # 4098)17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /
by:
(Electronic resources)
Static Analysis (vol. # 4134)13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings /
by:
(Electronic resources)
Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms.
by:
(Electronic resources)
Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms.
by:
(Electronic resources)
Global ComputingIST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers /
by:
(Electronic resources)
Programming Multi-Agent SystemsSecond International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers /
by:
(Electronic resources)
Machines, Computations, and Universality4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Automata, Languages and Programming32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
by:
(Electronic resources)
Unconventional Programming ParadigmsInternational Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers /
by:
(Electronic resources)
Static Analysis12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(Electronic resources)
Static Analysis15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(Electronic resources)
Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I /
by:
(Electronic resources)
Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(Electronic resources)
Mathematics of Program Construction9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
by:
(Electronic resources)
Mathematical Foundations of Computer Science 200833rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings /
by:
(Electronic resources)
Theoretical Aspects of Computing - ICTAC 20085th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Automata, languages and programming30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings /
by:
(Electronic resources)
Global computingprogramming environments, languages, security, and analysis of systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers /
by:
(Electronic resources)
Perspectives of system informatics5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 ; revised papers /
by:
(Electronic resources)
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:
(Electronic resources)
Rewriting techniques and applications14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings /
by:
(Electronic resources)
Static analysis10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings /
by:
(Electronic resources)
Types for proofs and programsinternational workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers /
by:
(Electronic resources)
Mathematics of program construction7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Programming multi-agent systemsfirst international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers /
by:
(Electronic resources)
Rewriting techniques and applications15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings /
by:
(Electronic resources)
Static analysis11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
(Electronic resources)
Automata, languages and programming31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings /
by:
(Electronic resources)
Types for proofs and programsinternational workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
by:
(Electronic resources)
Rewriting techniques and applications20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings /
by:
(Electronic resources)
Types for proofs and programsInternational Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
by:
(Electronic resources)
Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part I /
by:
(Electronic resources)
Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part II /
by:
(Electronic resources)
Programming Multi-Agent Systems6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008 : Revised Invited and Selected Papers /
by:
(Electronic resources)
Static analysis16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 20096th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
(Electronic resources)
Mathematical foundations of computer science 200934th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings /
by:
(Electronic resources)
Software and data technologiesThird International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers /
by:
(Electronic resources)
Middleware 2009ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings /
by:
(Electronic resources)
Programming languages and systems7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(Electronic resources)
Perspectives of systems informatics7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers /
by:
(Electronic resources)
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:
(Electronic resources)
Automata, languages, and programming24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Rewriting techniques and applications8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings /
by:
(Electronic resources)
Static analysis4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings /
by:
(Electronic resources)
Automata, languages, and programming25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings /
by:
(Electronic resources)
Mathematics of program construction4th international conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Rewriting techniques and applications9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998 : proceedings /
by:
(Electronic resources)
Static analysis5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Rewriting techniques and applications10th international conference, RTA-99, Trento, Italy, July 1999 : proceedings /
by:
(Electronic resources)
Static analysis6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings /
by:
(Electronic resources)
Types for proofs and programsinternational workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers /
by:
(Electronic resources)
Mathematics of program construction5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Rewriting techniques and applications11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings /
by:
(Electronic resources)
Semantics, applications, and implementation of program generationInternational Workshop, SAIG 2000, Montreal,Canada, September 20, 2000 : proceedings /
by:
(Electronic resources)
Static analysis7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings/
by:
(Electronic resources)
Types for proofs and programsinternational workshop, TYPES '99, Lokeberg, Sweden, June 12-16, 1999 : selected papers /
by:
(Electronic resources)
Automata, languages and programming28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Rewriting techniques and applications12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings /
by:
(Electronic resources)
Semantics, applications, and implementation of program generationsecond international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings /
by:
(Electronic resources)
Static analysis8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings /
by:
(Electronic resources)
Algebraic and coalgebraic methods in the mathematics of program constructioninternational summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures /
by:
(Electronic resources)
Mathematics of program construction6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Rewriting techniques and applications13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
by:
(Electronic resources)
Static analysis9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings /
by:
(Electronic resources)
Trends in network and pervasive computing-ARCS 2002International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002 : proceedings /
by:
(Electronic resources)
Types for proofs and programsInternational Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /
by:
(Electronic resources)
Software composition9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 20107th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings /
by:
(Electronic resources)
Unifying theories of programmingSecond International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers /
by:
(Electronic resources)
Middleware 2010ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010, proceedings /
by:
(Electronic resources)
Unifying theories of programmingThird International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, proceedings /
by:
(Electronic resources)
Software language engineeringthird international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Software and data technologies4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers /
by:
(Electronic resources)
Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part II /
by:
(Electronic resources)
Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part I /
by:
(Electronic resources)
Static analysis18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(Electronic resources)
Computer technology and computer programminga text book of computer science /
by:
(Electronic resources)
Programming multi-agent systems8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
by:
(Electronic resources)
Automata, languages, and programming39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.Part II /
by:
(Electronic resources)
Automata, languages, and programming39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.Part I /
by:
(Electronic resources)
Mathematical foundations of computer science 201237th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings /
by:
(Electronic resources)
Static analysis19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
by:
(Electronic resources)
Proceedings of the eighteenth annual ACM-SIAM symposium on discrete algorithms
by:
(Electronic resources)
Proceedings of the nineteenth annual ACM-SIAM symposium on discrete algorithms
by:
(Electronic resources)
Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
by:
(Electronic resources)
Proceedings of the Twenty-first Annual ACM-SIAM Symposium on Discrete Algorithms
by:
(Electronic resources)
Programming languages and systems10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(Electronic resources)
OpenSHMEM and related technologiesexperiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Automata, languages, and programming41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I /
by:
(Electronic resources)
Automata, languages, and programming41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part II /
by:
(Electronic resources)
Mathematical foundations of computer science 201439th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.Part II /
by:
(Electronic resources)
Mathematical foundations of computer science 201439th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.part I /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 201411th International Colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings /
by:
(Language materials, printed)
Static analysis21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : proceedings /
by:
(Language materials, printed)
Programming languages and systems12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : proceedings /
by:
(Electronic resources)
Unifying theories of programming5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Automata, languages, and programming42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part II /
by:
(Electronic resources)
Automata, languages, and programming42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part I /
by:
(Electronic resources)
Static analysis22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
(Electronic resources)
OpenSHMEM and related technologiesexperiences, implementations, and technologies : second workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Static analysis23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings /
by:
(Electronic resources)
Programming languages and systems14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings /
by:
(Electronic resources)
OpenSHMEM and related technologiesenhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016 : revised selected papers /
by:
(Electronic resources)
Unifying theories of programming6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers /
by:
(Electronic resources)
Cracking the coding interview :189 programming questions and solutions /
by:
(Language materials, printed)
Scaling OpenMP for exascale performance and portability13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings /
by:
(Electronic resources)
Static analysis24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017 : proceedings /
by:
(Electronic resources)
Programming languages and systems15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings /
by:
(Electronic resources)
OpenSHMEM and related technologiesbig compute and big data convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017 : revised selected papers /
by:
(Electronic resources)
Bad programming practices 101become a better coder by learning how (not) to program /
by:
(Electronic resources)
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:
(Electronic resources)
Rules and reasoningsecond International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018 : proceedings /
by:
(Electronic resources)
Static analysis25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Accelerator programming using Directives5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Rules and reasoningthird International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Static analysis26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019 : proceedings /
by:
(Electronic resources)
Programming languages and systems16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018 : proceedings /
by:
(Electronic resources)
Programming languages and systems17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019 : proceedings /
by:
(Electronic resources)
Perspectives of system informatics12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019 : revised selected papers /
by:
(Electronic resources)
Open source systems16th IFIP WG 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12-14, 2020 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Accelerator programming using directives6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020 : proceedings /
by:
(Electronic resources)
Static analysis27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020 : proceedings /
by:
(Electronic resources)
Open source systems17th IFIP WG 2.13 International Conference, OSS 2021, virtual event, May 12-13, 2021 : proceedings /
by:
(Electronic resources)
Accelerator programming using directives7th International Workshop, WACCPD 2020, virtual event, November 20, 2020 : proceedings /
by:
(Electronic resources)
Introduction to Python for kidsLearn Python the fun way by completing activities and solving puzzles /
by:
(Electronic resources)
Programming languages and systems19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021 : proceedings /
by:
(Electronic resources)
Static analysis28th international symposium, SAS 2021,Chicago, IL, USA : proceedings /
by:
(Electronic resources)
Accelerator programming using directives8th international workshop, WACCPD 2021, virtual event, November 14, 2021 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Mathematics of program construction14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022 : proceedings /
by:
(Electronic resources)
Static analysis29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Concurrency, specification and programmingrevised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany /
by:
(Electronic resources)
Static analysis30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings /
by:
(Electronic resources)
Programming languages and systems34th European Symposium on Programming, ESOP 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.Part I /
by:
(Electronic resources)
Programming languages and systems34th European Symposium on Programming, ESOP 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.Part II /
by:
(Electronic resources)
Static analysis31st International Symposium, SAS 2024, Pasadena, CA, USA October 20-22, 2024 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects