Results of search for 'ccl=su:"Computer sciences"'

Results
	2501.	Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / Sriram Sankaranarayanan, Enrico Vicario (eds.). by FORMATS (Conference) (13th : 2015 : Madrid, Spain) Sankaranarayanan, Sriram [editor.] Vicario, Enrico [editor.] Series: Lecture notes in computer science ; 9268. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: FORMATS 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2502.	Intelligent robotics and applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings. Part III / Honghai Liu, Naoyuki Kubota, Xiangyang Zhu, Rüdiger Dillmann, Dalin Zhou (eds.). by ICIRA (Conference) (8th : 2015 : Portsmouth, England) Liu, Honghai (Professor of Intelligent Systems) [editor.] Kubota, Naoyuki [editor.] Zhu, Xiangyang [editor.] Dillmann, R, 1949- [editor.] Zhou, Dalin [editor.] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9246. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: ICIRA 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2503.	Computer performance engineering : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31-September 1, 2015, Proceedings / Marta Beltrán, William Knottenbelt, Jeremy Bradley (eds.). by EPEW (Workshop) (12th : 2015 : Madrid, Spain) Beltrán, Marta [editor.] Knottenbelt, William J [editor.] Bradley, J. T. (Jeremy T.) [editor.] Series: Lecture notes in computer science ; 9272. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: EPEW 2015 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2504.	New trends in image analysis and processing -- ICIAP 2015 Workshops : ICIAP 2015 International Workshops, BioFor, CTMR, RHEUMA, ISCA, MADiMa, SBMI, and QoEM, Genoa, Italy, September 7-8, 2015, Proceedings / Vittorio Murino, Enrico Puppo, Diego Sona, Marco Cristani, Carlo Sansone (eds.). by Murino, Vittorio [editor.] Puppo, Enrico [editor.] Sona, Diego [editor.] Cristani, Marco [editor.] Sansone, Carlo, 1969- [editor.] International Workshop on Recent Advances in Digital Security: Biometrics and Forensics (2015 : Genoa, Italy) CTMR (Workshop) (2015 : Genoa, Italy) RHEUMA (Workshop) (2015 : Genoa, Italy) ISCA (Workshop) (2015 : Genoa, Italy) International Workshop on Multimedia Assisted Dietary Management (1st : 2015 : Genoa, Italy) SBMI (Workshop) (2015 : Genoa, Italy) Workshop on Image and Video Processing for Quality of Multimedia Experience (2015 : Genoa, Italy) International Conference on Image Analysis and Processing (18th : 2015 : Genoa, Italy) Series: Lecture notes in computer science ; 9281. \| LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2505.	Image analysis and processing -- ICIAP 2015 : 18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings. Part II / Vittorio Murino, Enrico Puppo (eds.). by International Conference on Image Analysis and Processing (18th : 2015 : Genoa, Italy) Murino, Vittorio [editor.] Puppo, Enrico [editor.] Series: Lecture notes in computer science ; 9280. \| LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: ICIAP 2015 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2506.	Image analysis and processing -- ICIAP 2015 : 18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings. Part I / Vittorio Murino, Enrico Puppo (eds.). by International Conference on Image Analysis and Processing (18th : 2015 : Genoa, Italy) Murino, Vittorio [editor.] Puppo, Enrico [editor.] Series: Lecture notes in computer science ; 9279. \| LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: ICIAP 2015 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2507.	New frontiers in artificial intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised selected papers / Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki (eds.). by JSAI-isAI (Symposium) (6th : 2014 : Kanagawa-machi, Japan) Murata, Tsuyoshi [editor.] Mineshima, Koji [editor.] Bekki, Daisuke [editor.] LENLS (Workshop) (11th : 2014 : Kanagawa-machi, Japan) JURISIN (Workshop) (8th : 2014 : Kanagawa-machi, Japan) GABA (Workshop) (1st : 2014 : Kanagawa-machi, Japan) Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9067. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Heidelberg : Springer, 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2508.	Information Security Theory and Practice : 9th IFIP WG 11.2 International Conference, WISTP 2015 Heraklion, Crete, Greece, August 24-25, 2015 Proceedings / Raja Naeem Akram, Sushil Jajodia (eds.). by WISTP (Conference) (9th : 2015 : Ērakleion, Greece) Akram, Raja Naeem [editor.] Jajodia, Sushil [editor.] Series: Lecture notes in computer science ; 9311. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: WISTP 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2509.	Machine learning and knowledge discovery in databases : European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings. Part II / Annalisa Appice, Pedro Pereira Rodrigues, Vitor Santos Costa, João Gama, Alípio Jorge, Carlos Soares (eds.). by ECML PKDD (Conference) (2015 : Porto, Portugal) Appice, Annalisa [editor.] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9285. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham : Springer, 2015 Other title: ECML PKDD 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2510.	Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday / Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott, (eds.). by Meseguer, José [honouree.] Martí-Oliet, N. (Narciso) [editor.] Ölveczky, Peter Csaba [editor.] Talcott, Carolyn L [editor.] Series: Lecture notes in computer science ; 9200. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham : Springer, [2015] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2511.	Algorithmic decision theory : 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings / Toby Walsh (ed.). by ADT (Conference) (4th : 2015 : Lexington, Ky.) Walsh, Toby [editor.] Series: Lecture notes in computer science ; 9346. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: ADT 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2512.	Algorithms in bioinformatics : 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, proceedings / Mihai Pop, Hélène Touzet (eds.). by WABI (Workshop) (15th : 2015 : Atlanta, Ga.) Pop, Mihai [editor.] Touzet, Hélène [editor.] Series: Lecture notes in computer science. Lecture notes in bioinformatics ; ; 9289. \| LNCS sublibrary. SL 8, Bioinformatics. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Heidelberg : Springer, 2015 Other title: WABI 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2513.	Human-computer interaction -- INTERACT 2015 : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings. Part IV / Julio Abascal, Simone Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler (eds.). by International Conference on Human-Computer Interaction (International Federation for Information Processing) (15th : 2015 : Bamberg, Germany) Abascal, Julio [editor.] Barbosa, Simone [editor.] Fetter, Mirko [editor.] Gross, Tom [editor.] Palanque, Philippe, 1966- [editor.] Winckler, Marco [editor.] Series: Lecture notes in computer science ; 9299. \| 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 : Springer, 2015 Other title: INTERACT 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2514.	Human-computer interaction -- INTERACT 2015 : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings. Part I / Julio Abascal, Simone Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler (eds.). by International Conference on Human-Computer Interaction (International Federation for Information Processing) (15th : 2015 : Bamberg, Germany) Abascal, Julio [editor.] Barbosa, Simone [editor.] Fetter, Mirko [editor.] Gross, Tom [editor.] Palanque, Philippe, 1966- [editor.] Winckler, Marco [editor.] Series: Lecture notes in computer science ; 9296. \| 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 : Springer, 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2515.	Human-computer interaction -- INTERACT 2015 : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings. Part II / Julio Abascal, Simone Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler (eds.). by International Conference on Human-Computer Interaction (International Federation for Information Processing) (15th : 2015 : Bamberg, Germany) Abascal, Julio [editor.] Barbosa, Simone [editor.] Fetter, Mirko [editor.] Gross, Tom [editor.] Palanque, Philippe, 1966- [editor.] Winckler, Marco [editor.] Series: Lecture notes in computer science ; 9297. \| 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 : Springer, 2015 Other title: INTERACT 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2516.	Computer analysis of images and patterns : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings. Part II / George Azzopardi, Nicolai Petkov (eds.). by International Conference on Computer Analysis of Images and Patterns (16th : 2015 : Valletta, Malta) Azzopardi, George [editor.] Petkov, Nicolai, 1956- [editor.] Series: Lecture notes in computer science ; 9257. \| LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: CAIP 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2517.	Machines, computations, and universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / Jérôme Durand-Lose, Benedek Nagy (eds.). by MCU (Conference) (7th : 2015 : Famagusta, Cyprus) Durand-Lose, Jérôme [editor.] Nagy, Benedek [editor.] Series: Lecture notes in computer science ; 9288. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: MCU 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2518.	Software engineering for resilient systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / Alessandro Fantechi, Patrizio Pelliccione (eds.). by SERENE (Workshop) (7th : 2015 : Paris, France) Fantechi, Alessandro [editor.] Pelliccione, P. (Patrizio) [editor.] Series: Lecture notes in computer science ; 9274. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: SERENE 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2519.	Information security : 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings / Javier Lopez, Chris J. Mitchell (eds.). by ISC (Conference : Information security) (18th : 2015 : Trondheim, Norway) López, Javier (Javier López-Muñoz) [editor.] Mitchell, Chris J [editor.] Series: Lecture notes in computer science ; 9290. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: ISC 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2520.	Computer analysis of images and patterns : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings. Part I / edited by George Azzopardi, Nicolai Petkov. by International Conference on Computer Analysis of Images and Patterns (16th : 2015 : Valletta, Malta) Azzopardi, George [editor.] Petkov, Nicolai, 1956- [editor.] Series: Lecture notes in computer science ; 9256. \| LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: CAIP 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold