Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
5 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT
Yazdır
1. 
Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings için kapak resmi
Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
by 
Barthe, Gilles. editor.
https://doi.org/10.1007/978-3-642-28166-2
Format: 
Alıntı: 
Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The
2. 
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings için kapak resmi
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
by 
Barthe, Gilles. editor.
https://doi.org/10.1007/978-3-642-24690-6
Format: 
Alıntı: 
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo
3. 
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings için kapak resmi
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
by 
Barthe, Gilles. editor.
https://doi.org/10.1007/978-3-642-19718-5
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
4. 
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers için kapak resmi
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
by 
Barthe, Gilles. editor.
https://doi.org/10.1007/978-3-540-78663-4
Format: 
Alıntı: 
Theoretical Computer Science and General Issues,
5. 
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings için kapak resmi
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
by 
Barthe, Gilles. editor.
https://doi.org/10.1007/978-3-540-68863-1
Format: 
Alıntı: 
Programming and Software Engineering,