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 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 Libraries.
- Label
- LNCS sublibrary, SL 1, Theoretical computer science and general issues
- Title number
- SL 1
- Title part
- Theoretical computer science and general issues
100+ 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
- A practical programming model for the multi-core era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 : proceedings
- Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings
- Adaptive and natural computing algorithms : 9th international conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009 : revised selected papers
- Advanced intelligent computing theories and applications : 6th international conference on intelligent computing, ICIC 2010, Changsha, China, August 18-21, 2010 : proceedings
- Advanced intelligent computing theories and applications : with aspects of theoretical and methodological issues : 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008 : proceedings
- Advanced parallel processing technologies : 7th international symposium, APPT 2007, Guangzhou, China, November 22-23, 2007 : proceedings
- Advances in computation and intelligence : 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, October 23-25, 2009 : proceedings
- Advances in computation and intelligence : 5th international symposium, ISICA 2010, Wuhan, China, October 22-24, 2010 : proceedings
- Advances in computational intelligence : 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011 : proceedings. Part I
- Advances in computational intelligence : 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011 : proceedings. Part II
- Advances in computer games : 12th international conference, ACG 2009, Pamplona, Spain, May 11-13, 2009 : revised papers
- Advances in computer games : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011 : revised selected papers
- Advances in computer science--ASIAN 2009 : information security and privacy : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009 : proceedings
- Advances in geometric modeling and processing : 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008 : proceedings
- Advances in geometric modeling and processing : 6th international conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010 : proceedings
- Advances in grid and pervasive computing : 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings
- Advances in grid and pervasive computing : 6th international conference, GPC 2011, Oulu, Finland, May 11-13, 2011. proceedings
- Advances in neural networks - ISNN 2006 : third International Symposium on Neural Networks, Chengdu, China, May 28-June 1, 2006 : proceedings. Part II
- Advances in neural networks - ISNN 2006 : third International Symposium on Neural Networks, Chengdu, China, May 28-June 1, 2006 : proceedings. Part III
- Advances in neural networks - ISNN 2009 : 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 : proceedings., Part I
- Advances in neural networks : ISNN 2010 : 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010 : proceedings. Part I
- Advances in neural networks : ISNN 2010 : 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010 : proceedings. Part II
- Advances in neural networks-- ISNN 2011 : 8th International Symposium On Neural Networks, ISNN 2011, Guilin, China, May 29-June 1, 2011, proceedings. Part I
- Advances in neural networks-- ISNN 2011 : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29-June 1, 2011 : proceedings, part III
- Advances in neuro-information processing : 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 : revised selected papers., Part I
- Advances in self-organizing maps : 8th International Workshop, WSOM 2011 ; Espoo, Finland, June 13-15, 2011. Proceedings
- Advances in social network mining and analysis : second international workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008 : revised selected papers
- Advances in swarm intelligence : first International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, proceedings, part II
- Advances in swarm intelligence : first international conference, ICSI 2010, Beijing, China, June 12-15, 2010, proceedings, part I
- Advances in swarm intelligence : second international conference, ICSI 2011, Chongqing, China, June 12-15, 2011 : proceedings. Part I
- Algebraic Biology : third international conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 : proceedings
- Algebraic biology : second international conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007 : proceedings
- Algebraic biology : second international conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, proceedings
- Algebraic informatics : 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : proceedings
- Algebraic informatics : second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers
- Algebraic informatics : third international conference on algebraic informatics, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings
- Algorithm engineering : bridging the gap between algorithm theory and practice
- Algorithm theory-- SWAT 2008 : 11th Scandinavian workshop on algorithm theory, Gothenburg, Sweden, July 2-4, 2008 : proceedings
- Algorithm theory-- SWAT 2010 : 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010 : proceedings
- Algorithmic game theory : second international symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009 : proceedings
- Algorithmics of large and complex networks : design, analysis, and simulation
- Algorithms -- ESA 2012 : 20th annual European symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings
- Algorithms and architectures for parallel processing : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : workshops. Part II
- Algorithms and architectures for parallel processing : 8th international conference, ICA3PP 2008, Cyprus, June 9-11, 2008 : proceedings
- Algorithms and complexity : 7th international conference, CIAC 2010, Rome, Italy, May 26-28, 2010 : proceedings
- Algorithms and computation : 20th international symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009 : proceedings
- Algorithms and data structures : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011 : proceedings
- Algorithms and models for the web graph : 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012 : proceedings
- Algorithms and models for the web-graph : 6th international workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009 : proceedings
- Algorithms and models for the web-graph : 7th international workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010 : proceedings
- Algorithms--ESA 2011 : 19th annual European symposium, Saarbrücken, Germany, September 5-9, 2011 : proceedings
- Applications and theory of Petri nets : 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 ; proceedings
- Applications of evolutionary computation : EvoApplicatons 2010 : EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010 : proceedings, part II
- Applications of evolutionary computing : EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tübingen, Germany, April 15-17, 2009 : proceedings
- Applied algebra, algebraic algorithms and error-correcting codes : 18th International Symposium, AAECC-18, Tarragona, Spain, June 8-12, 2009 : proceedings
- Applied parallel and scientific computing : 11th international conference, PARA 2012, Helsinki, Finland, June 10-13, 2012 : revised selected papers
- Applied parallel computing : state of the art in scientific computing ; 8th international workshop, PARA 2006, Umeaa, Sweden, June 18-21, 2006 : revised selected papers
- Approximation and online algorithms : 7th International Workshop, WAOA 2009, Copenhagen, Denmark, September 10-11, 2009 : revised papers
- Approximation and online algorithms : 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010 : revised papers
- Approximation, randomization and combinatorial optimization : algorithms and techniques : 11th International Workshop, APPROX 2008 and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008 : proceedings
- Approximation, randomization, and combinatorial optimization : algorithms and techniques : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August, 21-23, 2009 : proceedings
- Approximation, randomization, and combinatorial optimization : algorithms and techniques : 13th international workshop, APPROX 2010, and 14th international workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010 : proceedings
- Approximation, randomization, and combinatorial optimization : algorithms and techniques : 14th International Workshop, APPROX 2011 and 15th International Workshop, RANDOM 2011 : Princeton, NJ, USA, August 17-19, 2011 : Proceedings
- Approximation, randomization, and combinatorial optimization : algorithms and techniques : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012 : proceedings
- Architecting systems with trustworthy components : international seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papers
- Architecture of computing systems - ARCS 2011 : 24th international conference, Como, Italy, February 24-25, 2011 : proceedings
- Arithmetic of finite fields : 2nd international workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 : proceedings
- Arithmetic of finite fields : third international workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010 ; proceedings
- Artificial Neural Networks--ICANN 2008 : 18th International Conference, Prague, Czech Republic, September 3-6, 2008, proceedings., Part 1
- Artificial immune systems : 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012 : proceedings
- Artificial immune systems : 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006 : proceedings
- Artificial immune systems : 9th international conference, ICARIS 2010, Edinburgh, UK, July 26029, 2010 : proceedings
- Artificial neural networks - ICANN 2008 : 18th international conference, Prague, Czech Republic, September 3-6, 2008 : proceedings, part II
- Artificial neural networks - ICANN 2010 : 20th international conference, Thessaloniki, Greece, September 15-18, 2010, proceedings., Part I
- Artificial neural networks - ICANN 2010 : 20th international conference, Thessaloniki, Greece, September 15-18, 2010, proceedings., Part III
- Artificial neural networks and machine learning - ICANN 2011 : 21st International Conference on Artificial Neural Networks ; Espoo, Finland, June 14-17, 2011. Proceedings., Part II
- Artificial neural networks, ICANN 2009 : 19th international conference, Limassol, Cypros, September 14-17, 2009 : proceedings
- Artificial neural networks-- ICANN 2006 : 16th international conference, Athens, Greece, September 10-14, 2006 : proceedings, part II
- Artificial neural networks--ICANN 2007 : 17th international conference, Porto, Portugal, September 9-13, 2007 : proceedings. Pt. II
- Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings. Part I
- Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings. Part II
- Automata, languages and programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, Part 1 :
- Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings, part II
- Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings. Part I
- Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings. Part II
- 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
- Bio-inspired systems : computational and ambient intelligence : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009 : proceedings
- Biomedical simulation : 4th international symposium, ISBMS 2008, London, UK, July 7-8, 2008 : proceedings
- Biomedical simulation : 5th international symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010 : proceedings
- Cellular automata : 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010 : proceedings
- Central European Functional Programming School : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers
- Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
- Coalgebraic methods in computer science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers
- Coding theory and applications : Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008 : proceedings
- Combinatorial Optimization and Applications : second international conference, Cocoa 2008, St. John's, Canada, August 21-24, 2008 : proceedings
- Combinatorial algorithms : 23rd international workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers
- Combinatorial optimization : second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012 : revised selected papers
- Combinatorial optimization and applications : 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010 : proceedings
- Combinatorial optimization and applications : 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings
- Combinatorial optimization and applications : third international conference, COCOA 2009, Huangshan, China, June 10 - 12, 2009 : proceedings
- Combinatorial pattern matching : 17th annual symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006 : proceedings
- Combinatorial pattern matching : 19th annual symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 : proceedings
- Combinatorics on words : 9th international conference, WORDS 2013, Turku, Finland, September 16-20, 2013 : 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
- Complexity of constraints : an overview of current research themes
- Computation, cooperation, and life : essays dedicated to Gheorghe Paun on the occassion of his 60th birthday
- Computation, cooperation, and life : essays dedicated to Gheorghe Păun on the occassion of his 60th birthday
- Computational geometry : XIV Spanish meeting, EGC 2011, dedicated to Ferran Hurtado on the occasion of his 60th birthday Alcalá de Henares, Spain, June 27-30, 2011 : revised selected papers
- Computational linguistics and intelligent text processing : 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013 : proceedings
- Computational science - ICCS 2007 : 7th international conference, Beijing, China, May 27 - 30, 2007, proceedings., Part I
- Computational science -- ICCS 2007 : 7th international conference, Beijing, China, May 27-30, 2007 : proceedings., Part III
- Computational science -- ICCS 2007 : 7th international conference, Beijing, China, May 27-30, 2007 : proceedings., Part IV
- Computational science -- ICCS 2009 : 9th international conference, Baton Rouge, LA., USA, May 25-27, 2009 : proceedings., Part I
- Computational science : ICCS 2008 : 8th international conference, Kraków, Poland, June 23-26, 2008 : proceedings. Part I
- Computational science and its appilcations, ICCSA 2009, international conference, Seoul, Korea, June 29-July 2, 2009 : proceedings
- Computational science and its applications - ICCSA 2006 : international conference, Glasgow, UK, May 8-11, 2006 : proceedings. Part II
- Computational science and its applications - ICCSA 2006 : international conference, Glasgow, UK, May 8-11, 2006 : proceedings. Part III
- Computational science and its applications - ICCSA 2006 : international conference, Glasgow, UK, May 8-11, 2006 : proceedings. Part IV
- Computational science and its applications - ICCSA 2006 : international conference, Glasgow, UK, May 8-11, 2006 : proceedings. Part V
- Computational science and its applications - ICCSA 2011 : International Conference ; Santander, Spain, June 20-23, 2011. Proceedings., Part I
- Computational science and its applications - ICCSA 2011 : International Conference ; Santander, Spain, June 20-23, 2011. Proceedings., Part III
- Computational science and its applications - ICCSA 2011 : International Conference ; Santander, Spain, June 20-23, 2011. Proceedings., Part V
- Computational science and its applications - ICCSA 2011 : International Conference, Santander, Spain, June 20-23, 2011 : proceedings, part II
- Computational science and its applications : ICCSA 2010 : international conference, Fukuoka, Japan, March 23-26, 2010 : proceedings, part II
- Computational science and its applications : ICCSA 2010 : international conference, Fukuoka, Japan, March 23-26, 2010 : proceedings, part III
- Computational science and its applications, ICCSA 2007 : international conference, Kuala Lumpur, Malaysia, August 26-29, 2007 : proceedings., Part III
- Computational science and its applications-- ICCSA 2008 : international conference, Perugia, Italy, June 30-July 3, 2008, : proceedings, part I
- Computational science and its applications-- ICCSA 2008 : international conference, Perugia, Italy, June 30-July 3, 2008, : proceedings, part II
- Computational science and its applications-- ICCSA 2010 : International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings, part IV
- Computational science-- ICCS 2008 : 8th international conference, Krakow, Poland, June 23-26, 2008 : proceedings, part II
- Computational science--ICCS 2006 : 6th international conference, Reading, UK, May 28-31, 2006 : proceedings. Part I
- Computational science--ICCS 2006 : 6th international conference, Reading, UK, May 28-31, 2006 : proceedings. Part II
- Computational science--ICCS 2006 : 6th international conference, Reading, UK, May 28-31, 2006 : proceedings. Part III
- Computer Aided Systems Theory -- EUROCAST 2009 : 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009 : revised selected papers
- Computer aided systems theory-- EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers
- Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings
- Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
- Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings
- Computer algebra in scientific computing : 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings
- Computer algebra in scientific computing : 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010 : proceedings
- Computer algebra in scientific computing : 13th International Workshop, CASC 2011, Kassel, Germany : September 5-9, 2011 : proceedings
- Computer algebra in scientific computing : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings
- Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; proceedings
- Computer safety, reliability, and security : 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings
- Computer science - theory and applications : 6th International Computer Science Symposium in Russia, CSR 2011 ; St. Petersburg, Russia, June 14-18, 2011. Proceedings
- Computer science -- theory and applications : fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009 : proceedings
- Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings
- Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings
- Computers and games : 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 : revised selected papers
- Computing and Combinatorics : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : proceedings
- Computing and combinatorics : 14th annual international conference, COCOON 2008, Dalian, China, June 27-29, 2008 : proceedings
- Concur 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings
- Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever
- Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday
- Correct reasoning : essays on logic-based AI in honour of Vladimir Lifschitz
- DNA computing : 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9 2008 : revised selected papers
- DNA computing and molecular programming : 15th international conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009 : revised selected papers
- DNA computing and molecular programming : 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010 : revised selected papers
- DNA computing and molecular programming : 18th international conference, DNA 18, Aarhus, Denmark, August 14-17, 2012 : proceedings
- Design and analysis of algorithms : First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings
- Development in language theory : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011 : proceedings
- Developments in language theory : 13th international conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009 : proceedings
- Developments in language theory : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010 ; proceedings
- Distributed computing : 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009 : proceedings
- Distributed computing : 25th International Symposium, DISC 2011, Rome Italy, September 20-22, 2011: proceedings
- Distributed computing and networking : 11th international conference, ICDCN 2010, Kolkata, India, January 3-6, 2010 : proceedings
- Distributed computing and networking : 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011 : proceedings
- Efficient algorithms : essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday
- Embedded computer systems : architectures, modeling, and simulation : 7th international workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007 : proceedings
- Emerging intelligent computing technology and applications : 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009 : proceedings
- Engineering Stochastic Local Search Algorithms : designing, Implementing and Analyzing Effective Heuristics, second International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009 : proceedings
- Engineering stochastic local search algorithms : designing, implementing and analyzing effective heuristics : international workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007 : proceedings
- Euro-Par 2008 parallel processing : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, proceedings
- Euro-Par 2008 workshops-- parallel processing : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008 : revised selected papers
- Euro-Par 2009 parallel processing : 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009 : proceedings
- Euro-Par 2011 parallel processing : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29-September 2, 2011 : proceedings. Part I
- Euro-Par 2011 parallel processing : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29-September 2, 2011 : proceedings. Part II
- Euro-Par 2012 parallel processing : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings
- Evolutionary and biologically inspired music, sound, art and design : first international conference, EvoMUSART 2012, Málaga, Spain, April 11-13, 2012 : proceedings
- Evolutionary computation, machine learning and data mining in bioinformatics : 8th European conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings
- Evolutionary computation, machine learning and data mining in bioinformatics : 9th European conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011 : proceedings
- Evolutionary computation, machine learning, and data mining in bioinformatics : 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012 proceedings
- Evolutionary computation, machine learning, and data mining in bioinformatics : 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008 : proceedings
- Evolvable systems : from biology to hardware : 9th international conference, ICES 2010, York, UK, September 6-8, 2010 : proceedings
- Experimental algorithms : 8th international symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009 : proceedings
- FSTTCS 2007 : foundations of software technology and theoretical computer science : 27th international conference, New Delhi, India, December 12-14, 2007 : proceedings
- Formal Grammar : 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
- Formal modeling and analysis of timed systems : 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings
- Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings
- Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 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
- Frontiers in Algorithmics : third international workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings
- Frontiers in algorithmics : second international workshop, FAW 2008, Changsha, China, June 19-21, 2008, proceedings
- Frontiers in algorithmics and algorithmic aspects in information and management : joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings
- Functional and constraint logic programming : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers
- Functional and constraint logic programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers
- Functional and logic programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : 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
- Fundamentals of computation theory : 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings
- Fundamentals of computation theory : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings
- Genetic programming : 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings
- Genetic programming : 14th European conference, EuroGP 2011 ; Torino, Italy, April 27-29, 2011 : Proceedings
- Graph drawing : 18th International Symposium, GD 2010 ; Konstanz, Germany, September 21-24, 2010 : revised selected papers
- Graph transformations : 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27--October 2, 2010 : proceedings
- Graph-theoretic concepts in computer science : 32nd international workshop, WG 2006, Bergen, Norway, June 22-24, 2006 : revised papers
- Graph-theoretic concepts in computer science : 33rd international workshop, WG 2007, Dornburg, Germany, June 21-23, 2007 : revised papers
- Graph-theoretic concepts in computer science : 36th international workshop, WG 2010, Zaros, Crete, Greece, June 28-30, 2010 : revised Papers
- Grid resource management : on-demand provisioning, advance reservation, and capacity planning of Grid resources
- High performance computing--HiPC 2007 : 14th international conference, Goa, India, December 18-21, 2007 : proceedings
- High performance embedded architectures and compilers : 5th international conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010 : proceedings
- Hybrid learning : 5th International Conference, ICHL 2012, Guangzhou, China, August 13-15, 2012. Proceedings
- Hybrid learning and education : First International Conference, ICHL 2008, Hong Kong, China, August 13-15, 2008 : proceedings
- Hybrid metaheuristics : 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings
- Hybrid systems : computation and control, 12th International Conference, HSCC 2009, San Francisco, Ca, USA, April 13-15, 2009 : proceedings / Rupak Majumdar, Paulo Tabuada (eds.)
- ICT as key technology against global warming : second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012 : proceedings
- Implementation and application of automata : 14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings
- Implementation and application of functional languages : 21st international symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009 : revised selected papers
- Implementation and application of functional languages : 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers
- Informatics education-- supporting computational thinking : third international conference on informatics in secondary schools-- evolution and perspectives, ISSEP 2008, Torun, Poland, July 1-4, 2008 :proceedings
- Information processing in cells and tissues : 9th international Conference, IPCAT 2012, Cambridge, UK, March 31-April 2, 2012 proceedings
- Integer programming and combinatoral optimization : 15th international conference, IPCO 2011, New York, NY, USA, June 15-17, 2011 : proceedings
- Integrated circuit and system design : power and timing modeling, optimization and simulation : 16th international workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006 : proceedings
- Integrated circuit and system design : power and timing modeling, optimization and simulation : 17th international workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007 : proceedings
- Integrated circuit and system design : power and timing modeling, optimization, and simulation : 20th international workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, revised selected papers
- Integration of AI and OR Techniques in constraint programming for combinatorial optimization problems : 9th International Conference, CPAIOR 2012, Nantes, France, May 28-June 1, 2012 : proceedings
- Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 4th international conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007 : proceedings
- Intelligent computing : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006 : proceedings. Part I
- Interactive theorem proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings
- Interactive theorem proving : third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
- Internet and network economics : 6th international workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010 : proceedings
- Job scheduling strategies for parallel processing : 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007 : revised papers
- Job scheduling strategies for parallel processing : 14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers
- Language and automata theory and applications : 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings
- Languages and compilers for parallel computing : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, revised selected papers
- Latent variable analysis and signal separation : 9th international conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010 : proceedings
- Learning and intelligent optimization : 6th international conference, LION 6, Paris, France, January 16-20, 2012 : revised selected papers
- Learning and intelligent optimization : third international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers
- Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010 : Heraklion, Crete, Greece, October 18-21, 2010 : proceedings, part 1
- Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010 : proceedings, part II
- Life system modeling and intelligent computing : International Conference on Life System Modeling and Simulation, LSMS 2010 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010 : proceedings. Part II
- Life system modeling and intelligent computing : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010 : proceedings. Part I
- Logic and theory of algorithms : 4th conference on computability in Europe, CIE 2008, Athens, Greece, June 15-20, 2008 : proceedings
- Logic-based program synthesis and transformation : 21st international symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers
- Logical Aspects of Computational Linguistics : 7th International Conference, Lacl 2012, Nantes, France, July 2-4, 2012, Proceedings
- Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24 - 28, 2009 : proceedings
- Mathematical methods for curves and surfaces : 7th International Conference, MMCS 2008, Tn̜sberg, Norway, June 26-july 1, 2008 : revised selected papers
- Mathematical software--ICMS 2010 : third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010 : proceedings
- Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings
- Mathematics of surfaces XIII : 13th IMA International Conference, York, UK, September 7-9, 2009 : proceedings
- Membrane computing : 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009 : revised selected and invited papers
- Membrane computing : 11th international conference, CMC 2010, Jena, Germany, August 24-27, 2010 : revised selected papers
- Membrane computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers
- Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings
- Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings
- Models in software engineering : workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers
- Models in software engineering : workshops and symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010 : reports and revised selected papers
- Network and parallel computing : 9th IFIP international conference, NPC 2012 Gwangju, Korea, September 6-8, 2012 : proceedings
- Network and parallel computing : IFIP international conference, NPC 2010, Zhengzhou, China, September 13-15, 2010 : proceedings
- Neural information processing : 13th international conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006 : proceedings. Part I
- Neural information processing : 13th international conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006 : proceedings. Part II
- Neural information processing : 13th international conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006 : proceedings. Part III
- Neural information processing : 14th international conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007 : revised selected papers, part I
- Neural information processing : 14th international conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007 : revised selected papers. Part II
- Neural information processing : 16th international conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009 ; proceedings., Part II
- New challenges on bioinspired applications : 4th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30-June 3, 2011 : proceedings. Part II
- Numerical methods and applications : 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010 : revised papers
- Optical supercomputing : First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008 : proceedings
- Optical supercomputing : second international workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009 : proceedings
- Parallel computing technologies : 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings
- Parallel computing technologies : 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings
- Parallel problem solving from nature, PPSN XI : 11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings, part I
- Parallel problem solving from nature-- PPSN XI : 11th International Conference, Kraków, Poland, September 11-15, 2010 : proceedings, part II
- Parallel problem solving from nature-- PPSN XII : 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings
- Parallel processing and applied mathematics : 8th international conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers, part I
- Parallel processing and applied mathematics : 8th international conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers, part II
- Parameterized and exact computation : 5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings
- Parameterized and exact computation : 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings
- Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers
- Principles of distributed systems : 13th international conference, OPODIS 2009, Nîmes, France, December 15-18, 2009 : proceedings
- Principles of distributed systems : 14th international conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010 : proceedings
- Principles of distributed systems : 16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : 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
- Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings
- Quantum interaction : 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers
- Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers
- Reconfigurable computing : architectures, tools and applications : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011 : proceedings
- Relational and algebraic methods in computer science : 13th international conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings
- Relations and Kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings
- Rewriting logic and its applications : 9th international workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers
- Rewriting techniques and applications : 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings
- Robust and online large-scale optimization : models and techniques for transportation systems
- SOFSEM 2011 : theory and practice of computer science : 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011 : proceedings
- Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday
- Simulated evolution and learning : 8th international conference, SEAL 2010, Kanpur, India, December 1-4, 2010 : proceedings
- Spatial information theory : 10th International Conference, COSIT 2011, Belfast, ME, USA, September 12-16 2011 : proceedings
- Spatial information theory : 9th international conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009 : proceedings
- Stabilization, safety, and security of distributed systems : 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009 : proceedings
- Stabilization, safety, and security of distributed systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
- Stochastic algorithms : foundations and applications : 5th international symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 : proceedings
- String processing and information retrieval : 15th international symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008 : proceedings
- String processing and information retrieval : 16th international symposium, SPIRE 2009, Saariselkä, Finland, August 25-27, 2009 : proceedings
- String processing and information retrieval : 17th international symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010 : proceedings
- String processing and information retrieval : 19th international symposium, SPIRE 2012, Cartagena de Indias, Colombia, October 21-25, 2012 : proceedings
- Structural information and communication complexity : 15th international colloquium, SIRCCO 2008, Villars-sur-Ollon, Switzerland, June 17-20, 2008 : proceedings
- Supercomputing frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
- Swarm intelligence : 8th international conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012 : proceedings
- Swarm, evolutionary, and memetic computing : First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010 : proceedings
- Swarm, evolutionary, and memetic computing : third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings
- Teaching fundamental concepts of informatics : 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010 : preceedings
- The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings
- Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings
- Theoretical aspects of computing - ICTAC 2012 : 9th international colloquium, Bangalore, India, September 24-27, 2012 : proceedings
- Theoretical aspects of computing -- ICTAC 2009 : 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings
- Theoretical aspects of computing : ICTAC 2008 : 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 : proceedings
- Theoretical aspects of computing-- ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings
- Theoretical computer science : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, proceedings
- Theory and applications of models of computation : 6th international conference, TAMC 2009, Changsa, China, May 18-22, 2009 : proceedings
- Theory and applications of models of computation : 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings
- Theory and applications of satisfiability testing : SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings
- Theory and applications of satisfiability testing-- SAT 2010 : 13th international conference, SAT 2010 Edinburgh, UK, July 2010 : proceedings
- Theory and applications of satisfiability testing-- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings
- Theory and practice of algorithms in (computer) systems : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 : proceedings
- Theory and practice of natural computing : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012 : proceedings
- Theory of quantum computation, communication and cryptography : 4th workshop, TQC 2009, Waterloo, Canada, May 11-13 : revised selected papers
- Theory of quantum computation, communication, and cryptography : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010 : revised selected papers
- Time for verification : essays in memory of Amir Pnueli
- 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
- Trends in functional programming : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 : revised selected papers
- Trends in functional programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011 : revised selected papers
- Trustworthly [sic] global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010 : revised selected papers
- Trustworthy global computing : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 : revised selected papers
- Trustworthy global computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers
- Trustworthy global computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers
- Trustworthy global computing : second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers
- Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers
- Unconventional Computation : 10th International Conference, UC 2011 ; Turku, Finland, June 6-10, 2011. Proceedings
- Unconventional Computation : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings
- Unconventional computation : 9th international conference, UC 2010, Tokyo, Japan, June 21-25, 2010 : proceedings
- Unconventional computation and natural computation : 11th International Conference, UCNC 2012, Orléans, France, September 3-7, 2012 : proceedings
- Unconventional computation and natural computation : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013 : proceedings
- Unifying theories of programming : 4th international symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers
- Unifying theories of programming : second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 : revised selected papers
- 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
- WALCOM : algorithms and computation : 4th international workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010 : proceedings
- WALCOM : algorithms and computation ; 5th International Workshop, WALCOM 2011 ; New Delhi, India, February 18-20, 2011 ; Proceedings
- Wireless algorithms, systems, and applications : 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011 : proceedings
- Wireless algorithms, systems, and applications : 7th international conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012 : proceedings
- Wireless algorithms, systems, and applications : fourth international conference, WASA 2009, Boston, MA, USA, August 16-18, 2009 : proceedings
- Wireless algorithms, systems, and applications : third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : 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/x0iQxATke3E/" 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/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.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 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.library.missouri.edu/resource/x0iQxATke3E/" 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/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.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>
