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

Results
	1.	Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / Dexter Kozen, editor. by MPC 2004 (2004: Stirling, Stirling, Scotland) Kozen, Dexter, 1951- Series: Lecture notes in computer science ; 3125. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.). by TACAS (Conference) (10th : 2004 : Barcelona, Spain) Jensen, K. (Kurt), 1950- Podelski, Andreas Series: Lecture notes in computer science ; 2988. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings / Holger Hermanns, Jens Palsberg (eds.). by TACAS (Conference) (12th : 2006 : Vienna, Austria) Hermanns, Holger, 1967- Palsberg, Jens ETAPS (Conference) (9th : 2006 : Vienna, Austria) Series: Lecture notes in computer science ; 3920. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006 Other title: TACAS 2006 ETAPS 2006 Joint European Conferences on Theory and Practice of Software European Joint Conferences on Theory and Practice of Software 2006 In: OhioLINK electronic book center In: SpringerLink Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Theory and applications of models of computation : third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings / Jin-Yi Cai, S. Barry Cooper, Angsheng Li (eds.). by TAMC (Conference) (3rd : 2006 : Beijing, China) Cai, Jin-yi, 1961- Cooper, S. B. (S. Barry) Li, Angsheng Series: Lecture notes in computer science ; 3959. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, 2006 Other title: TAMC 2006 In: OhioLINK electronic book center In: SpringerLink Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Performance characterization and benchmarking : traditional to big data : 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1-5, 2014. Revised selected papers / Raghunath Nambiar, Meikel Poess (eds.). by TPC Technology Conference (6th : 2014 : Hangzhou, China) Nambiar, Raghunath [editor.] Poess, Meikel [editor.] Series: Lecture notes in computer science ; 8904. \| LNCS sublibrary. SL 2, Programming and software engineering. 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
	6.	Energy efficient data centers : third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised selected papers / Sonja Klingert, Marta Chinnici, Milagros Rey Porto (eds.). by International Workshop on Energy-Efficient Data Centers (3rd : 2014 : Cambridge, England) Klingert, Sonja [editor.] Chinnici, Marta [editor.] Porto, Milagros Rey [editor.] Series: Lecture notes in computer science ; 8945. \| LNCS sublibrary. SL 5, Computer communication networks and telecommunications. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: E2DC 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Passive and active measurement : 16th International Conference, PAM 2015, New York, NY, USA, March 19-20, 2015, Proceedings / Jelena Mirkovic, Yong Liu (eds.). by PAM (Conference) (16th : 2015 : New York, N.Y.) Mirkovic, Jelena [editor.] Liu, Yong [editor.] Series: Lecture notes in computer science ; 8995. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: PAM 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	High performance computing systems : performance modeling, benchmarking, and simulation : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised selected papers / Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond (eds.). by PMBS (Workshop) (5th : 2014 : New Orleans, La.) Jarvis, Stephen A, 1970- [editor.] Wright, Steven A. (Research fellow) [editor.] Hammond, Simon (Simon David) [editor.] Series: Lecture notes in computer science ; 8966. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: PMBS 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	9.	High performance computing for computational science -- VECPAR 2014 : 11th International Conference, Eugene, OR, USA, June 30-July 3, 2014, Revised selected papers / Michel Daydé, Osni Marques, Kengo Nakajima (eds.). by VECPAR (Conference) (11th : 2014 : Eugene, Or.) Daydé, Michel [editor.] Marques, Osni [editor.] Nakajima, Kengo, 1962- [editor.] Series: Lecture notes in computer science ; 8969. \| 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: VECPAR 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	10.	High performance computing : 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings / Julian M. Kunkel, Thomas Ludwig (eds.). by ISC High Performance (Conference) (30th : 2015 : Frankfurt am Main, Germany) Kunkel, Julian Martin [editor.] Ludwig, Thomas (Computer scientist) [editor.] Series: Lecture notes in computer science ; 9137. \| 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: ISC High Performance 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	11.	Parallel computing technologies : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / edited by Victor Malyshkin. by International Conference on Parallel Computing Technologies (13th : 2015 : Petrozavodsk, Russia) Malyshkin, V. Ė. (Viktor Ėmmanuilovich) [editor.] Series: Lecture notes in computer science ; 9251. \| 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: PaCT 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	12.	Wireless algorithms, systems, and applications : 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015 : proceedings / Kuai Xu, Haojin Zhu (Eds.). by WASA (Conference) (10th : 2015 : Qufu Shi, China) Xu, Kuai [edt] Zhu, Haojin, 1980- [edt] Series: Lecture notes in computer science ; 9204. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2015]Copyright date: ©2015 Other title: WASA 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	13.	Quantitative evaluation of systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / Javier Campos, Boudewijn R. Haverkort (eds.). by International Conference on the Quantitative Evaluation of Systems (12th : 2015 : Madrid, Spain) Campos, Javier, 1963- [editor.] Haverkort, Boudewijn R [editor.] Series: Lecture notes in computer science ; 9259. \| 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: QEST 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	14.	OpenMP: Heterogenous Execution and Data Movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings / edited by Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller. by IWOMP (Conference) (11th : 2015 : Aachen, Germany) Terboven, Christian [editor.] De Supinski, Bronis R [editor.] Reble, Pablo [editor.] Chapman, Barbara, 1954- [editor.] Müller, Matthias S [editor.] Series: Lecture notes in computer science ; 9342. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: IWOMP 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	15.	Euro-Par 2015 : Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised selected papers / Sascha Hunold, Alexandru Costan, Domingo Giménez, Alexandru Iosup, Laura Ricci, María Engracia Gómez Requena, Vittorio Scarano, Ana Lucia Varbanescu, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer, Michael Alexander (eds.). by International EURO-PAR Conference (21st : 2015 : Vienna, Austria) Hunold, Sascha [editor.] Costan, Alexandru Gimenez, Domingo Iosup, Alexandru Ricci, Laura Gomez Requena, Maria Engracia Scarano, Vittorio Varbanescu, Ana Lucia Scott, Stephen L Lankes, Stefan Weidendorfer, Josef Alexander, Michael Series: Lecture notes in computer science ; 9523. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. 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
	16.	Cloud computing and big data : second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised selected papers / Weizhong Qiang, Xianghan Zheng, Ching-Hsien Hsu (eds.). by International Conference on Cloud Computing and Big Data (2nd : 2015 : Huangshan, China) Qiang, Weizhong [editor.] Zheng, Xianghan [editor.] Hsu, Ching-Hsien [editor.] Series: Lecture notes in computer science ; 9106. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: CloudCom-Asia 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	17.	Critical information infrastructures security : 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised selected papers / Christos G. Panayiotou, Georgios Ellinas, Elias Kyriakides, Marios M. Polycarpou (eds.). by CRITIS (Conference) (9th : 2014 : Limassol, Cyprus) Panayiotou, Christos G [editor.] Ellinas, Georgios [editor.] Kyriakides, Elias [editor.] Polycarpou, Marios [editor.] Series: Lecture notes in computer science ; 8985. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2016 Other title: CRITIS 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	18.	Architecture of computing systems -- ARCS 2016 : 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings / Frank Hannig, João M.P. Cardoso, Thilo Pionteck, Dietmar Fey, Wolfgang Schröder-Preikschat, Jürgen Teich (eds.). by ARCS (Conference) (29th : 2016 : Nuremberg, Germany) Hannig, Frank [editor.] Cardoso, João M. P [editor.] Pionteck, Thilo [editor.] Fey, Dietmar [editor.] Schröder-Preikschat, W. (Wolfgang) [editor.] Teich, Jürgen, 1964- [editor.] Series: Lecture notes in computer science ; 9637. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: ARCS 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	19.	Passive and active measurement : 17th International Conference, PAM 2016, Heraklion, Greece, March 31-April 1, 2016. Proceedings / Thomas Karagiannis, Xenofontas Dimitropoulos (eds.). by PAM (Conference) (17th : 2016 : Ērakleion, Greece) Karagiannis, Thomas [editor.] Dimitropoulos, Xenofontas [editor.] Series: Lecture notes in computer science ; 9631. \| LNCS sublibrary. SL 5, Computer communication networks and telecommunications. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: PAM 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	20.	Performance evaluation and benchmarking : traditional to big data to internet of things : 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 - September 4, 2015. Revised selected papers / Raghunath Nambiar, Meikel Poess (eds.). by TPC Technology Conference (7th : 2015 : Kapaau, Hawaii) Nambiar, Raghunath [editor.] Poess, Meikel [editor.] Series: Lecture notes in computer science ; 9508. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: TPCTC 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold