Opening book details…
Can I read Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7173) on EtoBox?
Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7173) by Viviana Bono, Sara Capecchi, Ilaria Castellani (auth.), Roberto Bruni, Vladimiro Sassone (eds.) is a nonfiction available to read on EtoBox.
What is Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7173) about?
This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification. Erscheinungsdatum: 22.05.2012
Who reads Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7173)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Viviana Bono, Sara Capecchi, Ilaria Castellani (auth.), Roberto Bruni, Vladimiro Sassone (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2012
- Language
- EN
- ISBN
- 9783642300653
- Category
- nonfiction
- Subjects
- Engineering, Computer Science, Management
More by Viviana Bono, Sara Capecchi, Ilaria Castellani (auth.), Roberto Bruni, Vladimiro Sassone (eds.)
Similar books
- Trustworthy global computing : 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014 : revised selected papers — Emilio Tuosto Matteo Maffei (2014)
- Trustworthy Global Computing : 7th International Symposium, TGC 2012, Newcastle Upon Tyne, UK, September 7-8, 2012, Revised Selected Papers — Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse (auth.), Catuscia Palamidessi, Mark D. Ryan (2013)
- Trustworthy Global Computing: 4th International Symposium, Tgc 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers (lecture Notes In Computer Science) — Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro (auth.), Christos Kaklamanis, Flemming Nielson (2009)
- High-performance Scientific Computing: First Jara-hpc Symposium, Jhpcs 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers (lecture Notes In Computer Science) — Edoardo Di Napoli, Marc-André Hermanns, Hristo Iliev, Andreas Lintermann, Alexander Peyser (2017)
- Parameterized and Exact Computation: 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers (Lecture Notes in Computer Science, 7112) — Marek Cygan, Marcin Pilipczuk, Michał Pilipczuk (auth.), Dániel Marx, Peter Rossmanith (2012)
- Security in Computing and Communications: 6th International Symposium, SSCC 2018, Bangalore, India, September 19–22, 2018, Revised Selected Papers ... in Computer and Information Science (969)) — Sabu M Thampi; Sanjay Madria; Guojun Wang, (Computer scientist); Danda B Rawat; Jose M Alcaraz Calero (2019)
