Lecture notes in computer science, Advanced research in computing and software science
Resource Information
The series Lecture notes in computer science, Advanced research in computing and software science represents a set of related resources, especially of a specified kind, found in University of Missouri Libraries.
The Resource
Lecture notes in computer science, Advanced research in computing and software science
Resource Information
The series Lecture notes in computer science, Advanced research in computing and software science represents a set of related resources, especially of a specified kind, found in University of Missouri Libraries.
- Label
- Lecture notes in computer science, Advanced research in computing and software science
- Title part
- Advanced research in computing and software science
20 Items in the Series Lecture notes in computer science, Advanced research in computing and software science
Context
Context of Lecture notes in computer science, Advanced research in computing and software scienceMembers
- Algorithms -- ESA 2012 : 20th annual European symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings
- Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings. Part I
- Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings. Part I
- Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings
- Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
- Foundations of software science and computational structures : 15th International Conference, FOSSACS 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
- Fundamental approaches to software engineering : 21st International Conference, FASE 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
- Graph-theoretic concepts in computer science : 36th international workshop, WG 2010, Zaros, Crete, Greece, June 28-30, 2010 : revised Papers
- Internet and network economics : 5th international workshop, WINE 2009, Rome, Italy, December 14-18, 2009 : proceedings
- Internet and network economics : 6th international workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
- Principles of security and trust : 7th International Conference, POST 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
- Principles of security and trust : second international conference, POST 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 : 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 : 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
- Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : proceedings
- Static analysis : 19th international symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings
- Tools and algorithms for the construction and analysis of systems : 16th international conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings
- Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
- Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings
Embed (Experimental)
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/e-JiaLIGHQs/" typeof="Series http://bibfra.me/vocab/lite/Series"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/e-JiaLIGHQs/">Lecture notes in computer science, Advanced research in computing and software science</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 Series Lecture notes in computer science, Advanced research in computing and software science
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/e-JiaLIGHQs/" typeof="Series http://bibfra.me/vocab/lite/Series"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/e-JiaLIGHQs/">Lecture notes in computer science, Advanced research in computing and software science</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>
