Alessandro Aldini,
Marco Bernardo,
Alessandra Di Pierro,
Herbert Wiklicky
e.a.
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, 2010, Advanced Lectures
Paperback Engels 2010 9783642136771Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
Probabilistic Semantics and Program Analysis.- Measurement-Based and Universal Blind Quantum Computation.- Information Theory and Security: Quantitative Information Flow.- Performance and Security Tradeoff.
Specificaties
ISBN13:9783642136771
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:169
Uitgever:Springer Berlin Heidelberg
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Probabilistic Semantics and Program Analysis.- Measurement-Based and Universal Blind Quantum Computation.- Information Theory and Security: Quantitative Information Flow.- Performance and Security Tradeoff.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan