|
351.
|
|
|
352.
|
|
|
353.
|
|
|
354.
|
|
|
355.
|
|
|
356.
|
Validated Designs for Object-oriented Systems Электронный ресурс by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef. by Fitzgerald, John | Larsen, Peter Gorm | Mukherjee, Paul | Plat, Nico | Verhoef, Marcel | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: London : Springer-Verlag London Limited, 2005Online access: Click here to access online Availability: No items available :
|
|
357.
|
|
|
358.
|
|
|
359.
|
|
|
360.
|
|
|
361.
|
|
|
362.
|
|
|
363.
|
|
|
364.
|
|
|
365.
|
|
|
366.
|
|
|
367.
|
|
|
368.
|
|
|
369.
|
|
|
370.
|
|
|
371.
|
Decision and Game Theory for Security electronic resource 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings / edited by MHR Khouzani, Emmanouil Panaousis, George Theodorakopoulos. by Khouzani, MHR [editor.] | Panaousis, Emmanouil [editor.] | Theodorakopoulos, George [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
372.
|
Tools and Algorithms for the Construction and Analysis of Systems electronic resource 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli. by Baier, Christel [editor.] | Tinelli, Cesare [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
373.
|
|
|
374.
|
|
|
375.
|
|
|
376.
|
|
|
377.
|
|
|
378.
|
|
|
379.
|
|
|
380.
|
|
|
381.
|
|
|
382.
|
|
|
383.
|
|
|
384.
|
|
|
385.
|
|
|
386.
|
Traffic Monitoring and Analysis electronic resource 6th International Workshop, TMA 2014, London, UK, April 14, 2014. Proceedings / edited by Alberto Dainotti, Anirban Mahanti, Steve Uhlig. by Dainotti, Alberto [editor.] | Mahanti, Anirban [editor.] | Uhlig, Steve [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
387.
|
|
|
388.
|
|
|
389.
|
|
|
390.
|
|
|
391.
|
Policies and Research in Identity Management [electronic resource] : Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings / edited by Simone Fischer-Hübner, Elisabeth Leeuw, Chris Mitchell. by Fischer-Hübner, Simone [editor.] | Leeuw, Elisabeth [editor.] | Mitchell, Chris [editor.] | SpringerLink (Online service). Series: IFIP Advances in Information and Communication TechnologySource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
392.
|
|
|
393.
|
|
|
394.
|
|
|
395.
|
|
|
396.
|
|
|
397.
|
|
|
398.
|
|
|
399.
|
|
|
400.
|
|