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 Liverpool.
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 Liverpool.
- 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 list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday
- 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, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
- Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, 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 resource management and scheduling for cloud computing : Second International Workshop, ARMS-CC 2015, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015 : revised selected papers
- Advanced intelligent computing : 7th international conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 : revised selected papers
- Advanced language technologies for digital libraries : international workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009
- 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 : Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I
- 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 : 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I
- Advances in computational intelligence : 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, 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 games : 14th International Conference, ACG 2015, Leiden, the Netherlands, July 1-3, 2015, Revised selected papers
- 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 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 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 2016 : 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings
- Advances in neural networks -- ISNN 2018 : 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, Proceedings
- 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 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 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 : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I
- Advances in swarm intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II
- Advances in swarm intelligence : 8th International Conference, ICSI 2017, Fukuoka, Japan, July 28 - August 1, 2017, Proceedings, Part I
- Advances in swarm intelligence : 8th International Conference, ICSI 2017, Fukuoka, Japan, July 28 - August 1, 2017, Proceedings, Part II
- Advances in swarm intelligence : 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I
- Advances in swarm intelligence : 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, 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
- Adventures between lower bounds and higher altitudes : essays dedicated to Juraj Hromkovič on the occasion of his 60th birthday
- 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 : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : 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 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 : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. 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 engineering : selected results and surveys
- 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 aspects in information and management : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings
- Algorithmic aspects in information and management : 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, 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 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
- 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