Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
8 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT
Yazdır
1. 
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday için kapak resmi
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
by 
Degano, Pierpaolo. editor.
https://doi.org/10.1007/978-3-540-68679-8
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
2. 
Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings için kapak resmi
Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
by 
Degano, Pierpaolo. editor.
https://doi.org/10.1007/978-3-642-28641-4
Format: 
Alıntı: 
Data encryption (Computer science).
3. 
Formal Aspects of Security and Trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers için kapak resmi
Formal Aspects of Security and Trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
by 
Degano, Pierpaolo. editor.
https://doi.org/10.1007/978-3-642-19751-2
Format: 
Alıntı: 
Data encryption (Computer science).
4. 
Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers için kapak resmi
Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
by 
Degano, Pierpaolo. editor.
https://doi.org/10.1007/978-3-642-12459-4
Format: 
Alıntı: 
Data encryption (Computer science).
5. 
Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers için kapak resmi
Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
by 
Degano, Pierpaolo. editor.
https://doi.org/10.1007/978-3-642-03459-6
Format: 
Alıntı: 
Data encryption (Computer science).
6. 
Computational Methods in Systems Biology 7th International Conference, CMSB 2009 için kapak resmi
Computational Methods in Systems Biology 7th International Conference, CMSB 2009
by 
Degano, Pierpaolo. editor.
https://doi.org/10.1007/978-3-642-03845-7
Format: 
Alıntı: 
Computer science.
7. 
Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers için kapak resmi
Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers
by 
Degano, Pierpaolo. editor.
https://doi.org/10.1007/978-3-642-01465-9
Format: 
Alıntı: 
Data encryption (Computer science).
8. 
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 için kapak resmi
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
by 
Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-540-68894-5
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.