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

Label: LNCS sublibrary, SL 1, Theoretical computer science and general issues

Title number: SL 1

Title part: Theoretical computer science and general issues

LNCS sublibrary

A sample of Items in the Series LNCS sublibrary, SL 1, Theoretical computer science and general issues See All

A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday, Sam Lindley, Conor McBride, Phil Trinder, Don Sannella (eds.), (electronic book)

Borrow it

A practical programming model for the multi-core era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 : proceedings, Barbara Chapman ... [et al.] (eds.), (electronic book)

Borrow it

Abstract state machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, Yamine Ait Ameur, Klaus-Dieter Schewe (eds.), (electronic book)

Borrow it

Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro (eds.), (electronic book)

Borrow it

Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.), (electronic book) | (electronic book)

Borrow it

Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.), (electronic book)

Borrow it

Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.), (electronic book)

Borrow it

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, Florin Pop, Maria Potop-Butucaru (Eds.), (electronic book)

Borrow it

Advanced Parallel Processing Technologies : 13th International Symposium, APPT 2019, Tianjin, China, August 15-16, 2019, Proceedings, edited by Pen-Chung Yew, Per Stenström, Junjie Wu, Xiaoli Gong, Tao Li

Borrow it

Advanced intelligent computing : 7th international conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 : revised selected papers, De-Shuang Huang ... [et al.] (eds.), (electronic book)

Borrow it

Advanced language technologies for digital libraries : international workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009, Raffaella Bernardi ... [et al.] (eds.), (electronic book)

Borrow it

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, Joan Cabestany, Ignacio Rojas, Gonzalo Joya (Eds.), (electronic book)

Borrow it

Advances in Neural Networks - ISNN 2008 : 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I, (electronic book)

Borrow it

Advances in Neural Networks - ISNN 2008 : 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II, (electronic book)

Borrow it

Advances in Swarm Intelligence : Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I, Ying Tan ... [et al.] (Eds.), (electronic book)

Borrow it

Advances in computation and intelligence : 5th international symposium, ISICA 2010, Wuhan, China, October 22-24, 2010 : proceedings, Zhihua Cai ... [et al.] (eds.), (electronic book)

Borrow it

Advances in computation and intelligence : second international symposium, ISICA 2007, Wuhan, China, September 21-23, 2007 : proceedings, Lishan Kang, Yong Liu, Sanyou Zeng (eds.), (electronic book)

Borrow it

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, Joan Cabestany, Ignacio Rojas, Gonzalo Joya (Eds.), (electronic book)

Borrow it

Advances in computational intelligence : 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I, Ignacio Rojas, Gonzalo Joya, Andreu Catala (eds.), (electronic book)

Borrow it

Advances in computational intelligence : 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II, Ignacio Rojas, Gonzalo Joya, Andreu Catala (eds.), (electronic book)

Borrow it

Advances in computer games : 12th international conference, ACG 2009, Pamplona, Spain, May 11-13, 2009 : revised papers, H. Jaap van den Herik, Pieter Spronck (eds.), (electronic book)

Borrow it

Advances in computer games : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised selected papers, H. Jaap van den Herik, Aske Plaat (eds.), (electronic book)

Borrow it

Advances in computer games : 14th International Conference, ACG 2015, Leiden, the Netherlands, July 1-3, 2015, Revised selected papers, Aske Plaat, H. Jaap van den Herik, Walter Kosters (eds.), (electronic book)

Borrow it

Advances in grid and pervasive computing : 5th international conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010 : proceedings, Paolo Bellavista ... [et al.] (eds.), (electronic book)

Borrow it

Advances in grid and pervasive computing : 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011, proceedings, Jukka Riekki, Mika Ylianttila, Minyi Guo (Eds.), (electronic book)

Borrow it

Advances in grid and pervasive computing : 7th international conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings, Ruixuan Li, Jiannong Cao, Julien Bourgeois (eds.), (electronic book)

Borrow it

Advances in neural networks - ISNN 2010 : 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010 : proceedings, Part I, Liqing Zhang, Bao-Liang Lu, James Kwok (eds.), (electronic book)

Borrow it

Advances in neural networks - ISNN 2010 : 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010 : proceedings, Part II, Liqing Zhang, Bao-Liang Lu, James Kwok (eds.), (electronic book)

Borrow it

Advances in neural networks - ISNN 2011 : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings, Part I, Derong Liu ... [et al.] (eds.), (electronic book)

Borrow it

Advances in neural networks - ISNN 2011 : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings, Part II, Derong Liu ... [et al.] (eds.), (electronic book)

Borrow it

Advances in neural networks - ISNN 2011 : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings, Part III, Derong Liu ... [et al.] (eds.), (electronic book)

Borrow it

Advances in neural networks -- ISNN 2016 : 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings, Long Cheng, Qingshan Liu, Andrey Ronzhin (eds.), (electronic book)

Borrow it

Advances in neural networks -- ISNN 2018 : 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, Proceedings, Tingwen Huang, Jiancheng Lv, Changyin Sun, Alexander V. Tuzikov (eds.), (electronic book) | (electronic book)

Borrow it

Advances in neural networks -- ISNN 2019 : 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019, Proceedings, Part I, Huchuan Lu, Huajin Tang, Zhanshan Wang (Eds.)

Borrow it

Advances in neural networks -- ISNN 2019 : 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019, Proceedings, Part II, Huchuan Lu, Huajin Tang, Zhanshan Wang (Eds.)

Borrow it

Advances in neural networks-- ISNN 2012 : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I, Jun Wang, Gary G. Yen, Marios M. Polycarpou (eds.), (electronic book)

Borrow it

Advances in neural networks-- ISNN 2012 : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II, Jun Wang, Gary G. Yen, Marios M. Polycarpou (eds.), (electronic book)

Borrow it

Advances in neural networks-- ISNN 2013 : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I, Chengan Guo, Zeng-Guang Hou, Zhigang Zeng (eds.), (electronic book)

Borrow it

Advances in neural networks-- ISNN 2013 : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II, Chengan Guo, Zeng-Guang Hou, Zhigang Zeng (eds.), (electronic book)

Borrow it

Advances in self-organizing maps : 8th international workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011 : proceedings, Jorma Laaksonen, Timo Honkela (eds.), (electronic book)

Borrow it

Advances in social network mining and analysis : second international workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008 : revised selected papers, Lee Giles ... [et al.] (eds.), (electronic book)

Borrow it

Advances in swarm intelligence : 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, Proceedings, Part I, Ying Tan, Yuhui Shi, Ben Niu, (Eds.)

Borrow it

Advances in swarm intelligence : 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, proceedings, Part II, Ying Tan, Yuhui Shi, Ben Niu, (Eds.)

Borrow it

Advances in swarm intelligence : 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14-20, 2020, Proceedings, Ying Tan, Yuhui Shi, Milan Tuba (eds.)

Borrow it

Advances in swarm intelligence : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I, Ying Tan, Yuhui Shi, Hongwei Mo (eds.), (electronic book)

Borrow it

Advances in swarm intelligence : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II, Ying Tan, Yuhui Shi, Hongwei Mo (eds.), (electronic book)

Borrow it

Advances in swarm intelligence : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I, edited by Ying Tan, Yuhui Shi, Carlos A. Coello Coello, (electronic book)

Borrow it

Advances in swarm intelligence : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II, Ying Tan, Yuhui Shi, Carlos A. Coello Coello (eds.), (electronic book)

Borrow it

Advances in swarm intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I, Ying Tan, Yuhui Shi, Li Li, editors, (electronic book)

Borrow it

Advances in swarm intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II, Ying Tan, Yuhui Shi, Li Li, editors, (electronic book)

Borrow it

Advances in swarm intelligence : 8th International Conference, ICSI 2017, Fukuoka, Japan, July 28 - August 1, 2017, Proceedings, Part I, Ying Tan, Yuhui Shi, Hideyuki Takagi (eds.), (electronic book)

Borrow it

Advances in swarm intelligence : 8th International Conference, ICSI 2017, Fukuoka, Japan, July 28 - August 1, 2017, Proceedings, Part II, Ying Tan, Yuhui Shi, Hideyuki Takagi, Ben Niu (eds.), (electronic book)

Borrow it

Advances in swarm intelligence : 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I, Ying Tan, Yuhui Shi, Qirong Tang (eds.)

Borrow it

Advances in swarm intelligence : 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II, Ying Tan, Yuhui Shi, Qirong Tang (eds.)

Borrow it

Advances in swarm intelligence : first international conference, ICSI 2010, Beijing, China, June 12-15, 2010 ; proceedings, Part II, Ying Tan, Yuhui Shi, Kay Chen Tan (eds.), (electronic book)

Borrow it

Advances in swarm intelligence : first international conference, ICSI 2010, Beijing, China, June 12-15, 2010 ; proceedings, Ying Tan, Yuhui Shi, Kay Chen Tan (eds.), (electronic book)

Borrow it

Advances in swarm intelligence : second international conference, ICSI 2011, Chongqing, China, June 12-15, 2011, proceedings, Part II, Ying Tan ... [et al.] (eds.), (electronic book)

Borrow it

Advances in swarm intelligence : third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part I, Ying Tan, Yuhui Shi, Zhen Ji (eds.), (electronic book)

Borrow it

Advances in swarm intelligence : third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part II, Ying Tan, Yuhui Shi, Zhen Ji (eds.), (electronic book)

Borrow it

Adventures between lower bounds and higher altitudes : essays dedicated to Juraj Hromkovič on the occasion of his 60th birthday, Hans-Joachim Böckenhauer, Dennis Komm, Walter Unger (eds.)

Borrow it

Algebra and coalgebra in computer science : 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings, Andrea Corradini, Bartek Klin, Corina Cîrstea (eds.), (electronic book)

Borrow it

Algebra and coalgebra in computer science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, Reiko Heckel, Stefan Milius (eds.), (electronic book)

Borrow it

Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings, Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.), (electronic book)

Borrow it

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, Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz (eds.), (electronic book)

Borrow it

Algebraic and numeric biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised selected papers, Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov (eds.), (electronic book)

Borrow it

Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement, edited by Werner Kuich, George Rahonis, (electronic book)

Borrow it

Algebraic informatics : 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : proceedings, Franz Winkler (ed.), (electronic book)

Borrow it

Algebraic informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, Andreas Maletti (ed.), (electronic book)

Borrow it

Algebraic informatics : second international conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers, Symeon Bozapalidis, George Rahonis (eds.), (electronic book)

Borrow it

Algorithm engineering : bridging the gap between algorithm theory and practice, Matthias Müller-Hannemann, Stefan Schirra (eds.), (electronic book)

Borrow it

Algorithm engineering : selected results and surveys, Lasse Kliemann, Peter Sanders (eds.)

Borrow it

Algorithm theory - SWAT 2010 : 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010 ; proceedings, Haim Kaplan (ed.), (electronic book)

Borrow it

Algorithm theory-- SWAT 2012 : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings, Fedor V. Fomin, Petteri Kaski (eds.), (electronic book)

Borrow it

Algorithm theory-- SWAT 2014 : 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014 : proceedings, R. Ravi, Inge Li Gørtz (Eds.), (electronic book)

Borrow it

Algorithmic aspects in information and management : 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014. Proceedings, Qianping Gu, Pavol Hell, Boting Yang (eds.), (electronic book)

Borrow it

Algorithmic aspects in information and management : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings, Riccardo Dondi, Guillaume Fertin, Giancarlo Mauri (eds.), (electronic book)

Borrow it

Algorithmic aspects in information and management : 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, Proceedings, Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko (eds.)

Borrow it

Algorithmic aspects in information and management : 14th International Conference, AAIM 2020, Jinhua, China, August 10-12, 2020, Proceedings, Zhao Zhang, Wei Li, Ding-Zhu Du (eds.)

Borrow it

Algorithmic aspects of cloud computing : 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20-21, 2018, Revised selected papers, Yann Disser, Vassilios S. Verykios (eds.)

Borrow it

Algorithmic number theory : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings, Guillaume Hanrot, François Morain, Emmanuel Thomé (Eds.), (electronic book)

Borrow it

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, David L. Dowe (eds.), (electronic book)

Borrow it

Algorithms -- ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings, Nikhil Bansal, Irene Finocchi (eds.), (electronic book)

Borrow it

Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020 : proceedings, Part II, Meikang Qiu (ed.)

Borrow it

Algorithms and applications : essay dedicated to Esko Ukkonen on the occasion of his 60th birthday, Tapio Elomaa, Heikki Mannila, Pekka Orponen, (eds.), (electronic book)

Borrow it

Algorithms and architectures for parallel processing : 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings, Part I, Ching-Hsien Hsu ... [et al.] (eds.), (electronic book)

Borrow it

Algorithms and architectures for parallel processing : 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings, Part II, Ching-Hsien Hsu ... [et al.] (eds.), (electronic book)

Borrow it

Algorithms and architectures for parallel processing : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I, Yang Xiang...[et al.] (eds.), (electronic book)

Borrow it

Algorithms and architectures for parallel processing : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II, Yang Xiang...[et al.] (eds.), (electronic book)

Borrow it

Algorithms and architectures for parallel processing : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I, Joanna Kołodziej, Beniamino Martino, Domenico Talia, Kaiqi Xiong (eds.), (electronic book)

Borrow it

Algorithms and architectures for parallel processing : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II, Rocco Aversa, Joanna Kołodziej, Jun Zhang, Flora Amato, Giancarlo Fortino (eds.), (electronic book)

Borrow it

Algorithms and architectures for parallel processing : 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I, edited by Xian-he Sun ... [and more] (eds.)

Borrow it

Algorithms and architectures for parallel processing : 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II, Xian-he Sun...[and more] (eds.), (electronic book)

Borrow it

Algorithms and architectures for parallel processing : 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings, Shadi Ibrahim, Kim-Kwang Raymond Choo, Zheng Yan, Witold Pedrycz (eds.)

Borrow it

Algorithms and architectures for parallel processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I, Jaideep Vaidya, Jin Li (eds.)

Borrow it

Algorithms and architectures for parallel processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II, Jaideep Vaidya, Jin Li (eds.)

Borrow it

Algorithms and architectures for parallel processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III, Jaideep Vaidya, Jin Li (eds.)

Borrow it

Algorithms and architectures for parallel processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV, Jaideep Vaidya, Jin Li (eds.)

Borrow it

Algorithms and architectures for parallel processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I, Meikang Qiu (ed.)

Borrow it

Algorithms and architectures for parallel processing : 8th international conference, ICA3PP 2008, Cyprus, June 9-11, 2008 : proceedings, Anu G. Bourgeois, S.Q. Zheng (eds.), (electronic book)

Borrow it

Algorithms and architectures for parallel processing : ICA3PP 2016 collated workshops, SCDT, TAPEMS, Big Trust, UCER, DLMCS, Granada, Spain,December 14-16, 2016 : proceedings, Jesus Carretero et al. (eds.), (electronic book)

Borrow it

Context

Context of LNCS sublibrary, SL 1, Theoretical computer science and general issues

Members

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 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 : 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 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 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
Cellular automata : 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings
Cellular automata : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016. Fez, Morocco, September 5-8, 2016, proceedings
Cellular automata : 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018, Proceedings
Cellular automata : 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006 : proceedings

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.

A sample of Items in the Series LNCS sublibrary, SL 1, Theoretical computer science and general issues See All

Context

Members

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.