Ergebnisse filtern
Fachgebiet
Medium
  • 14
  • 14
Erscheinungsjahr
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 1
Autoren
  • 2
  • 28
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
Verlag
  • 2
  • 20
  • 4
  • 2
Preis
  • 2
  • 26
Sprachen
  • 28
Verfügbarkeit
  • 28
Katalog
  • 28
  • 1
28  Treffer  für „Barthe, Gilles“
    Barthe / Datta / Etalle | Formal Aspects of Security and Trust | Buch | Sack Fachmedien

    Barthe / Datta / Etalle Formal Aspects of Security and Trust

    8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29419-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe | Programming Languages and Systems | eBook | Sack Fachmedien
    E-Book

    Barthe Programming Languages and Systems

    20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-19718-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barthe | Formal Methods for Open Object-Based Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Barthe Formal Methods for Open Object-Based Distributed Systems

    10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-68863-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barthe | Foundations of Probabilistic Programming | eBook | Sack Fachmedien
    E-Book

    Barthe Foundations of Probabilistic Programming

    Erscheinungsjahr 2020
    Verlag: Cambridge University Press
    ISBN: 978-1-108-80574-2
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    54,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barthe | Programming Languages and Systems | Buch | Sack Fachmedien

    Barthe Programming Languages and Systems

    20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19717-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Barthe Formal Methods for Open Object-Based Distributed Systems

    10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68862-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Fournet | Trustworthy Global Computing | eBook | Sack Fachmedien
    E-Book

    Barthe / Fournet Trustworthy Global Computing

    Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
    2008
    Verlag: Springer
    ISBN: 978-3-540-78663-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barthe / Hermenegildo | Verification, Model Checking, and Abstract Interpretation | eBook | Sack Fachmedien
    E-Book

    Barthe / Hermenegildo Verification, Model Checking, and Abstract Interpretation

    11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-11319-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fournet / Barthe | Trustworthy Global Computing | Buch | Sack Fachmedien

    Fournet / Barthe Trustworthy Global Computing

    Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78662-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Hermenegildo | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Barthe / Hermenegildo Verification, Model Checking, and Abstract Interpretation

    11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11318-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Markatos / Samarati | Security and Trust Management | eBook | Sack Fachmedien
    E-Book

    Barthe / Markatos / Samarati Security and Trust Management

    12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46598-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barthe / Datta / Etalle | Formal Aspects of Security and Trust | eBook | Sack Fachmedien
    E-Book

    Barthe / Datta / Etalle Formal Aspects of Security and Trust

    8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-29420-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Aldini / Barthe / Gorrieri | Foundations of Security Analysis and Design V | Buch | Sack Fachmedien

    Aldini / Barthe / Gorrieri Foundations of Security Analysis and Design V

    FOSAD 2008/2009 Tutorial Lectures
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03828-0
    Medium: Buch
    49,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Pardo / Schneider | Software Engineering and Formal Methods | eBook | Sack Fachmedien
    E-Book

    Barthe / Pardo / Schneider Software Engineering and Formal Methods

    9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-24690-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barthe / Samarati / Markatos | Security and Trust Management | Buch | Sack Fachmedien

    Barthe / Samarati / Markatos Security and Trust Management

    12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46597-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Livshits / Scandariato | Engineering Secure Software and Systems | eBook | Sack Fachmedien
    E-Book

    Barthe / Livshits / Scandariato Engineering Secure Software and Systems

    4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-28166-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Aldini / Barthe / Gorrieri | Foundations of Security Analysis and Design V | eBook | Sack Fachmedien
    E-Book

    Aldini / Barthe / Gorrieri Foundations of Security Analysis and Design V

    FOSAD 2008/2009 Tutorial Lectures
    2009
    Verlag: Springer
    ISBN: 978-3-642-03829-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barthe / Livshits / Scandariato | Engineering Secure Software and Systems | Buch | Sack Fachmedien

    Barthe / Livshits / Scandariato Engineering Secure Software and Systems

    4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28165-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Pardo / Schneider | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Barthe / Pardo / Schneider Software Engineering and Formal Methods

    9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24689-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silva / Barthe / Katoen | Foundations of Probabilistic Programming | Buch | Sack Fachmedien

    Silva / Barthe / Katoen Foundations of Probabilistic Programming

    Erscheinungsjahr 2020
    Verlag: Cambridge University Press
    ISBN: 978-1-108-48851-8
    Medium: Buch
    71,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuellar / Lopez / Barthe | Security and Trust Management | Buch | Sack Fachmedien

    Cuellar / Lopez / Barthe Security and Trust Management

    6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22443-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Saraiva / Dybjer | Applied Semantics | Buch | Sack Fachmedien

    Barthe / Saraiva / Dybjer Applied Semantics

    International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44044-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Dybjer / Pinto | Applied Semantics | eBook | Sack Fachmedien
    E-Book

    Barthe / Dybjer / Pinto Applied Semantics

    International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
    2002
    Verlag: Springer
    ISBN: 978-3-540-45699-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cuellar / Lopez / Barthe | Security and Trust Management | eBook | Sack Fachmedien
    E-Book

    Cuellar / Lopez / Barthe Security and Trust Management

    6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-22444-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barthe / Gregoire / Huisman | Construction and Analysis of Safe, Secure, and Interoperable Smart Devices | Buch | Sack Fachmedien

    Barthe / Gregoire / Huisman Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33689-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular