Limit Search Results
Author
SpringerLink (Online service)
(637)
Gervasi, Osvaldo. editor.
(22)
Apduhan, Bernady O. editor.
(20)
Murgante, Beniamino. editor.
(18)
Taniar, David. editor.
(18)
Language
Publication Date
-
2011
(126)
2010
(108)
2012
(108)
2013
(62)
2018
(57)
Subject
Computer science.
(584)
Software engineering.
(552)
Computer Communication Networks.
(376)
Artificial intelligence.
(206)
Information systems.
(164)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
639 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Author 
Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99933-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Author 
Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02227-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Author 
Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99241-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Software architectures and tools for computer aided process engineering
Software architectures and tools for computer aided process engineering
Author 
Braunschweig, Bertrand. Gani, R. (Rafiqul)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444508270
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II
Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II
Author 
Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27308-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I
Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I
Author 
Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307 Wang, Hua. editor. (orcid)0000-0002-8465-0996 Paik, Hye-Young. editor. (orcid)0000-0003-4425-7388 Zhou, Rui. editor. (orcid)0000-0001-6807-4362
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02922-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Artificial Intelligence and Evolutionary Computations in Engineering Systems Proceedings of ICAIECES 2017
Artificial Intelligence and Evolutionary Computations in Engineering Systems Proceedings of ICAIECES 2017
Author 
Dash, Subhransu Sekhar. editor. Naidu, Paruchuri Chandra Babu. editor. Bayindir, Ramazan. editor. Das, Swagatam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7868-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings
Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings
Author 
Mouhoub, Malek. editor. Sadaoui, Samira. editor. Ait Mohamed, Otmane. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92058-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Author 
Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334844.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Author 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335072.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings
Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings
Author 
Yin, Hujun. editor. Tang, Ke. editor. Gao, Yang. editor. Klawonn, Frank. editor. Lee, Minho. editor.
Preferred Shelf Number 
ONLINE(335084.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41278-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings
Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings
Author 
Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.
Preferred Shelf Number 
ONLINE(334627.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38577-3
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II
Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II
Author 
Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334636.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38622-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers
Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers
Author 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29752-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Author 
Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Preferred Shelf Number 
ONLINE(334106.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36046-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings
Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings
Author 
Cuzzocrea, Alfredo. editor. Kittl, Christian. editor. Simos, Dimitris E. editor. Weippl, Edgar. editor. Xu, Lida. editor.
Preferred Shelf Number 
ONLINE(334975.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40588-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Advanced Research in Applied Artificial Intelligence 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012. Proceedings
Advanced Research in Applied Artificial Intelligence 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012. Proceedings
Author 
Jiang, He. editor. Ding, Wei. editor. Ali, Moonis. editor. Wu, Xindong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31087-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Intelligent Data Engineering and Automated Learning - IDEAL 2012 13th International Conference, Natal, Brazil, August 29-31, 2012. Proceedings
Intelligent Data Engineering and Automated Learning - IDEAL 2012 13th International Conference, Natal, Brazil, August 29-31, 2012. Proceedings
Author 
Yin, Hujun. editor. Costa, José A. F. editor. Barreto, Guilherme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32639-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Data and Knowledge Engineering Third International Conference, ICDKE 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings
Data and Knowledge Engineering Third International Conference, ICDKE 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings
Author 
Xiang, Yang. editor. Pathan, Mukaddim. editor. Tao, Xiaohui. editor. Wang, Hua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34679-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Author 
Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25929-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28525-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
Author 
Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33119-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Author 
Aoki, Toshiaki. editor. Taguchi, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34281-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Security, Privacy, and Applied Cryptography Engineering Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012. Proceedings
Security, Privacy, and Applied Cryptography Engineering Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012. Proceedings
Author 
Bogdanov, Andrey. editor. Sanadhya, Somitra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34416-9
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Computer Applications for Security, Control and System Engineering International Conferences, SecTech, CA, CES3 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Computer Applications for Security, Control and System Engineering International Conferences, SecTech, CA, CES3 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Stoica, Adrian. editor. Fang, Wai-chi. editor. Vasilakos, Thanos. editor. Villalba, Javier García. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35264-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II
Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II
Author 
Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21411-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part I
Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part I
Author 
Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21822-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part II
Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part II
Author 
Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21827-9
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Intelligent Data Engineering and Automated Learning - IDEAL 2011 12th International Conference, Norwich, UK, September 7-9, 2011. Proceedings
Intelligent Data Engineering and Automated Learning - IDEAL 2011 12th International Conference, Norwich, UK, September 7-9, 2011. Proceedings
Author 
Yin, Hujun. editor. Wang, Wenjia. editor. Rayward-Smith, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23878-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Author 
Qin, Shengchao. editor. Qiu, Zongyan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24559-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Informatics Engineering and Information Science International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part I
Informatics Engineering and Information Science International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011. Proceedings, Part I
Author 
Abd Manaf, Azizah. editor. Zeki, Akram. editor. Zamani, Mazdak. editor. Chuprat, Suriayati. editor. El-Qawasmeh, Eyas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25327-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Informatics Engineering and Information Science International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011. Proceedings, Part II
Informatics Engineering and Information Science International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011. Proceedings, Part II
Author 
Abd Manaf, Azizah. editor. Zeki, Akram. editor. Zamani, Mazdak. editor. Chuprat, Suriayati. editor. El-Qawasmeh, Eyas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25453-6
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Informatics Engineering and Information Science International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, Proceedings, Part III
Informatics Engineering and Information Science International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, Proceedings, Part III
Author 
Abd Manaf, Azizah. editor. Sahibuddin, Shamsul. editor. Ahmad, Rabiah. editor. Mohd Daud, Salwani. editor. El-Qawasmeh, Eyas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25462-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Informatics Engineering and Information Science International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, Proceedings, Part IV
Informatics Engineering and Information Science International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, Proceedings, Part IV
Author 
Abd Manaf, Azizah. editor. Sahibuddin, Shamsul. editor. Ahmad, Rabiah. editor. Mohd Daud, Salwani. editor. El-Qawasmeh, Eyas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25483-3
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE
New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE
Author 
Xiong, Jay. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7326-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Fixed-Point Algorithms for Inverse Problems in Science and Engineering
Fixed-Point Algorithms for Inverse Problems in Science and Engineering
Author 
Bauschke, Heinz H. editor. Burachik, Regina S. editor. Combettes, Patrick L. editor. Elser, Veit. editor. Luke, D. Russell. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9569-8
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers
Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers
Author 
Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18472-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I
Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I
Author 
Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22170-5
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Information and Management Engineering International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part V
Information and Management Engineering International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part V
Author 
Zhu, Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24022-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Trends in Computer Science, Engineering and Information Technology First International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011. Proceedings
Trends in Computer Science, Engineering and Information Technology First International Conference on Computer Science, Engineering and Information Technology, CCSEIT 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011. Proceedings
Author 
Nagamalai, Dhinaharan. editor. Renault, Eric. editor. Dhanuskodi, Murugan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24043-0
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Information and Management Engineering International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part VI
Information and Management Engineering International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part VI
Author 
Zhu, Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24097-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Control and Automation, and Energy System Engineering International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Control and Automation, and Energy System Engineering International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-26010-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I
Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I
Author 
Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21402-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II
Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II
Author 
Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22191-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III
Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III
Author 
Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22203-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Model and Data Engineering First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings
Model and Data Engineering First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings
Author 
Bellatreche, Ladjel. editor. Mota Pinto, Filipe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24443-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Networked Services and Applications - Engineering, Control and Management 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings
Networked Services and Applications - Engineering, Control and Management 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings
Author 
Aagesen, Finn Arve. editor. Knapskog, Svein Johan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13971-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
Author 
Müller-Hannemann, Matthias. editor. Schirra, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14866-8
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Transactions on Computational Science IX Special Issue on Voronoi Diagrams in Science and Engineering
Transactions on Computational Science IX Special Issue on Voronoi Diagrams in Science and Engineering
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Anton, François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16007-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Author 
Dong, Jin Song. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16901-4
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I
Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I
Author 
García-Pedrajas, Nicolás. editor. Herrera, Francisco. editor. Fyfe, Colin. editor. Benítez, José Manuel. editor. Ali, Moonis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13022-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II
Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II
Author 
García-Pedrajas, Nicolás. editor. Herrera, Francisco. editor. Fyfe, Colin. editor. Benítez, José Manuel. editor. Ali, Moonis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13025-0
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III
Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III
Author 
García-Pedrajas, Nicolás. editor. Herrera, Francisco. editor. Fyfe, Colin. editor. Benítez, José Manuel. editor. Ali, Moonis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13033-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Intelligent Data Engineering and Automated Learning – IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010. Proceedings
Intelligent Data Engineering and Automated Learning – IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010. Proceedings
Author 
Fyfe, Colin. editor. Tino, Peter. editor. Charles, Darryl. editor. Garcia-Osorio, Cesar. editor. Yin, Hujun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15381-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Intelligent Data Engineering and Automated Learning - IDEAL 2009 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings
Intelligent Data Engineering and Automated Learning - IDEAL 2009 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings
Author 
Corchado, Emilio. editor. Yin, Hujun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04394-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
Author 
Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00199-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings
Author 
Stützle, Thomas. editor. Birattari, Mauro. editor. Hoos, Holger H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03751-1
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Author 
Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10373-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Author 
Liu, Shaoying. editor. Maibaum, Tom. editor. Araki, Keijiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88194-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Intelligent Data Engineering and Automated Learning – IDEAL 2008 9th International Conference Daejeon, South Korea, November 2-5, 2008 Proceedings
Intelligent Data Engineering and Automated Learning – IDEAL 2008 9th International Conference Daejeon, South Korea, November 2-5, 2008 Proceedings
Author 
Fyfe, Colin. editor. Kim, Dongsup. editor. Lee, Soo-Young. editor. Yin, Hujun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88906-9
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings
Author 
Stützle, Thomas. editor. Birattari, Mauro. editor. H. Hoos, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74446-7
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings
Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings
Author 
Fdida, Serge. editor. Sugiura, Kazunori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76809-8
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Intelligent Data Engineering and Automated Learning - IDEAL 2007 8th International Conference, Birmingham, UK, December 16-19, 2007. Proceedings
Intelligent Data Engineering and Automated Learning - IDEAL 2007 8th International Conference, Birmingham, UK, December 16-19, 2007. Proceedings
Author 
Yin, Hujun. editor. Tino, Peter. editor. Corchado, Emilio. editor. Byrne, Will. editor. Yao, Xin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77226-2
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II
Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II
Author 
Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73055-2
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Intelligent Data Engineering and Automated Learning – IDEAL 2006 7th International Conference, Burgos, Spain, September 20-23, 2006. Proceedings
Intelligent Data Engineering and Automated Learning – IDEAL 2006 7th International Conference, Burgos, Spain, September 20-23, 2006. Proceedings
Author 
Corchado, Emilio. editor. Yin, Hujun. editor. Botti, Vicente. editor. Fyfe, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11875581
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Technologies for Advanced Heterogeneous Networks II Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings
Technologies for Advanced Heterogeneous Networks II Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings
Author 
Cho, Kenjiro. editor. Jacquet, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11930181
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Cognitive Engineering A Distributed Approach to Machine Intelligence
Cognitive Engineering A Distributed Approach to Machine Intelligence
Author 
Konar, Amit. author. Jain, Lakhmi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-234-9
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II
Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II
Author 
Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137296
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005. Proceedings
Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005. Proceedings
Author 
Gallagher, Marcus. editor. Hogan, James P. editor. Maire, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137888
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Technologies for Advanced Heterogeneous Networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings
Technologies for Advanced Heterogeneous Networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings
Author 
Cho, Kenjiro. editor. Jacquet, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11599593
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France
High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France
Author 
Ng, Michael K. editor. Doncescu, Andrei. editor. Yang, Laurence T. editor. Leng, Tau. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104300
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Network Models and Optimization Multiobjective Genetic Algorithm Approach
Network Models and Optimization Multiobjective Genetic Algorithm Approach
Author 
Gen, Mitsuo. author. Cheng, Runwei. author. Lin, Lin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-181-7
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Author 
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03044-5
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Author 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04771-9
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Simulation-Based Algorithms for Markov Decision Processes
Simulation-Based Algorithms for Markov Decision Processes
Author 
Chang, Hyeong Soo. author. Hu, Jiaqiao. author. Fu, Michael C. author. Marcus, Steven I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331119.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5022-0
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Simulation-based Algorithms for Markov Decision Processes
Simulation-based Algorithms for Markov Decision Processes
Author 
Chang, Hyeong Soo. author. Hu, Jiaqiao. author. Fu, Michael C. author. Marcus, Steven I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-690-2
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Randomized Algorithms for Analysis and Control of Uncertain Systems
Randomized Algorithms for Analysis and Control of Uncertain Systems
Author 
Tempo, Roberto. author. Dabbene, Fabrizio. author. Calafiore, Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137802
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Guide to FPGA Implementation of Arithmetic Functions
Guide to FPGA Implementation of Arithmetic Functions
Author 
Deschamps, Jean-Pierre. author. Sutter, Gustavo D. author. Cantó, Enrique. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2987-2
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Creating New Medical Ontologies for Image Annotation A Case Study
Creating New Medical Ontologies for Image Annotation A Case Study
Author 
Stanescu, Liana. author. Burdescu, Dumitru Dan. author. Brezovan, Marius. author. Mihai, Cristian Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1909-9
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Proceedings of the 2nd Workshop on Communication Security Cryptography and Physical Layer Security
Proceedings of the 2nd Workshop on Communication Security Cryptography and Physical Layer Security
Author 
Baldi, Marco. editor. (orcid)0000-0002-8754-5526 Quaglia, Elizabeth A. editor. Tomasin, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59265-7
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Network Inference in Molecular Biology A Hands-on Framework
Network Inference in Molecular Biology A Hands-on Framework
Author 
Lingeman, Jesse M. Shasha, Dennis. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Advances in Computational Algorithms and Data Analysis
Advances in Computational Algorithms and Data Analysis
Author 
Ao, Sio-Iong. editor. Rieger, Burghard. editor. Chen, Su-Shing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8919-0
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Author 
Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138692
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Recent Advances in Algorithmic Differentiation
Recent Advances in Algorithmic Differentiation
Author 
Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30023-3
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book
Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book
Author 
Logg, Anders. editor. Mardal, Kent-Andre. editor. Wells, Garth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23099-8
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Hydraulically Actuated Hexapod Robots Design, Implementation and Control
Hydraulically Actuated Hexapod Robots Design, Implementation and Control
Author 
Nonami, Kenzo. author. Barai, Ranjit Kumar. author. Irawan, Addie. author. Daud, Mohd Razali. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-54349-7
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Sensor Applications, Experimentation, and Logistics First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers
Sensor Applications, Experimentation, and Logistics First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers
Author 
Komninos, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11870-8
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Quality, Reliability, Security and Robustness in Heterogeneous Networks 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers
Quality, Reliability, Security and Robustness in Heterogeneous Networks 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers
Author 
Singh, Karan. editor. Awasthi, Amit K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334505.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37949-9
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Wireless Internet 7th International ICST Conference, WICON 2013, Shanghai, China, April 11-12, 2013, Revised Selected Papers
Wireless Internet 7th International ICST Conference, WICON 2013, Shanghai, China, April 11-12, 2013, Revised Selected Papers
Author 
Qian, Hua. editor. Kang, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335143.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41773-3
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Ad Hoc Networks 4th International ICST Conference, ADHOCNETS 2012, Paris, France, October 16-17, 2012, Revised Selected Papers
Ad Hoc Networks 4th International ICST Conference, ADHOCNETS 2012, Paris, France, October 16-17, 2012, Revised Selected Papers
Author 
Zheng, Jun. editor. Mitton, Nathalie. editor. Li, Jun. editor. Lorenz, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334331.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36958-2
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers
Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers
Author 
Simplot-Ryl, David. editor. Dias de Amorim, Marcelo. editor. Giordano, Silvia. editor. Helmy, Ahmed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29096-1
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers
Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers
Author 
Sénac, Patrick. editor. Ott, Max. editor. Seneviratne, Aruna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29154-8
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Wireless Communications and Applications First International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers
Wireless Communications and Applications First International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers
Author 
Sénac, Patrick. editor. Ott, Max. editor. Seneviratne, Aruna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29157-9
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers
Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers
Author 
Zhang, Xi. editor. Qiao, Daji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29222-4
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Mobile Networks and Management Third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised Selected Papers
Mobile Networks and Management Third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised Selected Papers
Author 
Pentikousis, Kostas. editor. Aguiar, Rui. editor. Sargento, Susana. editor. Agüero, Ramón. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30422-4
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Game Theory for Networks 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011, Revised Selected Papers
Game Theory for Networks 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011, Revised Selected Papers
Author 
Jain, Rahul. editor. Kannan, Rajgopal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30373-9
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Broadband Communications, Networks, and Systems 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25–27, 2010, Revised Selected Papers
Broadband Communications, Networks, and Systems 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25–27, 2010, Revised Selected Papers
Author 
Tomkos, Ioannis. editor. Bouras, Christos J. editor. Ellinas, Georgios. editor. Demestichas, Panagiotis. editor. Sinha, Prasun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30376-0
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Mobile and Ubiquitous Systems: Computing, Networking, and Services 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers
Mobile and Ubiquitous Systems: Computing, Networking, and Services 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers
Author 
Puiatti, Alessandro. editor. Gu, Tao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30973-1
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers
Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers
Author 
Das, Vinu V. editor. Ariwa, Ezendu. editor. Rahayu, Syarifah Bahiyah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32573-1
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Bio-Inspired Models of Networks, Information, and Computing Systems 6th International ICST Conference, BIONETICS 2011, York, UK, December 5-6, 2011, Revised Selected Papers
Bio-Inspired Models of Networks, Information, and Computing Systems 6th International ICST Conference, BIONETICS 2011, York, UK, December 5-6, 2011, Revised Selected Papers
Author 
Hart, Emma. editor. Timmis, Jon. editor. Mitchell, Paul. editor. Nakamo, Takadash. editor. Dabiri, Foad. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32711-7
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I
Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I
Author 
Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27299-8
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Author 
Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29479-2
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Wireless Internet 6th International ICST Conference, WICON 2011, Xi’an, China, October 19-21, 2011, Revised Selected Papers
Wireless Internet 6th International ICST Conference, WICON 2011, Xi’an, China, October 19-21, 2011, Revised Selected Papers
Author 
Ren, Pinyi. editor. Zhang, Chao. editor. Liu, Xin. editor. Liu, Pei. editor. Ci, Song. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30493-4
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III
Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III
Author 
Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27317-9
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Advances in Communication, Network, and Computing Third International Conference, CNC 2012, Chennai, India, February 24-25, 2012, Revised Selected Papers
Advances in Communication, Network, and Computing Third International Conference, CNC 2012, Chennai, India, February 24-25, 2012, Revised Selected Papers
Author 
Das, Vinu V. editor. Stephen, Janahanlal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35615-5
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Mobile Networks and Management Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010, Revised Selected Papers
Mobile Networks and Management Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010, Revised Selected Papers
Author 
Pentikousis, Kostas. editor. Agüero, Ramón. editor. García-Arranz, Marta. editor. Papavassiliou, Symeon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21444-8
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Security and Privacy in Mobile Information and Communication Systems Second International ICST Conference, MobiSec 2010, Catania, Sicily, Italy, May 27-28, 2010, Revised Selected Papers
Security and Privacy in Mobile Information and Communication Systems Second International ICST Conference, MobiSec 2010, Catania, Sicily, Italy, May 27-28, 2010, Revised Selected Papers
Author 
Schmidt, Andreas U. editor. Russello, Giovanni. editor. Lioy, Antonio. editor. Prasad, Neeli R. editor. Lian, Shiguo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17502-2
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Cloud Computing First International Conference, CloudComp 2009 Munich, Germany, October 19–21, 2009 Revised Selected Papers
Cloud Computing First International Conference, CloudComp 2009 Munich, Germany, October 19–21, 2009 Revised Selected Papers
Author 
Avresky, Dimiter R. editor. Diaz, Michel. editor. Bode, Arndt. editor. Ciciani, Bruno. editor. Dekel, Eliezer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12636-9
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers
Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers
Author 
Altman, Eitan. editor. Carrera, Iacopo. editor. El-Azouzi, Rachid. editor. Hart, Emma. editor. Hayel, Yezekael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12808-0
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers
Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers
Author 
Chatzimisios, Periklis. editor. Verikoukis, Christos. editor. Santamaría, Ignacio. editor. Laddomada, Massimiliano. editor. Hoffmann, Oliver. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16644-0
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers
Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers
Author 
Zheng, Jun. editor. Simplot-Ryl, David. editor. Leung, Victor C. M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17994-5
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Access Networks 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers
Access Networks 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers
Author 
Hei, Xiao Jun. editor. Cheung, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11664-3
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Personal Satellite Services Second International ICST Confernce, PSATS 2010, Rome, Italy, February 2010 Revised Selected Papers
Personal Satellite Services Second International ICST Confernce, PSATS 2010, Rome, Italy, February 2010 Revised Selected Papers
Author 
Sithamparanathan, Kandeepan. editor. Marchese, Mario. editor. Ruggieri, Marina. editor. Bisio, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13618-4
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings
Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings
Author 
Jajodia, Sushil. editor. Zhou, Jianying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16161-2
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Identifying Patterns in Financial Markets New Approach Combining Rules Between PIPs and SAX
Identifying Patterns in Financial Markets New Approach Combining Rules Between PIPs and SAX
Author 
Leitão, João. author. Neves, Rui Ferreira. author. Horta, Nuno C.G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70160-8
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers
Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers
Author 
Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713 Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73915-1
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings
PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings
Author 
Miller, Tim. editor. (orcid)0000-0003-4908-6063 Oren, Nir. editor. (orcid)0000-0002-4854-9014 Sakurai, Yuko. editor. (orcid)0000-0002-0642-3878 Noda, Itsuki. editor. (orcid)0000-0003-1987-5336 Savarimuthu, Bastin Tony Roy. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03098-8
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings
Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings
Author 
Kaenampornpan, Manasawee. editor. Malaka, Rainer. editor. Nguyen, Duc Dung. editor. Schwind, Nicolas. editor. (orcid)0000-0001-7972-5984 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03014-8
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Author 
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00151-3
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II
Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Pimenidis, Elias. editor. Khan, Zaheer. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98446-9
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for A Study Guide to the ISTQB® Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams
Author 
Roman, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98740-8
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I
Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I
Author 
Wang, Shilong. editor. Price, Mark. editor. Lim, Ming K. editor. Jin, Yan. editor. Luo, Yuanxin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2396-6
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Author 
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Advances in Neural Networks – ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings
Advances in Neural Networks – ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings
Author 
Huang, Tingwen. editor. (orcid)0000-0001-9610-846X Lv, Jiancheng. editor. Sun, Changyin. editor. Tuzikov, Alexander V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92537-0
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III
Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III
Author 
Li, Kang. editor. Zhang, Jianhua. editor. Chen, Minyou. editor. Yang, Zhile. editor. Niu, Qun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2381-2
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings
Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings
Author 
Simari, Guillermo R. editor. (orcid)0000-0001-6247-0428 Fermé, Eduardo. editor. (orcid)0000-0002-9618-2421 Gutiérrez Segura, Flabio. editor. Rodríguez Melquiades, José Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03928-8
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73441-5
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05054-2
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II
Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II
Author 
Li, Kang. editor. Fei, Minrui. editor. Du, Dajun. editor. Yang, Zhile. editor. Yang, Dongsheng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2384-3
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Author 
Demazeau, Yves. editor. An, Bo. editor. (orcid)0000-0002-7064-7438 Bajo, Javier. editor. Fernández-Caballero, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94580-4
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Author 
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X 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-92402-1
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96142-2
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig
Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig
Author 
Heckel, Reiko. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75396-6
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Genetic Programming Theory and Practice XIV
Genetic Programming Theory and Practice XIV
Author 
Riolo, Rick. editor. Worzel, Bill. editor. Goldman, Brian. editor. Tozier, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97088-2
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings
AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings
Author 
Mitrovic, Tanja. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Li, Xiaodong. editor. (orcid)0000-0003-0346-1526 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03991-2
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings
Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings
Author 
Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Stefanuk, Vadim L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00617-4
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Computational Thinking First Algorithms, Then Code
Computational Thinking First Algorithms, Then Code
Author 
Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97940-3
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05063-4
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings
KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings
Author 
Trollmann, Frank. editor. Turhan, Anni-Yasmin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00111-7
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
Author 
Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Blum, Christian. editor. (orcid)0000-0002-1736-3559 Christensen, Anders L. editor. (orcid)0000-0002-9994-2908 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00533-7
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I
Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I
Author 
Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. Gupta, Phalguni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95930-6
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers
Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers
Author 
Zu, Qiaohong. editor. Hu, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74521-3
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I
Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91253-0
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II
Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91262-2
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Author 
Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91268-4
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings
Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings
Author 
de Cos Juez, Francisco Javier. editor. Villar, José Ramón. editor. de la Cal, Enrique A. editor. Herrero, Álvaro. editor. Quintián, Héctor. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92639-1
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I
Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Tang, Qirong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93815-8
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings
Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings
Author 
Amine, Abdelmalek. editor. Mouhoub, Malek. editor. (orcid)0000-0001-7381-1064 Ait Mohamed, Otmane. editor. Djebbar, Bachir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89743-1
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings
Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings
Author 
Sim, Kevin. editor. (orcid)0000-0001-6555-7721 Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77538-8
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05057-3
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II
Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II
Author 
Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249 Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765 Yan, Yamin. editor. (orcid)0000-0001-5838-2652 Chen, Shifeng. editor. (orcid)0000-0003-0677-7358 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97589-4
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99639-4
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
Author 
Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73117-9
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Author 
Tian, Cong. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90104-6
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Author 
Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91641-5
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Author 
Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Author 
Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Author 
Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94205-6
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Genetic Programming Theory and Practice XV
Genetic Programming Theory and Practice XV
Author 
Banzhaf, Wolfgang. editor. Olson, Randal S. editor. Tozier, William. editor. Riolo, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90512-9
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings
Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings
Author 
Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Halloy, José. editor. Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Lepora, Nathan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95972-6
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Programlama ve veritabanı mantığı
Programlama ve veritabanı mantığı
Author 
Çamoğlu, Kadir
Preferred Shelf Number 
QA76.755 C36 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
164. 
Cover image for Fast Compact Algorithms and Software for Spline Smoothing
Fast Compact Algorithms and Software for Spline Smoothing
Author 
Weinert, Howard L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331788.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Author 
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334014.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35632-2
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers
Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers
Author 
Mangard, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334401.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37288-9
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers
Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers
Author 
Guyot, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334561.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38227-7
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Author 
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334547.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Author 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334825.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334826.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39637-3
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334827.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39640-3
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334828.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39643-4
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334829.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39646-5
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
Author 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Preferred Shelf Number 
ONLINE(334830.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39649-6
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings
Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings
Author 
Accorsi, Rafael. editor. Ranise, Silvio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335057.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41098-7
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
Author 
Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335066.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41157-1
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings
Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings
Author 
Pathan, Mukaddim. editor. Wei, Guiyi. editor. Fortino, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335105.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41428-2
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Realtime Data Mining Self-Learning Techniques for Recommendation Engines
Realtime Data Mining Self-Learning Techniques for Recommendation Engines
Author 
Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332858.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01321-3
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Author 
Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332999.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03850-6
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I
Author 
Kołodziej, Joanna. editor. Martino, Beniamino. editor. Talia, Domenico. editor. Xiong, Kaiqi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333000.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03859-9
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings
Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings
Author 
Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Marina, Ninoslav. editor. Dimitrova, Desislava. editor.
Preferred Shelf Number 
ONLINE(333001.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03871-1
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II
Author 
Aversa, Rocco. editor. Kołodziej, Joanna. editor. Zhang, Jun. editor. Amato, Flora. editor. Fortino, Giancarlo. editor.
Preferred Shelf Number 
ONLINE(333003.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03889-6
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
Author 
Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Preferred Shelf Number 
ONLINE(334064.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35843-2
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Author 
Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334071.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35867-8
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings
Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings
Author 
Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36672-7
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334278.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
Author 
Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.
Preferred Shelf Number 
ONLINE(334280.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36751-9
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Author 
Bonacina, Maria Paola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334626.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38574-2
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334871.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39958-9
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Contemporary Evolution Strategies
Contemporary Evolution Strategies
Author 
Bäck, Thomas. author. Foussette, Christophe. author. Krause, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334897.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40137-4
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Author 
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335003.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40787-1
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
Author 
Bitsch, Friedemann. editor. Guiochet, Jérémie. editor. Kaâniche, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335005.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40793-2
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Author 
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335023.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40885-4
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings
Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335178.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45008-2
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
Author 
Saeed, Khalid. editor. Chaki, Rituparna. editor. Cortesi, Agostino. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335029.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40925-7
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
Author 
Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335043.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41019-2
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Author 
Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335046.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41036-9
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers
Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers
Author 
Shaikh, Faisal Karim. editor. Chowdhry, Bhawani Shankar. editor. Ammari, Habib M. editor. Uqaili, Muhammad Aslam. editor. Shah, Assadullah. editor.
Preferred Shelf Number 
ONLINE(335048.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41054-3
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems
Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems
Author 
Bertin, Emmanuel. editor. Crespi, Noel. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335123.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41569-2
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Author 
Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Preferred Shelf Number 
ONLINE(332964.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03089-0
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I
Author 
Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332993.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03753-0
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II
Author 
Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332994.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03756-1
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
Author 
Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.
Preferred Shelf Number 
ONLINE(334025.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35668-1
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Author 
Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334174.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36315-3
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Author 
Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number 
ONLINE(334328.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36949-0
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers
Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers
Author 
Zu, Qiaohong. editor. Hu, Bo. editor. Elçi, Atilla. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334342.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37015-1
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
Author 
Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334708.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38986-3
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings
Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings
Author 
Doyen, Guillaume. editor. Waldburger, Martin. editor. Čeleda, Pavel. editor. Sperotto, Anna. editor. Stiller, Burkhard. editor.
Preferred Shelf Number 
ONLINE(334710.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38998-6
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
Author 
Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334797.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39408-9
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Author 
Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334814.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39521-5
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Author 
Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334973.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40579-2
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Author 
Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335206.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45293-2
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for RFID. Security and Privacy 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers
RFID. Security and Privacy 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers
Author 
Juels, Ari. editor. Paar, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25286-0
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Building a National Distributed e-Infrastructure–PL-Grid Scientific and Technical Achievements
Building a National Distributed e-Infrastructure–PL-Grid Scientific and Technical Achievements
Author 
Bubak, Marian. editor. Szepieniec, Tomasz. editor. Wiatr, Kazimierz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28267-6
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II
Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II
Author 
Jónasson, Kristján. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28145-7
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I
Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I
Author 
Jónasson, Kristján. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28151-8
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings
Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings
Author 
Picco, Gian Pietro. editor. Heinzelman, Wendi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency V
Transactions on Petri Nets and Other Models of Concurrency V
Author 
Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29072-5
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Author 
Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I
Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I
Author 
Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29737-3
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Advanced Computing, Networking and Security International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers
Advanced Computing, Networking and Security International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers
Author 
Thilagam, P. Santhi. editor. Pais, Alwyn Roshan. editor. Chandrasekaran, K. editor. Balakrishnan, N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29280-4
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings
NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings
Author 
Becvar, Zdenek. editor. Bestak, Robert. editor. Kencl, Lukas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30039-4
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I
NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I
Author 
Bestak, Robert. editor. Kencl, Lukas. editor. Li, Li Erran. editor. Widmer, Joerg. editor. Yin, Hao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30045-5
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
Author 
Bruni, Roberto. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30065-3
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31075-1
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31125-3
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31128-4
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III
Author 
Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31137-6
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings
Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings
Author 
Elmoataz, Abderrahim. editor. Mammass, Driss. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Aboutajdine, Driss. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31254-0
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Author 
Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31494-0
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31500-8
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings
Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings
Author 
Wang, Xinbing. editor. Zheng, Rong. editor. Jing, Tao. editor. Xing, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31869-6
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Author 
Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32495-6
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II
Author 
Xiang, Yang. editor. Stojmenovic, Ivan. editor. Apduhan, Bernady O. editor. Wang, Guojun. editor. Nakano, Koji. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33065-0
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
Author 
Xiang, Yang. editor. Stojmenovic, Ivan. editor. Apduhan, Bernady O. editor. Wang, Guojun. editor. Nakano, Koji. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33078-0
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Multiple Access Communications 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings
Multiple Access Communications 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings
Author 
Bellalta, Boris. editor. Vinel, Alexey. editor. Jonsson, Magnus. editor. Barcelo, Jaume. editor. Maslennikov, Roman. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34976-8
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35248-5
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Green and Smart Technology with Sensor Applications International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Green and Smart Technology with Sensor Applications International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Author 
Cho, Hyun-seob. editor. Kim, Tai-hoon. editor. Mohammed, Sabah. editor. Adeli, Hojjat. editor. Oh, Myoung-kwan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35251-5
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings
Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings
Author 
Bononi, Luciano. editor. Datta, Ajoy K. editor. Devismes, Stéphane. editor. Misra, Archan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25959-3
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I
Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Grosky, William I. editor. Pissinou, Niki. editor. Shih, Timothy K. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27204-2
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
Author 
Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27901-0
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
Author 
Kuncak, Viktor. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27940-9
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
Author 
Erlebach, Thomas. editor. Nikoletseas, Sotiris. editor. Orponen, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28209-6
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings
Author 
Choy, Oliver C. S. editor. Cheung, Ray C. C. editor. Athanas, Peter. editor. Sano, Kentaro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28365-9
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
Author 
Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28400-7
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Passive and Active Measurement 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings
Passive and Active Measurement 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings
Author 
Taft, Nina. editor. Ricciato, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28537-0
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
Author 
Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28551-6
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers
VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers
Author 
Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28566-0
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Author 
O’Boyle, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28652-0
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Author 
Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29485-3
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
Author 
Vos, Alexis. editor. Wille, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29517-1
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II
Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II
Author 
Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29740-3
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Author 
Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29860-8
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Software Process Improvement and Capability Determination 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings
Software Process Improvement and Capability Determination 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings
Author 
Mas, Antonia. editor. Mesquida, Antoni. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30439-2
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part II
NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part II
Author 
Bestak, Robert. editor. Kencl, Lukas. editor. Li, Li Erran. editor. Widmer, Joerg. editor. Yin, Hao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30054-7
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings
Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings
Author 
Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30633-4
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Author 
Derrick, John. editor. Gnesi, Stefania. editor. Latella, Diego. editor. Treharne, Helen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30729-4
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
Author 
Li, Ruixuan. editor. Cao, Jiannong. editor. Bourgeois, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30767-6
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
Author 
Al-Begain, Khalid. editor. Fiems, Dieter. editor. Vincent, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30782-9
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31464-3
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings
Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings
Author 
Cortesi, Agostino. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33260-9
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
Author 
Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33365-1
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings
Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings
Author 
Gollmann, Dieter. editor. Freiling, Felix C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33383-5
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
Author 
Finkel, Alain. editor. Leroux, Jérôme. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33512-9
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Recent Advances in the Message Passing Interface 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
Recent Advances in the Message Passing Interface 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
Author 
Träff, Jesper Larsson. editor. Benkner, Siegfried. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33518-1
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
Author 
Richa, Andréa W. editor. Scheideler, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33536-5
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings
Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings
Author 
Hu, Hao. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33587-7
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings
Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings
Author 
Aguilera, Marcos K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33651-5
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Author 
Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33654-6
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
Author 
Ortmeier, Frank. editor. Daniel, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33678-2
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Author 
Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34176-2
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Theory and Practice of Natural Computing First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings
Theory and Practice of Natural Computing First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33860-1
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings
Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings
Author 
Liu, Baoxiang. editor. Ma, Maode. editor. Chang, Jincai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34062-8
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Multi-Agent Systems 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers
Multi-Agent Systems 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers
Author 
Cossentino, Massimo. editor. Kaisers, Michael. editor. Tuyls, Karl. editor. Weiss, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34799-3
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Internet and Distributed Computing Systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings
Internet and Distributed Computing Systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings
Author 
Xiang, Yang. editor. Pathan, Mukaddim. editor. Tao, Xiaohui. editor. Wang, Hua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34883-9
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Middleware 2012 ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings
Middleware 2012 ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings
Author 
Narasimhan, Priya. editor. Triantafillou, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35170-9
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Neural Networks: Tricks of the Trade Second Edition
Neural Networks: Tricks of the Trade Second Edition
Author 
Montavon, Grégoire. editor. Orr, Geneviève B. editor. Müller, Klaus-Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35289-8
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings
Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings
Author 
Goldberg, Paul W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35311-6
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Swarm, Evolutionary, and Memetic Computing Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012. Proceedings
Swarm, Evolutionary, and Memetic Computing Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012. Proceedings
Author 
Panigrahi, Bijaya Ketan. editor. Das, Swagatam. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Nanda, Pradipta Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35380-2
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings
Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings
Author 
Baldoni, Roberto. editor. Flocchini, Paola. editor. Binoy, Ravindran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35476-2
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings
Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings
Author 
Bach, Joscha. editor. Goertzel, Ben. editor. Iklé, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35506-6
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Future Generation Information Technology 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Future Generation Information Technology 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Lee, Young-hoon. editor. Fang, Wai-chi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35585-1
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Ko, Dae-sik. editor. Vasilakos, Thanos. editor. Stoica, Adrian. editor. Abawajy, Jemal. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35594-3
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Cho, Hyun-seob. editor. Gervasi, Osvaldo. editor. Yau, Stephen S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35600-1
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers
Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers
Author 
Varbanescu, Ana Lucia. editor. Molnos, Anca. editor. Nieuwpoort, Rob. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24322-6
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers
Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers
Author 
Mödersheim, Sebastian. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27375-9
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings
SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings
Author 
Bieliková, Mária. editor. Friedrich, Gerhard. editor. Gottlob, Georg. editor. Katzenbeisser, Stefan. editor. Turán, György. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27660-6
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing
Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing
Author 
Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30397-5
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Computer Applications for Database, Education, and Ubiquitous Computing International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Computer Applications for Database, Education, and Ubiquitous Computing International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Author 
Kim, Tai-hoon. editor. Ma, Jianhua. editor. Fang, Wai-chi. editor. Zhang, Yanchun. editor. Cuzzocrea, Alfredo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35603-2
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings
Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings
Author 
Park, James J. editor. Zomaya, Albert. editor. Yeo, Sang-Soo. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35606-3
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings
SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings
Author 
Černá, Ivana. editor. Gyimóthy, Tibor. editor. Hromkovič, Juraj. editor. Jefferey, Keith. editor. Králović, Rastislav. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18381-2
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Passive and Active Measurement 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings
Passive and Active Measurement 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings
Author 
Spring, Neil. editor. Riley, George F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19260-9
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
Author 
Koch, Andreas. editor. Krishnamurthy, Ram. editor. McAllister, John. editor. Woods, Roger. editor. El-Ghazawi, Tarek. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19475-7
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II
Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II
Author 
Dobnikar, Andrej. editor. Lotrič, Uroš. editor. Šter, Branko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20267-4
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I
Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I
Author 
Dobnikar, Andrej. editor. Lotrič, Uroš. editor. Šter, Branko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20282-7
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Advances in Grid and Pervasive Computing 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings
Advances in Grid and Pervasive Computing 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings
Author 
Riekki, Jukka. editor. Ylianttila, Mika. editor. Guo, Minyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20754-9
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for UNIX Operating System The Development Tutorial via UNIX Kernel Services
UNIX Operating System The Development Tutorial via UNIX Kernel Services
Author 
Liu, Yukun. author. Yue, Yong. author. Guo, Liwei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20432-6
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
Author 
Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22012-8
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Future Information Technology 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part II
Future Information Technology 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part II
Author 
Park, James J. editor. Yang, Laurence T. editor. Lee, Changhoon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22309-9
Format: 
Availability 
Online Library~1
Available:
Copies: