Limit Search Results
Author
SpringerLink (Online service)
(14388)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(53)
Taniar, David. editor.
(46)
Apduhan, Bernady O. editor.
(44)
Language
Publication Date
-
Subject
Computer science.
(11650)
Artificial intelligence.
(3824)
Software engineering.
(3225)
Computer Communication Networks.
(2803)
Information systems.
(2505)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
15452 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
37. 
Cover image for Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Author 
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335125.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41578-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Author 
Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335126.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41582-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for High Performance Computing 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012, Revised Selected Papers
High Performance Computing 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012, Revised Selected Papers
Author 
Zhang, Yunquan. editor. Li, Kenli. editor. Xiao, Zheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335128.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41591-3
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Social Media Retrieval and Mining ADMA 2012 Workshops, SNAM 2012 and SMR 2012, Nanjing, China, December 15-18, 2012. Revised Selected Papers
Social Media Retrieval and Mining ADMA 2012 Workshops, SNAM 2012 and SMR 2012, Nanjing, China, December 15-18, 2012. Revised Selected Papers
Author 
Zhou, Shuigeng. editor. Wu, Zhiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335130.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41629-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Preferred Shelf Number 
ONLINE(335131.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41635-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Natural Language Processing and Chinese Computing Second CCF Conference, NLPCC 2013, Chongqing, China, November 15-19, 2013, Proceedings
Natural Language Processing and Chinese Computing Second CCF Conference, NLPCC 2013, Chongqing, China, November 15-19, 2013, Proceedings
Author 
Zhou, Guodong. editor. Li, Juanzi. editor. Zhao, Dongyan. editor. Feng, Yansong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335134.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41644-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers
Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers
Author 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335135.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41647-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman
In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman
Author 
Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.
Preferred Shelf Number 
ONLINE(335138.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41660-6
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Author 
Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335141.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41707-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Security Protocols XXI 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
Security Protocols XXI 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
Author 
Christianson, Bruce. editor. Malcolm, James. editor. Stajano, Frank. editor. Anderson, Jonathan. editor. Bonneau, Joseph. editor.
Preferred Shelf Number 
ONLINE(335142.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41717-7
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Transactions on Computational Collective Intelligence XI
Transactions on Computational Collective Intelligence XI
Author 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335144.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41776-4
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I
Author 
Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335145.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41822-8
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part II
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part II
Author 
Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335146.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41827-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Transactions on Computational Science XX Special Issue on Voronoi Diagrams and Their Applications
Transactions on Computational Science XX Special Issue on Voronoi Diagrams and Their Applications
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Kalantari, Bahman. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335147.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41905-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II
Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II
Author 
Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335148.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Advances in Visual Computing 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part I
Advances in Visual Computing 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part I
Author 
Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Li, Baoxin. editor.
Preferred Shelf Number 
ONLINE(335149.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41914-0
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings
Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings
Author 
Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335150.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41924-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Advances in Visual Computing 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II
Advances in Visual Computing 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II
Author 
Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Li, Baoxin. editor.
Preferred Shelf Number 
ONLINE(335151.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41939-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Information and Software Technologies 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings
Information and Software Technologies 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings
Author 
Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335153.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41947-8
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday
Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday
Author 
Fischlin, Marc. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335154.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42001-6
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Advanced Techniques for Knowledge Engineering and Innovative Applications 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers
Advanced Techniques for Knowledge Engineering and Innovative Applications 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers
Author 
Tweedale, Jeffrey W. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335155.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42017-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Social Robotics 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings
Social Robotics 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings
Author 
Herrmann, Guido. editor. Pearson, Martin J. editor. Lenz, Alexander. editor. Bremner, Paul. editor. Spiers, Adam. editor.
Preferred Shelf Number 
ONLINE(332935.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02675-6
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Human Behavior Understanding 4th International Workshop, HBU 2013, Barcelona, Spain, October 22, 2013. Proceedings
Human Behavior Understanding 4th International Workshop, HBU 2013, Barcelona, Spain, October 22, 2013. Proceedings
Author 
Salah, Albert Ali. editor. Hung, Hayley. editor. Aran, Oya. editor. Gunes, Hatice. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332940.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02714-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Information and Communications Security 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings
Information and Communications Security 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings
Author 
Qing, Sihan. editor. Zhou, Jianying. editor. Liu, Dongmei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332941.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02726-5
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Active Media Technology 9th International Conference, AMT 2013, Maebashi, Japan, October 29-31, 2013, Proceedings
Active Media Technology 9th International Conference, AMT 2013, Maebashi, Japan, October 29-31, 2013, Proceedings
Author 
Yoshida, Tetsuya. editor. Kou, Gang. editor. Skowron, Andrzej. editor. Cao, Jiannong. editor. Hacid, Hakim. editor.
Preferred Shelf Number 
ONLINE(332942.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Brain and Health Informatics International Conference, BHI 2013, Maebashi, Japan, October 29-31, 2013. Proceedings
Brain and Health Informatics International Conference, BHI 2013, Maebashi, Japan, October 29-31, 2013. Proceedings
Author 
Imamura, Kazayuki. editor. Usui, Shiro. editor. Shirao, Tomoaki. editor. Kasamatsu, Takuji. editor. Schwabe, Lars. editor.
Preferred Shelf Number 
ONLINE(332943.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02753-1
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Interactive Storytelling 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings
Interactive Storytelling 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings
Author 
Koenitz, Hartmut. editor. Sezen, Tonguc Ibrahim. editor. Ferri, Gabriele. editor. Haahr, Mads. editor. Sezen, Digdem. editor.
Preferred Shelf Number 
ONLINE(332944.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02756-2
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings
Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings
Author 
Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332947.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings
Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings
Author 
Blanc-Talon, Jacques. editor. Kasinski, Andrzej. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number 
ONLINE(332953.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02895-8
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Knowledge Discovery, Knowledge Engineering and Knowledge Management Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers
Knowledge Discovery, Knowledge Engineering and Knowledge Management Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers
Author 
Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333266.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29764-9
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Concise Guide to Databases A Practical Introduction
Concise Guide to Databases A Practical Introduction
Author 
Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331224.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings
Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings
Author 
Reidsma, Dennis. editor. Katayose, Haruhiro. editor. Nijholt, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332968.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03161-3
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
Author 
Urzaiz, Gabriel. editor. Ochoa, Sergio F. editor. Bravo, José. editor. Chen, Liming Luke. editor. Oliveira, Jonice. editor.
Preferred Shelf Number 
ONLINE(332969.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03176-7
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Social Informatics 5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings
Social Informatics 5th International Conference, SocInfo 2013, Kyoto, Japan, November 25-27, 2013, Proceedings
Author 
Jatowt, Adam. editor. Lim, Ee-Peng. editor. Ding, Ying. editor. Miura, Asako. editor. Tezuka, Taro. editor.
Preferred Shelf Number 
ONLINE(332973.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03260-3
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings
Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings
Author 
Garoufallou, Emmanouel. editor. Greenberg, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332974.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03437-9
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
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:
73. 
Cover image for Agents and Data Mining Interaction 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers
Agents and Data Mining Interaction 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers
Author 
Cao, Longbing. editor. Zeng, Yifeng. editor. Symeonidis, Andreas L. editor. Gorodetsky, Vladimir I. editor. Yu, Philip S. editor.
Preferred Shelf Number 
ONLINE(334167.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36288-0
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Author 
Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Preferred Shelf Number 
ONLINE(334092.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35975-0
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings
Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings
Author 
Dudin, Alexander. editor. Klimenok, Valentina. editor. Tsarenkov, Gennadiy. editor. Dudin, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334093.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35980-4
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Information Retrieval Meets Information Visualization PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012, Revised Tutorial Lectures
Information Retrieval Meets Information Visualization PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012, Revised Tutorial Lectures
Author 
Agosti, Maristella. editor. Ferro, Nicola. editor. Forner, Pamela. editor. Müller, Henning. editor. Santucci, Giuseppe. editor.
Preferred Shelf Number 
ONLINE(334197.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36415-0
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings
Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings
Author 
Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334200.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36424-2
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers
Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers
Author 
Lenz, Richard. editor. Miksch, Silvia. editor. Peleg, Mor. editor. Reichert, Manfred. editor. Riaño, David. editor.
Preferred Shelf Number 
ONLINE(334204.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36438-9
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Cognitive Agents for Virtual Environments First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Cognitive Agents for Virtual Environments First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Dignum, Frank. editor. Brom, Cyril. editor. Hindriks, Koen. editor. Beer, Martin. editor. Richards, Deborah. editor.
Preferred Shelf Number 
ONLINE(334206.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36444-0
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Transactions on Rough Sets XVI
Transactions on Rough Sets XVI
Author 
Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Preferred Shelf Number 
ONLINE(334220.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36505-8
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
Author 
Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334223.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36516-4
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers
Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers
Author 
Nin, Jordi. editor. Villatoro, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36074-9
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Author 
Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers
Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers
Author 
Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334121.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36092-3
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
Author 
Dawson, Ed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334122.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36095-4
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach
Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach
Author 
Jörges, Sven. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334129.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36127-2
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers
Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers
Author 
Hoepman, Jaap-Henk. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334132.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36140-1
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Digital Libraries and Archives 8th Italian Research Conference, IRCDL 2012, Bari, Italy, February 9-10, 2012, Revised Selected Papers
Digital Libraries and Archives 8th Italian Research Conference, IRCDL 2012, Bari, Italy, February 9-10, 2012, Revised Selected Papers
Author 
Agosti, Maristella. editor. Esposito, Floriana. editor. Ferilli, Stefano. editor. Ferro, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334061.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35834-0
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Author 
Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334136.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36157-9
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
Author 
Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334142.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36177-7
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Security Protocols XVII 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers
Security Protocols XVII 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers
Author 
Christianson, Bruce. editor. Malcolm, James A. editor. Matyáš, Vashek. editor. Roe, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334145.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36213-2
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Author 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334156.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Advances in Wireless Sensor Networks 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012, Revised Selected Papers
Advances in Wireless Sensor Networks 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012, Revised Selected Papers
Author 
Wang, Ruchuan. editor. Xiao, Fu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334157.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36252-1
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
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:
95. 
Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Author 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334264.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Medical Content-Based Retrieval for Clinical Decision Support Third MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 1, 2012, Revised Selected Papers
Medical Content-Based Retrieval for Clinical Decision Support Third MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 1, 2012, Revised Selected Papers
Author 
Greenspan, Hayit. editor. Müller, Henning. editor. Syeda-Mahmood, Tanveer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334265.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36678-9
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings
Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings
Author 
Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334268.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36694-9
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Computational Color Imaging 4th International Workshop, CCIW 2013, Chiba, Japan, March 3-5, 2013. Proceedings
Computational Color Imaging 4th International Workshop, CCIW 2013, Chiba, Japan, March 3-5, 2013. Proceedings
Author 
Tominaga, Shoji. editor. Schettini, Raimondo. editor. Trémeau, Alain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334270.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36700-7
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers
Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334274.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36727-4
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
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:
101. 
Cover image for Graphics Recognition. New Trends and Challenges 9th International Workshop, GREC 2011, Seoul, Korea, September 15-16, 2011, Revised Selected Papers
Graphics Recognition. New Trends and Challenges 9th International Workshop, GREC 2011, Seoul, Korea, September 15-16, 2011, Revised Selected Papers
Author 
Kwon, Young-Bin. editor. Ogier, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334303.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36824-0
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Computational Linguistics and Intelligent Text Processing 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part II
Computational Linguistics and Intelligent Text Processing 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part II
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334394.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37256-8
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
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:
104. 
Cover image for Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede
Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede
Author 
Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334319.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36899-8
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Advances in Knowledge Discovery and Data Mining 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings, Part II
Advances in Knowledge Discovery and Data Mining 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings, Part II
Author 
Pei, Jian. editor. Tseng, Vincent S. editor. Cao, Longbing. editor. Motoda, Hiroshi. editor. Xu, Guandong. editor.
Preferred Shelf Number 
ONLINE(334434.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37456-2
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Intelligent Interactive Technologies and Multimedia Second International Conference, IITM 2013, Allahabad, India, March 9-11, 2013. Proceedings
Intelligent Interactive Technologies and Multimedia Second International Conference, IITM 2013, Allahabad, India, March 9-11, 2013. Proceedings
Author 
Agrawal, Anupam. editor. Tripathi, R. C. editor. Do, Ellen Yi-Luen. editor. Tiwari, M. D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334435.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37463-0
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Author 
Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334327.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36946-9
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
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:
109. 
Cover image for Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Author 
Machado, Penousal. editor. McDermott, James. editor. Carballal, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334330.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36955-1
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I
Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I
Author 
Meng, Weiyi. editor. Feng, Ling. editor. Bressan, Stéphane. editor. Winiwarter, Werner. editor. Song, Wei. editor.
Preferred Shelf Number 
ONLINE(334440.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37487-6
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Author 
Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Preferred Shelf Number 
ONLINE(334332.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36961-2
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Advances in Information Retrieval 35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 24-27, 2013. Proceedings
Advances in Information Retrieval 35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 24-27, 2013. Proceedings
Author 
Serdyukov, Pavel. editor. Braslavski, Pavel. editor. Kuznetsov, Sergei O. editor. Kamps, Jaap. editor. Rüger, Stefan. editor.
Preferred Shelf Number 
ONLINE(334336.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36973-5
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for The Language of Mathematics A Linguistic and Philosophical Investigation
The Language of Mathematics A Linguistic and Philosophical Investigation
Author 
Ganesalingam, Mohan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334341.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37012-0
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
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:
115. 
Cover image for Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 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 
Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334348.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37036-6
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Transactions on Edutainment IX
Transactions on Edutainment IX
Author 
Pan, Zhigeng. editor. Cheok, Adrian David. editor. Müller, Wolfgang. editor. Liarokapis, Fotis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334350.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37042-7
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Compiler Construction 22nd International Conference, CC 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 
Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334353.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37051-9
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Fundamental Approaches to Software Engineering 16th International Conference, FASE 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 
Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334354.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37057-1
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334355.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37064-9
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings
Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings
Author 
Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334356.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37067-0
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction First IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 11, 2012, Revised Selected Papers
Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction First IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 11, 2012, Revised Selected Papers
Author 
Schwenker, Friedhelm. editor. Scherer, Stefan. editor. Morency, Louis-Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334359.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37081-6
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Web and Wireless Geographical Information Systems 12th International Symposium, W2GIS 2013, Banff, AB, Canada, April 4-5, 2013. Proceedings
Web and Wireless Geographical Information Systems 12th International Symposium, W2GIS 2013, Banff, AB, Canada, April 4-5, 2013. Proceedings
Author 
Liang, Steve H. L. editor. Wang, Xin. editor. Claramunt, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334361.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37087-8
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers
Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers
Author 
Li, Kang. editor. Li, Shaoyuan. editor. Li, Dewei. editor. Niu, Qun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334362.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37105-9
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Author 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334465.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Programming Logics Essays in Memory of Harald Ganzinger
Programming Logics Essays in Memory of Harald Ganzinger
Author 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334468.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Author 
Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334469.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37658-0
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Information Security and Cryptology – ICISC 2012 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers
Information Security and Cryptology – ICISC 2012 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers
Author 
Kwon, Taekyoung. editor. Lee, Mun-Kyu. editor. Kwon, Daesung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334470.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37682-5
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems VIII 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Coordination, Organizations, Institutions, and Norms in Agent Systems VIII 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Author 
Aldewereld, Huib. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334477.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37756-3
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Advances in Computational Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II
Advances in Computational Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II
Author 
Batyrshin, Ildar. editor. Mendoza, Miguel González. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334483.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37798-3
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Service-Oriented Computing - ICSOC 2012 Workshops ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers
Service-Oriented Computing - ICSOC 2012 Workshops ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers
Author 
Ghose, Aditya. editor. Zhu, Huibiao. editor. Yu, Qi. editor. Delis, Alex. editor. Sheng, Quang Z. editor.
Preferred Shelf Number 
ONLINE(334485.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37804-1
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I
Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I
Author 
Batyrshin, Ildar. editor. González Mendoza, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334486.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37807-2
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334494.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37890-4
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Health Information Science Second International Conference, HIS 2013, London, UK, March 25-27, 2013. Proceedings
Health Information Science Second International Conference, HIS 2013, London, UK, March 25-27, 2013. Proceedings
Author 
Huang, Guangyan. editor. Liu, Xiaohui. editor. He, Jing. editor. Klawonn, Frank. editor. Yao, Guiqing. editor.
Preferred Shelf Number 
ONLINE(334496.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37899-7
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Transactions on Edutainment X
Transactions on Edutainment X
Author 
Pan, Zhigeng. editor. Cheok, Adrian David. editor. Müller, Wolfgang. editor. Iurgel, Ido. editor. Petta, Paolo. editor.
Preferred Shelf Number 
ONLINE(334501.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37919-2
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
Author 
Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Preferred Shelf Number 
ONLINE(334508.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37974-1
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Semantic Technology Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings
Semantic Technology Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings
Author 
Takeda, Hideaki. editor. Qu, Yuzhong. editor. Mizoguchi, Riichiro. editor. Kitamura, Yoshinobu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334512.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37996-3
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Security and Trust Management 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers
Security and Trust Management 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers
Author 
Jøsang, Audun. editor. Samarati, Pierangela. editor. Petrocchi, Marinella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334514.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38004-4
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers
Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers
Author 
Erlebach, Thomas. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334516.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38016-7
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings
Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings
Author 
Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.
Preferred Shelf Number 
ONLINE(334517.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38027-3
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
Author 
Cuellar, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334518.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38030-3
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Information Security Practice and Experience 9th International Conference, ISPEC 2013, Lanzhou, China, May 12-14, 2013. Proceedings
Information Security Practice and Experience 9th International Conference, ISPEC 2013, Lanzhou, China, May 12-14, 2013. Proceedings
Author 
Deng, Robert H. editor. Feng, Tao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334519.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38033-4
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Bioinformatics Research and Applications 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings
Bioinformatics Research and Applications 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings
Author 
Cai, Zhipeng. editor. Eulenstein, Oliver. editor. Janies, Daniel. editor. Schwartz, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334520.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38036-5
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Highlights on Practical Applications of Agents and Multi-Agent Systems International Workshops of PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Highlights on Practical Applications of Agents and Multi-Agent Systems International Workshops of PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Author 
Corchado, Juan M. editor. Bajo, Javier. editor. Kozlak, Jaroslaw. editor. Pawlewski, Pawel. editor. Molina, Jose M. editor.
Preferred Shelf Number 
ONLINE(334525.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38061-7
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Multiple Classifier Systems 11th International Workshop, MCS 2013, Nanjing, China, May 15-17, 2013. Proceedings
Multiple Classifier Systems 11th International Workshop, MCS 2013, Nanjing, China, May 15-17, 2013. Proceedings
Author 
Zhou, Zhi-Hua. editor. Roli, Fabio. editor. Kittler, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334527.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38067-9
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
Author 
Demazeau, Yves. editor. Ishida, Toru. editor. Corchado, Juan M. editor. Bajo, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334528.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38073-0
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Clinical Image-Based Procedures. From Planning to Intervention International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Clinical Image-Based Procedures. From Planning to Intervention International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
Author 
Drechsler, Klaus. editor. Erdt, Marius. editor. Linguraru, Marius George. editor. Oyarzun Laura, Cristina. editor. Sharma, Karun. editor.
Preferred Shelf Number 
ONLINE(334530.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38079-2
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for The Future Internet Future Internet Assembly 2013: Validated Results and New Horizons
The Future Internet Future Internet Assembly 2013: Validated Results and New Horizons
Author 
Galis, Alex. editor. Gavras, Anastasius. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334531.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38082-2
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers
Augmented Environments for Computer-Assisted Interventions 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers
Author 
Linte, Cristian A. editor. Chen, Elvis C. S. editor. Berger, Marie-Odile. editor. Moore, John T. editor. Holmes, David R. editor.
Preferred Shelf Number 
ONLINE(334532.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38085-3
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Author 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Advances in Artificial Intelligence 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings
Advances in Artificial Intelligence 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings
Author 
Zaïane, Osmar R. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334602.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38457-8
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author 
Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334610.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38493-6
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Transactions on Computational Collective Intelligence X
Transactions on Computational Collective Intelligence X
Author 
Nguyen, Ngoc-Thanh. editor. Kołodziej, Joanna. editor. Burczyński, Tadeusz. editor. Biba, Marenglen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334611.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38496-7
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings
Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings
Author 
Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number 
ONLINE(334612.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38516-2
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Information Security and Cryptology 8th International Conference, Inscrypt 2012, Beijing, China, November 28-30, 2012, Revised Selected Papers
Information Security and Cryptology 8th International Conference, Inscrypt 2012, Beijing, China, November 28-30, 2012, Revised Selected Papers
Author 
Kutyłowski, Mirosław. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334613.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38519-3
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Author 
Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334615.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38527-8
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings
Author 
Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334616.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38530-8
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Distributed Applications and Interoperable Systems 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Distributed Applications and Interoperable Systems 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author 
Dowling, Jim. editor. Taïani, François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334618.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38541-4
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings
Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings
Author 
Youssef, Amr. editor. Nitaj, Abderrahmane. editor. Hassanien, Aboul Ella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334620.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38553-7
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Multimedia Communications, Services and Security 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013. Proceedings
Multimedia Communications, Services and Security 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013. Proceedings
Author 
Dziech, Andrzej. editor. Czyżewski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334621.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38559-9
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Web-Age Information Management 14th International Conference, WAIM 2013, Beidaihe, China, June 14-16, 2013. Proceedings
Web-Age Information Management 14th International Conference, WAIM 2013, Beidaihe, China, June 14-16, 2013. Proceedings
Author 
Wang, Jianyong. editor. Xiong, Hui. editor. Ishikawa, Yoshiharu. editor. Xu, Jianliang. editor. Zhou, Junfeng. editor.
Preferred Shelf Number 
ONLINE(334622.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38562-9
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings
Author 
Barratt, Dean. editor. Cotin, Stéphane. editor. Fichtinger, Gabor. editor. Jannin, Pierre. editor. Navab, Nassir. editor.
Preferred Shelf Number 
ONLINE(334624.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38568-1
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
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:
164. 
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:
165. 
Cover image for Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author 
Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334630.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38592-6
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
Author 
Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334631.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38601-5
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Business Process Models. Change Management
Business Process Models. Change Management
Author 
Gerth, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334632.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38604-6
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II
Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
ONLINE(334633.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38610-7
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Author 
Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334634.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38613-8
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Post-Quantum Cryptography 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings
Post-Quantum Cryptography 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings
Author 
Gaborit, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334635.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38616-9
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
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:
172. 
Cover image for Pattern Recognition and Image Analysis 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedings
Pattern Recognition and Image Analysis 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedings
Author 
Sanches, João M. editor. Micó, Luisa. editor. Cardoso, Jaime S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334637.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38628-2
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Network and System Security 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings
Network and System Security 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings
Author 
Lopez, Javier. editor. Huang, Xinyi. editor. Sandhu, Ravi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334638.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38631-2
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings
Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings
Author 
Kłopotek, Mieczysław A. editor. Koronacki, Jacek. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. Wierzchoń, Sławomir T. editor.
Preferred Shelf Number 
ONLINE(334639.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38634-3
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I
Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I
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(334640.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38637-4
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Ad-hoc, Mobile, and Wireless Network 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings
Ad-hoc, Mobile, and Wireless Network 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings
Author 
Cichoń, Jacek. editor. Gȩbala, Maciej. editor. Klonowski, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334764.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39247-4
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for RoboCup 2012: Robot Soccer World Cup XVI
RoboCup 2012: Robot Soccer World Cup XVI
Author 
Chen, Xiaoping. editor. Stone, Peter. editor. Sucar, Luis Enrique. editor. Zant, Tijn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334765.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39250-4
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Design, User Experience, and Usability. Web, Mobile, and Product Design Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV
Design, User Experience, and Usability. Web, Mobile, and Product Design Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV
Author 
Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334766.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39253-5
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Data and Applications Security and Privacy XXVII 27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013. Proceedings
Data and Applications Security and Privacy XXVII 27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013. Proceedings
Author 
Wang, Lingyu. editor. Shafiq, Basit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334767.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39256-6
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings
Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings
Author 
Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334768.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39259-7
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Human-Computer Interaction. Applications and Services 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Human-Computer Interaction. Applications and Services 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334769.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39262-7
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Human-Computer Interaction. Users and Contexts of Use 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III
Human-Computer Interaction. Users and Contexts of Use 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334770.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39265-8
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
Author 
Konstantinidis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334771.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39274-0
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Author 
Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334772.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39277-1
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
Author 
Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334778.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39310-5
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Author 
Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Preferred Shelf Number 
ONLINE(334781.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39320-4
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Human-Computer Interaction. Interaction Modalities and Techniques 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV
Human-Computer Interaction. Interaction Modalities and Techniques 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334782.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39330-3
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Human-Computer Interaction. Towards Intelligent and Implicit Interaction 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part V
Human-Computer Interaction. Towards Intelligent and Implicit Interaction 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part V
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334785.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39342-6
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Human Aspects of Information Security, Privacy, and Trust First International Conference, HAS 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings
Human Aspects of Information Security, Privacy, and Trust First International Conference, HAS 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings
Author 
Marinos, Louis. editor. Askoxylakis, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334786.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39345-7
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Distributed, Ambient, and Pervasive Interactions First International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings
Distributed, Ambient, and Pervasive Interactions First International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings
Author 
Streitz, Norbert. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334787.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39351-8
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Engineering Psychology and Cognitive Ergonomics. Applications and Services 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Engineering Psychology and Cognitive Ergonomics. Applications and Services 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Harris, Don. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334788.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39354-9
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Mathematics and Computation in Music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings
Mathematics and Computation in Music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings
Author 
Yust, Jason. editor. Wild, Jonathan. editor. Burgoyne, John Ashley. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334789.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39357-0
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Harris, Don. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334790.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39360-0
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Online Communities and Social Computing 5th International conference, OCSC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings
Online Communities and Social Computing 5th International conference, OCSC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings
Author 
Ozok, A. Ant. editor. Zaphiris, Panayiotis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334793.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39371-6
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Computer Vision Systems 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
Computer Vision Systems 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
Author 
Chen, Mei. editor. Leibe, Bastian. editor. Neumann, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334795.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39402-7
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Shumaker, Randall. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334796.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39405-8
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
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:
198. 
Cover image for Virtual, Augmented and Mixed Reality. Systems and Applications 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Virtual, Augmented and Mixed Reality. Systems and Applications 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Shumaker, Randall. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334798.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39420-1
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Data Integration in the Life Sciences 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings
Data Integration in the Life Sciences 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings
Author 
Baker, Christopher J. O. editor. Butler, Greg. editor. Jurisica, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334800.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39437-9
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Foundations of Augmented Cognition 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings
Foundations of Augmented Cognition 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings
Author 
Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334801.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39454-6
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Big Data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings
Big Data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings
Author 
Gottlob, Georg. editor. Grasso, Giovanni. editor. Olteanu, Dan. editor. Schallhart, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334803.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39467-6
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings
Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings
Author 
Biswas, Jit. editor. Kobayashi, Hisato. editor. Wong, Lawrence. editor. Abdulrazak, Bessam. editor. Mokhtari, Mounir. editor.
Preferred Shelf Number 
ONLINE(334804.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39470-6
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for HCI International 2013 - Posters’ Extended Abstracts International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
HCI International 2013 - Posters’ Extended Abstracts International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334805.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39473-7
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for HCI International 2013 - Posters’ Extended Abstracts International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
HCI International 2013 - Posters’ Extended Abstracts International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334806.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39476-8
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Intelligent Computing Theories 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Intelligent Computing Theories 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Author 
Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Figueroa, Juan Carlos. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334807.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39479-9
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Intelligent Computing Theories and Technology 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Intelligent Computing Theories and Technology 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Author 
Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Zhou, Yong-Quan. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334808.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39482-9
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings
Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings
Author 
Qin, Zengchang. editor. Huynh, Van-Nam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334813.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39515-4
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
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:
209. 
Cover image for Web-Age Information Management WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings
Web-Age Information Management WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings
Author 
Gao, Yunjun. editor. Shim, Kyuseok. editor. Ding, Zhiming. editor. Jin, Peiquan. editor. Ren, Zujie. editor.
Preferred Shelf Number 
ONLINE(334815.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39527-7
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Statistical Language and Speech Processing First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings
Statistical Language and Speech Processing First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Mitkov, Ruslan. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334819.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39593-2
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Author 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334820.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Author 
Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334821.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39614-4
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Author 
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Preferred Shelf Number 
ONLINE(334822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39617-5
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
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:
215. 
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:
216. 
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:
217. 
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:
218. 
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:
219. 
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:
220. 
Cover image for Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
Author 
Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334832.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39666-3
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings
Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings
Author 
Wang, G. Alan. editor. Zheng, Xiaolong. editor. Chau, Michael. editor. Chen, Hsinchun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334836.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39693-9
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Pattern Recognition 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013. Proceedings
Pattern Recognition 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013. Proceedings
Author 
Weickert, Joachim. editor. Hein, Matthias. editor. Schiele, Bernt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334977.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40602-7
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Author 
Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334978.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40615-7
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Author 
Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Preferred Shelf Number 
ONLINE(334979.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40624-9
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Author 
Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334980.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings
Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings
Author 
Bielza, Concha. editor. Salmerón, Antonio. editor. Alonso-Betanzos, Amparo. editor. Hidalgo, J. Ignacio. editor. Martínez, Luis. editor.
Preferred Shelf Number 
ONLINE(334981.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40643-0
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Advances in Data Mining. Applications and Theoretical Aspects 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings
Advances in Data Mining. Applications and Theoretical Aspects 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334843.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39736-3
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
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:
229. 
Cover image for Hybrid Learning and Continuing Education 6th International Conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013. Proceedings
Hybrid Learning and Continuing Education 6th International Conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013. Proceedings
Author 
Cheung, Simon K. S. editor. Fong, Joseph. editor. Fong, Wilfred. editor. Wang, Fu Lee. editor. Kwok, Lam For. editor.
Preferred Shelf Number 
ONLINE(334845.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39750-9
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
Author 
Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334848.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
Author 
Wang, Mingzheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334849.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39787-5
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
Author 
Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334851.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39799-8
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
Author 
Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.
Preferred Shelf Number 
ONLINE(334915.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40235-7
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II
Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II
Author 
Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334917.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40246-3
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I
Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I
Author 
Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334919.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40261-6
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Smart Health International Conference, ICSH 2013, Beijing, China, August 3-4, 2013. Proceedings
Smart Health International Conference, ICSH 2013, Beijing, China, August 3-4, 2013. Proceedings
Author 
Zeng, Daniel. editor. Yang, Christopher C. editor. Tseng, Vincent S. editor. Xing, Chunxiao. editor. Chen, Hsinchun. editor.
Preferred Shelf Number 
ONLINE(334856.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39844-5
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday
Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday
Author 
Brodnik, Andrej. editor. López-Ortiz, Alejandro. editor. Raman, Venkatesh. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334921.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40273-9
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Author 
Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334859.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39866-7
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers
Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers
Author 
Jiang, Xiaoyi. editor. Bellon, Olga Regina Pereira. editor. Goldgof, Dmitry. editor. Oishi, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334924.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40303-3
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Internet of Things, Smart Spaces, and Next Generation Networking 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings
Internet of Things, Smart Spaces, and Next Generation Networking 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings
Author 
Balandin, Sergey. editor. Andreev, Sergey. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334926.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40316-3
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2013 International Workshops: DMApps, DANTH, QIMIE, BDM, CDA, CloudSD, Gold Coast, QLD, Australia, April 14-17, 2013, Revised Selected Papers
Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2013 International Workshops: DMApps, DANTH, QIMIE, BDM, CDA, CloudSD, Gold Coast, QLD, Australia, April 14-17, 2013, Revised Selected Papers
Author 
Li, Jiuyong. editor. Cao, Longbing. editor. Wang, Can. editor. Tan, Kay Chen. editor. Liu, Bo. editor.
Preferred Shelf Number 
ONLINE(334927.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40319-4
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings
Author 
Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334929.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40328-6
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Trust, Privacy, and Security in Digital Business 10th International Conference, TrustBus 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings
Trust, Privacy, and Security in Digital Business 10th International Conference, TrustBus 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings
Author 
Furnell, Steven. editor. Lambrinoudakis, Costas. editor. Lopez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334930.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40343-9
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Electronic Participation 5th IFIP WG 8.5 International Conference, ePart 2013, Koblenz, Germany, September 17-19, 2013. Proceedings
Electronic Participation 5th IFIP WG 8.5 International Conference, ePart 2013, Koblenz, Germany, September 17-19, 2013. Proceedings
Author 
Wimmer, Maria A. editor. Tambouris, Efthimios. editor. Macintosh, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334931.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40346-0
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings
Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings
Author 
Bertoni, Guido. editor. Coron, Jean-Sébastien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334932.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40349-1
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Author 
Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334934.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40355-2
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Electronic Government 12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 16-19, 2013. Proceedings
Electronic Government 12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 16-19, 2013. Proceedings
Author 
Wimmer, Maria A. editor. Janssen, Marijn. editor. Scholl, Hans J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334935.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40358-3
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Scalable Uncertainty Management 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings
Scalable Uncertainty Management 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings
Author 
Liu, Weiru. editor. Subrahmanian, V. S. editor. Wijsen, Jef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334937.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40381-1
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Lightweight Cryptography for Security and Privacy Second International Workshop, LightSec 2013, Gebze, Turkey, May 6-7, 2013, Revised Selected Papers
Lightweight Cryptography for Security and Privacy Second International Workshop, LightSec 2013, Gebze, Turkey, May 6-7, 2013, Revised Selected Papers
Author 
Avoine, Gildas. editor. Kara, Orhun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334938.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40392-7
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
Author 
Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Preferred Shelf Number 
ONLINE(334939.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40395-8
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Author 
Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40867-0
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Intelligent Virtual Agents 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings
Intelligent Virtual Agents 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings
Author 
Aylett, Ruth. editor. Krenn, Brigitte. editor. Pelachaud, Catherine. editor. Shimodaira, Hiroshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334943.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40415-3
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Author 
Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334946.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40447-4
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Author 
Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334947.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40450-4
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Author 
Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334948.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40453-5
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency VIII
Transactions on Petri Nets and Other Models of Concurrency VIII
Author 
Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334949.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40465-8
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III
Author 
Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE(334950.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40477-1
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II
Author 
Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE(334951.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40480-1
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I
Author 
Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE(334952.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40483-2
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Systems and Frameworks for Computational Morphology Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings
Systems and Frameworks for Computational Morphology Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings
Author 
Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334953.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40486-3
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Computational Collective Intelligence. Technologies and Applications 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings
Computational Collective Intelligence. Technologies and Applications 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings
Author 
Bǎdicǎ, Costin. editor. Nguyen, Ngoc Thanh. editor. Brezovan, Marius. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334954.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40495-5
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II
Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II
Author 
Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335065.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41154-0
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
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:
264. 
Cover image for Advances in Web-Based Learning – ICWL 2013 12th International Conference, Kenting, Taiwan, October 6-9, 2013. Proceedings
Advances in Web-Based Learning – ICWL 2013 12th International Conference, Kenting, Taiwan, October 6-9, 2013. Proceedings
Author 
Wang, Jhing-Fa. editor. Lau, Rynson. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335067.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41175-5
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV
Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV
Author 
Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE(334955.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40498-6
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Research and Advanced Technology for Digital Libraries International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings
Research and Advanced Technology for Digital Libraries International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings
Author 
Aalberg, Trond. editor. Papatheodorou, Christos. editor. Dobreva, Milena. editor. Tsakonas, Giannis. editor. Farrugia, Charles J. editor.
Preferred Shelf Number 
ONLINE(334956.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40501-3
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Availability, Reliability, and Security in Information Systems and HCI IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, Regensburg, Germany, September 2-6, 2013. Proceedings
Availability, Reliability, and Security in Information Systems and HCI IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, 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(334958.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40511-2
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers
Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers
Author 
Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334960.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40517-4
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings
Author 
Ciucci, Davide. editor. Inuiguchi, Masahiro. editor. Yao, Yiyu. editor. Ślęzak, Dominik. editor. Wang, Guoyin. editor.
Preferred Shelf Number 
ONLINE(335074.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41218-9
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems X Special Issue on Database- and Expert-Systems Applications
Transactions on Large-Scale Data- and Knowledge-Centered Systems X Special Issue on Database- and Expert-Systems Applications
Author 
Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Liddle, Stephen W. editor. Schewe, Klaus-Dieter. editor.
Preferred Shelf Number 
ONLINE(335075.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41221-9
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Security, Privacy, and Applied Cryptography Engineering Third International Conference, SPACE 2013, Kharagpur, India, October 19-23, 2013. Proceedings
Security, Privacy, and Applied Cryptography Engineering Third International Conference, SPACE 2013, Kharagpur, India, October 19-23, 2013. Proceedings
Author 
Gierlichs, Benedikt. editor. Guilley, Sylvain. editor. Mukhopadhyay, Debdeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335076.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41224-0
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings
Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings
Author 
Susilo, Willy. editor. Reyhanitabar, Reza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41227-1
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I
Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I
Author 
Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335078.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41230-1
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for The Semantic Web: ESWC 2013 Satellite Events ESWC 2013 Satellite Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers
The Semantic Web: ESWC 2013 Satellite Events ESWC 2013 Satellite Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers
Author 
Cimiano, Philipp. editor. Fernández, Miriam. editor. Lopez, Vanessa. editor. Schlobach, Stefan. editor. Völker, Johanna. editor.
Preferred Shelf Number 
ONLINE(335079.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41242-4
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for From Sounds to Music and Emotions 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers
From Sounds to Music and Emotions 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers
Author 
Aramaki, Mitsuko. editor. Barthet, Mathieu. editor. Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335080.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41248-6
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
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:
277. 
Cover image for Research in Attacks, Intrusions, and Defenses 16th International Symposium, RAID 2013, Rodney Bay, St. Lucia, October 23-25, 2013. Proceedings
Research in Attacks, Intrusions, and Defenses 16th International Symposium, RAID 2013, Rodney Bay, St. Lucia, October 23-25, 2013. Proceedings
Author 
Stolfo, Salvatore J. editor. Stavrou, Angelos. editor. Wright, Charles V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335085.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41284-4
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers
Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers
Author 
Fàbrega, Lluís. editor. Vilà, Pere. editor. Careglio, Davide. editor. Papadimitriou, Dimitri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335086.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41296-7
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Rough Sets and Knowledge Technology 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings
Rough Sets and Knowledge Technology 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings
Author 
Lingras, Pawan. editor. Wolski, Marcin. editor. Cornelis, Chris. editor. Mitra, Sushmita. editor. Wasilewski, Piotr. editor.
Preferred Shelf Number 
ONLINE(335087.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41299-8
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Financial Cryptography and Data Security FC 2013 Workshops, USEC and WAHC 2013, Okinawa, Japan, April 1, 2013, Revised Selected Papers
Financial Cryptography and Data Security FC 2013 Workshops, USEC and WAHC 2013, Okinawa, Japan, April 1, 2013, Revised Selected Papers
Author 
Adams, Andrew A. editor. Brenner, Michael. editor. Smith, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335088.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41320-9
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Radio Frequency Identification Security and Privacy Issues 9th International Workshop, RFIDsec 2013, Graz, Austria, July 9-11, 2013, Revised Selected Papers
Radio Frequency Identification Security and Privacy Issues 9th International Workshop, RFIDsec 2013, Graz, Austria, July 9-11, 2013, Revised Selected Papers
Author 
Hutter, Michael. editor. Schmidt, Jörn-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335090.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41332-2
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for The Semantic Web – ISWC 2013 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I
The Semantic Web – ISWC 2013 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I
Author 
Alani, Harith. editor. Kagal, Lalana. editor. Fokoue, Achille. editor. Groth, Paul. editor. Biemann, Chris. editor.
Preferred Shelf Number 
ONLINE(335091.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41335-3
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for PRIMA 2013: Principles and Practice of Multi-Agent Systems 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
PRIMA 2013: Principles and Practice of Multi-Agent Systems 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
Author 
Boella, Guido. editor. Elkind, Edith. editor. Savarimuthu, Bastin Tony Roy. editor. Dignum, Frank. editor. Purvis, Martin K. editor.
Preferred Shelf Number 
ONLINE(335169.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-44927-7
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Collaboration and Technology 19th International Conference, CRIWG 2013, Wellington, New Zealand, October 30 – November 1, 2013, Proceedings
Collaboration and Technology 19th International Conference, CRIWG 2013, Wellington, New Zealand, October 30 – November 1, 2013, Proceedings
Author 
Antunes, Pedro. editor. Gerosa, Marco Aurélio. editor. Sylvester, Allan. editor. Vassileva, Julita. editor. Vreede, Gert-Jan. editor.
Preferred Shelf Number 
ONLINE(335095.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41347-6
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Knowledge Engineering and the Semantic Web 4th International Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings
Knowledge Engineering and the Semantic Web 4th International Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings
Author 
Klinov, Pavel. editor. Mouromtsev, Dmitry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335096.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41360-5
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings
Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings
Author 
Cuzzocrea, Alfredo. editor. Maabout, Sofian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335097.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41366-7
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 – December 2, 2011
Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 – December 2, 2011
Author 
Dowe, David L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335173.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-44958-1
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Time-of-Flight and Depth Imaging. Sensors, Algorithms, and Applications Dagstuhl 2012 Seminar on Time-of-Flight Imaging and GCPR 2013 Workshop on Imaging New Modalities
Time-of-Flight and Depth Imaging. Sensors, Algorithms, and Applications Dagstuhl 2012 Seminar on Time-of-Flight Imaging and GCPR 2013 Workshop on Imaging New Modalities
Author 
Grzegorzek, Marcin. editor. Theobalt, Christian. editor. Koch, Reinhard. editor. Kolb, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335174.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-44964-2
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings
Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings
Author 
Vöcking, Berthold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335101.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41392-6
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings
Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings
Author 
Tucker, Allan. editor. Höppner, Frank. editor. Siebes, Arno. editor. Swift, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335103.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41398-8
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
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:
292. 
Cover image for Critical Information Infrastructure Security 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Papers
Critical Information Infrastructure Security 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Papers
Author 
Bologna, Sandro. editor. Hämmerli, Bernhard. editor. Gritzalis, Dimitris. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335107.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41476-3
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Critical Information Infrastructures Security 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012, Revised Selected Papers
Critical Information Infrastructures Security 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012, Revised Selected Papers
Author 
Hämmerli, Bernhard M. editor. Kalstad Svendsen, Nils. editor. Lopez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335110.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41485-5
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings
Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings
Author 
Riis Nielson, Hanne. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335111.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41488-6
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013. Proceedings
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013. Proceedings
Author 
Sun, Maosong. editor. Zhang, Min. editor. Lin, Dekang. editor. Wang, Haifeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335112.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41491-6
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
Author 
Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335116.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41515-9
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
Author 
Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.
Preferred Shelf Number 
ONLINE(335118.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41524-1
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings
Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings
Author 
Afek, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335119.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41527-2
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Author 
Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number 
ONLINE(335120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41533-3
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Multimodal Communication in Political Speech. Shaping Minds and Social Action International Workshop, Political Speech 2010, Rome, Italy, November 10-12, 2010, Revised Selected Papers
Multimodal Communication in Political Speech. Shaping Minds and Social Action International Workshop, Political Speech 2010, Rome, Italy, November 10-12, 2010, Revised Selected Papers
Author 
Poggi, Isabella. editor. D’Errico, Francesca. editor. Vincze, Laura. editor. Vinciarelli, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335121.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41545-6
Format: 
Availability 
Online Library~1
Available:
Copies:
301. 
Cover image for Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings
Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings
Author 
Torra, Vicenç. editor. Narukawa, Yasuo. editor. Navarro-Arribas, Guillermo. editor. Megías, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335122.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41550-0
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
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:
303. 
Cover image for Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings
Author 
Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335124.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41575-3
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I
Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I
Author 
Yang, Yuhang. editor. Ma, Maode. editor. Liu, Baoxiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335224.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53932-9
Format: 
Availability 
Online Library~1
Available:
Copies:
305. 
Cover image for Frontiers in Internet Technologies Second CCF Internet Conference of China, ICoC 2013, Zhangjiajie, China, July 10, 2013, Revised Selected Papers
Frontiers in Internet Technologies Second CCF Internet Conference of China, ICoC 2013, Zhangjiajie, China, July 10, 2013, Revised Selected Papers
Author 
Su, Jinshu. editor. Zhao, Baokang. editor. Sun, Zhigang. editor. Wang, Xiaofeng. editor. Wang, Fei. editor.
Preferred Shelf Number 
ONLINE(335225.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53959-6
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
Cover image for Linked Data and Knowledge Graph 7th Chinese Semantic Web Symposium and 2nd Chinese Web Science Conference, CSWS 2013, Shanghai, China, August 12-16, 2013. Revised Selected Papers
Linked Data and Knowledge Graph 7th Chinese Semantic Web Symposium and 2nd Chinese Web Science Conference, CSWS 2013, Shanghai, China, August 12-16, 2013. Revised Selected Papers
Author 
Qi, Guilin. editor. Tang, Jie. editor. Du, Jianfeng. editor. Pan, Jeff Z. editor. Yu, Yong. editor.
Preferred Shelf Number 
ONLINE(335226.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-54025-7
Format: 
Availability 
Online Library~1
Available:
Copies:
307. 
Cover image for Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335227.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-54092-9
Format: 
Availability 
Online Library~1
Available:
Copies:
308. 
Cover image for Knowledge Discovery, Knowledge Engineering and Knowledge Management 4th International Joint Conference, IC3K 2012, Barcelona, Spain, October 4-7, 2012, Revised Selected Papers
Knowledge Discovery, Knowledge Engineering and Knowledge Management 4th International Joint Conference, IC3K 2012, Barcelona, Spain, October 4-7, 2012, Revised Selected Papers
Author 
Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335228.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-54105-6
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Multicore Programming Using the ParC Language
Multicore Programming Using the ParC Language
Author 
Ben-Asher, Yosi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2164-0
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Programming Language Concepts
Programming Language Concepts
Author 
Sestoft, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4156-3
Format: 
Availability 
Online Library~1
Available:
Copies:
311. 
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:
312. 
Cover image for Advanced Intelligent Computing 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011. Revised Selected Papers
Advanced Intelligent Computing 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011. Revised Selected Papers
Author 
Huang, De-Shuang. editor. Gan, Yong. editor. Bevilacqua, Vitoantonio. editor. Figueroa, Juan Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24728-6
Format: 
Availability 
Online Library~1
Available:
Copies:
313. 
Cover image for Scale Space and Variational Methods in Computer Vision Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 – June 2, 2011, Revised Selected Papers
Scale Space and Variational Methods in Computer Vision Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 – June 2, 2011, Revised Selected Papers
Author 
Bruckstein, Alfred M. editor. Haar Romeny, Bart M. editor. Bronstein, Alexander M. editor. Bronstein, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24785-9
Format: 
Availability 
Online Library~1
Available:
Copies:
314. 
Cover image for Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers
Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers
Author 
Desai, Nirmit. editor. Liu, Alan. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25920-3
Format: 
Availability 
Online Library~1
Available:
Copies:
315. 
Cover image for Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011, Revised Selected Papers
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 7th International Conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011, Revised Selected Papers
Author 
Huang, De-Shuang. editor. Gan, Yong. editor. Gupta, Phalguni. editor. Gromiha, M. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25944-9
Format: 
Availability 
Online Library~1
Available:
Copies:
316. 
Cover image for The Semantic Web: ESWC 2011 Workshops ESWC 2011 Workshops, Heraklion, Greece, May 29-30, 2011, Revised Selected Papers
The Semantic Web: ESWC 2011 Workshops ESWC 2011 Workshops, Heraklion, Greece, May 29-30, 2011, Revised Selected Papers
Author 
García-Castro, Raúl. editor. Fensel, Dieter. editor. Antoniou, Grigoris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25953-1
Format: 
Availability 
Online Library~1
Available:
Copies:
317. 
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:
318. 
Cover image for Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings
Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings
Author 
Kuipers, Fernando A. editor. Heegaard, Poul E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28583-7
Format: 
Availability 
Online Library~1
Available:
Copies:
319. 
Cover image for Knowledge Representation for Health-Care AIME 2011 Workshop KR4HC 2011, Bled, Slovenia, July 2-6, 2011. Revised Selected Papers
Knowledge Representation for Health-Care AIME 2011 Workshop KR4HC 2011, Bled, Slovenia, July 2-6, 2011. Revised Selected Papers
Author 
Riaño, David. editor. Teije, Annette. editor. Miksch, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27697-2
Format: 
Availability 
Online Library~1
Available:
Copies:
320. 
Cover image for Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Author 
Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
321. 
Cover image for Human-Computer Interaction, Tourism and Cultural Heritage Second International Workshop, HCITOCH 2011, Córdoba, Argentina, September 14-15, 2011, Revised Selected Papers
Human-Computer Interaction, Tourism and Cultural Heritage Second International Workshop, HCITOCH 2011, Córdoba, Argentina, September 14-15, 2011, Revised Selected Papers
Author 
Cipolla-Ficarra, Francisco. editor. Veltman, Kim. editor. Chih-Fang, Huang. editor. Cipolla-Ficarra, Miguel. editor. Kratky, Andreas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33944-8
Format: 
Availability 
Online Library~1
Available:
Copies:
322. 
Cover image for Advances in Natural Language Processing 8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012. Proceedings
Advances in Natural Language Processing 8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012. Proceedings
Author 
Isahara, Hitoshi. editor. Kanzaki, Kyoko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33983-7
Format: 
Availability 
Online Library~1
Available:
Copies:
323. 
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:
324. 
Cover image for Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings
Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings
Author 
Castano, Silvana. editor. Vassiliadis, Panos. editor. Lakshmanan, Laks V. editor. Lee, Mong Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33999-8
Format: 
Availability 
Online Library~1
Available:
Copies:
325. 
Cover image for Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
Author 
Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
326. 
Cover image for Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Author 
Durán, Franciso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34005-5
Format: 
Availability 
Online Library~1
Available:
Copies:
327. 
Cover image for Advances in New Technologies, Interactive Interfaces and Communicability Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers
Advances in New Technologies, Interactive Interfaces and Communicability Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers
Author 
Cipolla-Ficarra, Francisco. editor. Veltman, Kim. editor. Verber, Domen. editor. Cipolla-Ficarra, Miguel. editor. Kammüller, Florian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34010-9
Format: 
Availability 
Online Library~1
Available:
Copies:
328. 
Cover image for Human Behavior Understanding Third International Workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012. Proceedings
Human Behavior Understanding Third International Workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012. Proceedings
Author 
Salah, Albert Ali. editor. Ruiz-del-Solar, Javier. editor. Meriçli, Çetin. editor. Oudeyer, Pierre-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34014-7
Format: 
Availability 
Online Library~1
Available:
Copies:
329. 
Cover image for Current Trends in Web Engineering ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers
Current Trends in Web Engineering ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers
Author 
Grossniklaus, Michael. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35623-0
Format: 
Availability 
Online Library~1
Available:
Copies:
330. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34032-1
Format: 
Availability 
Online Library~1
Available:
Copies:
331. 
Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 30 – July 2, 2011, Revised Selected Papers
Computational Intelligence Methods for Bioinformatics and Biostatistics 8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 30 – July 2, 2011, Revised Selected Papers
Author 
Biganzoli, Elia. editor. Vellido, Alfredo. editor. Ambrogi, Federico. editor. Tagliaferri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35686-5
Format: 
Availability 
Online Library~1
Available:
Copies:
332. 
Cover image for Modeling Decisions for Artificial Intelligence 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings
Modeling Decisions for Artificial Intelligence 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings
Author 
Torra, Vicenç. editor. Narukawa, Yasuo. editor. López, Beatriz. editor. Villaret, Mateu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34620-0
Format: 
Availability 
Online Library~1
Available:
Copies:
333. 
Cover image for AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers
AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers
Author 
Palmirani, Monica. editor. Pagallo, Ugo. editor. Casanovas, Pompeu. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35731-2
Format: 
Availability 
Online Library~1
Available:
Copies:
334. 
Cover image for Computational Collective Intelligence. Technologies and Applications 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part I
Computational Collective Intelligence. Technologies and Applications 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings, Part I
Author 
Nguyen, Ngoc-Thanh. editor. Hoang, Kiem. editor. Jȩdrzejowicz, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34630-9
Format: 
Availability 
Online Library~1
Available:
Copies:
335. 
Cover image for Financial Cryptography and Data Security FC 2012 Workshops, USEC and WECSR 2012, Kralendijk, Bonaire, March 2, 2012, Revised Selected Papers
Financial Cryptography and Data Security FC 2012 Workshops, USEC and WECSR 2012, Kralendijk, Bonaire, March 2, 2012, Revised Selected Papers
Author 
Blyth, Jim. editor. Dietrich, Sven. editor. Camp, L. Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34638-5
Format: 
Availability 
Online Library~1
Available:
Copies:
336. 
Cover image for Transactions on Computational Collective Intelligence VIII
Transactions on Computational Collective Intelligence VIII
Author 
Nguyen, Ngoc-Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34645-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action