wyszukanych pozycji: 6
![]() |
Trustworthy Global Computing: 7th International Symposium, Tgc 2012, Newcastle Upon Tyne, Uk, September 7-8, 2012, Revised Selected Papers
ISBN: 9783642411564 / Angielski / Miękka / 2013 / 213 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 14 submissions. The papers cover a wide range of topics in the area of global computing and reliable computation in the so-called global computers, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectures, autonomic systems...
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012...
|
cena:
182,57 zł |
![]() |
Concur 2000 - Concurrency Theory: 11th International Conference, University Park, Pa, Usa, August 22-25, 2000 Proceedings
ISBN: 9783540678977 / Angielski / Miękka / 2000 / 613 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and...
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA...
|
cena:
396,86 zł |
![]() |
Logic Programming: 19th International Conference, Iclp 2003, Mumbai, India, December 9-13, 2003, Proceedings
ISBN: 9783540206422 / Angielski / Miękka / 2003 / 524 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the 19th International Conference on Logic Programming, ICLP 2003, held in Mumbai, India in December 2003.The 23 revised full papers and 19 poster papers presented together with 5 invited full contributions and abstracts of 4 invited contributions were carefully reviewed and selected from 81 submissions. All current issues in logic programming are addressed.
This book constitutes the refereed proceedings of the 19th International Conference on Logic Programming, ICLP 2003, held in Mumbai, India in December...
|
cena:
476,24 zł |
![]() |
Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers
ISBN: 9783642273742 / Angielski / Miękka / 2012 / 225 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrucken, Germany, in March/April 2011, in association with ETAPS 2011. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 24 submissions. The papers feature topics including various methods in computer security, including the formal specification, analysis and design of security protocols and their applications, the formal definition of various...
This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known ...
|
cena:
198,41 zł |
![]() |
Methods for Location Privacy: A Comparative Overview
ISBN: 9781680833669 / Angielski / Miękka / 2017 / 74 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Examines the various privacy breaches that may arise due to the use of LBSs, and considers and compares the mechanisms and metrics that have been proposed to protect user privacy, focusing in particular on a comparison between probabilistic spatial obfuscation techniques.
Examines the various privacy breaches that may arise due to the use of LBSs, and considers and compares the mechanisms and metrics that have been prop...
|
cena:
282,94 zł |
![]() |
Principles of Declarative Programming: 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings
ISBN: 9783540650126 / Angielski / Miękka / 1998 / 504 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International Conference on Algebraic and Logic Programming, ALP'98, in Pisa, Italy, in September 1998.
The 26 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Also included are two invited papers and abstracts of two tutorials. The papers are organized in topical sections on verification, logic programming, static analysis, software methodologies, object... This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PL...
|
cena:
198,41 zł |