Results of search for 'ccl=su:"Systems analysis & design."'

Results
	101.	Architecture of computing systems -- ARCS 2018 : 31st International Conference, Braunschweig, Germany, April 9-12, 2018, Proceedings / Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck (eds.). by ARCS (Conference) (31st : 2018 : Braunschweig, Germany) Bereković, Mladen [editor.] Buchty, Rainer [editor.] Hamann, Heiko [editor.] Koch, Dirk (Computer scientist) [editor.] Pionteck, Thilo [editor.] Series: Lecture notes in computer science ; 10793. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Other title: ARCS 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	102.	NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.). by NFM (Symposium) (10th : 2018 : Newport News, Va.) Dutle, Aaron Michael [editor.] Muñoz, César A, 1968- [editor.] Narkawicz, Anthony Joseph, 1982- [editor.] Series: Lecture notes in computer science ; 10811. \| Lecture 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 : Springer, 2018 Other title: NFM 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	103.	Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Part I / Dirk Beyer, Marieke Huisman (eds.). by TACAS (Conference) (24th : 2018 : Thessalonikē, Greece) Beyer, Dirk, 1972- [editor.] Huisman, Marieke [editor.] ETAPS (Conference) (21st : 2018 : Thessalonikē , Greece) Series: Lecture notes in computer science ; 10805. \| 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, Switzerland : Springer Open, 2018 Other title: TACAS 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	104.	Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings / Christel Baier, Ugo Dal Lago (eds.). by FOSSACS (Conference) (21st : 2018 : Thessalonikē, Greece) Baier, Christel [editor.] Dal Lago, Ugo (Computer scientist) [editor.] ETAPS (Conference) (21st : 2018 : Thessalonikē , Greece) Series: Lecture notes in computer science ; 10803. \| 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, Switzerland : Springer, 2018 Other title: FOSSACS 2018 ETAPS 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	105.	Principles of security and trust : 7th International Conference, POST 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / Lujo Bauer, Ralf Küsters (eds.). by POST (Conference) (7th : 2018 : Thessalonikē, Greece) Bauer, Lujo [editor.] Küsters, Ralf [editor.] ETAPS (Conference) (21st : 2018 : Thessalonikē , Greece) Series: Lecture notes in computer science ; 10804. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer Open, 2018 Other title: POST 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	106.	Trends in functional programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers / edited by Meng Wang, Scott Owens. by International Symposium on Trends in Functional Programming (18th : 2017 : Canterbury, Great Britain) Wang, Meng [editor.] Owens, Scott [editor.] Series: Lecture notes in computer science ; 10788. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint : Springer, 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	107.	Web and wireless geographical information systems : 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21-22, 2018, Proceedings / Miguel R. Luaces, Farid Karimipour (eds.). by W2GIS (Symposium) (16th : 2018 : La Coruña, Spain) Luaces, Miguel R [editor.] Karimipour, Farid [editor.] Series: Lecture notes in computer science ; 10819. \| 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, 2018 Other title: W2GIS 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	108.	New opportunities for software reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / Rafael Capilla, Barbara Gallina, Carlos Cetina (eds.). by International Conference on Software Reuse (17th : 2018 : Madrid, Spain) Capilla, Rafael [editor.] Gallina, Barbara [editor.] Cetina, Carlos [editor.] Series: Lecture notes in computer science ; 10826. \| 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: ICSR 2018 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	109.	Functional and logic programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings / edited by John P. Gallagher, Martin Sulzmann. by Fuji International Symposium on Functional and Logic Programming (14th : 2018 : Nagoya, Japan) Gallagher, John P [editor.] Sulzmann, Martin [editor.] Series: Lecture notes in computer science ; 10818. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Other title: FLOPS 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	110.	Constructive side-channel analysis and secure design : 9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018, Proceedings / edited by Junfeng Fan, Benedikt Gierlichs. by COSADE (Workshop) (9th : 2018 : Singapore) Fan, Junfeng [editor.] Gierlichs, Benedikt [editor.] Series: Lecture notes in computer science ; 10815. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Other title: COSADE 2018 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	111.	Communication technologies for vehicles : 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings / edited by Juan Moreno García-Loygorri, Antonio Pérez-Yuste, César Briso, Marion Berbineau, Alain Pirovano, Jaizki Mendizábal. by Nets4Cars/Nets4Trains/Nets4Aircraft (Workshop) (13th : 2018 : Madrid, Spain) Moreno García-Loygorri, Juan [editor.] Pérez-Yuste, Antonio [editor.] Briso, César [editor.] Berbineau, Marion [editor.] Pirovano, Alain [editor.] Mendizábal, Jaizki [editor.] Series: Lecture notes in computer science ; 10796. 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
	112.	Machines, computations, and universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings / Jérôme Durand-Lose, Sergey Verlan (eds.). by MCU (Conference) (8th : 2018 : Fontainebleau, France) Durand-Lose, Jérôme [editor.] Verlan, Sergey [editor.] Series: Lecture notes in computer science ; 10881. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Other title: MCU 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	113.	Coordination models and languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / edited by Giovanna Di Marzo Serugendo, Michele Loreti. by COORDINATION (Conference) (20th : 2018 : Madrid, Spain) Di Marzo Serugendo, Giovanna [editor.] Loreti, Michele [editor.] International Federated Conferences on Distributed Computing Techniques (13th : 2018 : Madrid, Spain) Series: Lecture notes in computer science ; 10852. \| 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: COORDINATION 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	114.	High performance computing : 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, proceedings / edited by Rio Yokota, Michèle Weiland, David Keyes, Carsten Trinitis. by ISC High Performance (Conference) (33rd : 2018 : Frankfurt am Main, Germany) Yokota, Rio [editor.] Weiland, Michèle [editor.] Keyes, David [editor.] Trinitis, Carsten [editor.] Series: Lecture notes in computer science ; 10876. 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
	115.	Service-oriented computing -- ICSOC 2017 Workshops : ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13-16, 2017, revised selected papers / Lars Braubach, Juan M. Murillo, Nima Kaviani, Manuel Lama, Loli Burgueño, Naouel Moha, Marc Oriol (eds.). by ICSOC (Conference) (15th : 2017 : Málaga, Spain) Braubach, Lars [editor.] Murillo, Juan M [editor.] Kaviani, Nima [editor.] Lama, Manuel [editor.] Burgueño, Loli [editor.] Moha, Naouel [editor.] Oriol, Marc [editor.] ASOCA (Workshop) (2nd : 2017 : Málaga, Spain) ISyCC (Workshop) (2nd : 2017 : Málaga, Spain) WESOACS (Workshop) (13th : 2017 : Málaga, Spain) Series: Lecture notes in computer science ; 10797. \| Lecture notes in computer science. Services science. \| 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
	116.	Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / Einar Broch Johnsen, Ina Schaefer (eds.). by International Conference on Software Engineering and Formal Methods (16th : 2018 : Toulouse, France) Johnsen, Einar Broch [editor.] Schaefer, Ina [editor.] STAF (Federation of conferences) (2018 : Toulouse, France) Series: Lecture notes in computer science ; 10886. \| Lecture notes in computer science. Formal methods. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Other title: SEFM 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	117.	Modelling foundations and applications : 14th European Conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings / Alfonso Pierantonio, Salvador Trujillo (eds.). by ECMFA (Conference) (14th : 2018 : Toulouse, France) Pierantonio, Alfonso [editor.] Trujillo, Salvador [editor.] STAF (Federation of conferences) (2018 : Toulouse, France) Series: Lecture notes in computer science ; 10890. \| 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: ECMFA 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	118.	Theory and practice of model transformation : 11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings / Arend Rensink, Jesús Sánchez Cuadrado (eds.). by ICMT (Conference) (11th : 2018 : Toulouse, France) Rensink, Arend [editor.] Sánchez Cuadrado, Jesús [editor.] STAF (Federation of conferences) (2018 : Toulouse, France) Series: Lecture notes in computer science ; 10888. \| 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: ICMT 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	119.	Big data -- BigData 2018 : 7th International Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / Francis Y.L. Chin, C.L. Philip Chen, Latifur Khan, Kisung Lee, Liang-Jie Zhang (eds.). by BigData (Congress) (7th : 2018 : Seattle, Wash.) Chin, Francis Y. L [editor.] Chen, C. L. Philip [editor.] Khan, Latifur [editor.] Lee, Kisung [editor.] Zhang, Liang-Jie [editor.] Services Conference Federation (2018 : Seattle, Wash.) Series: Lecture notes in computer science ; 10968. \| 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: BigData 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	120.	Cloud computing -- CLOUD 2018 : 11th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / edited by Min Luo, Liang-Jie Zhang. by IEEE International Conference on Cloud Computing (11th : 2018 : Seattle, Wash.) Luo, Min [editor.] Zhang, Liang-Jie [editor.] Services Conference Federation (2018 : Seattle, Wash.) Series: Lecture notes in computer science ; 10967. \| 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: CLOUD 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold