Authors:Riccardo Focardi, Roberto Gorrieri,
Publisher: Springer
Keywords: design, analysis, security, foundations
Number of Pages: 267
Published: 2004-03-19
List price: $59.95
ISBN-10: 3540209557
ISBN-13: 9783540209553

Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such applications are badly needed in order to validate and prove their correctness. This book presents thoroughly revised versions of six tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2001/2002, held in Bertinoro, Italy, in

Authors:Riccardo Focardi, Roberto Gorrieri,
Publisher: Springer
Keywords: lecture, notes, computer, science, lectures, tutorial, security, analysis, design, foundations
Number of Pages: 397
Published: 2001-12-12
List price: $89.95
ISBN-10: 3540428968
ISBN-13: 9783540428961

Security is a rapidly growing area of computer science, with direct and increasing relevance to real life applications such as Internet transactions, electronic commerce, information protection, network and systems integrity, etc. This volume presents thoroughly revised versions of lectures given by leading security researchers during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, held in Bertinoro, Italy in September. Mathematical Models of Computer Security (Peter Y.A. Ryan); The Logic of Authentication Protocols (Paul Syversen and Iliano Cer

Authors:Alessandro Aldini, Roberto Gorrieri,
Publisher: Springer
Keywords: security, notes, computer, cryptology, lecture, science, turtorial, analysis, design, fosad, foundations, lectures
Number of Pages: 325
Published: 2007-10-12
List price: $69.95
ISBN-10: 3540748091
ISBN-13: 9783540748090

The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of research groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security aspects. This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2006/2007, held in Bertinoro, Italy, in September 2006 and September 2007. The lectures are devoted to Fo

Authors:Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
Publisher: Springer
Keywords: security, notes, computer, cryptology, lecture, science, tutorial, analysis, design, fosad, foundations, lectures
Number of Pages: 339
Published: 2009-09-18
List price: $69.95
ISBN-10: 364203828X
ISBN-13: 9783642038280

FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open problems, and giving presentations about ongoing work in the field, in order to favour discussions and novel scientific collaborations. This book presents thoroughly revised versions of ten tutorial lectures given by leading researchers during three International Schools on Foundations of Security A

Authors:Pierpaolo Degano, Roberto Gorrieri, Alberto Marchett
Publisher: Springer
Keywords: proceedings, july, lecture, notes, science, computer, italy, bologna, programming, languages, 24th, international, icalp, colloquium, automata
Number of Pages: 862
Published: 1997-07-24
List price: $121.00
ISBN-10: 3540631658
ISBN-13: 9783540631651

This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP ’97, held in Bologna, Italy, in July 1997. ICALP ’97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has sponsored the ICALP meetings since 1972.The volume presents 73 revised full papers selected from a total of 197 submissions. Also included are six invited contributions. ICALP is one of the few flagship conferences in the area. The book addresses all current topics in theoretical computer sci

Authors:Roberto Sampaolesi, Jorge Zarate, Juan Roberto Sampa
Publisher: Springer
Keywords: glaucomas, pediatric, volume
Number of Pages: 508
Published: 2009-01-28
List price: $249.00
ISBN-10: 3540691448
ISBN-13: 9783540691440

Congenital glaucoma is a complex problem, which has been a frequent cause of blindness in the past. Over the past decades, the prognosis of congenital glaucoma has completely changed. Surgical results are very good and enable these children to integrate entirely as adults in society. Based on the authors’ accumulated experience of more than 50 years and 860 cases operated for congenital glaucoma, this well-structured and lavishly illustrated textbook-atlas covers all aspects of congenital and infantile glaucoma, such as the original method for examining new-borns under general anaesthesia i

Author: Roberto Carlos Rodrìguez-Saona Roberto Rodriguez-
Publisher: Routledge
Keywords: colloquial, beginners, series, course, america, spanish, latin, complete
Number of Pages: 336
Published: 2002-01-01
List price: $29.95
ISBN-10: 0415237866
ISBN-13: 9780415237864

The second edition of the best-selling beginner’s course makes learning Latin American Spanish easy and enjoyable. It has been brought right up-to-date, to include the language of the Internet, email, and mobile phones.