Ergebnisse filtern
Fachgebiet
Medium
  • 4
  • 2
Erscheinungsjahr
  • 2
  • 3
  • 1
Autoren
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 4
  • 2
  • 2
  • 1
  • 5
  • 1
  • 2
  • 2
  • 2
  • 1
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 1
  • 2
  • 1
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 2
  • 2
  • 1
  • 3
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 4
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 3
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 7
  • 2
  • 2
  • 2
  • 1
  • 4
  • 4
  • 2
  • 5
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 4
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 6
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 4
  • 1
  • 4
  • 1
  • 2
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 1
  • 3
  • 4
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 4
Verlag
  • 1
  • 3
  • 2
Preis
  • 1
  • 4
  • 1
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6
6  Treffer  für „Sergey, Ilya“
    Sergey | Programming Languages and Systems | eBook | Sack Fachmedien
    E-Book

    Sergey Programming Languages and Systems

    20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-21037-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Sergey | Programming Languages and Systems | Buch | Sack Fachmedien

    Sergey Programming Languages and Systems

    31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-99335-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sergey | Programming Languages and Systems | Buch | Sack Fachmedien

    Sergey Programming Languages and Systems

    20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-21036-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sergey / Gebser | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Sergey / Gebser Practical Aspects of Declarative Languages

    26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-52037-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gebser / Sergey | Practical Aspects of Declarative Languages | eBook | Sack Fachmedien
    E-Book

    Gebser / Sergey Practical Aspects of Declarative Languages

    26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-52038-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ringer / Palmskog / Sergey | QED at Large | Buch | Sack Fachmedien

    Ringer / Palmskog / Sergey QED at Large

    A Survey of Engineering of Formally Verified Software
    Erscheinungsjahr 2019
    Verlag: Now Publishers Inc
    ISBN: 978-1-68083-594-6
    Medium: Buch
    121,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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