LNCS sublibrary, SL 1, Theoretical computer science and general issues
Resource Information
The series LNCS sublibrary, SL 1, Theoretical computer science and general issues represents a set of related resources, especially of a specified kind, found in University of Missouri-St. Louis Libraries.
The Resource
LNCS sublibrary, SL 1, Theoretical computer science and general issues
Resource Information
The series LNCS sublibrary, SL 1, Theoretical computer science and general issues represents a set of related resources, especially of a specified kind, found in University of Missouri-St. Louis Libraries.
- Label
- LNCS sublibrary, SL 1, Theoretical computer science and general issues
- Title number
- SL 1
- Title part
- Theoretical computer science and general issues
164 Items in the Series LNCS sublibrary, SL 1, Theoretical computer science and general issues
Context
Context of LNCS sublibrary, SL 1, Theoretical computer science and general issuesMembers
No resources found
No enriched resources found
- A pipelined multi-core MIPS machine : hardware implementation and correctness proof
- Abstract state machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
- Advances in grid and pervasive computing : 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings
- Advances in neural networks-- ISNN 2014 : 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28- December 1, 2014 : proceedings
- Advances in swarm intelligence : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I
- Advances in swarm intelligence : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II
- Algebraic and algorithmic aspects of differential and integral operators : 5th International Meeting, AADIOS 2012, held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers
- Algorithm theory-- SWAT 2014 : 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014 : proceedings
- Algorithmic aspects in information and management : 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014. Proceedings
- Algorithms and architectures for parallel processing : 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I
- Algorithms and architectures for parallel processing : 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II
- Algorithms and computation : 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings
- Algorithms and computation : 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings
- Algorithms and models for the web graph : 11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014 : proceedings
- Algorithms-- ESA 2014 : 22nd Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings
- Application and theory of petri nets and concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : proceedings
- Applications of evolutionary computation : 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014 : revised selected papers
- Approximation and online algorithms : 11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised selected papers
- Architecture of computing systems-- ARCS 2014 : 27th International Conference, Lübeck, Germany, February 25-28, 2014 : proceedings
- Artificial evolution : 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers
- Artificial neural networks and machine learning-- ICANN 2014 : 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014. Proceedings
- 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
- Bayesian and grAphical models for biomedical imaging : first International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers
- Biomedical simulation : 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014. Proceedings
- CONCUR 2014-- Concurrency theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
- Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
- Cellular automata : 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings
- Coalgebraic methods in computer science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised selected papers
- Combinatorial optimization : third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised selected papers
- Combinatorial optimization and applications : 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014 : proceedings
- Combinatorial pattern matching : 25th annual symposium, CPM 2014 Moscow, Russia, June 16-18, 2014, proceedings
- Compiler construction : 23rd International Conference, CC 2014, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings
- Compiler construction : 23rd International Conference, CC 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
- Computational linguistics and intelligent text processing : 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I
- Computational linguistics and intelligent text processing : 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II
- Computational logistics : 5th International Conference, ICCL 2014, Valparaiso, Chile, September 24-26, 2014 : proceedings
- Computational science and its applications -- ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30-July 3, 2014, Proceedings, Part I
- Computational science and its applications -- ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30-July 3, 2014, Proceedings, Part II
- Computational science and its applications -- ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30-July 3, 2014, Proceedings, Part III
- Computational science and its applications -- ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30-July 3, 2014, Proceedings, Part IV
- Computational science and its applications -- ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30-July 3, 2014, Proceedings, Part V
- Computational science and its applications -- ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30-July 3, 2014, Proceedings, Part VI
- Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings, Part II
- Computer aided verification : 26th International Conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings
- Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
- Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
- Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings, Part I
- Computer algebra in scientific computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
- Computers and games : 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised selected papers
- Computing and combinatorics : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings
- Computing with new resources : essays dedicated to Jozef Gruska on the occasion of his 80th birthday
- DNA computing and molecular programming : 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
- Descriptional complexity of formal systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings
- Developments in language theory : 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
- Discrete and computational geometry and graphs : 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013 : revised selected papers
- Distributed computing : 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014 : proceedings
- Distributed computing and networking : 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings
- Euro-Par 2013 : Parallel Processing Workshops : BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013. Revised selected papers
- Euro-Par 2014 : Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised selected papers, Part II
- Euro-Par 2014 : parallel processing workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised selected papers, Part I
- Euro-Par 2014 parallel processing : 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings
- Evolutionary and biologically inspired music, sound, art and design : third European conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised selected papers
- Evolutionary computation in combinatorial optimisation : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised selected papers
- Experimental algorithms : 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29-July 1, 2014. Proceedings
- Field-coupled nanocomputing : paradigms, progress, and perspectives
- Formal grammar : 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
- Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings
- Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, 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 computation structures : 22nd International Conference, FOSSACS 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
- From programs to systems - the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings
- Frontiers in algorithmics : 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014. Proceedings
- Fun with algorithms : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings
- Functional and logic programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings
- Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings
- Fundamental approaches to software engineering : 17th International Conference, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, 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
- Fundamental approaches to software engineering : 22nd International Conference, FASE 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
- Genetic programming : 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised selected papers
- Graph drawing : 22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014 : revised selected papers
- Graph transformation : 7th International Conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22-24, 2014. Proceedings
- Graph-theoretic concepts in computer science : 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised selected papers
- High performance computing systems : performance modeling, benchmarking and simulation : 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013 : revised selected papers
- High-performance modelling and simulation for big data applications : selected results of the COST Action IC1406 cHiPSet
- Horizons of the mind : a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday
- Hybrid learning : theory and practice : 7th International Conference, ICHL 2014, Shanghai, China, August 8-10, 2014. Proceedings
- Hybrid metaheuristics : 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014. Proceedings
- Implementation and application of automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30-August 2, 2014. Proceedings
- Informatics in Schools. New Ideas in School Informatics : 12th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2019, Larnaca, Cyprus, November 18-20, 2019, Proceedings
- Informatics in schools : teaching and learning perspectives : 7th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2014, Istanbul, Turkey, September 22-25, 2014. Proceedings
- Integer programming and combinatorial optimization : 17th International Conference, IPCO 2014, Bonn, Germany, June 22-24, 2014 : proceedings
- Integration of AI and OR techniques in constraint programming : 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings
- Interactive theorem proving : 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings
- Job scheduling strategies for parallel processing : 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised selected papers
- LATIN 2014 : theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014, Proceedings
- Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings
- Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings
- Large-scale scientific computing : 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013 : revised selected papers
- Learning and intelligent optimization : 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised selected papers
- Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
- Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
- Logic, language, information, and computation : 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014, proceedings
- Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, revised selected papers
- Logical aspects of computational linguistics : 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. 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 software -- ICMS 2014 : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings
- Membrane computing : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013 : revised selected papers
- Membrane computing : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, revised selected papers
- Membrane computing : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, revised selected papers
- Models in software engineering : workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers
- Network and parallel computing : 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014. Proceedings
- Neural information processing : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part I
- Neural information processing : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II
- Neural information processing : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III
- Parallel problem solving from nature -- PPSN XIII : 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings
- Parallel processing and applied mathematics : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised selected papers, Part I
- Parallel processing and applied mathematics : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised selected papers, Part II
- Parameterized and exact computation : 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014, revised selected papers
- Principles of distributed systems : 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings
- Pristine perspectives on logic, language, and computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions. selected papers
- 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 : 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
- Programming languages and systems : 28th 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
- Quantitative evaluation of systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings
- Quantum interaction : 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected papers
- Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
- Reconfigurable computing : architectures, tools and applications : 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014 : proceedings
- Rewriting and typed Lambda Calculi : joint international conference, RTA-TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
- Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers
- SOFSEM 2014 : theory and practice of computer science : 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings
- Sequences and their applications -- SETA 2014 : 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014 : proceedings
- Simulated evolution and learning : 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014 : proceedings
- Stabilization, safety, and security of distributed systems : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28-October 1, 2014. Proceedings
- Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
- Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : advanced lectures
- String processing and information retrieval : 21st International Symposium, SPIRE 2014, Ouro Preto, Brazil, October 20-22, 2014. Proceedings
- Structural information and communication complexity : 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014. Proceedings
- Structured object-oriented formal language and method : third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013: revised selected papers
- Supercomputing : 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings
- Supercomputing frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
- Swarm Intelligence : 9th International Conference, Ants 2014, Brussels, Belgium, September 10-12, 2014. Proceedings
- Swarm intelligence based optimization : first International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014 : revised selected papers
- Theoretical aspects of computing -- ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
- Theoretical computer science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
- Theory and applications of models of computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings
- Theory and applications of satisfiability testing -- SAT 2014 : 17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
- Theory and practice of natural computing : third international conference, TPNC 2014, Granada, Spain, December 9-11, 2014, proceedings /cAdrian-Horia Dediu, Manuel Lozano, Carlos Martin-Vide (eds)
- Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. 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
- 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 II
- Tools and algorithms for the construction and analysis of systems : 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
- Tools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 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, Part I
- Tools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 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, Part II
- Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
- Trustworthy global computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers
- Trustworthy global computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers
- Trustworthy global computing : 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised selected papers
- Unconventional computation and natural computation : 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings
- Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings
- Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings
- Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
- Wireless algorithms, systems, and applications : 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014. Proceedings
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.umsl.edu/resource/x0iQxATke3E/" typeof="Series http://bibfra.me/vocab/lite/Series"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/resource/x0iQxATke3E/">LNCS sublibrary, SL 1, Theoretical computer science and general issues</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of Missouri-St. Louis 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 LNCS sublibrary, SL 1, Theoretical computer science and general issues
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.umsl.edu/resource/x0iQxATke3E/" typeof="Series http://bibfra.me/vocab/lite/Series"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/resource/x0iQxATke3E/">LNCS sublibrary, SL 1, Theoretical computer science and general issues</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of Missouri-St. Louis Libraries</a></span></span></span></span></div>