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
A sample of Items in the Series LNCS sublibrary, SL 1, Theoretical computer science and general issues See All
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
- 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, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. 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 : 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, proceedings, Part I
- Adaptive and natural computing algorithms : 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013 : proceedings
- Advanced functional programming : 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008, revised lectures
- Advanced intelligent computing : 7th international conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 : 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 : 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 language technologies for digital libraries : international workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009
- Advanced parallel processing technologies : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised selected papers
- Advanced parallel processing technologies : 7th international symposium, APPT 2007, Guangzhou, China, November 22-23, 2007 : proceedings
- Advanced parallel processing technologies : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011, 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 II
- Advances in Neural Networks - ISNN 2008 : 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I
- Advances in Neural Networks - ISNN 2008 : 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II
- Advances in Swarm Intelligence, Part : Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I
- 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 computation and intelligence : second international symposium, ISICA 2007, Wuhan, China, September 21-23, 2007 : 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 : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I
- Advances in computational intelligence : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, 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 2007 : computer and network security : 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007 : proceedings
- Advances in computer systems architecture : 11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8, 2006 : proceedings
- Advances in computer systems architecture : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007 : 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 : 5th international conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010 : proceedings
- Advances in grid and pervasive computing : 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011, proceedings
- Advances in grid and pervasive computing : 7th international conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings
- Advances in grid and pervasive computing : third international conference, GPC 2008, Kunming, China, May 25-28, 2008 : proceedings
- Advances in natural computation : second international conference, ICNC 2006, Xi'an, China, September 24-28, 2006 : proceedings
- 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 2013 : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I
- Advances in neural networks - ISNN 2013 : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II
- Advances in neural networks-- ISNN 2012 : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I
- Advances in neural networks-- ISNN 2012 : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II
- 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 neural networks--ISNN 2011 : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : 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 III
- 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 self-organizing maps : 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009 : proceedings
- 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 : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
- Advances in swarm intelligence : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
- 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
- Advances in swarm intelligence : first international conference, ICSI 2010, Beijing, China, June 12-15, 2010 ; proceedings
- Advances in swarm intelligence : first international conference, ICSI 2010, Beijing, China, June 12-15, 2010 ; proceedings, Part II
- Advances in swarm intelligence : second international conference, ICSI 2011, Chongqing, China, June 12-15, 2011, proceedings, Part II
- Advances in swarm intelligence : third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part I
- Advances in swarm intelligence : third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part II
- Algebra and coalgebra in computer science : 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings
- Algebra and coalgebra in computer science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
- Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings
- Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings
- Algebraic Biology : third international conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 : proceedings
- 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
- Algebraic and numeric biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised selected papers
- 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 foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement
- 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
- Algorithm engineering : bridging the gap between algorithm theory and practice
- Algorithm theory - SWAT 2010 : 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010 ; proceedings
- Algorithm theory-- SWAT 2012 : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings
- 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
- Algorithmic methods for railway optimization : international Dagstuhl workshop, railway optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004 : revised selected papers
- Algorithmic number theory : 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings
- Algorithmic number theory : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings
- Algorithmic probability and friends : Bayesian prediction and artificial intelligence : Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30-December 2, 2011
- Algorithms : ESA 2010, 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Part I
- Algorithms and applications : essay dedicated to Esko Ukkonen on the occasion of his 60th birthday
- Algorithms and architectures for parallel processing : 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings, Part I
- Algorithms and architectures for parallel processing : 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings, Part II
- Algorithms and architectures for parallel processing : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
- Algorithms and architectures for parallel processing : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II
- Algorithms and architectures for parallel processing : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I
- Algorithms and architectures for parallel processing : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II
- 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 architectures for parallel processing : 8th international conference, ICA3PP 2008, Cyprus, June 9-11, 2008 : proceedings
- Algorithms and complexity : 6th Italian conference, CIAC 2006, Rome, Italy, May 29-31, 2006 : proceedings
- Algorithms and complexity : 7th international conference, CIAC 2010, Rome, Italy, May 26-28, 2010 : proceedings
- Algorithms and complexity : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings
- Algorithms and computation : 18th international symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007 : proceedings
- Algorithms and computation : 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011, proceedings
- Algorithms and computation : 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings
- 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 data structures : 10th international workshop, WADS 2007, Halifax, Canada, August 15-17, 2007 : proceedings
- Algorithms and data structures : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, proceedings
- Algorithms and data structures : 13th international symposium, WADS 2013, London, ON, Canada, August 12-14, 2013, proceedings
- Algorithms and models for the web graph : 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings
- Algorithms and models for the web graph : 11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014 : proceedings
- Algorithms and models for the web graph : 8th International Workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 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 : 5th international workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007 : 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 for sensor and ad hoc networks : advanced lectures
- Algorithms, ESA 2009 : 17th annual European symposium, Copenhagen, Denmark, September 7-9 : proceedings
- Algorithms-- ESA 2012 : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
- Algorithms-- ESA 2014 : 22nd Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings
- Algorithms--ESA 2006 : 14th annual European symposium, Zurich, Switzerland, September 11-13, 2006 : proceedings
- Algorithms--ESA 2007 : 15th annual European symposium, Eilat, Israel, October 8-10, 2007 : proceedings
- Algorithms--ESA 2011 : 19th annual European symposium, Saarbrücken, Germany, September 5-9, 2011 : proceedings
- Algorithms-ESA 2010 : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part II
- Ant colony optimization and swarm intelligence : 6th international conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008 ; proceedings
- Application and theory of petri nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
- Application and theory of petri nets and concurrency : 34th international conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013 : proceedings
- Application and theory of petri nets and concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : proceedings
- Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings
- Applications and theory of Petri nets : 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 ; proceedings
- Applications and theory of petri nets : 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings
- Applications and theory of petri nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
- Applications of evolutionary computation : 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings
- Applications of evolutionary computation : 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014 : revised selected papers
- Applications of evolutionary computation : EvoApplications 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings, Part I, EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC
- Applications of evolutionary computation : EvoApplications 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings, Part II, EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG.
- Applications of evolutionary computation : EvoApplications 2011 : EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, proceedings, Part II
- Applications of evolutionary computation : EvoApplications 2011 : EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, proceedings, Part I
- Applications of evolutionary computation : EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings
- Applications of evolutionary computing : EvoWorkshops 2008, EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008 : proceedings
- Applied algebra, algebraic algorithms and error-correcting codes : 17th international symposium, AAECC-17, Bangalore, India, December 16-20, 2007 : proceedings
- Applied parallel and scientific computing : 10th International Conference, PARA 2010, Reykjavk̕, Iceland, June 6-9, 2010, Revised selected papers, Part II
- Applied parallel and scientific computing : 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised selected papers, Part I
- 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
- 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 : 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised selected papers
- Approximation and online algorithms : 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012 : revised selected papers
- Approximation and online algorithms : 11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised selected papers
- Approximation and online algorithms : 5th international workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007 ; revised papers
- Approximation and online algorithms : 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008 : revised 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 : 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
- Approximation, randomization, and combinatorial optimization : algorithms and techniques : 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013 ; proceedings
- Architecture of computing systems - ARCS 2009 : 22nd International Conference, Delft, the Netherlands, March 10-13, 2009, proceedings
- Architecture of computing systems, ARCS 2010 : 23rd international conference, Hannover, Germany, February 22-25, 2010 : proceedings
- Architecture of computing systems-- ARCS 2012 : 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
- Architecture of computing systems-- ARCS 2014 : 27th International Conference, Lübeck, Germany, February 25-28, 2014 : proceedings
- Architecture of computing systems--ARCS 2008 : 21st international conference, Dresden, Germany, February 25-28, 2008 : proceedings
- Arithmetic of finite fields : 2nd international workshop, WAIFI 2008, Siena, Italy, July 6-9, 2008 : proceedings
- Arithmetic of finite fields : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
- Arithmetic of finite fields : first international workshop, WAIFI 2007, Madrid, Spain, June 2007 : proceedings
- Artificial evolution : 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, revised selected papers
- Artificial evolution : 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers
- Artificial evolution : 9th International Conference Evolution Artificielle, EA 2009, Strasbourg, France, October 26-28, 2009 : revised selected papers
- Artificial immune systems : 10th international conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011 : proceedings
- 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 : 6th international conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007 : proceedings
- Artificial immune systems : 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings
- Artificial neural networks - ICANN 2010 : 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, 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 -- ICANN 2007 : 17th international conference, Porto, Portugal, September 9-13, 2007 : proceedings, Part I
- Artificial neural networks -- ICANN 2007 : 17th international conference, Porto, Portugal, September 9-13, 2007 : proceedings, Part II
- Artificial neural networks : ICANN 2006 : 16th international conference, Athens, Greece, September 10-14, 2006 : proceedings
- Artificial neural networks and machine learning -- ICANN 2013 : 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings
- 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 and machine learning-- ICANN 2011 : 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011, proceedings, Part I
- Artificial neural networks and machine learning-- ICANN 2012 : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I
- Artificial neural networks and machine learning-- ICANN 2012 : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II
- Artificial neural networks and machine learning-- ICANN 2014 : 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014. Proceedings
- Artificial neural networks, ICANN 2009 : 19th international conference, Limassol, Cypros, September 14-17, 2009 : proceedings, Part I
- Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, 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 : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : 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
- Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
- 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
- Bayesian and grAphical models for biomedical imaging : first International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers
- Bio-inspired computational intelligence and applications : International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007 : proceedings
- Bio-inspired systems : computational and ambient intelligence : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009 : proceedings
- Bioinspired applications in artificial and natural computation : Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009 : proceedings, Part II
- 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
- Biomedical simulation : 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014. Proceedings
- Business process management : 5th international conference, BPM 2007, Brisbane, Australia, September 24-28, 2007 : proceedings
- CONCUR 2010--concurrency theory : 21st international conference, CONCUR 2010, Paris, France, August 21-September 3, 2010 : proceedings
- CONCUR 2011--concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings
- CONCUR 2012-- Concurrency theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
- CONCUR 2013-- Concurrency theory : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. 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 : 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings
- Cellular automata : 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings
- Cellular automata : 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006 : proceedings
- Cellular automata : 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010 : proceedings
- Cellular automata and discrete complex systems : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
- Central European Functional Programming School : 4th summer school, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised selected papers
- Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures
- Central European Functional Programming School : third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 : revised selected lectures
- Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
- Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings
- Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, 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
- 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
- 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 : 20th international workshop, IWOCA 2009, Hradec nad [sic] Moravici, ̕Czech Republic, June 28-July 2, 2009 : revised selected papers
- Combinatorial algorithms : 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers
- Combinatorial algorithms : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, revised selected papers
- 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 : third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised selected papers
- Combinatorial optimization and applications : 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, proceedings, Part I
- Combinatorial optimization and applications : 5th international conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011 : proceedings
- Combinatorial optimization and applications : 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings
- Combinatorial optimization and applications : 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
- Combinatorial optimization and applications : 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014 : proceedings
- Combinatorial optimization and applications : first international conference, COCOA 2007, Xi'an, China, August 14-16, 2007 : 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
- Combinatorial pattern matching : 20th annual symposium, CPM 2009, Lille, France, June 22-24, 2009 : proceedings </