Denna webbshop är stängd för köp.
Klicka här för mer information

Sökresultat - Roberto Gorrieri

Sök »
Din sökning gav 15 träffar. Klicka på titeln för mer information eller lägg den i din kundvagn direkt. Om Du inte hittar titeln vid sökning se Söktips

Fördjupa min sökning

  • Foundations of Security Analysis and Design

    Foundations of Security Analysis and Design

    Häftad - 2007 - Engelska - ISBN: 9783540748090

    The increasing relevance of security to real-life applications, such as electronic commerce, is attested by the fast-growing number of research groups, events, conferences, and summer schools that are studying it. This book presents thoroughly revis…

  • Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Häftad - 2006 - Engelska - ISBN: 9783540348931

    This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers toge…

  • Foundations of Security Analysis and Design III

    Foundations of Security Analysis and Design III

    Häftad - 2005 - Engelska - ISBN: 9783540289555

    The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of - search groups, events, conferences, and summer schools that address the study of foundation…

  • Process Algebras for Petri Nets

    Process Algebras for Petri Nets
    av Roberto Gorrieri

    Häftad - 2018 - Engelska - ISBN: 9783319856940

    This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization…

  • Foundations of Security Analysis and Design V

    Foundations of Security Analysis and Design V

    Häftad - 2009 - Engelska - ISBN: 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, FO…

  • Foundations of Security Analysis and Design VI

    Foundations of Security Analysis and Design VI

    Häftad - 2011 - Engelska - ISBN: 9783642230813

    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 timely spectrum of current research in foundations of security,…

  • Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Häftad - 2013 - Engelska - ISBN: 9781475752663

    Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support…

  • Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Inbunden - 1999 - Engelska - ISBN: 9780792384298

    Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support…

  • Automata, Languages and Programming

    Automata, Languages and Programming

    Häftad - 1997 - Engelska - ISBN: 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 Th…

  • Introduction to Concurrency Theory

    Introduction to Concurrency Theory
    av Roberto Gorrieri

    Häftad - 2016 - Engelska - ISBN: 9783319366388

    This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them…

  • Foundations of Security Analysis and Design II

    Foundations of Security Analysis and Design II

    Häftad - 2004 - Engelska - ISBN: 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 analysi…

  • Introduction to Concurrency Theory

    Introduction to Concurrency Theory
    av Roberto Gorrieri

    Inbunden - 2015 - Engelska - ISBN: 9783319214900

    This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them…

  • Computational Methods in Systems Biology

    Computational Methods in Systems Biology

    Häftad - 2009 - Engelska - ISBN: 9783642038440

    This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Biology (CMSB 2009), held in Bologna, from August 31 to September 1, 2009. The ?rst CMSB was held in Trento in 2003, bringing together life scientists, co…

  • Foundations of Security Analysis and Design

    Foundations of Security Analysis and Design

    Häftad - 2001 - Engelska - ISBN: 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 presen…

  • Process Algebras for Petri Nets

    Process Algebras for Petri Nets
    av Roberto Gorrieri

    Inbunden - 2017 - Engelska - ISBN: 9783319555584

    This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization…