Results
|
|
|
|
|
|
|
Dependable software engineering : theories, tools and applications : 2nd international symposium, SETTA, proceedings, Beijing, China, Nov. 9-11, 2016 (e-book) by Franzle, Martin [Editor] | Kapur, Deepak [Editor] | Zhan, Naijun [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9984 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) .
|
|
|
|
|
|
|
|
Current trends in web engineering : ICWE international workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016 (e-book) by Casteleyn, Sven [Editor] | Dolog, Peter [Editor] | Pautasso, Cesare [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9881 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Leveraging applications of formal methods, verification, and validation : 4th international symposium on leveraging applications : proceedings, ISoLA 2010, Heraklion, Crete, Greece, Oct. 18-21, 2010 (e-book) by [International symposium on leveraging applications (4th : 2010 : Heraklion, Crete, Greece)] | Margaria,Tiziana [Editor] | Steffen, Bernhard [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6416 | LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .
|
