Computer programming
Resource Information
The concept Computer programming represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Computer programming
Resource Information
The concept Computer programming represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Computer programming
- Source
- fast
247 Items that share the Concept Computer programming
Context
Context of Computer programmingSubject of
No resources found
No enriched resources found
- A connotational theory of program structure
- A primer on scientific programming with Python
- A primer on scientific programming with Python
- A relational theory of computing
- A science of operations : machines, logic and the invention of programming
- Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
- Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
- Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
- Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986
- Advances in web semantics I : ontologies, web services and applied semantic web
- Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
- Algorithms and programming : problems and solutions
- Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
- An introduction to modern mathematical computing : with Maple
- Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I
- Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings
- Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings
- Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings
- Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings
- Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
- Automata, languages and programming : 30th international colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings
- Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings
- Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedings
- Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings
- Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings
- Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings, Part I
- Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings, Part I
- Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings, Part II
- Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
- Automata, languages and programming : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings
- Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I
- Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
- Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984
- Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985
- Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings
- Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings
- Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
- Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
- Automata, languages, and programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
- Automata, languages, and programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
- Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, proceedings, Part I
- Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, proceedings, Part II
- Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
- Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
- Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980
- CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
- Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings
- Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
- Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
- Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
- Code generation with templates
- Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers
- Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday
- Constraints in Computational Logics : Proceedings of the First International Conference, CCL '94, Munich, Germany, September 7-9, 1994
- Distributed programming : theory and practice
- ECOOP '87 : European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987 : proceedings
- ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings
- End user development
- Esop 86 : European Symposium on Programming, Saarbrucken, Federal Republic of Germany, March 17-19, 1986 Proceedings
- First-order dynamic logic
- Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings
- Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
- Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings
- Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
- GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20.-22.3.1974
- Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised papers
- Global computing : IST/FET international workshop, GC 2004, Rovereto, Italy, March 9-12, 2004 : revised selected papers
- Global computing : programming environments, languages, security, and analysis of systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers
- Graph-theoretic concepts in computer science : 33rd international workshop, WG 2007, Dornburg, Germany, June 21-23, 2007 : revised papers
- Guide to programming and algorithms using R
- Higher-order and symbolic computation
- Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
- Instruction sequences for computer science
- Intel® Xeon Phi coprocessor architecture and tools : the guide for application developers
- Interacting code motion transformations : their impact and their complexity
- International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings
- International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
- International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982
- International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972]
- Introduction to reliable and secure distributed programming
- Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979
- Language hierarchies and interfaces : international summer school
- Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
- Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
- Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers
- Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers
- Logics of Programs : Workshop, Yorktown Heights, New York, May 1981
- Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
- Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980
- MATLAB : a practical introduction to programming and problem solving
- MATLAB : a practical introduction to programming and problem solving
- Machines, computations, and universality : 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004 ; revised selected papers
- Machines, computations, and universality : 5th international conference, MCU 2007, Orleans, France, September 10-13, 2007 : proceedings
- Mathematical foundations of computer science 2006 : 31st international symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006 ; proceedings
- Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings
- Mathematical foundations of computer science 2008 : 33rd international symposium, MFCS 2008, Torun, Poland, August 25-29, 2008 ; proceedings
- Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings
- Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings
- Mathematical foundations of computer science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
- Mathematical foundations of computer science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I
- Mathematical foundations of computer science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II
- Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976
- Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977
- Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978
- Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979
- Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980
- Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings
- Mathematical foundations of software development
- Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978
- Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
- Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings
- Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings
- Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
- Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
- Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
- Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings
- Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings
- Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
- Matters computational : ideas, algorithms, source code
- Mes premières constructions de programmes
- Meta-programming and model-driven meta-program development : principles, processes and techniques
- Methods of programming : selected papers on the CIP-project
- Middleware 2009 : ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings
- Middleware 2010 : ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29-December 3, 2010 : proceedings
- OpenSHMEM and related technologies : experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings
- Optimal interprocedural program optimization : a new framework and its application
- Patterns, programming and everything
- Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
- Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers
- Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings
- Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers
- Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers
- Practical computing on the cell broadband engine
- Problems and methodologies in mathematical software production : international seminar held at Sorrento, Italy, November 3-8, 1980
- Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday
- Program construction : international summer school
- Programming Languages and Systems : 7th 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
- Programming Languages: Implementations, Logics, and Programs : 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 35, 1997 Proceedings
- Programming Symposium ; : proceedings. Colloque sur la programmation, Paris, April 9-11, 1974
- Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings
- Programming languages and systems : 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, proceedings
- Programming languages and systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
- Programming languages and systems : 11th 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
- Programming languages and systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
- 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
- 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
- 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
- Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 ; proceedings
- Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings
- 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
- 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
- Programming languages and systems : 19th 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
- Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings
- Programming languages and systems : 21st European Symposium on Programming, ESOP 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
- 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
- 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
- Programming languages and systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008 : proceedings
- Programming languages and systems : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings
- Programming languages and systems : 8th 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
- Programming languages and systems : 9th 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
- Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings
- Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974
- Programming multi-agent systems : 4th international workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006 : revised and invited papers
- Programming multi-agent systems : 5th international workshop, ProMAS 2007 Honolulu, Hi, USA, May 15, 2007 ; revised and invited papers
- Programming multi-agent systems : 6th international workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008 : revised, invited, and selected papers
- Programming multi-agent systems : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised selected papers
- Programming multi-agent systems : first international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers
- Programming multi-agent systems : second international workshop, ProMAS 2004, New York, NY, USA, July 20, 2004 : selected revised and invited papers
- Programming multi-agent systems : third international workshop, ProMAS 2005, Utrecht, the Netherlands, July 26, 2005 : revised and invited papers
- RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan
- RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings
- Recent advances in parallel virtual machine and message passing interface : 4th European PVM/MPI Users' Group Meeting, Cracow, Poland, November 3-5, 1997 : proceedings
- Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 24, 1999 Proceedings
- Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
- Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001 : proceedings
- Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
- Rewriting techniques and applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
- Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings
- Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings
- Rewriting techniques and applications : 20th international conference, RTA 2009 Brasília, Brazil, June 29-July 1, 2009 : proceedings
- Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
- Rewriting techniques and applications : 4th International Conference, RTA- 91, Como, Italy, April 10-12, 1991 : proceedings
- Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
- Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings
- Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
- Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
- Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
- Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings
- Rewriting techniques and applications : Dijon, France, May 20-22, 1985
- Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings
- Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings
- Simple program schemes and formal languages
- Software and data technologies : 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers
- Software and data technologies : Second International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers
- Software composition : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 ; proceedings
- Software engineering, 1, Abstraction and modelling
- Software engineering, 2, Specification of systems and languages
- Software engineering, 3, Domains, requirements, and software design
- Software language engineering : third international conference, SLE 2010, Eindhoven, the Netherlands, October 12-13, 2010 : revised selected papers
- Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
- Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
- Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
- Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings
- Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings
- Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings
- Static analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings
- Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : proceedings
- Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings
- Static analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
- Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
- Static analysis : 4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings
- Static analysis : 5th international symposium, SAS '98, Pisa, Italy, September 14-16, 1998 : proceedings
- Static analysis : 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
- Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
- Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings
- Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
- Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
- Term rewriting and application : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings
- Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
- Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
- The Essence of Computation : Complexity, Analysis, Transformation
- The art of artificial evolution : a handbook on evolutionary art and music
- The hacker playbook 3 : practical guide to penetration testing
- The seductive computer : why IT systems always fail
- Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings
- Theoretical aspects of computing -- ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
- Theoretical aspects of computing : 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16-20, 2009
- Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
- Theoretical aspects of computing--ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings
- Theoretical introduction to programming
- Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday
- Theory of program structures : schemes, semantics, verification
- Trends in network and pervasive computing-ARCS 2002 : International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002 : proceedings
- Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
- Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers
- Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers
- Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
- Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers
- Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
- Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers
- Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
- Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers
- Unconventional programming paradigms : international workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004 : revised selected and invited papers
- Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised selected papers
- Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised selected papers
- Unifying theories of programming : second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 : revised selected papers
- Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 : proceedings
- 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
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/MKXvbOmhMMo/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/MKXvbOmhMMo/">Computer programming</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Computer programming
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/MKXvbOmhMMo/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/MKXvbOmhMMo/">Computer programming</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
