641. Advanced information systems engineering workshops : 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings /: 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings. (2016) Editors: Nurcan, Selmin; Soffer, Pnina; Bajec, Marko; Eder, J (Johann), 1958- Other Names: CAiSE (Conference), 28th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
642. Software architecture in action : designing and executing architectural models with SysADL grounded on the OMG SysML standard /: designing and executing architectural models with SysADL grounded on the OMG SysML standard. (2016) Authors: Oquendo, Flavio, 1958-; Leite, Jair; Batista, Thais Record Type: Book Extent: 1 online resource (236 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
643. Industrial IoT technologies and applications : International Conference, Industrial IoT 2016, GuangZhou, China, March 25-26, 2016, Revised selected papers /: International Conference, Industrial IoT 2016, GuangZhou, China, March 25-26, 2016, Revised selected papers. (2016) Editors: Wan, Jiafu; Humar, Iztok; Zhang, Daqiang Other Names: International Conference on Industrial IoT Technologies and Applications Record Type: Book Extent: 1 online resource (xi, 270 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
644. Computer aided verification. 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings /: 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings. Part II : (2016) Editors: Chaudhuri, Swarat; Farzan, Azadeh Other Names: CAV (Conference), 28th Record Type: Book Extent: 1 online resource (xvii, 521 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
645. Computer performance engineering : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /: 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings. (2016) Editors: Fiems, Dieter; Paolieri, Marco; Platis, Agapios N Other Names: EPEW (Workshop), 13th Record Type: Book Extent: 1 online resource (xviii, 221 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
646. Formal modeling and analysis of timed systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings /: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings. (2016) Editors: Fränzle, Martin; Markey, Nicolas, 1976- Other Names: FORMATS (Conference), 14th Record Type: Book Extent: 1 online resource (xii, 245 pages), illustrations (chiefly color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
647. Computer aided verification. 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings /: 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings. Part I : (2016) Editors: Chaudhuri, Swarat; Farzan, Azadeh Other Names: CAV (Conference), 28th Record Type: Book Extent: 1 online resource (xvii, 541 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
648. The handbook of formal methods in human-computer interaction. (2017) Editors: Weyers, Benjamin; Bowen, Judy (Judith Alyson); Dix, Alan; Palanque, Philippe, 1966- Record Type: Book Extent: 1 online resource (xiv, 575 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
649. Coordination of complex sociotechnical systems : self-organisation of knowledge in MoK /: self-organisation of knowledge in MoK. (2016) Other Names: Mariani, Stefano Record Type: Book Extent: 1 online resource (252 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
650. Requirements engineering : foundation for software quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27-March 2, 2017, Proceedings /: foundation for software quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27-March 2, 2017, Proceedings. (2017) Editors: Grünbacher, Paul; Perini, Anna Other Names: REFSQ (Conference), 23rd Record Type: Book Extent: 1 online resource (xix, 380 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗