Related Books

Protocols, Strands, and Logic
Language: en
Pages: 435
Authors: Daniel Dougherty
Categories: Computers
Type: BOOK - Published: 2021-11-18 - Publisher: Springer Nature

DOWNLOAD EBOOK

This Festschrift was published in honor of Joshua Guttman on the occasion of his 66.66 birthday. The impact of his work is reflected in the 23 contributions enc
Logic, Language, and Security
Language: en
Pages: 208
Authors: Vivek Nigam
Categories: Mathematics
Type: BOOK - Published: 2020-10-28 - Publisher: Springer Nature

DOWNLOAD EBOOK

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volum
Aspects of Network and Information Security
Language: en
Pages: 368
Authors: Evangelos Kranakis
Categories: Computers
Type: BOOK - Published: 2008 - Publisher: IOS Press

DOWNLOAD EBOOK

Understanding network vulnerabilities in order to protect networks from external and internal threats is vital to the world's economy and should be given the hi
Formal Methods and Software Engineering
Language: en
Pages: 508
Authors: Kung-Kiu Lau
Categories: Computers
Type: BOOK - Published: 2005-10-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November
Distributed Computing and Internet Technology
Language: en
Pages: 286
Authors: Ram Ramanujam
Categories: Computers
Type: BOOK - Published: 2012-02-21 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Distributed Computing and Internet Technology, ICDCIT 2012, held in Bhuban