Ergebnisse filtern
Fachgebiet
Medium
  • 6
  • 5
Erscheinungsjahr
  • 3
  • 4
  • 2
  • 2
Autoren
  • 2
  • 2
  • 2
  • 1
  • 11
  • 2
  • 2
  • 2
  • 1
  • 1
Verlag
  • 7
  • 4
Preis
  • 1
  • 10
Sprachen
  • 11
Verfügbarkeit
  • 11
Katalog
  • 11
11  Treffer  für „Lanese, Ivan“
    Devitt / Lanese | Reversible Computation | eBook | Sack Fachmedien
    E-Book

    Devitt / Lanese Reversible Computation

    8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40578-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lanese / Madelaine | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Lanese / Madelaine Formal Aspects of Component Software

    11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-15316-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albert / Lanese | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Albert / Lanese Formal Techniques for Distributed Objects, Components, and Systems

    36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39569-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lanese / Rawski | Reversible Computation | eBook | Sack Fachmedien
    E-Book

    Lanese / Rawski Reversible Computation

    12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-52482-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Albert / Lanese | Formal Techniques for Distributed Objects, Components, and Systems | eBook | Sack Fachmedien
    E-Book

    Albert / Lanese Formal Techniques for Distributed Objects, Components, and Systems

    36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-39570-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Devitt / Lanese | Reversible Computation | Buch | Sack Fachmedien

    Devitt / Lanese Reversible Computation

    8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40577-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lanese / Rawski | Reversible Computation | Buch | Sack Fachmedien

    Lanese / Rawski Reversible Computation

    12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-52481-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lanese / Madelaine | Formal Aspects of Component Software | eBook | Sack Fachmedien
    E-Book

    Lanese / Madelaine Formal Aspects of Component Software

    11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15317-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Diaz / Lanese / Sangiorgi | Theoretical Computer Science | Buch | Sack Fachmedien

    Diaz / Lanese / Sangiorgi Theoretical Computer Science

    8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44601-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diaz / Lanese / Sangiorgi | Theoretical Computer Science | eBook | Sack Fachmedien
    E-Book

    Diaz / Lanese / Sangiorgi Theoretical Computer Science

    8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44602-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ulidowski / Lanese / Schultz | Reversible Computation: Extending Horizons of Computing | Buch | Sack Fachmedien

    Ulidowski / Lanese / Schultz Reversible Computation: Extending Horizons of Computing

    Selected Results of the COST Action IC1405
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-47360-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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