Results of search for 'ccl=su:"Organization."'

Results
	121.	Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / edited by Sebastian Gabmeyer, Einar Broch Johnsen. by TAP (Conference) (11th : 2017 : Marburg, Germany) Gabmeyer, Sebastian [editor.] Johnsen, Einar Broch [editor.] Series: Lecture notes in computer science ; 10375. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	122.	Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday / Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare (eds.). by Larsen, K. G. (Kim G.), 1957- [honouree.] Aceto, Luca [editor.] Bacci, Giorgio [editor.] Bacci, Giovanni [editor.] Anna Ingólfsdóttir, 1952- [editor.] Legay, Axel [editor.] Mardare, Radu [editor.] Series: LNCS Sublibrary. SL 1, Artificial Intelligence \| Lecture notes in computer science ; 10460. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2017] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	123.	Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch. by SAFECOMP (Conference) (36th : 2017 : Trento, Italy) Tonetta, Stefano [editor.] Schoitsch, Erwin [editor.] Bitsch, Friedemann [editor.] Series: Lecture notes in computer science ; 10488. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	124.	Queueing Theory and Network Applications : 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings / edited by Wuyi Yue, Quan-Lin Li, Shunfu Jin, Zhanyou Ma. by Yue, Wuyi [editor.] Li, Quan-Lin [editor.] Jin, Shunfu [editor.] Ma, Zhanyou [editor.] Series: Lecture notes in computer science ; 10591. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint : Springer, 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	125.	Machine learning, optimization, and big data : third International Conference, MOD 2017, Volterra, Italy, September 14-17, 2017, Revised selected papers / Giuseppe Nicosia, Panos Pardalos, Giovanni Giuffrida, Renato Umeton (eds.). by MOD (Workshop) (3rd : 2017 : Volterra, Italy) Nicosia, Giuseppe [editor.] Pardalos, Panos [editor.] Giuffrida, Giovanni [editor.] Umeton, Renato [editor.] Series: Lecture notes in computer science ; 10710. \| 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, 2018 Other title: MOD 2017 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	126.	Software engineering and formal methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised selected papers / edited by Antonio Cerone, Marco Roveri. by Cerone, Antonio [editor.] Roveri, Marco [editor.] International Conference on Software Engineering and Formal Methods (15th : 2017 : Trento, Italy) DataMod (Symposium) (6th : 2017 : Treno, Italy) FAACS (Workshop) (1st : 2017 : Treno, Italy) MSE (Workshop) (1st : 2017 : Treno, Italy) CoSim-CPS (Workshop) (1st : 2017 : Treno, Italy) International Workshop on the Foundations of Coordination Languages and Software Architectures (15th : 2017 : Treno, Italy) Series: Lecture notes in computer science ; 10729. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2018] Other title: SEFM 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	127.	Accelerator programming using directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / Sunita Chandrasekaran, Guido Juckeland, (Eds.). by WACCPD (Workshop) (4th : 2017 : Denver, Colo.) Chandrasekaran, Sunita [editor.] Juckeland, Guido [editor.] International Conference for High-Performance Computing, Networking, Storage and Analysis (2017 : Denver, Colorado) Series: Lecture notes in computer science ; 10732. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2018] Other title: WACCPD 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	128.	Computational Science - ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018 proceedings. Part III / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M.A. Sloot. by ICCS 2018 (2018 : Wuxi, China) Shi, Yong [editor.] Fu, Haohuan [editor.] Tian, Yingjie, 1973- [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael Harold [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] Series: Lecture notes in computer science ; 10862. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Other title: ICCS 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	129.	Computational science -- ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings. Part I / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M.A. Sloot. by ICCS 2018 (2018 : Wuxi, China) Shi, Yong [editor.] Fu, Haohuan [editor.] Tian, Yingjie, 1973- [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael Harold [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] Series: Lecture notes in computer science ; 10860. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Other title: ICCS 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	130.	Reliable software technologies -- Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / António Casimiro, Pedro M. Ferreira (Eds.). by Ada-Europe International Conference on Reliable Software Technologies (23rd : 2018 : Lisbon, Portugal) Casimiro, António [editor.] Ferreira, Pedro M [editor.] Series: Lecture notes in computer science ; 10873. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2018] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	131.	Computational science -- ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings. Part II / edited by Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack Dongarra, Peter M.A. Sloot. by ICCS 2018 (2018 : Wuxi, China) Shi, Yong [editor.] Fu, Haohuan [editor.] Tian, Yingjie, 1973- [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael Harold [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] Series: Lecture notes in computer science ; 10861. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Other title: ICCS 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	132.	Artificial general intelligence : 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018 : proceedings / Matthew Iklé, Arthur Franz, Rafal Rzepka, Ben Goertzel, (eds.). by AGI (Conference) (11th : 2018 : Prague, Czech Republic) Iklé, Matthew [editor.] Franz, Arthur [editor.] Rzepka, Rafal [editor.] Goertzel, Ben [editor.] Series: Lecture notes in computer science ; 10999. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2018] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	133.	Euro-Par 2018 : parallel processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings / edited by Marco Aldinucci, Luca Padovani, Massimo Torquati. by International EURO-PAR Conference (24th : 2018 : Turin, Italy) Aldinucci, Marco [editor.] Padovani, Luca [editor.] Torquati, Massimo [editor.] Series: Lecture notes in computer science ; 11014. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	134.	Computer Security : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings. Part II / edited by Javier Lopez, Jianying Zhou, Miguel Soriano. by European Symposium on Research in Computer Security author (23nd : 2018 : Barcelona, Spain) Lopez, Javier [editor.] Zhou, Jianying [editor.] Soriano, Miguel [editor.] Series: Lecture notes in computer science ; 11099. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	135.	Principles and practice of constraint programming : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / edited by John Hooker. by CP (Conference) (24th : 2018 : Lille, France) Hooker, John, 1949- [editor.] Series: Lecture notes in computer science ; 11008. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Other title: CP 2018 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	136.	Computer security : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings. Part I / edited by Javier Lopez, Jianying Zhou, Miguel Soriano. by European Symposium on Research in Computer Security author (23nd : 2018 : Barcelona, Spain) Lopez, Javier [editor.] Zhou, Jianying [editor.] Soriano, Miguel [editor.] Series: Lecture notes in computer science ; 11098. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	137.	Information security : 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings / Liqun Chen, Mark Manulis, Steve Schneider (eds.). by ISC (Conference : Information security) (21st : 2018 : Guildford, England) Chen, Liqun [editor.] Manulis, Mark [editor.] Schneider, S. A. (Steve A.) [editor.] Series: Lecture notes in computer science ; 11060. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Other title: ISC 2018 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	138.	Computer safety, reliability, and security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / Barbara Gallina, Amund Skavhaug, Friedemann Bitsch (eds.). by SAFECOMP (Conference) (37th : 2018 : Västerås, Sweden) Gallina, Barbara [editor.] Skavhaug, Amund, 1965- [editor.] Bitsch, Friedemann [editor.] Series: Lecture notes in computer science ; 11093. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Other title: SAFECOMP 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	139.	Computer safety, reliability, and security : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch (eds.). by SAFECOMP (Conference) (37th : 2018 : Västerås, Sweden) Gallina, Barbara [editor.] Skavhaug, Amund, 1965- [editor.] Schoitsch, Erwin [editor.] Bitsch, Friedemann [editor.] International Workshop on Assurance Cases for Software-Intensive Systems (6th : 2018 : Västerås, Sweden) DECSoS (Workshop) (13th : 2018 : Västerås, Sweden) SASSUR (Workshop) (7th : 2018 : Västerås, Sweden) STRIVE (Workshop) (1st : 2018 : Västerås, Sweden) WAISE (Workshop) (1st : 2018 : Västerås, Sweden) Series: Lecture notes in computer science ; 11094. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	140.	Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / Falk Howar, Jiří Barnat (eds.). by International Workshop on Formal Methods for Industrial Critical Systems (23rd : 2018 : Maynooth, Ireland) Howar, Falk [editor.] Barnat, Jiří [editor.] Series: Lecture notes in computer science ; 11119. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Other title: FMICS 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold