Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-11 of 11)
Aldini, Alessandro.
3
E-book
2010

Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Ital


International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th : 2010 : Bertinoro, Italy)



Rating:

 
4
E-book
2005

Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures


International School on Foundations of Security Analysis and Design (2004 : Bertinoro, Italy)



Rating:

 
5
E-book
2007

Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures


International School on Foundations of Security Analysis and Design (2006 : Bertinoro, Italy)



Rating:

 
7
E-book
2011

Foundations of security analysis and design VI : FOSAD tutorial lectures


International School on Foundations of Security Analysis and Design (2010 : Bertinoro, Italy)



Rating:

 
8
E-book
2014

Foundations of security analysis and design VII : FOSAD 2012/2013 tutorial lectures


International School on Foundations of Security Analysis and Design (2012 : Bertinoro, Italy)

Cham : Springer, 2014

Rating:

 
9
E-book
2016

Foundations of security analysis and design VIII : FOSAD 2014/2015/2016 tutorial lectures


International Summer School on Foundations of Security Analysis and Design (2014 : Bertinoro, Italy)

Switzerland : Springer, 2016

Rating:

 
11
E-book
2014

User-centric networking : future perspectives




Cham : Springer Science and Business Media, [2014]

Rating:

 
Add Marked to Bag Add All On Page
Locate in results