Search Results for Computer

1.

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:

2.

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:

3.

Privacy Enhancing Technologies 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings

Author

Cristofaro, Emiliano. editor. Wright, Matthew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334726.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

Author

Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334662.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Image Analysis and Recognition 10th International Conference, ICIAR 2013, Póvoa do Varzim, Portugal, June 26-28, 2013. Proceedings

Author

Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334729.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Artificial Intelligence in Education 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings

Author

Lane, H. Chad. editor. Yacef, Kalina. editor. Mostow, Jack. editor. Pavlik, Philip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334731.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Advances in Brain Inspired Cognitive Systems 6th International Conference, BICS 2013, Beijing, China, June 9-11, 2013. Proceedings

Author

Liu, Derong. editor. Alippi, Cesare. editor. Zhao, Dongbin. editor. Hussain, Amir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334668.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Dependable Computing 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings

Author

Vieira, Marco. editor. Cunha, João Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334669.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

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:

10.

Cover image for Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Author

Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334673.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings

Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings

Author

Métais, Elisabeth. editor. Meziane, Farid. editor. Saraee, Mohamad. editor. Sugumaran, Vijayan. editor. Vadera, Sunil. editor.

Preferred Shelf Number

ONLINE(334674.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings

Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings

Author

Brocke, Jan. editor. Hekkala, Riitta. editor. Ram, Sudha. editor. Rossi, Matti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334675.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings

Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings

Author

Woronowicz, Tanja. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334677.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Webble Technology First Webble World Summit, WWS 2013, Erfurt, Germany, June 3-5, 2013. Proceedings

Author

Arnold, Oksana. editor. Spickermann, Wolfgang. editor. Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334678.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

User Modeling, Adaptation, and Personalization 21th International Conference, UMAP 2013, Rome, Italy, June 10-14, 2013 Proceedings

Author

Carberry, Sandra. editor. Weibelzahl, Stephan. editor. Micarelli, Alessandro. editor. Semeraro, Giovanni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334680.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings

Author

Drugman, Thomas. editor. Dutoit, Thierry. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334681.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

Author

Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334683.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers

Author

Giardini, Francesca. editor. Amblard, Frédéric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334684.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Author

Marcus, Aaron. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334762.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

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:

21.

Functional Imaging and Modeling of the Heart 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings

Author

Ourselin, Sébastien. editor. Rueckert, Daniel. editor. Smith, Nicolas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334694.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings

Author

Fischer, Johannes. editor. Sanders, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334695.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

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:

24.

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

Author

Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334697.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Author

Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334698.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Author

Hasegawa, Masahito. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334702.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

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:

28.

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:

29.

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:

30.

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:

31.

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:

32.

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:

33.

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:

34.

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:

35.

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:

36.

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:

37.

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:

38.

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:

39.

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:

40.

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:

41.

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:

42.

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:

43.

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:

44.

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:

45.

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:

46.

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:

47.

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:

48.

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Author

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

Preferred Shelf Number

ONLINE(334837.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings

Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings

Author

Ren, Kui. editor. Liu, Xue. editor. Liang, Weifa. editor. Xu, Ming. editor. Jia, Xiaohua. editor.

Preferred Shelf Number

ONLINE(334838.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

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:

51.

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:

52.

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:

53.

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:

54.

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:

55.

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:

56.

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:

57.

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:

58.

Cover image for Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings

Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings

Author

Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.

Preferred Shelf Number

ONLINE(334852.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Wireless Access Flexibility First International Workshop, WiFlex 2013, Kaliningrad, Russia, September 4-6, 2013. Proceedings

Author

Bianchi, Giuseppe. editor. Lyakhov, Andrey. editor. Khorov, Evgeny. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334853.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

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:

61.

Agreement Technologies Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings

Author

Chesñevar, Carlos Iván. editor. Onaindia, Eva. editor. Ossowski, Sascha. editor. Vouros, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334857.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

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:

63.

Cover image for CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Author

D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334905.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Author

Joshi, Kaustubh. editor. Siegle, Markus. editor. Stoelinga, Mariëlle. editor. D’Argenio, Pedro R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334907.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Cover image for Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Author

Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334911.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Author

Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334913.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

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:

68.

Cover image for Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Author

Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334875.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Cover image for Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, International Workshops: BDMA, SNSM, SeCoP, Wuhan, China, April 22-25, 2013. Proceedings

Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, International Workshops: BDMA, SNSM, SeCoP, Wuhan, China, April 22-25, 2013. Proceedings

Author

Hong, Bonghee. editor. Meng, Xiaofeng. editor. Chen, Lei. editor. Winiwarter, Werner. editor. Song, Wei. editor.

Preferred Shelf Number

ONLINE(334920.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

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:

71.

Transactions on Large-Scale Data- and Knowledge-Centered Systems IX

Author

Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334886.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

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:

73.

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:

74.

Cover image for Industrial Applications of Holonic and Multi-Agent Systems 6th International Conference, HoloMAS 2013, Prague, Czech Republic, August 26-28, 2013. Proceedings

Industrial Applications of Holonic and Multi-Agent Systems 6th International Conference, HoloMAS 2013, Prague, Czech Republic, August 26-28, 2013. Proceedings

Author

Mařík, Vladimír. editor. Lastra, Jose L. Martinez. editor. Skobelev, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334890.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

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:

76.

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:

77.

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:

78.

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:

79.

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:

80.

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:

81.

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:

82.

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:

83.

Cover image for Intelligent Robotics Systems: Inspiring the NEXT 16th FIRA RoboWorld Congress, FIRA 2013, Kuala Lumpur, Malaysia, August 24-29, 2013. Proceedings

Intelligent Robotics Systems: Inspiring the NEXT 16th FIRA RoboWorld Congress, FIRA 2013, Kuala Lumpur, Malaysia, August 24-29, 2013. Proceedings

Author

Omar, Khairuddin. editor. Nordin, Md Jan. editor. Vadakkepat, Prahlad. editor. Prabuwono, Anton Satria. editor. Abdullah, Siti Norul Huda Sheikh. editor.

Preferred Shelf Number

ONLINE(334942.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

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:

85.

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:

86.

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:

87.

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:

88.

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:

89.

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:

90.

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:

91.

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:

92.

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:

93.

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:

94.

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:

95.

Cover image for Advances in Communication Networking 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings

Advances in Communication Networking 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings

Author

Bauschert, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334966.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Author

Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334968.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

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:

98.

Cover image for Soft Computing Applications and Intelligent Systems Second International Multi-Conference on Artificial Intelligence Technology, M-CAIT 2013, Shah Alam, August 28-29, 2013. Proceedings

Soft Computing Applications and Intelligent Systems Second International Multi-Conference on Artificial Intelligence Technology, M-CAIT 2013, Shah Alam, August 28-29, 2013. Proceedings

Author

Noah, Shahrul Azman. editor. Abdullah, Azizi. editor. Arshad, Haslina. editor. Abu Bakar, Azuraliza. editor. Othman, Zulaiha Ali. editor.

Preferred Shelf Number

ONLINE(334970.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

99.

Security in Computing and Communications International Symposium, SSCC 2013, Mysore, India, August 22-24, 2013. Proceedings

Author

Thampi, Sabu M. editor. Atrey, Pradeep K. editor. Fan, Chun-I. editor. Perez, Gregorio Martinez. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334972.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

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:

101.

Text, Speech, and Dialogue 16th International Conference, TSD 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings

Author

Habernal, Ivan. editor. Matoušek, Václav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334974.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

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:

103.

Cover image for Advances in Security of Information and Communication Networks First International Conference, SecNet 2013, Cairo, Egypt, September 3-5, 2013. Proceedings

Advances in Security of Information and Communication Networks First International Conference, SecNet 2013, Cairo, Egypt, September 3-5, 2013. Proceedings

Author

Awad, Ali Ismail. editor. Hassanien, Aboul Ella. editor. Baba, Kensuke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334976.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

104.

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:

105.

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:

106.

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:

107.

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:

108.

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:

109.

Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings

Author

Lau, Kung-Kiu. editor. Lamersdorf, Winfried. editor. Pimentel, Ernesto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334983.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Author

Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334985.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

Cover image for Advances in Databases and Information Systems 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings

Advances in Databases and Information Systems 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings

Author

Catania, Barbara. editor. Guerrini, Giovanna. editor. Pokorný, Jaroslav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334989.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

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:

113.

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:

114.

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:

115.

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:

116.

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:

117.

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:

118.

Cover image for New Trends in Image Analysis and Processing – ICIAP 2013 ICIAP 2013 International Workshops, Naples, Italy, September 9-13, 2013. Proceedings

New Trends in Image Analysis and Processing – ICIAP 2013 ICIAP 2013 International Workshops, Naples, Italy, September 9-13, 2013. Proceedings

Author

Petrosino, Alfredo. editor. Maddalena, Lucia. editor. Pala, Pietro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335071.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

119.

Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Author

Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335072.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

120.

Cover image for Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papers

Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papers

Author

Felici, Massimo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335073.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

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:

122.

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:

123.

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:

124.

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:

125.

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:

126.

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:

127.

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:

128.

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:

129.

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:

130.

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:

131.

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:

132.

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:

133.

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:

134.

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:

135.

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:

136.

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:

137.

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:

138.

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:

139.

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:

140.

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:

141.

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:

142.

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:

143.

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:

144.

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:

145.

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:

146.

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:

147.

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:

148.

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:

149.

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:

150.

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:

151.

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:

152.

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:

153.

Cover image for Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers

Author

Canal, Carlos. editor. Villari, Massimo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335212.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

154.

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:

155.

Cover image for Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers

Ubiquitous Social Media Analysis Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers

Author

Atzmueller, Martin. editor. Chin, Alvin. editor. Helic, Denis. editor. Hotho, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335214.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

Author

Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.

Preferred Shelf Number

ONLINE(335216.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

Cover image for Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

Author

Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335217.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

Cover image for Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II

Information Computing and Applications 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II

Author

Yang, Yuhang. editor. Ma, Maode. editor. Liu, Baoxiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335218.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

159.

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:

160.

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:

161.

The Semantic Web – ISWC 2013 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II

Author

Alani, Harith. editor. Kagal, Lalana. editor. Fokoue, Achille. editor. Groth, Paul. editor. Biemann, Chris. editor.

Preferred Shelf Number

ONLINE(335092.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

162.

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:

163.

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:

164.

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:

165.

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:

166.

Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XI Special Issue on Advanced Data Stream Management and Continuous Query Processing

Transactions on Large-Scale Data- and Knowledge-Centered Systems XI Special Issue on Advanced Data Stream Management and Continuous Query Processing

Author

Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Amann, Bernd. editor. Lamarre, Philippe. editor.

Preferred Shelf Number

ONLINE(335200.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

Compressed Sensing with Side Information on the Feasible Region

Author

Rostami, Mohammad. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332732.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

Spatial Information Theory 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings

Author

Tenbrink, Thora. editor. Stell, John. editor. Galton, Antony. editor. Wood, Zena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332890.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

169.

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:

170.

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:

171.

Cover image for Machine Learning in Medical Imaging 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

Machine Learning in Medical Imaging 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

Author

Wu, Guorong. editor. Zhang, Daoqiang. editor. Shen, Dinggang. editor. Yan, Pingkun. editor. Suzuki, Kenji. editor.

Preferred Shelf Number

ONLINE(332907.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Economics of Grids, Clouds, Systems, and Services 10th International Conference, GECON 2013, Zaragoza, Spain, September 18-20, 2013. Proceedings

Economics of Grids, Clouds, Systems, and Services 10th International Conference, GECON 2013, Zaragoza, Spain, September 18-20, 2013. Proceedings

Author

Altmann, Jörn. editor. Vanmechelen, Kurt. editor. Rana, Omer F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332919.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings

String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings

Author

Kurland, Oren. editor. Lewenstein, Moshe. editor. Porat, Ely. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332920.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

Cover image for Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Author

Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332921.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

Cover image for Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings

Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings

Author

Setubal, João C. editor. Almeida, Nalvo F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332932.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

176.

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:

177.

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:

178.

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:

179.

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:

180.

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:

181.

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:

182.

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:

183.

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:

184.

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:

185.

Cryptology and Network Security 12th International Conference, CANS 2013, Paraty, Brazil, November 20-22. 2013. Proceedings

Author

Abdalla, Michel. editor. Nita-Rotaru, Cristina. editor. Dahab, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332957.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

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:

187.

Biometric Recognition 8th Chinese Conference, CCBR 2013, Jinan, China, November 16-17, 2013. Proceedings

Author

Sun, Zhenan. editor. Shan, Shiguan. editor. Yang, Gongping. editor. Zhou, Jie. editor. Wang, Yunhong. editor.

Preferred Shelf Number

ONLINE(332959.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

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:

189.

Cover image for Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Author

Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.

Preferred Shelf Number

ONLINE(332964.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

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:

191.

Cover image for Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II

Author

Aversa, Rocco. editor. Kołodziej, Joanna. editor. Zhang, Jun. editor. Amato, Flora. editor. Fortino, Giancarlo. editor.

Preferred Shelf Number

ONLINE(333003.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

Cover image for Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

Author

Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333005.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

Cover image for Process Support and Knowledge Representation in Health Care AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013, Revised Selected Papers

Process Support and Knowledge Representation in Health Care AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013, Revised Selected Papers

Author

Riaño, David. editor. Lenz, Richard. editor. Miksch, Silvia. editor. Peleg, Mor. editor. Reichert, Manfred. editor.

Preferred Shelf Number

ONLINE(333006.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

194.

Cover image for Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers

Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers

Author

Luiijf, Eric. editor. Hartel, Pieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333008.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

195.

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:

196.

Cover image for Behavior and Social Computing International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, QLD, Australia, April 14-17, 2013 and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers

Behavior and Social Computing International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, QLD, Australia, April 14-17, 2013 and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers

Author

Cao, Longbing. editor. Motoda, Hiroshi. editor. Srivastava, Jaideep. editor. Lim, Ee-Peng. editor. King, Irwin. editor.

Preferred Shelf Number

ONLINE(333012.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

Cover image for Design Science: Perspectives from Europe European Design Science Symposium, EDSS 2012, Leixlip, Ireland, December 6, 2012, Revised Selected Papers

Design Science: Perspectives from Europe European Design Science Symposium, EDSS 2012, Leixlip, Ireland, December 6, 2012, Revised Selected Papers

Author

Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333013.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

198.

Cover image for Current Trends in Web Engineering ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers

Current Trends in Web Engineering ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers

Author

Sheng, Quan Z. editor. Kjeldskov, Jesper. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333019.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

199.

Evolving Ambient Intelligence AmI 2013 Workshops, Dublin, Ireland, December 3-5, 2013. Revised Selected Papers

Author

O’Grady, Michael J. editor. Vahdat-Nejad, Hamed. editor. Wolf, Klaus-Hendrik. editor. Dragone, Mauro. editor. Ye, Juan. editor.

Preferred Shelf Number

ONLINE(333022.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

200.

Cover image for Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers

Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers

Author

Ivanov, Ivan I. editor. Sinderen, Marten. editor. Leymann, Frank. editor. Shan, Tony. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333024.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

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:

202.

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

Author

Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332970.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

203.

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:

204.

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:

205.

Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

Author

Bloem, Roderick. editor. Lipp, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332976.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

Cover image for Progress in Cryptology – INDOCRYPT 2013 14th International Conference on Cryptology in India, Mumbai, India, December 7-10, 2013. Proceedings

Progress in Cryptology – INDOCRYPT 2013 14th International Conference on Cryptology in India, Mumbai, India, December 7-10, 2013. Proceedings

Author

Paul, Goutam. editor. Vaudenay, Serge. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332978.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

207.

Cover image for AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings

AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings

Author

Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332979.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

208.

Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings

Author

Bonato, Anthony. editor. Mitzenmacher, Michael. editor. Prałat, Paweł. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332980.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

209.

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

Author

Shan, Chung-chieh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332981.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

210.

Cover image for Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Author

Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332982.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

211.

Cover image for Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers

Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers

Author

Moscibroda, Thomas. editor. Rescigno, Adele A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332983.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

212.

Cyberspace Safety and Security 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings

Author

Wang, Guojun. editor. Ray, Indrakshi. editor. Feng, Dengguo. editor. Rajarajan, Muttukrishnan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332984.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

213.

Cover image for Digital Libraries: Social Media and Community Networks 15th International Conference on Asia-Pacific Digital Libraries, ICADL 2013, Bangalore, India, December 9-11, 2013. Proceedings

Digital Libraries: Social Media and Community Networks 15th International Conference on Asia-Pacific Digital Libraries, ICADL 2013, Bangalore, India, December 9-11, 2013. Proceedings

Author

Urs, Shalini R. editor. Na, Jin-Cheon. editor. Buchanan, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332985.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

214.

Ambient Intelligence 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings

Author

Augusto, Juan Carlos. editor. Wichert, Reiner. editor. Collier, Rem. editor. Keyson, David. editor. Salah, Albert Ali. editor.

Preferred Shelf Number

ONLINE(332986.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

215.

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:

216.

Big Data Analytics Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings

Author

Bhatnagar, Vasudha. editor. Srinivasa, Srinath. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332988.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

217.

Cover image for Advances in Multimedia Information Processing – PCM 2013 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013. Proceedings

Advances in Multimedia Information Processing – PCM 2013 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013. Proceedings

Author

Huet, Benoit. editor. Ngo, Chong-Wah. editor. Tang, Jinhui. editor. Zhou, Zhi-Hua. editor. Hauptmann, Alexander G. editor.

Preferred Shelf Number

ONLINE(332991.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

Cover image for Trends in Mobile Web Information Systems MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers

Trends in Mobile Web Information Systems MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers

Author

Matera, Maristella. editor. Rossi, Gustavo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332992.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

219.

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:

220.

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:

221.

Cover image for Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

Author

Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332995.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

Advances in Information Technology 6th International Conference, IAIT 2013, Bangkok, Thailand, December 12-13, 2013. Proceedings

Author

Papasratorn, Borworn. editor. Charoenkitkarn, Nipon. editor. Vanijja, Vajirasak. editor. Chongsuphajaisiddhi, Vithida. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332996.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers

Author

Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332997.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

Cover image for Mining Intelligence and Knowledge Exploration First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013. Proceedings

Mining Intelligence and Knowledge Exploration First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013. Proceedings

Author

Prasath, Rajendra. editor. Kathirvalavakumar, T. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332998.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

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:

226.

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I

Author

Kołodziej, Joanna. editor. Martino, Beniamino. editor. Talia, Domenico. editor. Xiong, Kaiqi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333000.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings

Author

Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Marina, Ninoslav. editor. Dimitrova, Desislava. editor.

Preferred Shelf Number

ONLINE(333001.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

Chinese Handwriting Recognition: An Algorithmic Perspective

Author

Su, Tonghua. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333492.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

229.

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Author

Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334014.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

Cover image for Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Author

Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334022.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

Author

Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.

Preferred Shelf Number

ONLINE(334025.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Author

Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334034.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

233.

Advances in Multimedia Modeling 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part I

Author

Li, Shipeng. editor. Saddik, Abdulmotaleb. editor. Wang, Meng. editor. Mei, Tao. editor. Sebe, Nicu. editor.

Preferred Shelf Number

ONLINE(334039.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

Advances in Multimedia Modeling 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part II

Author

Li, Shipeng. editor. Saddik, Abdulmotaleb. editor. Wang, Meng. editor. Mei, Tao. editor. Sebe, Nicu. editor.

Preferred Shelf Number

ONLINE(334040.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

235.

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:

236.

Cover image for Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings

Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings

Author

Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334048.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

237.

Cover image for Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

Author

Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334049.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

238.

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:

239.

Cover image for Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers

Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers

Author

Magnini, Bernardo. editor. Cutugno, Francesco. editor. Falcone, Mauro. editor. Pianta, Emanuele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334059.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

240.

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:

241.

Transactions on Computational Science XVII

Author

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334063.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

242.

Cover image for Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Author

Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334069.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

243.

Cover image for Mobile Communication and Power Engineering Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers

Mobile Communication and Power Engineering Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers

Author

Das, Vinu V. editor. Chaba, Yogesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334070.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

244.

Cover image for Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

Author

Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334071.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

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:

246.

Cover image for Information Systems, E-learning, and Knowledge Management Research 4th World Summit on the Knowledge Society, WSKS 2011, Mykonos, Greece, September 21-23, 2011. Revised Selected Papers

Information Systems, E-learning, and Knowledge Management Research 4th World Summit on the Knowledge Society, WSKS 2011, Mykonos, Greece, September 21-23, 2011. Revised Selected Papers

Author

Lytras, Miltiadis D. editor. Ruan, Da. editor. Tennyson, Robert D. editor. Ordonez De Pablos, Patricia. editor. García Peñalvo, Francisco José. editor.

Preferred Shelf Number

ONLINE(334075.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

247.

Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Author

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334077.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

248.

Cover image for Data Privacy Management and Autonomous Spontaneous Security 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers

Data Privacy Management and Autonomous Spontaneous Security 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers

Author

Pietro, Roberto. editor. Herranz, Javier. editor. Damiani, Ernesto. editor. State, Radu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334078.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

249.

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

Author

Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334079.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

250.

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:

251.

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:

252.

Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Author

Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334096.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

253.

Cover image for Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers

Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers

Author

Knudsen, Lars R. editor. Wu, Huapeng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334097.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

254.

Cover image for Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

Author

Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334099.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

255.

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:

256.

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:

257.

Transactions on Computational Collective Intelligence IX

Author

Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334300.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

258.

Cover image for Information and Communication Technology International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings

Information and Communication Technology International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings

Author

Mustofa, Khabib. editor. Neuhold, Erich J. editor. Tjoa, A Min. editor. Weippl, Edgar. editor. You, Ilsun. editor.

Preferred Shelf Number

ONLINE(334301.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

259.

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:

260.

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:

261.

Cover image for Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Author

Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334337.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

262.

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:

263.

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:

264.

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:

265.

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:

266.

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:

267.

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:

268.

Cover image for Computational Linguistics and Intelligent Text Processing 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part I

Computational Linguistics and Intelligent Text Processing 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part I

Author

Gelbukh, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334392.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

269.

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:

270.

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:

271.

Cover image for New Frontiers in Mining Complex Patterns First International Workshop, NFMCP 2012, Held in Conjunction with ECML/PKDD 2012, Bristol, UK, September 24, 2012, Rivesed Selected Papers

New Frontiers in Mining Complex Patterns First International Workshop, NFMCP 2012, Held in Conjunction with ECML/PKDD 2012, Bristol, UK, September 24, 2012, Rivesed Selected Papers

Author

Appice, Annalisa. editor. Ceci, Michelangelo. editor. Loglisci, Corrado. editor. Manco, Giuseppe. editor. Masciari, Elio. editor.

Preferred Shelf Number

ONLINE(334417.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

Web Technologies and Applications 15th Asia-Pacific Web Conference, APWeb 2013, Sydney, Australia, April 4-6, 2013. Proceedings

Author

Ishikawa, Yoshiharu. editor. Li, Jianzhong. editor. Wang, Wei. editor. Zhang, Rui. editor. Zhang, Wenjie. editor.

Preferred Shelf Number

ONLINE(334421.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Cover image for Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers

Author

Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334425.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

Author

Doerr, Joerg. editor. Opdahl, Andreas L. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334426.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

275.

Cover image for Adaptive Multimedia Retrieval. Large-Scale Multimedia Retrieval and Evaluation 9th International Workshop, AMR 2011, Barcelona, Spain, July 18-19, 2011, Revised Selected Papers

Adaptive Multimedia Retrieval. Large-Scale Multimedia Retrieval and Evaluation 9th International Workshop, AMR 2011, Barcelona, Spain, July 18-19, 2011, Revised Selected Papers

Author

Detyniecki, Marcin. editor. García-Serrano, Ana. editor. Nürnberger, Andreas. editor. Stober, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334427.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Cover image for Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part II

Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part II

Author

Meng, Weiyi. editor. Feng, Ling. editor. Bressan, Stéphane. editor. Winiwarter, Werner. editor. Song, Wei. editor.

Preferred Shelf Number

ONLINE(334432.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

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 I

Advances in Knowledge Discovery and Data Mining 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings, Part I

Author

Pei, Jian. editor. Tseng, Vincent S. editor. Cao, Longbing. editor. Motoda, Hiroshi. editor. Xu, Guandong. editor.

Preferred Shelf Number

ONLINE(334433.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

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:

279.

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:

280.

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:

281.

Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII Special Issue on Advances in Data Warehousing and Knowledge Discovery

Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII Special Issue on Advances in Data Warehousing and Knowledge Discovery

Author

Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Cuzzocrea, Alfredo. editor. Dayal, Umeshwar. editor.

Preferred Shelf Number

ONLINE(334455.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

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:

283.

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:

284.

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:

285.

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:

286.

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:

287.

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:

288.

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:

289.

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:

290.

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:

291.

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:

292.

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:

293.

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:

294.

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:

295.

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:

296.

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:

297.

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:

298.

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:

299.

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:

300.

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:

	{displayName}	{count}
{error}