Search Results for Software.

1.

Ontology-Driven Software Development

Author

Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.

Preferred Shelf Number

ONLINE(333408.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31226-7

Format:

Availability

Online Library~1

Available:
Copies:

2.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012

Author

Lee, Roger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333535.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-32172-6

Format:

Availability

Online Library~1

Available:
Copies:

3.

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:

4.

Cover image for Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Author

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334841.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39721-9

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings

Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings

Author

Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335064.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41151-9

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

Ambient Intelligence - Software and Applications 4th International Symposium on Ambient Intelligence (ISAmI 2013

Author

Berlo, Ad. editor. Hallenborg, Kasper. editor. Rodríguez, Juan M. Corchado. editor. Tapia, Dante I. editor. Novais, Paulo. editor.

Preferred Shelf Number

ONLINE(332771.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00566-9

Format:

Availability

Online Library~1

Available:
Copies:

8.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Author

Lee, Roger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332795.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00738-0

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Author

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332962.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03077-7

Format:

Availability

Online Library~1

Available:
Copies:

10.

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Author

Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332934.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02654-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

Complex Automated Negotiations: Theories, Models, and Software Competitions

Author

Ito, Takayuki. editor. Zhang, Minjie. editor. Robu, Valentin. editor. Matsuo, Tokuro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333354.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-30737-9

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Author

Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334055.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35813-5

Format:

Availability

Online Library~1

Available:
Copies:

13.

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:

14.

Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Author

Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334556.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38209-3

Format:

Availability

Online Library~1

Available:
Copies:

15.

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:

16.

Cover image for Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

Author

Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335198.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45260-4

Format:

Availability

Online Library~1

Available:
Copies:

17.

Genetic Programming Theory and Practice X

Author

Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332135.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6846-2

Format:

Availability

Online Library~1

Available:
Copies:

18.

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

Author

Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332892.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01928-4

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Multimodal Brain Image Analysis Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings

Multimodal Brain Image Analysis Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings

Author

Shen, Li. editor. Liu, Tianming. editor. Yap, Pew-Thian. editor. Huang, Heng. editor. Shen, Dinggang. editor.

Preferred Shelf Number

ONLINE(332901.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02126-3

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

Author

Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332987.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03680-9

Format:

Availability

Online Library~1

Available:
Copies:

21.

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:

22.

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

Author

Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332994.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03756-1

Format:

Availability

Online Library~1

Available:
Copies:

23.

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Author

Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332999.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03850-6

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

Author

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Preferred Shelf Number

ONLINE(333011.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03998-5

Format:

Availability

Online Library~1

Available:
Copies:

25.

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

Author

Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334657.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38715-9

Format:

Availability

Online Library~1

Available:
Copies:

26.

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Author

Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334665.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38768-5

Format:

Availability

Online Library~1

Available:
Copies:

27.

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:

28.

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:

29.

Pattern Recognition 5th Mexican Conference, MCPR 2013, Querétaro, Mexico, June 26-29, 2013. Proceedings

Author

Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Rodríguez, Joaquín Salas. editor. Baja, Gabriella Sanniti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334709.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38989-4

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

Author

Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334722.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39065-4

Format:

Availability

Online Library~1

Available:
Copies:

31.

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

Author

Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334723.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39068-5

Format:

Availability

Online Library~1

Available:
Copies:

32.

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:

33.

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:

34.

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:

35.

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:

36.

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:

37.

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:

38.

Cover image for Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings

Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings

Author

Perner, Petra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334839.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39712-7

Format:

Availability

Online Library~1

Available:
Copies:

39.

Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Author

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334840.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39718-9

Format:

Availability

Online Library~1

Available:
Copies:

40.

Contemporary Evolution Strategies

Author

Bäck, Thomas. author. Foussette, Christophe. author. Krause, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334897.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40137-4

Format:

Availability

Online Library~1

Available:
Copies:

41.

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:

42.

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:

43.

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:

44.

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:

45.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Author

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334962.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40537-2

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Author

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334969.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40564-8

Format:

Availability

Online Library~1

Available:
Copies:

47.

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

Author

Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334973.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40579-2

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings

Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings

Author

Cuzzocrea, Alfredo. editor. Kittl, Christian. editor. Simos, Dimitris E. editor. Weippl, Edgar. editor. Xu, Lida. editor.

Preferred Shelf Number

ONLINE(334975.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40588-4

Format:

Availability

Online Library~1

Available:
Copies:

49.

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:

50.

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:

51.

Cover image for Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Author

Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334987.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40672-0

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Language Processing and Knowledge in the Web 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings

Language Processing and Knowledge in the Web 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings

Author

Gurevych, Iryna. editor. Biemann, Chris. editor. Zesch, Torsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334994.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40722-2

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

Author

Mladenov, Valeri. editor. Koprinkova-Hristova, Petia. editor. Palm, Günther. editor. Villa, Alessandro E. P. editor. Appollini, Bruno. editor.

Preferred Shelf Number

ONLINE(334996.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40728-4

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

Author

Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.

Preferred Shelf Number

ONLINE(335017.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40846-5

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II

Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II

Author

Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335018.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40849-6

Format:

Availability

Online Library~1

Available:
Copies:

56.

Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I

Author

Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335019.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40852-6

Format:

Availability

Online Library~1

Available:
Copies:

57.

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Author

Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335023.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40885-4

Format:

Availability

Online Library~1

Available:
Copies:

58.

Discovery Science 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings

Author

Fürnkranz, Johannes. editor. Hüllermeier, Eyke. editor. Higuchi, Tomoyuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335025.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40897-7

Format:

Availability

Online Library~1

Available:
Copies:

59.

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

Author

Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335030.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40935-6

Format:

Availability

Online Library~1

Available:
Copies:

60.

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

Author

Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335043.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41019-2

Format:

Availability

Online Library~1

Available:
Copies:

61.

Cover image for On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings

On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings

Author

Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Eder, Johann. editor. Bellahsene, Zohra. editor.

Preferred Shelf Number

ONLINE(335044.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41030-7

Format:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers

Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers

Author

Shaikh, Faisal Karim. editor. Chowdhry, Bhawani Shankar. editor. Ammari, Habib M. editor. Uqaili, Muhammad Aslam. editor. Shah, Assadullah. editor.

Preferred Shelf Number

ONLINE(335048.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41054-3

Format:

Availability

Online Library~1

Available:
Copies:

63.

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013. Proceedings, Part I

Author

Petrosino, Alfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335069.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41181-6

Format:

Availability

Online Library~1

Available:
Copies:

64.

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part II

Author

Petrosino, Alfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335070.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41184-7

Format:

Availability

Online Library~1

Available:
Copies:

65.

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:

66.

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:

67.

Cover image for Multi-disciplinary Trends in Artificial Intelligence 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings

Multi-disciplinary Trends in Artificial Intelligence 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings

Author

Ramanna, Sheela. editor. Lingras, Pawan. editor. Sombattheera, Chattrakul. editor. Krishna, Aneesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335172.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-44949-9

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

Author

Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335176.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-44973-4

Format:

Availability

Online Library~1

Available:
Copies:

69.

Cover image for Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

Author

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335178.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45008-2

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for Advances in Soft Computing and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II

Advances in Soft Computing and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II

Author

Castro, Félix. editor. Gelbukh, Alexander. editor. González, Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335189.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45111-9

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I

Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I

Author

Castro, Félix. editor. Gelbukh, Alexander. editor. González, Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335190.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45114-0

Format:

Availability

Online Library~1

Available:
Copies:

72.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Author

McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335196.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45221-5

Format:

Availability

Online Library~1

Available:
Copies:

73.

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Author

Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335210.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45343-4

Format:

Availability

Online Library~1

Available:
Copies:

74.

Autonomic Computing Principles, Design and Implementation

Author

Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331115.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5007-7

Format:

Availability

Online Library~1

Available:
Copies:

75.

Handbook of Neuroevolution Through Erlang

Author

Sher, Gene I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331512.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-4463-3

Format:

Availability

Online Library~1

Available:
Copies:

76.

Managing Requirements Knowledge

Author

Maalej, Walid. editor. Thurimella, Anil Kumar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333846.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34419-0

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

Author

Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.

Preferred Shelf Number

ONLINE(334064.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35843-2

Format:

Availability

Online Library~1

Available:
Copies:

78.

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:

79.

Cover image for Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings

Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings

Author

Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334176.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36321-4

Format:

Availability

Online Library~1

Available:
Copies:

80.

SmartShadow: Models and Methods for Pervasive Computing

Author

Wu, Zhaohui. author. Pan, Gang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334190.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36382-5

Format:

Availability

Online Library~1

Available:
Copies:

81.

Semantic Mashups Intelligent Reuse of Web Resources

Author

Endres-Niggemeyer, Brigitte. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334195.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36403-7

Format:

Availability

Online Library~1

Available:
Copies:

82.

Handbook of Human Computation

Author

Michelucci, Pietro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332449.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-8806-4

Format:

Availability

Online Library~1

Available:
Copies:

83.

Cover image for Advances in Visual Informatics Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings

Advances in Visual Informatics Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings

Author

Zaman, Halimah Badioze. editor. Robinson, Peter. editor. Olivier, Patrick. editor. Shih, Timothy K. editor. Velastin, Sergio. editor.

Preferred Shelf Number

ONLINE(332958.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02958-0

Format:

Availability

Online Library~1

Available:
Copies:

84.

Cover image for Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

Author

Nugent, Christopher. editor. Coronato, Antonio. editor. Bravo, José. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332965.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03092-0

Format:

Availability

Online Library~1

Available:
Copies:

85.

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:

86.

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:

87.

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:

88.

Cover image for Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers

Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers

Author

Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333280.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29966-7

Format:

Availability

Online Library~1

Available:
Copies:

89.

Cover image for ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

Author

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Preferred Shelf Number

ONLINE(334041.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35737-4

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Author

Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334073.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35873-9

Format:

Availability

Online Library~1

Available:
Copies:

91.

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:

92.

Cover image for Advanced Information Systems Engineering Workshops CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings

Advanced Information Systems Engineering Workshops CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings

Author

Franch, Xavier. editor. Soffer, Pnina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334609.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38490-5

Format:

Availability

Online Library~1

Available:
Copies:

93.

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:

94.

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:

95.

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:

96.

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:

97.

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:

98.

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

Author

Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334652.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38700-5

Format:

Availability

Online Library~1

Available:
Copies:

99.

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I

Author

Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334653.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38703-6

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings

Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings

Author

Salinesi, Camille. editor. Norrie, Moira C. editor. Pastor, Óscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334655.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38709-8

Format:

Availability

Online Library~1

Available:
Copies:

101.

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:

102.

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:

103.

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:

104.

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:

105.

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:

106.

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:

107.

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:

108.

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:

109.

Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings

Author

Purshouse, Robin C. editor. Fleming, Peter J. editor. Fonseca, Carlos M. editor. Greco, Salvatore. editor. Shaw, Jane. editor.

Preferred Shelf Number

ONLINE(334370.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37140-0

Format:

Availability

Online Library~1

Available:
Copies:

110.

Cover image for Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334381.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37192-9

Format:

Availability

Online Library~1

Available:
Copies:

111.

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.

Preferred Shelf Number

ONLINE(334384.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37207-0

Format:

Availability

Online Library~1

Available:
Copies:

112.

Cover image for Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings

Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings

Author

Tomassini, Marco. editor. Antonioni, Alberto. editor. Daolio, Fabio. editor. Buesser, Pierre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334386.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37213-1

Format:

Availability

Online Library~1

Available:
Copies:

113.

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

Author

Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334580.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38317-5

Format:

Availability

Online Library~1

Available:
Copies:

114.

Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Author

Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334549.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38171-3

Format:

Availability

Online Library~1

Available:
Copies:

115.

Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Author

Albert, Elvira. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334552.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38197-3

Format:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings

Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings

Author

Neto, Pedro. editor. Moreira, António Paulo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334756.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39223-8

Format:

Availability

Online Library~1

Available:
Copies:

117.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Author

Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334724.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39071-5

Format:

Availability

Online Library~1

Available:
Copies:

118.

Cover image for Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334725.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39074-6

Format:

Availability

Online Library~1

Available:
Copies:

119.

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:

120.

Cover image for Similarity-Based Pattern Recognition Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings

Author

Hancock, Edwin. editor. Pelillo, Marcello. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334736.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39140-8

Format:

Availability

Online Library~1

Available:
Copies:

121.

Pattern Recognition in Bioinformatics 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings

Author

Ngom, Alioune. editor. Formenti, Enrico. editor. Hao, Jin-Kao. editor. Zhao, Xing-Ming. editor. Laarhoven, Twan. editor.

Preferred Shelf Number

ONLINE(334739.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39159-0

Format:

Availability

Online Library~1

Available:
Copies:

122.

Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings

Author

Daniel, Florian. editor. Dolog, Peter. editor. Li, Qing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334750.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39200-9

Format:

Availability

Online Library~1

Available:
Copies:

123.

The Personal Web A Research Agenda

Author

Chignell, Mark. editor. Cordy, James R. editor. Kealey, Ryan. editor. Ng, Joanna. editor. Yesha, Yelena. editor.

Preferred Shelf Number

ONLINE(334876.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39995-4

Format:

Availability

Online Library~1

Available:
Copies:

124.

Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings

Author

Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334879.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40020-9

Format:

Availability

Online Library~1

Available:
Copies:

125.

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:

	{displayName}	{count}
{error}