Results of search for 'ccl=pl:"Cham, Switzerland"'

Results
	101.	FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou (eds.). by International Symposium of Formal Methods Europe (21st : 2016 : Limassol, Cyprus) Fitzgerald, John [editor.] Heitmeyer, Constance L [editor.] Gnesi, Stefania, 1954- [editor.] Philippou, Anna [editor.] Series: Lecture notes in computer science ; 9995. \| Lectures notes in computer science. Formal methods. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	102.	Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers / Sandrine Blazy, Marsha Chechik (eds.). by VSTTE (Conference) (8th : 2016 : Toronto, Ont.) Blazy, Sandrine [editor.] Chechik, Marsha [editor.] Series: Lecture notes in computer science ; 9971. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: VSTTE 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	103.	Software architecture : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28-December 2, 2016, Proceedings / Bedir Tekinerdogan, Uwe Zdun, Ali Babar (eds.). by ECSA (Conference) (10th : 2016 : Copenhagen, Denmark) Tekinerdogan, Bedir, 1970- [editor.] Zdun, Uwe [editor.] Babar, Ali (Professor of Software Engineering) [editor.] Series: Lecture notes in computer science ; 9839. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: ECSA 2016 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	104.	Knowledge engineering and knowledge management : 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings / Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali (eds.). by EKAW (Conference) (20th : 2016 : Bologna, Italy) Blomqvist, Eva [editor.] Ciancarini, Paolo, 1959- [editor.] Poggi, Francesco [editor.] Vitali, Fabio [editor.] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10024. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: EKAW 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	105.	Security, privacy, and anonymity in computation, communication, and storage : 9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings / Guojun Wang, Indrakshi Ray, Jose M. Alcaraz Calero, Sabu M. Thampi (eds.). by SpaCCS (Conference) (9th : 2016 : Zhangjiajie Shi, China) Wang, Guojun (Computer scientist) [editor.] Ray, Indrakshi [editor.] Alcaraz Calero, Jose M [editor.] Thampi, Sabu M [editor.] Series: Lecture notes in computer science ; 10066. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: SpaCCS 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	106.	Security, privacy and anonymity in computation, communication and storage : SpaCCS 2016 International Workshops, TrustData, TSP, NOPE, DependSys, BigDataSPT, and WCSSC, Zhangjiajie, China, November 16-18, 2016, Proceedings / Guojun Wang, Indrakshi Ray, Jose M. Alcaraz Calero, Sabu M. Thampi (eds.). by SpaCCS (Conference) (9th : 2016 : Zhangjiajie Shi, China) Wang, Guojun (Computer scientist) [editor.] Ray, Indrakshi [editor.] Alcaraz Calero, Jose M [editor.] Thampi, Sabu M [editor.] TrustData (Workshop) (7th : 2016 : Zhangjiajie, China) TSP (Workshop) (6th : 2016 : Zhangjiajie, China) NOPE (Workshop) (4th : 2016 : Zhangjiajie, China) DependSys (Workshop) (2nd : 2016 : Zhangjiajie, China) BigDataSPT (Workshop) (2016 : Zhangjiajie, China) WCSSC (Workshop) (1st : 2016 : Zhangjiajie, China) Series: Lecture notes in computer science ; 10067. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	107.	Information theoretic security : 9th International Conference, ICITS 2016, Tacoma, WA, USA, August 9-12, 2016, Revised selected papers / Anderson C.A. Nascimento, Paulo Barreto (eds.). by ICITS (Conference) (9th : 2016 : Tacoma, Wash.) Nascimento, Anderson C. A [editor.] Barreto, Paulo [editor.] Series: Lecture notes in computer science ; 10015. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: ICITS 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	108.	Advances in speech and language technologies for Iberian Languages : third International Conference, IberSPEECH 2016, Lisbon, Portugal, November 23-25, 2016, Proceedings / Alberto Abad, Alfonso Ortega, António Teixeira, Carmen García Mateo, Carlos D. Martínez Hinarejos, Fernando Perdigão, Fernando Batista, Nuno Mamede (eds.). by IberSPEECH (Conference) (3rd : 2016 : Lisbon, Portugal) Abad, Alberto [editor.] Ortega, Alfonso [editor.] Teixeira, António, 1968- [editor.] García Mateo, Carmen [editor.] Martínez Hinarejos, Carlos D [editor.] Perdigão, Fernando (University of Coimbra) [editor.] Batista, Fernando [editor.] Mamede, Nuno J. (Nuno João) [editor.] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10077. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: IberSPEECH 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	109.	Advances in brain inspired cognitive systems : 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings / Cheng-Lin Liu, Amir Hussain, Bin Luo, Kay Chen Tan, Yi Zeng, Zhaoxiang Zhang (eds.). by Brain Inspired Cognitive Systems (Conference) (8th : 2016 : Beijing, China) Liu, Cheng-Lin [editor.] Hussain, A. (Amir) [editor.] Luo, Bin [editor.] Tan, K. C [editor.] Zeng, Yi [editor.] Zhang, Zhaoxiang [editor.] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10023. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: BICS 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	110.	Algorithm engineering : selected results and surveys / Lasse Kliemann, Peter Sanders (eds.). by Kliemann, Lasse [editor.] Sanders, Peter, 1967- [editor.] Series: Lecture notes in computer science ; 9220. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	111.	Advances in services computing : 10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings / Guojun Wang, Yanbo Han, Gregorio Martínez Pérez (eds.). by IEEE Asia-Pacific Conference on Services Computing (10th : 2016 : Zhangjiajie, China) Wang, Guojun [editor.] Han, Yanbo [editor.] Martínez Pérez, Gregorio [editor.] Series: Lecture notes in computer science ; 10065. \| LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: APSCC 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	112.	Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / Leila Ribeiro, Thierry Lecomte (eds.). by Brazilian Symposium on Formal Methods (19th : 2016 : Natal, Brazil) Ribeiro, Leila [editor.] Lecomte, Thierry [editor.] Series: Lecture notes in computer science ; 10090. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: SBMF 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	113.	Algorithms and models for the web graph : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016, Proceedings / Anthony Bonato, Fan Chung Graham, Paweł Prałat (eds.). by WAW (Workshop) (13th : 2016 : Montreal, Québec) Bonato, Anthony, 1971- [editor.] Chung, Fan R. K, 1949- [editor.] Prałat, Paweł [editor.] Series: Lecture notes in computer science ; 10088. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: WAW 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	114.	Information Retrieval Technology : 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China, November 30 - December 2, 2016 : proceedings / Shaoping Ma, Ji-Rong Wen, Yiqun Liu, Zhicheng Dou, Min Zhang, Yi Chang, Xin Zhao, (eds.). by Asia Information Retrieval Societies Conference (12th : 2016 : Beijing, China) Ma, Shaoping [editor.] Wen, Jirong [editor.] Liu, Yiqun [editor.] Dou, Zhicheng [editor.] Zhang, Min [editor.] Chang, Yi [editor.] Zhao, Xin [editor.] Series: Lecture notes in computer science ; 9994. \| LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2016] Other title: AIRS 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	115.	Integrated uncertainty in knowledge modelling and decision making : 5th International Symposium, IUKM 2016, Da Nang, Vietnam, November 30- December 2, 2016, Proceedings / Van-Nam Huynh, Masahiro Inuiguchi, Bac Le, Bao Nguyen Le, Thierry Denoeux (Eds.). by IUKM (Symposium) (5th : 2016 : Đà Nẵng, Vietnam) Huynh, Van-Nam [editor.] Inuiguchi, Masahiro [editor.] Le, Bac [editor.] Le, Bao Nguyen [editor.] Denoeux, Thierry [editor.] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9978. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2016] Other title: IUKM 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	116.	Ubiquitous computing and ambient intelligence : 10th International Conference, UCAmI 2016, San Bartolomé de Tirajana, Gran Canaria, Spain, November 29-December 2, 2016, Proceedings. Part I / Carmelo R. García, Pino Caballero-Gil, Mike Burmester, Alexis Quesada-Arencibia (eds.). by Symposium of Ubiquitous Computing and Ambient Intelligence (10th : 2016 : San Bartolomé, Spain) García, Carmelo R [editor.] Caballero Gil, Pino [editor.] Burmester, Mike [editor.] Quesada Arencibia, Alexis [editor.] Series: Lecture notes in computer science ; 10069. \| LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: UCAmI 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	117.	Conceptual modeling : 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings / Isabelle Comyn-Wattiau, Katsumi Tanaka, Il-Yeol Song, Shuichiro Yamamoto, Motoshi Saeki (Eds.). by International Conference on Conceptual Modeling (35th : 2016 : Gifu-shi, Japan) Comyn-Wattiau, Isabelle [editor.] Tanaka, Katsumi [editor.] Song, Il-Yeol [editor.] Yamamoto, Shuichiro [editor.] Saeki, Motoshi [editor.] Series: Lecture notes in computer science ; 9974. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2016] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	118.	Cloud computing and security : Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers. Part I / Xingming Sun, Alex Liu, Han-Chieh Chao, Elisa Bertino (Eds.). by ICCCS (Conference) (2nd : 2016 : Nanjing, China) Sun, Xingming [editor.] Liu, Alex [editor.] Chao, Han-Chieh [editor.] Bertino, Elisa [editor.] Series: Lecture notes in computer science ; 10039. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2016] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	119.	Cloud computing and security : second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers. Part II / edited by Xingming Sun, Alex Liu, Han-Chieh Chao, Elisa Bertino. by ICCCS (Conference) (2nd : 2016 : Nanjing, Jiangsu Sheng, China) Sun, Xingming [editor.] Liu, Alex [editor.] Chao, Han-Chieh [editor.] Bertino, Elisa [editor.] Series: Lecture notes in computer science ; 10040. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	120.	Product-focused software process improvement : 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings / Pekka Abrahamsson, Andreas Jedlitschka, Anh Nguyen Duc, Michael Felderer, Sousuke Amasaki, Tommi Mikkonen (eds.). by PROFES (Conference) (17th : 2016 : Trondheim, Norway) Abrahamsson, Pekka [editor.] Jedlitschka, Andreas [editor.] Duc, Anh Nguyen [editor.] Felderer, Michael [editor.] Amasaki, Sousuke [editor.] Mikkonen, Tommi [editor.] Series: Lecture notes in computer science ; 10027. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: PROFES 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold