Your search returned 10 results.

Not what you expected? Check for suggestions

Results
	1.	Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures / Alessandro Aldini, Roberto Gorrieri (eds.). by International School on Foundations of Security Analysis and Design (2006 : Bertinoro, Italy) Aldini, Alessandro Gorrieri, Roberto International School on Foundations of Security Analysis and Design (2007 : Bertinoro, Italy) Series: LNCS sublibrary. SL 4, Security and cryptology. \| Lecture notes in computer science ; 4677. \| Lecture notes in computer science. Tutorial. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 12119967 Publisher: Berlin ; New York : Springer, ©2007 Other title: Foundations of security analysis and design 4 Foundations of security analysis and design four FOSAD 2006/2007 tutorial lectures In: Springer e-books Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures / Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.). by International School on Foundations of Security Analysis and Design (2004 : Bertinoro, Italy) Aldini, Alessandro Gorrieri, Roberto Martinelli, Fabio, 1969- International School on Foundations of Security Analysis and Design (2005 : Bertinoro, Italy) Series: Lecture notes in computer science ; 3655. \| Lecture notes in computer science. Tutorial. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005 Other title: FOSAD 2004/2005 tutorial lectures Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures / Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.). by Aldini, Alessandro Barthe, Gilles, 1967- Gorreri, Roberto International School on Foundations of Security Analysis and Design (2007 : Bertinoro, Italy) International School on Foundations of Security Analysis and Design (2008 : Bertinoro, Italy) International School on Foundations of Security Analysis and Design (2009 : Bertinoro, Italy) Series: Lecture notes in computer science ; 5705. \| Tutorial Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 12738250 Publication details: Berlin : Springer, ©2009 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	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, Italy, June 21-26, 2010 ; advanced lectures / Alessandro Aldini [and others] (eds.). by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th : 2010 : Bertinoro, Italy) Aldini, Alessandro Series: Lecture notes in computer science ; 6154. \| Lecture notes in computer science. Tutorial. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, 2010 Other title: SFM 2010 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Computer performance engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings / Alessandro Aldini [and others] (eds.). by EPEW (Workshop) (7th : 2010 : Bertinoro, Italy) Aldini, Alessandro Series: Lecture notes in computer science ; 6342. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, 2010 Other title: EPEW 2010 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Foundations of security analysis and design VI : FOSAD tutorial lectures / Alessandro Aldini, Roberto Gorrieri (eds.). by International School on Foundations of Security Analysis and Design (2010 : Bertinoro, Italy) Aldini, Alessandro Gorrieri, Roberto Series: Lecture notes in computer science ; 6858. \| Lecture notes in computer science. Tutorial. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, ©2011 Other title: FOSAD tutorial lectures FOSAD 2010 Foundations of security analysis and design 6 Foundations of security analysis and design six Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Foundations of security analysis and design VII : FOSAD 2012/2013 tutorial lectures / Alessandro Aldini, Javier Lopez, Fabio Martinelli (eds.). by International School on Foundations of Security Analysis and Design (2012 : Bertinoro, Italy) Aldini, Alessandro [editor.] Lopez, Javier [editor.] Martinelli, Fabio, 1969- [editor.] International School on Foundations of Security Analysis and Design (2013 : Bertinoro, Italy) Series: Lecture notes in computer science ; 8604. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2014 Other title: Foundations of security analysis and design 7 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	Foundations of security analysis and design VIII : FOSAD 2014/2015/2016 tutorial lectures / Alessandro Aldini, Javier Lopez, Fabio Martinelli (eds.). by International Summer School on Foundations of Security Analysis and Design (2014 : Bertinoro, Italy) Aldini, Alessandro [editor.] Lopez, Javier [editor.] Martinelli, Fabio, 1969- [editor.] International Summer School on Foundations of Security Analysis and Design (2015 : Bertinoro, Italy) International Summer School on Foundations of Security Analysis and Design (2016 : Bertinoro, Italy) Series: Lecture notes in computer science ; 9808. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: Foundations of security analysis and design 8 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	9.	Data privacy management and security assurance : 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, proceedings / Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri (eds.). by DPM (Workshop) (11th : 2016 : Ērakleion, Greece) Livraga, Giovanni [editor.] Torra, Vicenç [editor.] Aldini, Alessandro [editor.] Martinelli, Fabio, 1969- [editor.] Suri, N. (Neeraj) [editor.] QASA (Workshop) (5th : 2016 : Ērakleion, Greece) Series: Lecture notes in computer science ; 9963. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: DPM 2016 QASA 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	10.	Software engineering and formal methods : SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised selected papers / Alessandro Aldini, editor. by International Workshop on Software Engineering and Formal Methods (21st : 2023 : Eindhoven, Netherlands) Aldini, Alessandro [editor.] CIFMA (Workshop) (5th : 2023 : Eindhoven, Netherlands) OpenCERT (Symposium) (11th : 2023 : Eindhoven, Netherlands) Series: Lecture notes in computer science ; 14568. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2024 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha