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 Sydney Jones Library, 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 Sydney Jones Library, 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
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 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 Parallel Processing Technologies : 13th International Symposium, APPT 2019, Tianjin, China, August 15-16, 2019, Proceedings
- 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 2020 : 17th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 4-6, 2020, proceedings
- 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 2019 : 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019, Proceedings, Part I
- Advances in neural networks -- ISNN 2019 : 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019, 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 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 : 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, Proceedings, Part I
- Advances in swarm intelligence : 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, proceedings, Part II
- Advances in swarm intelligence : 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14-20, 2020, Proceedings
- 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 aspects in information and management : 14th International Conference, AAIM 2020, Jinhua, China, August 10-12, 2020, Proceedings
- Algorithmic aspects of cloud computing : 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20-21, 2018, Revised selected papers
- 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 Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020 : proceedings, Part II
- 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 : 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings
- Algorithms and architectures for parallel processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
- Algorithms and architectures for parallel processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II
- Algorithms and architectures for parallel processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
- Algorithms and architectures for parallel processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
- Algorithms and architectures for parallel processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I
- Algorithms and architectures for parallel processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part III
- Algorithms and architectures for parallel processing : 8th international conference, ICA3PP 2008, Cyprus, June 9-11, 2008 : proceedings
- Algorithms and architectures for parallel processing : ICA3PP 2016 collated workshops, SCDT, TAPEMS, Big Trust, UCER, DLMCS, Granada, Spain,December 14-16, 2016 : proceedings
- Algorithms and architectures for parallel processing : ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings
- Algorithms and complexity : 11th International Conference, CIAC 2019, Rome, Italy, May 27-29, 2019, 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 : 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, 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 data structures : 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019, 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 : 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015 : proceedings
- Algorithms and models for the web graph : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016, Proceedings
- Algorithms and models for the web graph : 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15?16, 2017, Revised selected papers
- Algorithms and models for the web graph : 15th international workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, proceedings
- Algorithms and models for the web graph : 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6-7, 2019, Proceedings
- Algorithms and models for the web graph : 17th International Workshop, WAW 2020, Warsaw, Poland, September 21-22, 2020, 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, probability, networks, and games : scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday
- Algorithms-- ESA 2012 : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
- Algorithms-- ESA 2014 : 22th 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 I
- Algorithms-ESA 2010 : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part II
- Analysis of experimental algorithms : Special Event, SEA2 2019, Kalamata, Greece, June 24-29, 2019, Revised selected papers
- Ant colony optimization and swarm intelligence : 6th international conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008 ; proceedings
- Application and theory of petri nets 2012 : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
- Application and theory of petri nets and concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : proceedings
- Application and theory of petri nets and concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
- Application and theory of petri nets and concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, proceedings
- Application and theory of petri nets and concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, 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 : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings, Part I
- Applications of evolutionary computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings, Part II
- Applications of evolutionary computation : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
- Applications of evolutionary computation : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II
- Applications of evolutionary computation : 22nd International Conference, EvoApplications 2019, held as part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings
- Applications of evolutionary computation : 23rd European Conference, EvoApplications 2020, held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings
- 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
- 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 : 10th International Conference, PARA 2010, Reykjav̕k, Iceland, June 6-9, 2010, Revised selected papers, Part II
- Applied parallel and scientific computing : 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised selected papers
- Applied reconfigurable computing : 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings
- Applied reconfigurable computing : 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings
- Applied reconfigurable computing : 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019, Proceedings
- Applied reconfigurable computing : architectures, tools, and applications : 16th International Symposium, ARC 2020, Toledo, Spain, April 1-3, 2020, proceedings
- 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 : 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised selected papers
- Approximation and online algorithms : 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016, Revised selected papers
- Approximation and online algorithms : 16th international workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, 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 2016 : 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings
- Architecture of computing systems -- ARCS 2017 : 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings
- Architecture of computing systems -- ARCS 2018 : 31st International Conference, Braunschweig, Germany, April 9-12, 2018, Proceedings
- Architecture of computing systems -- ARCS 2019 : 32nd International Conference, Copenhagen, Denmark, May 20-23, 2019, Proceedings
- Architecture of computing systems -- ARCS 2020 : 33rd International Conference, Aachen, Germany, May 25-28, 2020, 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 : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
- Arithmetic of finite fields : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised selected papers
- Arithmetic of finite fields : 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised selected papers
- Arithmetic of finite fields : 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers
- 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 : 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised selected papers
- Artificial evolution : 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25-27, 2017, 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 : 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 intelligence in music, sound, art and design : 9th International Conference, EvoMUSART 2020, held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020, 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 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 2016 : 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I
- Artificial neural networks and machine learning -- ICANN 2016 : 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II
- Artificial neural networks and machine learning -- ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I
- Artificial neural networks and machine learning -- ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II
- Artificial neural networks and machine learning -- ICANN 2018 : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I
- Artificial neural networks and machine learning -- ICANN 2018 : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II
- Artificial neural networks and machine learning -- ICANN 2020 : 29th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 15-18, 2020, Proceedings, Part I
- 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
- Artificial neural networks-- ICANN 2006 : 16th international conference, Athens, Greece, September 10-14, 2006 : proceedings, part I
- At the intersection of language, logic, and information : ESSLLI 2018 Students Session, Sofia, Bulgaria, August 6-17, 2018. Selected papers
- Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, 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
- Beyond the horizon of computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings
- Bio-inspired computational intelligence and applications : International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007 : proceedings
- Bioinspired Optimization Methods and Their Applications : 9th international conference, BIOMA 2020, Brussels, Belgium, November 19-20, 2020, 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
- Bioinspired optimization methods and their applications : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, 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
- Blended learning : aligning theory with practices : 9th International Conference, ICBL 2016, Beijing, China, July 19-21, 2016, Proceedings
- Blended learning : education in a smart learning environment : 13th International Conference, ICBL 2020, Bangkok, Thailand, August 24-27, 2020, Proceedings
- Blended learning : educational innovation for personalized learning : 12th International Conference, ICBL 2019, Hradex Kralove, July 2-4, 2019, proceedings
- Blended learning : enhancing learning success : 11th International Conference, ICBL 2018, Osaka, Japan, July 31-August 2, 2018, Proceedings
- Blended learning : new challenges and innovative practices : 10th International Conference, ICBL 2017, Hong Kong, China, June 27-29, 2017, 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 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 and Discrete Complex Systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings
- Cellular automata : 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings