Search Results for Computer

1.

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:

2.

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:

3.

Cover image for Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Author

Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334820.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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:

5.

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:

6.

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:

7.

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:

8.

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:

9.

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:

10.

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:

11.

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:

12.

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:

13.

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:

14.

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:

15.

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:

16.

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:

17.

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:

18.

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:

19.

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:

20.

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:

21.

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:

22.

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:

23.

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:

24.

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:

25.

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:

26.

Mobile Web Information Systems 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings

Author

Daniel, Florian. editor. Papadopoulos, George A. editor. Thiran, Philippe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334922.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Database and Expert Systems Applications 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part I

Database and Expert Systems Applications 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part I

Author

Decker, Hendrik. editor. Lhotská, Lenka. editor. Link, Sebastian. editor. Basl, Josef. editor. Tjoa, A Min. editor.

Preferred Shelf Number

ONLINE(334923.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

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:

29.

Cover image for Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings

Author

Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334877.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2013 International Workshops: DMApps, DANTH, QIMIE, BDM, CDA, CloudSD, Gold Coast, QLD, Australia, April 14-17, 2013, Revised Selected Papers

Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2013 International Workshops: DMApps, DANTH, QIMIE, BDM, CDA, CloudSD, Gold Coast, QLD, Australia, April 14-17, 2013, Revised Selected Papers

Author

Li, Jiuyong. editor. Cao, Longbing. editor. Wang, Can. editor. Tan, Kay Chen. editor. Liu, Bo. editor.

Preferred Shelf Number

ONLINE(334927.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Constructive Side-Channel Analysis and Secure Design 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers

Constructive Side-Channel Analysis and Secure Design 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers

Author

Prouff, Emmanuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334880.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

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:

33.

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

Author

Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334882.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Information Technologies for Performing Arts, Media Access, and Entertainment Second International Conference, ECLAP 2013, Porto, Portugal, April 8-10, 2013, Revised Selected Papers

Information Technologies for Performing Arts, Media Access, and Entertainment Second International Conference, ECLAP 2013, Porto, Portugal, April 8-10, 2013, Revised Selected Papers

Author

Nesi, Paolo. editor. Santucci, Raffaella. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334883.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Data Management in Cloud, Grid and P2P Systems 6th International Conference, Globe 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings

Data Management in Cloud, Grid and P2P Systems 6th International Conference, Globe 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings

Author

Hameurlain, Abdelkader. editor. Rahayu, Wenny. editor. Taniar, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334884.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

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:

37.

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:

38.

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:

39.

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:

40.

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:

41.

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:

42.

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:

43.

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:

44.

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:

45.

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:

46.

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:

47.

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:

48.

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:

49.

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:

50.

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:

51.

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:

52.

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:

53.

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:

54.

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:

55.

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:

56.

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:

57.

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:

58.

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:

59.

Cover image for Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Author

Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335141.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Security Protocols XXI 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers

Author

Christianson, Bruce. editor. Malcolm, James. editor. Stajano, Frank. editor. Anderson, Jonathan. editor. Bonneau, Joseph. editor.

Preferred Shelf Number

ONLINE(335142.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

61.

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:

62.

Transactions on Computational Science XX Special Issue on Voronoi Diagrams and Their Applications

Author

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

Preferred Shelf Number

ONLINE(335147.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

63.

Cover image for Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

Author

Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335148.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Advances in Visual Computing 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part I

Author

Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Li, Baoxin. editor.

Preferred Shelf Number

ONLINE(335149.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

Author

Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335150.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Advances in Visual Computing 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II

Author

Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Li, Baoxin. editor.

Preferred Shelf Number

ONLINE(335151.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Information and Software Technologies 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings

Author

Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335153.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday

Author

Fischlin, Marc. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335154.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Cover image for Advanced Techniques for Knowledge Engineering and Innovative Applications 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers

Advanced Techniques for Knowledge Engineering and Innovative Applications 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers

Author

Tweedale, Jeffrey W. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335155.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

VLSI Design and Test 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Revised Selected Papers

Author

Gaur, Manoj Singh. editor. Zwolinski, Mark. editor. Laxmi, Vijay. editor. Boolchandani, Dharmendra. editor. Sing, Virendra. editor.

Preferred Shelf Number

ONLINE(335156.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

Author

Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335157.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II

Author

Lee, Minho. editor. Hirose, Akira. editor. Hou, Zeng-Guang. editor. Kil, Rhee Man. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335159.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II

Author

Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335160.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part III

Author

Lee, Minho. editor. Hirose, Akira. editor. Hou, Zeng-Guang. editor. Kil, Rhee Man. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335162.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part I

Author

Lee, Minho. editor. Hirose, Akira. editor. Hou, Zeng-Guang. editor. Kil, Rhee Man. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335163.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Cover image for Intelligence Science and Big Data Engineering 4th International Conference, IScIDE 2013, Beijing, China, July 31 – August 2, 2013, Revised Selected Papers

Intelligence Science and Big Data Engineering 4th International Conference, IScIDE 2013, Beijing, China, July 31 – August 2, 2013, Revised Selected Papers

Author

Sun, Changyin. editor. Fang, Fang. editor. Zhou, Zhi-Hua. editor. Yang, Wankou. editor. Liu, Zhi-Yong. editor.

Preferred Shelf Number

ONLINE(335164.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for PRIMA 2013: Principles and Practice of Multi-Agent Systems 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

PRIMA 2013: Principles and Practice of Multi-Agent Systems 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

Author

Boella, Guido. editor. Elkind, Edith. editor. Savarimuthu, Bastin Tony Roy. editor. Dignum, Frank. editor. Purvis, Martin K. editor.

Preferred Shelf Number

ONLINE(335169.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

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

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

Author

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

Preferred Shelf Number

ONLINE(335172.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Cover image for Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 – December 2, 2011

Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 – December 2, 2011

Author

Dowe, David L. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335173.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

Cover image for Time-of-Flight and Depth Imaging. Sensors, Algorithms, and Applications Dagstuhl 2012 Seminar on Time-of-Flight Imaging and GCPR 2013 Workshop on Imaging New Modalities

Time-of-Flight and Depth Imaging. Sensors, Algorithms, and Applications Dagstuhl 2012 Seminar on Time-of-Flight Imaging and GCPR 2013 Workshop on Imaging New Modalities

Author

Grzegorzek, Marcin. editor. Theobalt, Christian. editor. Koch, Reinhard. editor. Kolb, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335174.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

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

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

Author

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

Preferred Shelf Number

ONLINE(335176.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

Service-Oriented Computing 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings

Author

Basu, Samik. editor. Pautasso, Cesare. editor. Zhang, Liang. editor. Fu, Xiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335177.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

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

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

Author

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

Preferred Shelf Number

ONLINE(335178.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I

Author

Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335179.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

85.

Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings

Author

Cai, Leizhen. editor. Cheng, Siu-Wing. editor. Lam, Tak-Wah. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335180.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings

Author

Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335181.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Web and Internet Economics 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings

Author

Chen, Yiling. editor. Immorlica, Nicole. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335183.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for Pattern Recognition and Machine Intelligence 5th International Conference, PReMI 2013, Kolkata, India, December 10-14, 2013. Proceedings

Pattern Recognition and Machine Intelligence 5th International Conference, PReMI 2013, Kolkata, India, December 10-14, 2013. Proceedings

Author

Maji, Pradipta. editor. Ghosh, Ashish. editor. Murty, M. Narasimha. editor. Ghosh, Kuntal. editor. Pal, Sankar K. editor.

Preferred Shelf Number

ONLINE(335185.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Middleware 2013 ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings

Author

Eyers, David. editor. Schwan, Karsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335186.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Information Retrieval Technology 9th Asia Information Retrieval Societies Conference, AIRS 2013, Singapore, December 9-11, 2013. Proceedings

Information Retrieval Technology 9th Asia Information Retrieval Societies Conference, AIRS 2013, Singapore, December 9-11, 2013. Proceedings

Author

Banchs, Rafael E. editor. Silvestri, Fabrizio. editor. Liu, Tie-Yan. editor. Zhang, Min. editor. Gao, Sheng. editor.

Preferred Shelf Number

ONLINE(335187.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

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

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

Author

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

Preferred Shelf Number

ONLINE(335189.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

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

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

Author

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

Preferred Shelf Number

ONLINE(335190.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

Chinese Lexical Semantics 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013. Revised Selected Papers

Author

Liu, Pengyuan. editor. Su, Qi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335193.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Information Systems Security 9th International Conference, ICISS 2013, Kolkata, India, December 16-20, 2013. Proceedings

Author

Bagchi, Aditya. editor. Ray, Indrakshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335194.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Ada 2012 Rationale The Language, The Standard Libraries

Author

Barnes, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335195.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

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

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

Author

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

Preferred Shelf Number

ONLINE(335196.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings

Author

Stam, Martijn. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335197.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

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

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

Author

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

Preferred Shelf Number

ONLINE(335198.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

99.

Cover image for Resource Discovery 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers

Resource Discovery 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers

Author

Lacroix, Zoé. editor. Ruckhaus, Edna. editor. Vidal, Maria-Esther. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335199.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

Author

Sagonas, Kostis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335204.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

Cover image for Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Author

Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335206.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

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

Author

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

Preferred Shelf Number

ONLINE(335207.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

103.

Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications

Author

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

Preferred Shelf Number

ONLINE(335208.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

104.

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

Author

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

Preferred Shelf Number

ONLINE(335210.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

Molecular Biology Not Only for Bioinformaticians

Author

Widłak, Wiesława. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335211.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

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:

107.

User-Level Workflow Design A Bioinformatics Perspective

Author

Lamprecht, Anna-Lena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335213.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

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:

109.

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

Author

Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335215.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

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:

111.

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:

112.

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:

113.

Transactions on Computational Collective Intelligence XII

Author

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

Preferred Shelf Number

ONLINE(335221.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

Cover image for Advanced Data Mining and Applications 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings, Part I

Advanced Data Mining and Applications 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings, Part I

Author

Motoda, Hiroshi. editor. Wu, Zhaohui. editor. Cao, Longbing. editor. Zaiane, Osmar. editor. Yao, Min. editor.

Preferred Shelf Number

ONLINE(335222.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

Advanced Data Mining and Applications 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings, Part II

Author

Motoda, Hiroshi. editor. Wu, Zhaohui. editor. Cao, Longbing. editor. Zaiane, Osmar. editor. Yao, Min. editor.

Preferred Shelf Number

ONLINE(335223.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

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:

117.

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:

118.

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:

119.

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:

120.

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:

121.

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:

122.

Cover image for Knowledge Sharing through Technology 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong, China, July 10-11, 2013, Revised Selected Papers

Knowledge Sharing through Technology 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong, China, July 10-11, 2013, Revised Selected Papers

Author

Lam, Jeanne. editor. Li, Kam Cheong. editor. Cheung, Simon K. S. editor. Wang, Fu Lee. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335201.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

123.

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

Author

Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335202.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

124.

Cover image for Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers

Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers

Author

Akiyama, Jin. editor. Kano, Mikio. editor. Sakai, Toshinori. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335203.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

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:

126.

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Author

Lodaya, Kamal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334105.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

127.

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:

128.

Cover image for Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings

Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings

Author

Hota, Chittaranjan. editor. Srimani, Pradip K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334114.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

129.

Cover image for Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers

Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers

Author

Nin, Jordi. editor. Villatoro, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334115.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

130.

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:

131.

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:

132.

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:

133.

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:

134.

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:

135.

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:

136.

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:

137.

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:

138.

Cover image for Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers

Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers

Author

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

Preferred Shelf Number

ONLINE(334204.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

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:

140.

Cover image for Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Principles of Security and Trust Second International Conference, POST 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

Basin, David. editor. Mitchell, John C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334305.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede

Author

Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334319.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

142.

Cover image for Agents and Artificial Intelligence 4th International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers

Agents and Artificial Intelligence 4th International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers

Author

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

Preferred Shelf Number

ONLINE(334321.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Author

Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334327.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

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:

145.

Cover image for Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Machado, Penousal. editor. McDermott, James. editor. Carballal, Adrian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334330.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

Cover image for Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers

Author

Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.

Preferred Shelf Number

ONLINE(334332.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

Transactions on Aspect-Oriented Software Development X

Author

Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334333.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

148.

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:

149.

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:

150.

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:

151.

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:

152.

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:

153.

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:

154.

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:

155.

Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Pfenning, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334358.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

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:

157.

Cover image for Web and Wireless Geographical Information Systems 12th International Symposium, W2GIS 2013, Banff, AB, Canada, April 4-5, 2013. Proceedings

Web and Wireless Geographical Information Systems 12th International Symposium, W2GIS 2013, Banff, AB, Canada, April 4-5, 2013. Proceedings

Author

Liang, Steve H. L. editor. Wang, Xin. editor. Claramunt, Christophe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334361.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

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:

159.

Cover image for Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers

Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers

Author

Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.

Preferred Shelf Number

ONLINE(334365.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

160.

Cover image for Databases in Networked Information Systems 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings

Databases in Networked Information Systems 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings

Author

Madaan, Aastha. editor. Kikuchi, Shinji. editor. Bhalla, Subhash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334368.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

161.

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

Author

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

Preferred Shelf Number

ONLINE(334370.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

162.

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:

163.

Cover image for Knowledge Discovery, Knowledge Engineering and Knowledge Management Third International Joint Conference, IC3K 2011, Paris, France, October 26-29, 2011. Revised Selected Papers

Knowledge Discovery, Knowledge Engineering and Knowledge Management Third International Joint Conference, IC3K 2011, Paris, France, October 26-29, 2011. Revised Selected Papers

Author

Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334379.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

Cover image for Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Vanneschi, Leonardo. editor. Bush, William S. editor. Giacobini, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334380.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Cover image for Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334383.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

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

Author

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

Preferred Shelf Number

ONLINE(334384.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

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

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

Author

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

Preferred Shelf Number

ONLINE(334386.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

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:

169.

Cover image for Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

Author

Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.

Preferred Shelf Number

ONLINE(334508.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

Cover image for Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings

Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings

Author

Zhang, Jianlong. editor. Sun, Chengyu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334705.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

Author

Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334663.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Applied Cryptography and Network Security 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings

Applied Cryptography and Network Security 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings

Author

Jacobson, Michael. editor. Locasto, Michael. editor. Mohassel, Payman. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334707.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

173.

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

Author

Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334708.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

Author

Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334666.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

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:

176.

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:

177.

Transactions on Computational Science XVIII Special Issue on Cyberworlds

Author

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

Preferred Shelf Number

ONLINE(334670.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

178.

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Author

Drira, Khalil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334714.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

Author

Castagna, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334715.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

180.

Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

181.

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:

182.

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:

183.

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:

184.

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:

185.

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:

186.

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:

187.

Cover image for Information Processing in Medical Imaging 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings

Information Processing in Medical Imaging 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings

Author

Gee, James C. editor. Joshi, Sarang. editor. Pohl, Kilian M. editor. Wells, William M. editor. Zöllei, Lilla. editor.

Preferred Shelf Number

ONLINE(334687.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Author

Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334691.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

Image Analysis 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings

Author

Kämäräinen, Joni-Kristian. editor. Koskela, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334692.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

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:

191.

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:

192.

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:

193.

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:

194.

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:

195.

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:

196.

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:

197.

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:

198.

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:

199.

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:

200.

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:

201.

Cover image for Financial Cryptography and Data Security 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers

Financial Cryptography and Data Security 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers

Author

Sadeghi, Ahmad-Reza. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334863.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

Cover image for New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers

New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers

Author

Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334868.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

203.

Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Author

Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334870.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

204.

Cover image for Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

Author

Malyshkin, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334871.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

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:

206.

The Personal Web A Research Agenda

Author

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

Preferred Shelf Number

ONLINE(334876.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

207.

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:

208.

Cover image for Public Key Infrastructures, Services and Applications 9th European Workshop, EuroPKI 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers

Public Key Infrastructures, Services and Applications 9th European Workshop, EuroPKI 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers

Author

Capitani di Vimercati, Sabrina. editor. Mitchell, Chris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334878.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

209.

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

Author

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

Preferred Shelf Number

ONLINE(334879.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

210.

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:

211.

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I

Author

Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334881.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

212.

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:

213.

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:

214.

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:

215.

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:

216.

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II

Author

Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334888.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

217.

Cover image for Multilingual Information Access in South Asian Languages Second International Workshop, FIRE 2010, Gandhinagar, India, February 19-21, 2010 and Third International Workshop, FIRE 2011, Bombay, India, December 2-4, 2011, Revised Selected Papers

Multilingual Information Access in South Asian Languages Second International Workshop, FIRE 2010, Gandhinagar, India, February 19-21, 2010 and Third International Workshop, FIRE 2011, Bombay, India, December 2-4, 2011, Revised Selected Papers

Author

Majumder, Prasenjit. editor. Mitra, Mandar. editor. Bhattacharyya, Pushpak. editor. Subramaniam, L. Venkata. editor. Contractor, Danish. editor.

Preferred Shelf Number

ONLINE(334889.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

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:

219.

Cover image for Information Technology in Bio- and Medical Informatics 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings

Information Technology in Bio- and Medical Informatics 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings

Author

Bursa, Miroslav. editor. Khuri, Sami. editor. Renda, M. Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334891.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Digital Forensics and Watermaking 11th International Workshop, IWDW 2012, Shanghai, China, October 31 – November 3, 2012, Revised Selected Papers

Digital Forensics and Watermaking 11th International Workshop, IWDW 2012, Shanghai, China, October 31 – November 3, 2012, Revised Selected Papers

Author

Shi, Yun Q. editor. Kim, Hyoung-Joong. editor. Pérez-González, Fernando. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334892.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings

Author

Dehne, Frank. editor. Solis-Oba, Roberto. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334893.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

Cover image for Data Warehousing and Knowledge Discovery 15th International Conference, DaWaK 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings

Data Warehousing and Knowledge Discovery 15th International Conference, DaWaK 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings

Author

Bellatreche, Ladjel. editor. Mohania, Mukesh K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334896.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for Information Search, Integration and Personalization International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers

Information Search, Integration and Personalization International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers

Author

Tanaka, Yuzuru. editor. Spyratos, Nicolas. editor. Yoshida, Tetsuya. editor. Meghini, Carlo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334898.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

Networked Systems First International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers

Author

Gramoli, Vincent. editor. Guerraoui, Rachid. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334899.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

Cover image for Technology-Enabled Innovation for Democracy, Government and Governance Second Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2013, Prague, Czech Republic, August 26-28, 2013, Proceedings

Technology-Enabled Innovation for Democracy, Government and Governance Second Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2013, Prague, Czech Republic, August 26-28, 2013, Proceedings

Author

Kő, Andrea. editor. Leitner, Christine. editor. Leitold, Herbert. editor. Prosser, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334900.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings

Author

Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334901.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

Cover image for Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Author

Shumaker, Randall. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334796.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

Cover image for Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

Author

Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334797.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

229.

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:

230.

Data Integration in the Life Sciences 9th International Conference, DILS 2013, Montreal, QC, Canada, July 11-12, 2013. Proceedings

Author

Baker, Christopher J. O. editor. Butler, Greg. editor. Jurisica, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334800.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

Cover image for Foundations of Augmented Cognition 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings

Foundations of Augmented Cognition 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings

Author

Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334801.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

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:

233.

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:

234.

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:

235.

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:

236.

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:

237.

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:

238.

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:

239.

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:

240.

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:

241.

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:

242.

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:

243.

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:

244.

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:

245.

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:

246.

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:

247.

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:

248.

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:

249.

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:

250.

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:

251.

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:

252.

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:

253.

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:

254.

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:

255.

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:

256.

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:

257.

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:

258.

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:

259.

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:

260.

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:

261.

Cover image for Progress in Artificial Intelligence 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings

Progress in Artificial Intelligence 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings

Author

Correia, Luís. editor. Reis, Luís Paulo. editor. Cascalho, José. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334986.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

262.

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

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

Author

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

Preferred Shelf Number

ONLINE(334987.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

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:

264.

Cover image for OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

Author

Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334990.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

265.

Cover image for Partially Supervised Learning Second IAPR International Workshop, PSL 2013, Nanjing, China, May 13-14, 2013, Revised Selected Papers

Partially Supervised Learning Second IAPR International Workshop, PSL 2013, Nanjing, China, May 13-14, 2013, Revised Selected Papers

Author

Zhou, Zhi-Hua. editor. Schwenker, Friedhelm. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334991.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

266.

Cover image for Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Author

Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334992.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

267.

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:

268.

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

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

Author

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

Preferred Shelf Number

ONLINE(334996.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

269.

Flexible Query Answering Systems 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings

Author

Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Vila, María Amparo. editor. Andreasen, Troels. editor. Christiansen, Henning. editor.

Preferred Shelf Number

ONLINE(335000.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Multiagent System Technologies 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings

Author

Klusch, Matthias. editor. Thimm, Matthias. editor. Paprzycki, Marcin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335001.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

271.

Cover image for Communications and Multimedia Security 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings

Communications and Multimedia Security 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings

Author

Decker, Bart. editor. Dittmann, Jana. editor. Kraetzer, Christian. editor. Vielhauer, Claus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335002.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part I

Author

Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335036.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II

Author

Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335037.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III

Author

Blockeel, Hendrik. editor. Kersting, Kristian. editor. Nijssen, Siegfried. editor. Železný, Filip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335038.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

275.

Cover image for Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Author

Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335040.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Cover image for Engineering Applications of Neural Networks 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part I

Engineering Applications of Neural Networks 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part I

Author

Iliadis, Lazaros. editor. Papadopoulos, Harris. editor. Jayne, Chrisina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335041.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

Engineering Applications of Neural Networks 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part II

Author

Iliadis, Lazaros. editor. Papadopoulos, Harris. editor. Jayne, Chrisina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335042.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

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

Author

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

Preferred Shelf Number

ONLINE(335043.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

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

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

Author

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

Preferred Shelf Number

ONLINE(335044.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

280.

Cover image for On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings

On the Move to Meaningful Internet Systems: OTM 2013 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings

Author

Demey, Yan Tang. editor. Panetto, Hervé. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335045.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Author

Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335046.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

Cover image for Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

Author

Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.

Preferred Shelf Number

ONLINE(335047.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

283.

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

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

Author

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

Preferred Shelf Number

ONLINE(335048.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

284.

Cover image for Multidisciplinary Information Retrieval 6th Information Retrieval Facility Conference, IRFC 2013, Limassol, Cyprus, October 7-9, 2013. Proceedings

Multidisciplinary Information Retrieval 6th Information Retrieval Facility Conference, IRFC 2013, Limassol, Cyprus, October 7-9, 2013. Proceedings

Author

Lupu, Mihai. editor. Kanoulas, Evangelos. editor. Loizides, Fernando. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335049.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

285.

Cover image for Similarity Search and Applications 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings

Author

Brisaboa, Nieves. editor. Pedreira, Oscar. editor. Zezula, Pavel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335050.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

286.

Cover image for Haptic and Audio Interaction Design 8th International Workshop, HAID 2013, Daejeon, Korea, April 18-19, 2013, Revised Selected Papers

Haptic and Audio Interaction Design 8th International Workshop, HAID 2013, Daejeon, Korea, April 18-19, 2013, Revised Selected Papers

Author

Oakley, Ian. editor. Brewster, Stephen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335051.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

Cover image for Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Author

Iyoda, Juliano. editor. Moura, Leonardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335052.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Cover image for Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

Author

Yoshida, Hiroyuki. editor. Warfield, Simon. editor. Vannier, Michael W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335055.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

289.

Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings

Author

Accorsi, Rafael. editor. Ranise, Silvio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335057.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

290.

Entertainment Computing – ICEC 2013 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings

Author

Anacleto, Junia C. editor. Clua, Esteban W. G. editor. Silva, Flavio S. Correa. editor. Fels, Sidney. editor. Yang, Hyun S. editor.

Preferred Shelf Number

ONLINE(335058.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

291.

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:

292.

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:

293.

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:

294.

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:

295.

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:

296.

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:

297.

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:

298.

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:

299.

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:

300.

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:

	{displayName}	{count}
{error}