Limit Search Results
Author
SpringerLink (Online service)
(1518)
Apduhan, Bernady O. editor.
(22)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(17)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(17)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(17)
Language
Publication Date
-
Subject
Science (General).
(530)
Computer science.
(321)
Artificial intelligence.
(234)
Computer Science, general.
(199)
Software engineering.
(172)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1644 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
301. 
Cover image for Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Author 
Lambers, Leen. editor. (orcid)0000-0001-6937-5167 Weber, Jens. editor. (orcid)0000-0003-4591-6728 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92991-0
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
Cover image for Computational Linguistics and Intelligent Text Processing 17th International Conference, CICLing 2016, Konya, Turkey, April 3–9, 2016, Revised Selected Papers, Part II
Computational Linguistics and Intelligent Text Processing 17th International Conference, CICLing 2016, Konya, Turkey, April 3–9, 2016, Revised Selected Papers, Part II
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75487-1
Format: 
Availability 
Online Library~1
Available:
Copies:
303. 
Cover image for Engineering Secure Software and Systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings
Engineering Secure Software and Systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings
Author 
Payer, Mathias. editor. Rashid, Awais. editor. Such, Jose M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94496-8
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings
Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings
Author 
Stepney, Susan. editor. (orcid)0000-0003-3146-5401 Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92435-9
Format: 
Availability 
Online Library~1
Available:
Copies:
305. 
Cover image for Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Author 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73579-5
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
Cover image for Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95174-4
Format: 
Availability 
Online Library~1
Available:
Copies:
307. 
Cover image for Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
Author 
Konstantinidis, Stavros. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94631-3
Format: 
Availability 
Online Library~1
Available:
Copies:
308. 
Cover image for Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings
Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings
Author 
Deville, Yannick. editor. (orcid)0000-0002-8769-2446 Gannot, Sharon. editor. (orcid)0000-0002-2885-170X Mason, Russell. editor. (orcid)0000-0002-6030-9603 Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ward, Dominic. editor. (orcid)0000-0002-7819-0145
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93764-9
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings
Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings
Author 
Xu, Kuai. editor. Zhu, Haojin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518831.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21837-3
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings
Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings
Author 
Michel, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518836.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18008-3
Format: 
Availability 
Online Library~1
Available:
Copies:
311. 
Cover image for Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings
Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings
Author 
Cicalese, Ferdinando. editor. Porat, Ely. editor. Vaccaro, Ugo. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(518842.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19929-0
Format: 
Availability 
Online Library~1
Available:
Copies:
312. 
Cover image for Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers
Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers
Author 
Boissonnat, Jean-Daniel. editor. Cohen, Albert. editor. Gibaru, Olivier. editor. Gout, Christian. editor. Lyche, Tom. editor.
Preferred Shelf Number 
XX(518851.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22804-4
Format: 
Availability 
Online Library~1
Available:
Copies:
313. 
Cover image for Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Author 
Leucker, Martin. editor. Rueda, Camilo. editor. Valencia, Frank D. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518852.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25150-9
Format: 
Availability 
Online Library~1
Available:
Copies:
314. 
Cover image for Architecture of Computing Systems - ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings
Architecture of Computing Systems - ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings
Author 
Pinho, Luís Miguel Pinho. editor. Karl, Wolfgang. editor. Cohen, Albert. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519033.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16086-3
Format: 
Availability 
Online Library~1
Available:
Copies:
315. 
Cover image for Numerical Methods and Applications 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
Numerical Methods and Applications 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
Author 
Dimov, Ivan. editor. Fidanova, Stefka. editor. Lirkov, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519037.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15585-2
Format: 
Availability 
Online Library~1
Available:
Copies:
316. 
Cover image for Neural Information Processing 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV
Neural Information Processing 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV
Author 
Arik, Sabri. editor. Huang, Tingwen. editor. Lai, Weng Kin. editor. Liu, Qingshan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519038.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26561-2
Format: 
Availability 
Online Library~1
Available:
Copies:
317. 
Cover image for Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings
Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings
Author 
Chen, Yunji. editor. Ienne, Paolo. editor. Ji, Qing. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519039.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23216-4
Format: 
Availability 
Online Library~1
Available:
Copies:
318. 
Cover image for Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Author 
Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519040.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46906-4
Format: 
Availability 
Online Library~1
Available:
Copies:
319. 
Cover image for Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II
Author 
Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519042.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27122-4
Format: 
Availability 
Online Library~1
Available:
Copies:
320. 
Cover image for Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519043.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
321. 
Cover image for Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Author 
Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519049.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
322. 
Cover image for Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings
Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings
Author 
Träff, Jesper Larsson. editor. Hunold, Sascha. editor. Versaci, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519051.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48096-0
Format: 
Availability 
Online Library~1
Available:
Copies:
323. 
Cover image for Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
Author 
Italiano, Giuseppe F. editor. Pighizzini, Giovanni. editor. Sannella, Donald T. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519055.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48054-0
Format: 
Availability 
Online Library~1
Available:
Copies:
324. 
Cover image for Advances in Computational Intelligence 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II
Advances in Computational Intelligence 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II
Author 
Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519132.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19222-2
Format: 
Availability 
Online Library~1
Available:
Copies:
325. 
Cover image for Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Author 
Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519060.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Availability 
Online Library~1
Available:
Copies:
326. 
Cover image for Theory and Practice of Natural Computing Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings
Theory and Practice of Natural Computing Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings
Author 
Dediu, Adrian-Horia. editor. Magdalena, Luis. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519062.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26841-5
Format: 
Availability 
Online Library~1
Available:
Copies:
327. 
Cover image for Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Author 
Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519065.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28475-0
Format: 
Availability 
Online Library~1
Available:
Copies:
328. 
Cover image for Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV
Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV
Author 
Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519066.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27140-8
Format: 
Availability 
Online Library~1
Available:
Copies:
329. 
Cover image for Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Author 
Blazy, Sandrine. editor. Jensen, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519067.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48288-9
Format: 
Availability 
Online Library~1
Available:
Copies:
330. 
Cover image for Combinatorial Optimization and Applications 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings
Combinatorial Optimization and Applications 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings
Author 
Lu, Zaixin. editor. Kim, Donghyun. editor. Wu, Weili. editor. Li, Wei. editor. (orcid) Du, Ding-Zhu. editor. (orcid)
Preferred Shelf Number 
XX(519143.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26626-8
Format: 
Availability 
Online Library~1
Available:
Copies:
331. 
Cover image for Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
Author 
Dhaenens, Clarisse. editor. Jourdan, Laetitia. editor. Marmion, Marie-Eléonore. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519144.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19084-6
Format: 
Availability 
Online Library~1
Available:
Copies:
332. 
Cover image for Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
Author 
Markidis, Stefano. editor. Laure, Erwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519145.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15976-8
Format: 
Availability 
Online Library~1
Available:
Copies:
333. 
Cover image for Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Author 
Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519146.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
334. 
Cover image for WALCOM: Algorithms and Computation 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings
WALCOM: Algorithms and Computation 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings
Author 
Rahman, M. Sohel. editor. Tomita, Etsuji. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519097.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15612-5
Format: 
Availability 
Online Library~1
Available:
Copies:
335. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Author 
Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519103.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48899-7
Format: 
Availability 
Online Library~1
Available:
Copies:
336. 
Cover image for High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers
Author 
Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519105.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17248-4
Format: 
Availability 
Online Library~1
Available:
Copies:
337. 
Cover image for Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
Author 
Bansal, Nikhil. editor. Finocchi, Irene. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519110.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48350-3
Format: 
Availability 
Online Library~1
Available:
Copies:
338. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(519112.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21404-7
Format: 
Availability 
Online Library~1
Available:
Copies:
339. 
Cover image for Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Author 
Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519117.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17142-5
Format: 
Availability 
Online Library~1
Available:
Copies:
340. 
Cover image for Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Author 
Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519118.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-45824-2
Format: 
Availability 
Online Library~1
Available:
Copies:
341. 
Cover image for Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III
Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III
Author 
Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519169.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27137-8
Format: 
Availability 
Online Library~1
Available:
Copies:
342. 
Cover image for Information Processing in Cells and Tissues 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings
Information Processing in Cells and Tissues 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings
Author 
Lones, Michael. editor. Tyrrell, Andy. editor. Smith, Stephen. editor. Fogel, Gary. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519178.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23108-2
Format: 
Availability 
Online Library~1
Available:
Copies:
343. 
Cover image for Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers
Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers
Author 
Jan, Kratochvíl. editor. Miller, Mirka. editor. Froncek, Dalibor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519181.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19315-1
Format: 
Availability 
Online Library~1
Available:
Copies:
344. 
Cover image for Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I
Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I
Author 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo-Moreo, Fco. Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number 
XX(519255.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18914-7
Format: 
Availability 
Online Library~1
Available:
Copies:
345. 
Cover image for Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Author 
Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519259.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21145-9
Format: 
Availability 
Online Library~1
Available:
Copies:
346. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(519260.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21410-8
Format: 
Availability 
Online Library~1
Available:
Copies:
347. 
Cover image for Text Analysis Pipelines Towards Ad-hoc Large-Scale Text Mining
Text Analysis Pipelines Towards Ad-hoc Large-Scale Text Mining
Author 
Wachsmuth, Henning. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(519263.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25741-9
Format: 
Availability 
Online Library~1
Available:
Copies:
348. 
Cover image for Computer Algebra and Polynomials Applications of Algebra and Number Theory
Computer Algebra and Polynomials Applications of Algebra and Number Theory
Author 
Gutierrez, Jaime. editor. Schicho, Josef. editor. Weimann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519265.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15081-9
Format: 
Availability 
Online Library~1
Available:
Copies:
349. 
Cover image for Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Author 
Martí-Oliet, Narciso. editor. Ölveczky, Peter Csaba. editor. Talcott, Carolyn. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519268.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23165-5
Format: 
Availability 
Online Library~1
Available:
Copies:
350. 
Cover image for Algorithms, Probability, Networks, and Games Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday
Algorithms, Probability, Networks, and Games Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday
Author 
Zaroliagis, Christos. editor. Pantziou, Grammati. editor. Kontogiannis, Spyros. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519275.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24024-4
Format: 
Availability 
Online Library~1
Available:
Copies:
351. 
Cover image for Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Author 
Shallit, Jeffrey. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519199.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19225-3
Format: 
Availability 
Online Library~1
Available:
Copies:
352. 
Cover image for Hybrid Learning: Innovation in Educational Practices 8th International Conference, ICHL 2015, Wuhan, China, July 27-29, 2015. Proceedings
Hybrid Learning: Innovation in Educational Practices 8th International Conference, ICHL 2015, Wuhan, China, July 27-29, 2015. Proceedings
Author 
Cheung, Simon K.S. editor. Kwok, Lam-for. editor. Yang, Harrison. editor. Fong, Joseph. editor. Kwan, Reggie. editor.
Preferred Shelf Number 
XX(519306.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20621-9
Format: 
Availability 
Online Library~1
Available:
Copies:
353. 
Cover image for Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001
Author 
Guerraoui, Rachid. editor. Romano, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519310.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14720-8
Format: 
Availability 
Online Library~1
Available:
Copies:
354. 
Cover image for Swarm, Evolutionary, and Memetic Computing 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers
Swarm, Evolutionary, and Memetic Computing 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers
Author 
Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519215.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20294-5
Format: 
Availability 
Online Library~1
Available:
Copies:
355. 
Cover image for Distributed Computing 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings
Distributed Computing 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings
Author 
Moses, Yoram. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519218.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48653-5
Format: 
Availability 
Online Library~1
Available:
Copies:
356. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519222.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47672-7
Format: 
Availability 
Online Library~1
Available:
Copies:
357. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519225.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47666-6
Format: 
Availability 
Online Library~1
Available:
Copies:
358. 
Cover image for Frontiers in Algorithmics 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings
Frontiers in Algorithmics 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings
Author 
Wang, Jianxin. editor. Yap, Chee. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519334.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19647-3
Format: 
Availability 
Online Library~1
Available:
Copies:
359. 
Cover image for Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings
Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings
Author 
Calude, Cristian S. editor. Dinneen, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519335.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21819-9
Format: 
Availability 
Online Library~1
Available:
Copies:
360. 
Cover image for Spatial Information Theory 12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings
Spatial Information Theory 12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings
Author 
Fabrikant, Sara Irina. editor. Raubal, Martin. editor. Bertolotto, Michela. editor. Davies, Clare. editor. Freundschuh, Scott. editor.
Preferred Shelf Number 
XX(519338.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23374-1
Format: 
Availability 
Online Library~1
Available:
Copies:
361. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(519341.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21413-9
Format: 
Availability 
Online Library~1
Available:
Copies:
362. 
Cover image for Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
XX(519344.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16501-1
Format: 
Availability 
Online Library~1
Available:
Copies:
363. 
Cover image for Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
Author 
Campos, Javier. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519347.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22264-6
Format: 
Availability 
Online Library~1
Available:
Copies:
364. 
Cover image for String Processing and Information Retrieval 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings
String Processing and Information Retrieval 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings
Author 
Iliopoulos, Costas. editor. Puglisi, Simon. editor. Yilmaz, Emine. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518751.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23826-5
Format: 
Availability 
Online Library~1
Available:
Copies:
365. 
Cover image for High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers
High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers
Author 
Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518766.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17353-5
Format: 
Availability 
Online Library~1
Available:
Copies:
366. 
Cover image for Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
Author 
Maletti, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518769.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23021-4
Format: 
Availability 
Online Library~1
Available:
Copies:
367. 
Cover image for Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Author 
Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518775.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
368. 
Cover image for DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings
DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings
Author 
Phillips, Andrew. editor. Yin, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518778.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21999-8
Format: 
Availability 
Online Library~1
Available:
Copies:
369. 
Cover image for Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II
Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Buarque, Fernando. editor. Gelbukh, Alexander. editor. Das, Swagatam. editor.
Preferred Shelf Number 
XX(518780.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20472-7
Format: 
Availability 
Online Library~1
Available:
Copies:
370. 
Cover image for 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
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
Author 
Pop, Florin. editor. Potop-Butucaru, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518782.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28448-4
Format: 
Availability 
Online Library~1
Available:
Copies:
371. 
Cover image for Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II
Author 
Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518783.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15892-1
Format: 
Availability 
Online Library~1
Available:
Copies:
372. 
Cover image for Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Author 
Sankaranarayanan, Sriram. editor. Vicario, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518791.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22975-1
Format: 
Availability 
Online Library~1
Available:
Copies:
373. 
Cover image for Advances in Computational Intelligence 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part I
Advances in Computational Intelligence 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part I
Author 
Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518793.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19258-1
Format: 
Availability 
Online Library~1
Available:
Copies:
374. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(518794.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21407-8
Format: 
Availability 
Online Library~1
Available:
Copies:
375. 
Cover image for Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Author 
Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518797.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20297-6
Format: 
Availability 
Online Library~1
Available:
Copies:
376. 
Cover image for Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518798.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17404-4
Format: 
Availability 
Online Library~1
Available:
Copies:
377. 
Cover image for Cellular Automata and Discrete Complex Systems 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
Cellular Automata and Discrete Complex Systems 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
Author 
Isokawa, Teijiro. editor. Imai, Katsunobu. editor. Matsui, Nobuyuki. editor. Peper, Ferdinand. editor. Umeo, Hiroshi. editor.
Preferred Shelf Number 
XX(518804.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18812-6
Format: 
Availability 
Online Library~1
Available:
Copies:
378. 
Cover image for Algorithms and Computation 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings
Algorithms and Computation 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings
Author 
Elbassioni, Khaled. editor. Makino, Kazuhisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518834.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48971-0
Format: 
Availability 
Online Library~1
Available:
Copies:
379. 
Cover image for Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings
Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings
Author 
Bampis, Evripidis. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518813.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20086-6
Format: 
Availability 
Online Library~1
Available:
Copies:
380. 
Cover image for Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Author 
Meyer, Roland. editor. Platzer, André. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518815.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23506-6
Format: 
Availability 
Online Library~1
Available:
Copies:
381. 
Cover image for Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II
Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II
Author 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo-Moreo, Fco. Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number 
XX(518824.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18833-1
Format: 
Availability 
Online Library~1
Available:
Copies:
382. 
Cover image for Algorithms and Architectures for Parallel Processing ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings
Algorithms and Architectures for Parallel Processing ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings
Author 
Wang, Guojin. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518859.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27161-3
Format: 
Availability 
Online Library~1
Available:
Copies:
383. 
Cover image for Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Author 
Falaschi, Moreno. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518861.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27436-2
Format: 
Availability 
Online Library~1
Available:
Copies:
384. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(518867.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21470-2
Format: 
Availability 
Online Library~1
Available:
Copies:
385. 
Cover image for Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III
Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III
Author 
Arik, Sabri. editor. Huang, Tingwen. editor. Lai, Weng Kin. editor. Liu, Qingshan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518873.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26555-1
Format: 
Availability 
Online Library~1
Available:
Copies:
386. 
Cover image for Latent Variable Analysis and Signal Separation 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings
Latent Variable Analysis and Signal Separation 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings
Author 
Vincent, Emmanuel. editor. Yeredor, Arie. editor. Koldovský, Zbyněk. editor. Tichavský, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518880.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22482-4
Format: 
Availability 
Online Library~1
Available:
Copies:
387. 
Cover image for Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Author 
Kahl, Wolfram. editor. Winter, Michael. editor. Oliveira, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518883.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24704-5
Format: 
Availability 
Online Library~1
Available:
Copies:
388. 
Cover image for Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
Author 
Bodei, Chiara. editor. Ferrari, Gianluigi. editor. Priami, Corrado. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518889.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25527-9
Format: 
Availability 
Online Library~1
Available:
Copies:
389. 
Cover image for Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
Author 
Italiano, Giuseppe F. editor. Pighizzini, Giovanni. editor. Sannella, Donald T. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518893.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48057-1
Format: 
Availability 
Online Library~1
Available:
Copies:
390. 
Cover image for SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
Author 
Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Preferred Shelf Number 
XX(518910.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46078-8
Format: 
Availability 
Online Library~1
Available:
Copies:
391. 
Cover image for Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings
Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings
Author 
Kosowski, Adrian. editor. Walukiewicz, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518912.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22177-9
Format: 
Availability 
Online Library~1
Available:
Copies:
392. 
Cover image for Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
Author 
Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518917.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20239-6
Format: 
Availability 
Online Library~1
Available:
Copies:
393. 
Cover image for Computer Vision Systems 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings
Computer Vision Systems 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings
Author 
Nalpantidis, Lazaros. editor. Krüger, Volker. editor. Eklundh, Jan-Olof. editor. Gasteratos, Antonios. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518920.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20904-3
Format: 
Availability 
Online Library~1
Available:
Copies:
394. 
Cover image for Computer Aided Systems Theory - EUROCAST 2015 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers
Computer Aided Systems Theory - EUROCAST 2015 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518923.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27340-2
Format: 
Availability 
Online Library~1
Available:
Copies:
395. 
Cover image for Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Author 
Fischer, Bernd. editor. Geldenhuys, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518932.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23404-5
Format: 
Availability 
Online Library~1
Available:
Copies:
396. 
Cover image for Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Author 
D'Souza, Deepak. editor. Lal, Akash. editor. Larsen, Kim Guldstrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518938.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
397. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
Author 
Pelc, Andrzej. editor. Schwarzmann, Alexander A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518940.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21741-3
Format: 
Availability 
Online Library~1
Available:
Copies:
398. 
Cover image for Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III
Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Buarque, Fernando. editor. Gelbukh, Alexander. editor. Das, Swagatam. editor.
Preferred Shelf Number 
XX(518945.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20469-7
Format: 
Availability 
Online Library~1
Available:
Copies:
399. 
Cover image for Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I
Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Buarque, Fernando. editor. Gelbukh, Alexander. editor. Das, Swagatam. editor.
Preferred Shelf Number 
XX(518947.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20466-6
Format: 
Availability 
Online Library~1
Available:
Copies:
400. 
Cover image for Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Author 
de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number 
XX(518949.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
401. 
Cover image for Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers
Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers
Author 
Atmanspacher, Harald. editor. Bergomi, Claudia. editor. Filk, Thomas. editor. Kitto, Kirsty. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518954.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15931-7
Format: 
Availability 
Online Library~1
Available:
Copies:
402. 
Cover image for Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518957.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18117-2
Format: 
Availability 
Online Library~1
Available:
Copies:
403. 
Cover image for Evolutionary and Biologically Inspired Music, Sound, Art and Design 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Evolutionary and Biologically Inspired Music, Sound, Art and Design 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Johnson, Colin. editor. Carballal, Adrian. editor. Correia, João. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518959.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16498-4
Format: 
Availability 
Online Library~1
Available:
Copies:
404. 
Cover image for Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings
Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518961.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21909-7
Format: 
Availability 
Online Library~1
Available:
Copies:
405. 
Cover image for Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Author 
Bojanczyk, Mikolai. editor. Lasota, Slawomir. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518962.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24537-9
Format: 
Availability 
Online Library~1
Available:
Copies:
406. 
Cover image for Evolutionary Computation in Combinatorial Optimization 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Evolutionary Computation in Combinatorial Optimization 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Ochoa, Gabriela. editor. Chicano, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518973.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16468-7
Format: 
Availability 
Online Library~1
Available:
Copies:
407. 
Cover image for Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(518975.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24021-3
Format: 
Availability 
Online Library~1
Available:
Copies:
408. 
Cover image for Algorithms and Data Structures 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings
Algorithms and Data Structures 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings
Author 
Dehne, Frank. editor. Sack, Jörg-Rüdiger. editor. Stege, Ulrike. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518976.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21840-3
Format: 
Availability 
Online Library~1
Available:
Copies:
409. 
Cover image for Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings
Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings
Author 
Ganguly, Sumit. editor. Krishnamurti, Ramesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518978.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14974-5
Format: 
Availability 
Online Library~1
Available:
Copies:
410. 
Cover image for Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
Author 
Koç, Çetin Kaya. editor. Mesnager, Sihem. editor. Savaş, Erkay. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518984.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16277-5
Format: 
Availability 
Online Library~1
Available:
Copies:
411. 
Cover image for Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Author 
Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518985.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15934-8
Format: 
Availability 
Online Library~1
Available:
Copies:
412. 
Cover image for Informatics in Schools. Curricula, Competences, and Competitions 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, September 28 - October 1, 2015, Proceedings
Informatics in Schools. Curricula, Competences, and Competitions 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, September 28 - October 1, 2015, Proceedings
Author 
Brodnik, Andrej. editor. Vahrenhold, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518988.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25396-1
Format: 
Availability 
Online Library~1
Available:
Copies:
413. 
Cover image for Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings
Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings
Author 
Manea, Florin. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518989.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23660-5
Format: 
Availability 
Online Library~1
Available:
Copies:
414. 
Cover image for Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
Author 
Sano, Kentaro. editor. Soudris, Dimitrios. editor. Hübner, Michael. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519004.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16214-0
Format: 
Availability 
Online Library~1
Available:
Copies:
415. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519007.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
416. 
Cover image for Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
Author 
Plaat, Aske. editor. van den Herik, Jaap. editor. Kosters, Walter. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519010.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27992-3
Format: 
Availability 
Online Library~1
Available:
Copies:
417. 
Cover image for 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 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings
Author 
Gleich, David F. editor. Komjáthy, Júlia. editor. Litvak, Nelly. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519011.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26784-5
Format: 
Availability 
Online Library~1
Available:
Copies:
418. 
Cover image for Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Author 
Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519014.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15579-1
Format: 
Availability 
Online Library~1
Available:
Copies:
419. 
Cover image for Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Mora, Antonio M. editor. Squillero, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519015.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16549-3
Format: 
Availability 
Online Library~1
Available:
Copies:
420. 
Cover image for Graph Drawing and Network Visualization 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers
Graph Drawing and Network Visualization 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers
Author 
Di Giacomo, Emilio. editor. Lubiw, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519018.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27261-0
Format: 
Availability 
Online Library~1
Available:
Copies:
421. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519028.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
422. 
Cover image for Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Franke, Björn. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519059.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46663-6
Format: 
Availability 
Online Library~1
Available:
Copies:
423. 
Cover image for Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519136.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46675-9
Format: 
Availability 
Online Library~1
Available:
Copies:
424. 
Cover image for Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Author 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519137.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Availability 
Online Library~1
Available:
Copies:
425. 
Cover image for Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Author 
Naumann, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519138.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14806-9
Format: 
Availability 
Online Library~1
Available:
Copies:
426. 
Cover image for Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Author 
Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519139.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28114-8
Format: 
Availability 
Online Library~1
Available:
Copies:
427. 
Cover image for Approximation and Online Algorithms 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers
Approximation and Online Algorithms 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers
Author 
Bampis, Evripidis. editor. Svensson, Ola. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519068.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18263-6
Format: 
Availability 
Online Library~1
Available:
Copies:
428. 
Cover image for Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519079.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
429. 
Cover image for Models of Strategic Reasoning Logics, Games, and Communities
Models of Strategic Reasoning Logics, Games, and Communities
Author 
van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519080.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48540-8
Format: 
Availability 
Online Library~1
Available:
Copies:
430. 
Cover image for Structural Information and Communication Complexity 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings
Structural Information and Communication Complexity 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings
Author 
Scheideler, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519082.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25258-2
Format: 
Availability 
Online Library~1
Available:
Copies:
431. 
Cover image for Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Author 
Heule, Marijn. editor. Weaver, Sean. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519084.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
432. 
Cover image for High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings
High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings
Author 
Kunkel, Julian M. editor. Ludwig, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519086.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20119-1
Format: 
Availability 
Online Library~1
Available:
Copies:
433. 
Cover image for Job Scheduling Strategies for Parallel Processing 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers
Author 
Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519088.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
434. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519090.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
435. 
Cover image for Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
Author 
Durand-Lose, Jerome. editor. Nagy, Benedek. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519156.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23111-2
Format: 
Availability 
Online Library~1
Available:
Copies:
436. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(519161.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
437. 
Cover image for Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers
Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers
Author 
Brodman, James. editor. Tu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519163.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17473-0
Format: 
Availability 
Online Library~1
Available:
Copies:
438. 
Cover image for Computational Social Networks 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings
Computational Social Networks 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings
Author 
Thai, My T. editor. Nguyen, Nam P. editor. Shen, Huawei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519166.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21786-4
Format: 
Availability 
Online Library~1
Available:
Copies:
439. 
Cover image for Approximation and Online Algorithms 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers
Approximation and Online Algorithms 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers
Author 
Sanità, Laura. editor. Skutella, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519233.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28684-6
Format: 
Availability 
Online Library~1
Available:
Copies:
440. 
Cover image for Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
Author 
Drewes, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519234.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22360-5
Format: 
Availability 
Online Library~1
Available:
Copies:
441. 
Cover image for Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings
Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings
Author 
Kari, Jarkko. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519235.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47221-7
Format: 
Availability 
Online Library~1
Available:
Copies:
442. 
Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519237.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
443. 
Cover image for Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part II
Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part II
Author 
Arik, Sabri. editor. Huang, Tingwen. editor. Lai, Weng Kin. editor. Liu, Qingshan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519239.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26535-3
Format: 
Availability 
Online Library~1
Available:
Copies:
444. 
Cover image for Algorithms and Complexity 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings
Algorithms and Complexity 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings
Author 
Paschos, Vangelis Th. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519245.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18173-8
Format: 
Availability 
Online Library~1
Available:
Copies:
445. 
Cover image for Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
Author 
Hage, Jurriaan. editor. McCarthy, Jay. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519187.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14675-1
Format: 
Availability 
Online Library~1
Available:
Copies:
446. 
Cover image for Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Author 
Devillers, Raymond. editor. Valmari, Antti. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519194.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19488-2
Format: 
Availability 
Online Library~1
Available:
Copies:
447. 
Cover image for Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings
Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings
Author 
Hu, Xiaolin. editor. Xia, Yousheng. editor. Zhang, Yunong. editor. Zhao, Dongbin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519279.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25393-0
Format: 
Availability 
Online Library~1
Available:
Copies:
448. 
Cover image for Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I
Author 
Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519280.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27119-4
Format: 
Availability 
Online Library~1
Available:
Copies:
449. 
Cover image for Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
Author 
Xu, Dachuan. editor. Du, Donglei. editor. Du, Dingzhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519301.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21398-9
Format: 
Availability 
Online Library~1
Available:
Copies:
450. 
Cover image for Open and Big Data Management and Innovation 14th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2015, Delft, The Netherlands, October 13-15, 2015, Proceedings
Open and Big Data Management and Innovation 14th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2015, Delft, The Netherlands, October 13-15, 2015, Proceedings
Author 
Janssen, Marijn. editor. Mäntymäki, Matti. editor. Hidders, Jan. editor. Klievink, Bram. editor. Lamersdorf, Winfried. editor.
Preferred Shelf Number 
XX(519304.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25013-7
Format: 
Availability 
Online Library~1
Available:
Copies:
451. 
Cover image for Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
Author 
Zsók, Viktória. editor. Horváth, Zoltán. editor. Csató, Lehel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519213.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15940-9
Format: 
Availability 
Online Library~1
Available:
Copies:
452. 
Cover image for Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I
Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I
Author 
Arik, Sabri. editor. Huang, Tingwen. editor. Lai, Weng Kin. editor. Liu, Qingshan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519316.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26532-2
Format: 
Availability 
Online Library~1
Available:
Copies:
453. 
Cover image for Computational Logistics 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
Computational Logistics 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
Author 
Corman, Francesco. editor. Voß, Stefan. editor. Negenborn, Rudy R. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519318.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24264-4
Format: 
Availability 
Online Library~1
Available:
Copies:
454. 
Cover image for Euro-Par 2015: Parallel Processing Workshops Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers
Euro-Par 2015: Parallel Processing Workshops Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers
Author 
Hunold, Sascha. editor. Costan, Alexandru. editor. Giménez, Domingo. editor. Iosup, Alexandru. editor. Ricci, Laura. editor.
Preferred Shelf Number 
XX(519324.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27308-2
Format: 
Availability 
Online Library~1
Available:
Copies:
455. 
Cover image for Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers
Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers
Author 
an Mey, Dieter. editor. Alexander, Michael. editor. Paolo, Bientinesi. editor. Cannataro, Mario. editor. Clauss, Carsten. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54420-0
Format: 
Availability 
Online Library~1
Available:
Copies:
456. 
Cover image for Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Author 
Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Richter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44121-3
Format: 
Availability 
Online Library~1
Available:
Copies:
457. 
Cover image for Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Author 
Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44145-9
Format: 
Availability 
Online Library~1
Available:
Copies:
458. 
Cover image for Algorithms - ESA 2014 22th Annual European Symposium, Wrocław, Poland, September 8-10, 2014. Proceedings
Algorithms - ESA 2014 22th Annual European Symposium, Wrocław, Poland, September 8-10, 2014. Proceedings
Author 
Schulz, Andreas S. editor. Wagner, Dorothea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44777-2
Format: 
Availability 
Online Library~1
Available:
Copies:
459. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Availability 
Online Library~1
Available:
Copies:
460. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45234-9
Format: 
Availability 
Online Library~1
Available:
Copies:
461. 
Cover image for Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings
Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings
Author 
Schmidt, Kai-Uwe. editor. Winterhof, Arne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12325-7
Format: 
Availability 
Online Library~1
Available:
Copies:
462. 
Cover image for 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 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II
Author 
Sun, Xiang-he. editor. Qu, Wenyu. editor. Stojmenovic, Ivan. editor. Zhou, Wanlei. editor. Li, Zhiyang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11194-0
Format: 
Availability 
Online Library~1
Available:
Copies:
463. 
Cover image for SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings
SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings
Author 
Geffert, Viliam. editor. Preneel, Bart. editor. Rovan, Branislav. editor. Štuller, Július. editor. Tjoa, A Min. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04298-5
Format: 
Availability 
Online Library~1
Available:
Copies:
464. 
Cover image for Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings
Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings
Author 
Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-45249-9
Format: 
Availability 
Online Library~1
Available:
Copies:
465. 
Cover image for 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 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
Author 
Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07734-5
Format: 
Availability 
Online Library~1
Available:
Copies:
466. 
Cover image for 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 I
Author 
Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43948-7
Format: 
Availability 
Online Library~1
Available:
Copies:
467. 
Cover image for Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings
Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings
Author 
Dediu, Adrian-Horia. editor. Lozano, Manuel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13749-0
Format: 
Availability 
Online Library~1
Available:
Copies:
468. 
Cover image for Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
Author 
van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09165-5
Format: 
Availability 
Online Library~1
Available:
Copies:
469. 
Cover image for Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings
Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings
Author 
Ibarra, Oscar H. editor. Kari, Lila. editor. Kopecki, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08123-6
Format: 
Availability 
Online Library~1
Available:
Copies:
470. 
Cover image for Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers
Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers
Author 
Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X Resende, Mauricio G.C. editor. Vogiatzis, Chrysafis. editor. Walteros, Jose L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09584-4
Format: 
Availability 
Online Library~1
Available:
Copies:
471. 
Cover image for 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 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings
Author 
Gu, Qianping. editor. Hell, Pavol. editor. Yang, Boting. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07956-1
Format: 
Availability 
Online Library~1
Available:
Copies:
472. 
Cover image for Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part IV
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part IV
Author 
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09147-1
Format: 
Availability 
Online Library~1
Available:
Copies:
473. 
Cover image for Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
Author 
Alhazov, Artiom. editor. Cojocaru, Svetlana. editor. Gheorghe, Marian. editor. Rogozhin, Yurii. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54239-8
Format: 
Availability 
Online Library~1
Available:
Copies:
474. 
Cover image for Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings
Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings
Author 
Bello, Fernando. editor. Cotin, Stéphane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12057-7
Format: 
Availability 
Online Library~1
Available:
Copies:
475. 
Cover image for Informatics in SchoolsTeaching and Learning Perspectives 7th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2014, Istanbul, Turkey, September 22-25, 2014. Proceedings
Informatics in SchoolsTeaching and Learning Perspectives 7th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2014, Istanbul, Turkey, September 22-25, 2014. Proceedings
Author 
Gülbahar, Yasemin. editor. Karataş, Erinç. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09958-3
Format: 
Availability 
Online Library~1
Available:
Copies:
476. 
Cover image for Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54807-9
Format: 
Availability 
Online Library~1
Available:
Copies:
477. 
Cover image for A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
Author 
Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13906-7
Format: 
Availability 
Online Library~1
Available:
Copies:
478. 
Cover image for Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers
Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers
Author 
Cygan, Marek. editor. Heggernes, Pinar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13524-3
Format: 
Availability 
Online Library~1
Available:
Copies:
479. 
Cover image for Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II
Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II
Author 
Lopes, Luís. editor. Žilinskas, Julius. editor. Costan, Alexandru. editor. Cascella, Roberto G. editor. Kecskemeti, Gabor. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14313-2
Format: 
Availability 
Online Library~1
Available:
Copies:
480. 
Cover image for Advances in Swarm Intelligence 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II
Advances in Swarm Intelligence 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Coello Coello, Carlos A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11897-0
Format: 
Availability 
Online Library~1
Available:
Copies:
481. 
Cover image for Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings
Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings
Author 
Aguilera, Marcos K. editor. Querzoni, Leonardo. editor. Shapiro, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14472-6
Format: 
Availability 
Online Library~1
Available:
Copies:
482. 
Cover image for Computational Linguistics and Intelligent Text Processing 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I
Computational Linguistics and Intelligent Text Processing 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54906-9
Format: 
Availability 
Online Library~1
Available:
Copies:
483. 
Cover image for Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Muscholl, Anca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54830-7
Format: 
Availability 
Online Library~1
Available:
Copies:
484. 
Cover image for Evolutionary Computation in Combinatorial Optimization 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Evolutionary Computation in Combinatorial Optimization 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Author 
Blum, Christian. editor. Ochoa, Gabriela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44320-0
Format: 
Availability 
Online Library~1
Available:
Copies:
485. 
Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Author 
Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07151-0
Format: 
Availability 
Online Library~1
Available:
Copies:
486. 
Cover image for Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
Author 
Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43722-3
Format: 
Availability 
Online Library~1
Available:
Copies:
487. 
Cover image for Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Author 
Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
488. 
Cover image for Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
Author 
Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09698-8
Format: 
Availability 
Online Library~1
Available:
Copies:
489. 
Cover image for Frontiers in Algorithmics 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014, Proceedings
Frontiers in Algorithmics 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014, Proceedings
Author 
Chen, Jianer. editor. Hopcroft, John E. editor. Wang, Jianxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08016-1
Format: 
Availability 
Online Library~1
Available:
Copies:
490. 
Cover image for From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Author 
Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54848-2
Format: 
Availability 
Online Library~1
Available:
Copies:
491. 
Cover image for 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 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Author 
Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43652-3
Format: 
Availability 
Online Library~1
Available:
Copies:
492. 
Cover image for Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Author 
Esparcia-Alcázar, Anna I. editor. Mora, Antonio M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45523-4
Format: 
Availability 
Online Library~1
Available:
Copies:
493. 
Cover image for Combinatorial Optimization Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers
Combinatorial Optimization Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers
Author 
Fouilhoux, Pierre. editor. Gouveia, Luis Eduardo Neves. editor. Mahjoub, A. Ridha. editor. Paschos, Vangelis T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09174-7
Format: 
Availability 
Online Library~1
Available:
Copies:
494. 
Cover image for Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Author 
van Breugel, Franck. editor. Kashefi, Elham. editor. Palamidessi, Catuscia. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06880-0
Format: 
Availability 
Online Library~1
Available:
Copies:
495. 
Cover image for Large-Scale Scientific Computing 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers
Large-Scale Scientific Computing 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43880-0
Format: 
Availability 
Online Library~1
Available:
Copies:
496. 
Cover image for LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
Author 
Pardo, Alberto. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54423-1
Format: 
Availability 
Online Library~1
Available:
Copies:
497. 
Cover image for Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
Author 
Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44465-8
Format: 
Availability 
Online Library~1
Available:
Copies:
498. 
Cover image for Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Author 
Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11439-2
Format: 
Availability 
Online Library~1
Available:
Copies:
499. 
Cover image for High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers
High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers
Author 
Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10214-6
Format: 
Availability 
Online Library~1
Available:
Copies:
500. 
Cover image for Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54833-8
Format: 
Availability 
Online Library~1
Available:
Copies:
501. 
Cover image for Integer Programming and Combinatorial Optimization 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings
Integer Programming and Combinatorial Optimization 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings
Author 
Lee, Jon. editor. Vygen, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07557-0
Format: 
Availability 
Online Library~1
Available:
Copies:
502. 
Cover image for Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I
Author 
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09144-0
Format: 
Availability 
Online Library~1
Available:
Copies:
503. 
Cover image for Algorithms and Computation 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings
Algorithms and Computation 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings
Author 
Pal, Sudebkumar Prasant. editor. Sadakane, Kunihiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04657-0
Format: 
Availability 
Online Library~1
Available:
Copies:
504. 
Cover image for Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings
Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings
Author 
Maehle, Erik. editor. Römer, Kay. editor. Karl, Wolfgang. editor. Tovar, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04891-8
Format: 
Availability 
Online Library~1
Available:
Copies:
505. 
Cover image for Hybrid Learning Theory and Practice 7th International Conference, ICHL 2014, Shanghai, China, August 8-10, 2014. Proceedings
Hybrid Learning Theory and Practice 7th International Conference, ICHL 2014, Shanghai, China, August 8-10, 2014. Proceedings
Author 
Cheung, Simon K.S. editor. Fong, Joseph. editor. Zhang, Jiping. editor. Kwan, Reggie. editor. Kwok, Lam For. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08961-4
Format: 
Availability 
Online Library~1
Available:
Copies:
506. 
Cover image for Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings
Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings
Author 
Norman, Gethin. editor. Sanders, William. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10696-0
Format: 
Availability 
Online Library~1
Available:
Copies:
507. 
Cover image for Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings
Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings
Author 
Bartz-Beielstein, Thomas. editor. Branke, Juergen. editor. Filipič, Bogdan. editor. (orcid)0000-0003-4428-4255 Smith, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10762-2
Format: 
Availability 
Online Library~1
Available:
Copies:
508. 
Cover image for Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Author 
Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10936-7
Format: 
Availability 
Online Library~1
Available:
Copies:
509. 
Cover image for 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 and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings
Author 
Wermter, Stefan. editor. Weber, Cornelius. editor. Duch, Wlodzislaw. editor. Honkela, Timo. editor. Koprinkova-Hristova, Petia. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11179-7
Format: 
Availability 
Online Library~1
Available:
Copies:
510. 
Cover image for 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 I
Author 
Sun, Xiang-he. editor. Qu, Wenyu. editor. Stojmenovic, Ivan. editor. Zhou, Wanlei. editor. Li, Zhiyang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11197-1
Format: 
Availability 
Online Library~1
Available:
Copies:
511. 
Cover image for DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
Author 
Murata, Satoshi. editor. Kobayashi, Satoshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11295-4
Format: 
Availability 
Online Library~1
Available:
Copies:
512. 
Cover image for Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings
Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings
Author 
Was, Jaroslaw. editor. Sirakoulis, Georgios. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11520-7
Format: 
Availability 
Online Library~1
Available:
Copies:
513. 
Cover image for Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III
Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III
Author 
Loo, Chu Kiong. editor. Keem Siah, Yap. editor. Wong, Kok Wai. editor. Beng Jin, Andrew Teoh. editor. Huang, Kaizhu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12643-2
Format: 
Availability 
Online Library~1
Available:
Copies:
514. 
Cover image for Discrete and Computational Geometry and Graphs 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers
Discrete and Computational Geometry and Graphs 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers
Author 
Akiyama, Jin. editor. Ito, Hiro. editor. Sakai, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13287-7
Format: 
Availability 
Online Library~1
Available:
Copies:
515. 
Cover image for Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings
Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings
Author 
Dick, Grant. editor. Browne, Will N. editor. Whigham, Peter. editor. Zhang, Mengjie. editor. Bui, Lam Thu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13563-2
Format: 
Availability 
Online Library~1
Available:
Copies:
516. 
Cover image for Algorithm Theory -- SWAT 2014 14th Scandinavian Symposium and Workshops, SWAT 2014, Copenhagen, Denmark, July 2-4, 2014. Proceedings
Algorithm Theory -- SWAT 2014 14th Scandinavian Symposium and Workshops, SWAT 2014, Copenhagen, Denmark, July 2-4, 2014. Proceedings
Author 
Gørtz, Inge Li. editor. Ravi, R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08404-6
Format: 
Availability 
Online Library~1
Available:
Copies:
517. 
Cover image for Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI
Author 
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09153-2
Format: 
Availability 
Online Library~1
Available:
Copies:
518. 
Cover image for Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings
Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings
Author 
Simonis, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07046-9
Format: 
Availability 
Online Library~1
Available:
Copies:
519. 
Cover image for Fun with Algorithms 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings
Fun with Algorithms 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings
Author 
Ferro, Alfredo. editor. Luccio, Fabrizio. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07890-8
Format: 
Availability 
Online Library~1
Available:
Copies:
520. 
Cover image for Combinatorial Pattern Matching 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings
Combinatorial Pattern Matching 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings
Author 
Kulikov, Alexander S. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pevzner, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07566-2
Format: 
Availability 
Online Library~1
Available:
Copies:
521. 
Cover image for Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Author 
Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44602-7
Format: 
Availability 
Online Library~1
Available:
Copies:
522. 
Cover image for Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Author 
Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09108-2
Format: 
Availability 
Online Library~1
Available:
Copies:
523. 
Cover image for Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55195-6
Format: 
Availability 
Online Library~1
Available:
Copies:
524. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45231-8
Format: 
Availability 
Online Library~1
Available:
Copies:
525. 
Cover image for Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II
Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II
Author 
Loo, Chu Kiong. editor. Keem Siah, Yap. editor. Wong, Kok Wai. editor. Beng Jin, Andrew Teoh. editor. Huang, Kaizhu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12640-1
Format: 
Availability 
Online Library~1
Available:
Copies:
526. 
Cover image for CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
Author 
Baldan, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
527. 
Cover image for Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Author 
Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08867-9
Format: 
Availability 
Online Library~1
Available:
Copies:
528. 
Cover image for Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
Author 
Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44199-2
Format: 
Availability 
Online Library~1
Available:
Copies:
529. 
Cover image for Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Author 
McCarthy, Jay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-45340-3
Format: 
Availability 
Online Library~1
Available:
Copies:
530. 
Cover image for 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 I
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Coello Coello, Carlos. editor. (orcid)0000-0002-8435-680X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11857-4
Format: 
Availability 
Online Library~1
Available:
Copies:
531. 
Cover image for Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
Author 
Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44116-9
Format: 
Availability 
Online Library~1
Available:
Copies:
532. 
Cover image for Combinatorial Optimization and Applications 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings
Combinatorial Optimization and Applications 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings
Author 
Zhang, Zhao. editor. Wu, Lidong. editor. Xu, Wen. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12691-3
Format: 
Availability 
Online Library~1
Available:
Copies:
533. 
Cover image for Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings
Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings
Author 
Goehringer, Diana. editor. Santambrogio, Marco Domenico. editor. Cardoso, João M.P. editor. Bertels, Koen. editor. (orcid)0000-0001-9310-4885 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05960-0
Format: 
Availability 
Online Library~1
Available:
Copies:
534. 
Cover image for Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Author 
Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06089-7
Format: 
Availability 
Online Library~1
Available:
Copies:
535. 
Cover image for Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04921-2
Format: 
Availability 
Online Library~1
Available:
Copies:
536. 
Cover image for Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Author 
Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06686-8
Format: 
Availability 
Online Library~1
Available:
Copies:
537. 
Cover image for Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Author 
Höfner, Peter. editor. Jipsen, Peter. editor. Kahl, Wolfram. editor. Müller, Martin Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06251-8
Format: 
Availability 
Online Library~1
Available:
Copies:
538. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Author 
Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09284-3
Format: 
Availability 
Online Library~1
Available:
Copies:
539. 
Cover image for Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III
Author 
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09150-1
Format: 
Availability 
Online Library~1
Available:
Copies:
540. 
Cover image for Structural Information and Communication Complexity 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings
Structural Information and Communication Complexity 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings
Author 
Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09620-9
Format: 
Availability 
Online Library~1
Available:
Copies:
541. 
Cover image for Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Author 
Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10512-3
Format: 
Availability 
Online Library~1
Available:
Copies:
542. 
Cover image for Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Author 
Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09704-6
Format: 
Availability 
Online Library~1
Available:
Copies:
543. 
Cover image for Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings
Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings
Author 
Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Garnier, Simon. editor. Hamann, Heiko. editor. Montes de Oca, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09952-1
Format: 
Availability 
Online Library~1
Available:
Copies:
544. 
Cover image for Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10515-4
Format: 
Availability 
Online Library~1
Available:
Copies:
545. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings
Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings
Author 
Felber, Pascal. editor. Garg, Vijay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11764-5
Format: 
Availability 
Online Library~1
Available:
Copies:
546. 
Cover image for Advances in Neural Networks – ISNN 2014 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings
Advances in Neural Networks – ISNN 2014 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings
Author 
Zeng, Zhigang. editor. Li, Yangmin. editor. King, Irwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12436-0
Format: 
Availability 
Online Library~1
Available:
Copies:
547. 
Cover image for String Processing and Information Retrieval 21st International Symposium, SPIRE 2014, Ouro Preto, Brazil, October 20-22, 2014, Proceedings
String Processing and Information Retrieval 21st International Symposium, SPIRE 2014, Ouro Preto, Brazil, October 20-22, 2014, Proceedings
Author 
Moura, Edleno. editor. Crochemore, Maxime. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11918-2
Format: 
Availability 
Online Library~1
Available:
Copies:
548. 
Cover image for Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
Author 
Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12084-3
Format: 
Availability 
Online Library~1
Available:
Copies:
549. 
Cover image for Bayesian and grAphical Models for Biomedical Imaging First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers
Bayesian and grAphical Models for Biomedical Imaging First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers
Author 
Cardoso, M. Jorge. editor. (orcid)0000-0003-1284-2558 Simpson, Ivor. editor. Arbel, Tal. editor. Precup, Doina. editor. Ribbens, Annemie. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12289-2
Format: 
Availability 
Online Library~1
Available:
Copies:
550. 
Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Author 
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12904-4
Format: 
Availability 
Online Library~1
Available:
Copies:
551. 
Cover image for Algorithms and Computation 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings
Algorithms and Computation 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings
Author 
Ahn, Hee-Kap. editor. Shin, Chan-Su. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13075-0
Format: 
Availability 
Online Library~1
Available:
Copies:
552. 
Cover image for Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I
Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I
Author 
Lopes, Luís. editor. Žilinskas, Julius. editor. Costan, Alexandru. editor. Cascella, Roberto G. editor. Kecskemeti, Gabor. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14325-5
Format: 
Availability 
Online Library~1
Available:
Copies:
553. 
Cover image for Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
Author 
Abadi, Martín. editor. Lluch Lafuente, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05119-2
Format: 
Availability 
Online Library~1
Available:
Copies:
554. 
Cover image for Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers
Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers
Author 
Legrand, Pierrick. editor. Corsini, Marc-Michel. editor. Hao, Jin-Kao. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11683-9
Format: 
Availability 
Online Library~1
Available:
Copies:
555. 
Cover image for 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 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
Author 
Barkatou, Moulay. editor. Cluzeau, Thomas. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54479-8
Format: 
Availability 
Online Library~1
Available:
Copies:
556. 
Cover image for Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings
Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings
Author 
Cai, Zhipeng. editor. Zelikovsky, Alexander. editor. Bourgeois, Anu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08783-2
Format: 
Availability 
Online Library~1
Available:
Copies:
557. 
Cover image for Distributed Computing 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings
Distributed Computing 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings
Author 
Kuhn, Fabian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45174-8
Format: 
Availability 
Online Library~1
Available:
Copies:
558. 
Cover image for Hybrid Metaheuristics 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014, Proceedings
Hybrid Metaheuristics 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014, Proceedings
Author 
Blesa, Maria J. editor. (orcid)0000-0001-8246-9926 Blum, Christian. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07644-7
Format: 
Availability 
Online Library~1
Available:
Copies:
559. 
Cover image for Graph Drawing 22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, Revised Selected Papers
Graph Drawing 22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, Revised Selected Papers
Author 
Duncan, Christian. editor. Symvonis, Antonios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45803-7
Format: 
Availability 
Online Library~1
Available:
Copies:
560. 
Cover image for Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
Author 
Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54624-2
Format: 
Availability 
Online Library~1
Available:
Copies:
561. 
Cover image for Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014, Proceedings
Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014, Proceedings
Author 
Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07518-1
Format: 
Availability 
Online Library~1
Available:
Copies:
562. 
Cover image for Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
Author 
McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54013-4
Format: 
Availability 
Online Library~1
Available:
Copies:
563. 
Cover image for Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Author 
Dowek, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08918-8
Format: 
Availability 
Online Library~1
Available:
Copies:
564. 
Cover image for Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Author 
Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10882-7
Format: 
Availability 
Online Library~1
Available:
Copies:
565. 
Cover image for Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers
Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers
Author 
Siarry, Patrick. editor. Idoumghar, Lhassane. editor. Lepagnot, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12970-9
Format: 
Availability 
Online Library~1
Available:
Copies:
566. 
Cover image for Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings
Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings
Author 
González-Ramírez, Rosa G. editor. Schulte, Frederik. editor. Voß, Stefan. editor. Ceroni Díaz, Jose A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11421-7
Format: 
Availability 
Online Library~1
Available:
Copies:
567. 
Cover image for 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 11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014, Proceedings
Author 
Bonato, Anthony. editor. Graham, Fan Chung. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13123-8
Format: 
Availability 
Online Library~1
Available:
Copies:
568. 
Cover image for Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Author 
Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44124-4
Format: 
Availability 
Online Library~1
Available:
Copies:
569. 
Cover image for Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Author 
Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44303-3
Format: 
Availability 
Online Library~1
Available:
Copies:
570. 
Cover image for Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part II
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part II
Author 
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09129-7
Format: 
Availability 
Online Library~1
Available:
Copies:
571. 
Cover image for Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55224-3
Format: 
Availability 
Online Library~1
Available:
Copies:
572. 
Cover image for Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Author 
Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44522-8
Format: 
Availability 
Online Library~1
Available:
Copies:
573. 
Cover image for Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
Author 
Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43779-7
Format: 
Availability 
Online Library~1
Available:
Copies:
574. 
Cover image for Evolutionary and Biologically Inspired Music, Sound, Art and Design Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Evolutionary and Biologically Inspired Music, Sound, Art and Design Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Author 
Romero, Juan. editor. McDermott, James. editor. Correia, João. editor. (orcid)0000-0001-5562-1996 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44335-4
Format: 
Availability 
Online Library~1
Available:
Copies:
575. 
Cover image for Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers
Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers
Author 
Pop, Florin. editor. Potop-Butucaru, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13464-2
Format: 
Availability 
Online Library~1
Available:
Copies:
576. 
Cover image for Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part I
Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part I
Author 
Loo, Chu Kiong. editor. Keem Siah, Yap. editor. Wong, Kok Wai. editor. Beng Jin, Andrew Teoh. editor. Huang, Kaizhu. editor. (orcid)0000-0002-3034-9639
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12637-1
Format: 
Availability 
Online Library~1
Available:
Copies:
577. 
Cover image for Mathematical Methods for Curves and Surfaces 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers
Mathematical Methods for Curves and Surfaces 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers
Author 
Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Morken, Knut. editor. Schumaker, Larry L. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54382-1
Format: 
Availability 
Online Library~1
Available:
Copies:
578. 
Cover image for Approximation and Online Algorithms 11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers
Approximation and Online Algorithms 11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers
Author 
Kaklamanis, Christos. editor. Pruhs, Kirk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08001-7
Format: 
Availability 
Online Library~1
Available:
Copies:
579. 
Cover image for Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
Author 
Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08846-4
Format: 
Availability 
Online Library~1
Available:
Copies:
580. 
Cover image for Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54804-8
Format: 
Availability 
Online Library~1
Available:
Copies:
581. 
Cover image for Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Author 
Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45489-3
Format: 
Availability 
Online Library~1
Available:
Copies:
582. 
Cover image for Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Author 
Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08970-6
Format: 
Availability 
Online Library~1
Available:
Copies:
583. 
Cover image for Experimental Algorithms 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings
Experimental Algorithms 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings
Author 
Gudmundsson, Joachim. editor. Katajainen, Jyrki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07959-2
Format: 
Availability 
Online Library~1
Available:
Copies:
584. 
Cover image for Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04915-1
Format: 
Availability 
Online Library~1
Available:
Copies:
585. 
Cover image for Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
Author 
Asher, Nicholas. editor. Soloviev, Sergei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43742-1
Format: 
Availability 
Online Library~1
Available:
Copies:
586. 
Cover image for Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
Author 
Beckmann, Arnold. editor. Csuhaj-Varjú, Ersébet. editor. Meer, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08019-2
Format: 
Availability 
Online Library~1
Available:
Copies:
587. 
Cover image for Computational Linguistics and Intelligent Text Processing 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II
Computational Linguistics and Intelligent Text Processing 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54903-8
Format: 
Availability 
Online Library~1
Available:
Copies:
588. 
Cover image for Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
Author 
Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43951-7
Format: 
Availability 
Online Library~1
Available:
Copies:
589. 
Cover image for Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
Author 
Maffei, Matteo. editor. Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45917-1
Format: 
Availability 
Online Library~1
Available:
Copies:
590. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers
Author 
Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54429-3
Format: 
Availability 
Online Library~1
Available:
Copies:
591. 
Cover image for Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers
Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers
Author 
Atmanspacher, Harald. editor. Haven, Emmanuel. editor. Kitto, Kirsty. editor. Raine, Derek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54943-4
Format: 
Availability 
Online Library~1
Available:
Copies:
592. 
Cover image for Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
Author 
Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sosík, Petr. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14370-5
Format: 
Availability 
Online Library~1
Available:
Copies:
593. 
Cover image for Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V
Author 
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09156-3
Format: 
Availability 
Online Library~1
Available:
Copies:
594. 
Cover image for Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
Author 
Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13350-8
Format: 
Availability 
Online Library~1
Available:
Copies:
595. 
Cover image for Languages and Compilers for Parallel Computing 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers
Languages and Compilers for Parallel Computing 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers
Author 
Cașcaval, Călin. editor. Montesinos, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09967-5
Format: 
Availability 
Online Library~1
Available:
Copies:
596. 
Cover image for Wireless Algorithms, Systems, and Applications 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014, Proceedings
Wireless Algorithms, Systems, and Applications 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014, Proceedings
Author 
Cai, Zhipeng. editor. Wang, Chaokun. editor. Cheng, Siyao. editor. Wang, Hongzhi. editor. Gao, Hong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07782-6
Format: 
Availability 
Online Library~1
Available:
Copies:
597. 
Cover image for Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
Author 
Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54789-8
Format: 
Availability 
Online Library~1
Available:
Copies:
598. 
Cover image for Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings
Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings
Author 
Hsu, Ching-Hsien. editor. (orcid)0000-0002-2440-2771 Shi, Xuanhua. editor. Salapura, Valentina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44917-2
Format: 
Availability 
Online Library~1
Available:
Copies:
599. 
Cover image for Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Author 
Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14125-1
Format: 
Availability 
Online Library~1
Available:
Copies:
600. 
Cover image for Journal of polymer science. Part A-1, polymer chemistry.
Journal of polymer science. Part A-1, polymer chemistry.
Author 
Wiley
Preferred Shelf Number 
ALFABETİK V.4A1 PART.1 1966
Format: 
Availability 
Beytepe Library~14 ~0
Available:
Copies:
Select an Action