Тема, жанр, tags: Management of Computing and Information Systems » Page 12 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Management of Computing and Information Systems » Page 12

book Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

pdf

Author: Anindya Banerjee (auth.) Bernhard Beckert Ferruccio Damiani Dilian Gurov (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

pdf

Author: Antoine Amarilli Fabrice Ben Hamouda Florian Bourse (auth.) Catuscia Palamidessi Mark D. Ryan (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Internet of Things, Smart Spaces, and Next Generation Networking: 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings

Internet of Things, Smart Spaces, and Next Generation Networking: 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings

pdf

Author: Rob van den Dam (auth.) Sergey Balandin Sergey Andreev Yevgeni Koucheryavy (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Public Key Infrastructures, Services and Applications: 9th European Workshop, EuroPKI 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers

Public Key Infrastructures, Services and Applications: 9th European Workshop, EuroPKI 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers

pdf

Author: Masaya Yasuda Jun Yajima Takeshi Shimoyama Jun Kogure (auth.) Sabrina De Capitani di Vimercati Chris Mitchell (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Data and Applications Security and Privacy XXVII: 27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013. Proceedings

Data and Applications Security and Privacy XXVII: 27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013. Proceedings

pdf

Author: Sabrina De Capitani di Vimercati Sara Foresti Sushil Jajodia Giovanni Livraga (auth.) Lingyu Wang Basit Shafiq (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Privacy Enhancing Technologies: 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings

Privacy Enhancing Technologies: 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings

pdf

Author: Craig Gentry Kenny A. Goldman Shai Halevi (auth.) Emiliano De Cristofaro Matthew Wright (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Open Source Software: Quality Verification: 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings

Open Source Software: Quality Verification: 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings

pdf

Author: Aarti Mahajan Bart Clarysse (auth.) Etiel Petrinja Giancarlo Succi Nabil El Ioini Alberto Sillitti (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

pdf

Author: Eduard Paul Enoiu Daniel Sundmark Paul Pettersson (auth.) Hüsnü Yenigün Cemal Yilmaz Andreas Ulrich (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Security, Privacy, and Applied Cryptography Engineering: Third International Conference, SPACE 2013, Kharagpur, India, October 19-23, 2013. Proceedings

Security, Privacy, and Applied Cryptography Engineering: Third International Conference, SPACE 2013, Kharagpur, India, October 19-23, 2013. Proceedings

pdf

Author: Patrick Schaumont Aydin Aysu (auth.) Benedikt Gierlichs Sylvain Guilley Debdeep Mukhopadhyay (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Industrial Internet of Things: Cybermanufacturing Systems

Industrial Internet of Things: Cybermanufacturing Systems

epub

Author: Brecher Christian., Jeschke Sabina., Rawat Danda B., Song Houbing
Language: English
Year: 2017

00

06.02.2024

0

0