Ergebnisse filtern
Fachgebiet
Medium
  • 1832
  • 193
  • 4
  • 3
Erscheinungsjahr
  • 22
  • 164
  • 187
  • 100
  • 113
  • 114
  • 86
  • 118
  • 52
  • 59
  • 52
  • 43
  • 94
  • 145
  • 37
  • 85
  • 30
  • 23
  • 27
  • 23
  • 27
  • 27
  • 22
  • 24
  • 36
  • 22
  • 24
  • 27
  • 33
  • 22
  • 20
  • 23
  • 10
  • 14
  • 9
  • 21
  • 23
  • 10
  • 17
  • 8
  • 7
  • 2
  • 2
  • 5
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 5
  • 3
  • 4
  • 9
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 9
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 22
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 8
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 5
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 13
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 4
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 13
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 11
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 8
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 3
  • 5
  • 6
  • 5
  • 13
  • 14
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 8
  • 11
  • 4
  • 3
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 13
  • 5
  • 4
  • 13
  • 6
  • 5
  • 4
  • 4
  • 3
  • 5
  • 3
  • 6
Verlag
  • 3
  • 3
  • 2
  • 5
  • 3
  • 6
  • 2
  • 21
  • 1
  • 1
  • 2
  • 16
  • 2
  • 131
  • 176
  • 1
  • 2
  • 2
  • 21
  • 14
  • 6
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 2
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 8
  • 13
  • 1
  • 221
  • 242
  • 338
  • 2
  • 106
  • 169
  • 33
  • 27
  • 230
  • 2
  • 3
  • 1
  • 43
  • 8
  • 38
  • 20
  • 3
  • 14
  • 1
  • 37
  • 1
  • 1
  • 10
Preis
  • 25
  • 197
  • 891
  • 919
Sprachen
  • 1915
  • 120
  • 1
Verfügbarkeit
  • 2002
  • 30
Eigenschaften
  • 1
Katalog
  • 2032
  • 110
2.032  Titel
    Jabraeil Jamali / Bahrami / Norouzi | Towards the Internet of Things | Buch | Sack Fachmedien

    Jabraeil Jamali / Bahrami / Norouzi Towards the Internet of Things

    Architectures, Security, and Applications
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-18470-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Topaloglu | More than Moore Technologies for Next Generation Computer Design | Buch | Sack Fachmedien

    Topaloglu More than Moore Technologies for Next Generation Computer Design

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-1-4939-4710-2
    Medium: Buch
    99,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dang / Ben Abdallah | Neuromorphic Computing Principles and Organization | Buch | Sack Fachmedien

    Dang / Ben Abdallah Neuromorphic Computing Principles and Organization

    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-92527-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rangarajan / Patnaik / Sinanoglu | The Next Era in Hardware Security | Buch | Sack Fachmedien

    Rangarajan / Patnaik / Sinanoglu The Next Era in Hardware Security

    A Perspective on Emerging Technologies for Secure Electronics
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-85794-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halak | Machine Learning for Embedded System Security | Buch | Sack Fachmedien

    Halak Machine Learning for Embedded System Security

    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-94180-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halak | Machine Learning for Embedded System Security | Buch | Sack Fachmedien

    Halak Machine Learning for Embedded System Security

    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-94177-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Elahi | Computer Systems | Buch | Sack Fachmedien

    Elahi Computer Systems

    Digital Design, Fundamentals of Computer Architecture and ARM Assembly Language
    2. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-93448-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drechsler / Huhn | Design for Testability, Debug and Reliability | Buch | Sack Fachmedien

    Drechsler / Huhn Design for Testability, Debug and Reliability

    Next Generation Measures Using Formal Techniques
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-69208-7
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Islam / Katkoori | Behavioral Synthesis for Hardware Security | Buch | Sack Fachmedien

    Islam / Katkoori Behavioral Synthesis for Hardware Security

    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-78840-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Islam / Katkoori | Behavioral Synthesis for Hardware Security | Buch | Sack Fachmedien

    Islam / Katkoori Behavioral Synthesis for Hardware Security

    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-78843-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mathew / Manna | Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures | Buch | Sack Fachmedien

    Mathew / Manna Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures

    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-31312-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kang / Shanbhag / Gonugondla | Deep In-memory Architectures for Machine Learning | Buch | Sack Fachmedien

    Kang / Shanbhag / Gonugondla Deep In-memory Architectures for Machine Learning

    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-35973-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ünsalan / Atmaca / Höke | Embedded Machine Learning with Microcontrollers | Buch | Sack Fachmedien

    Ünsalan / Atmaca / Höke Embedded Machine Learning with Microcontrollers

    Applications on STM32 Development Boards
    2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-70911-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drechsler / Abdessaied | Reversible and Quantum Circuits | Buch | Sack Fachmedien

    Drechsler / Abdessaied Reversible and Quantum Circuits

    Optimization and Complexity Analysis
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-81158-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Currie | Mixed-Signal Embedded Systems Design | Buch | Sack Fachmedien

    Currie Mixed-Signal Embedded Systems Design

    A Hands-on Guide to the Cypress PSoC
    1. Auflage 2021
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-70311-0
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soudris / Fornaciari | Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms | Buch | Sack Fachmedien

    Soudris / Fornaciari Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms

    A Cross-layer Approach
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-91961-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lent / Snider / Orlov | Energy Limits in Computation | Buch | Sack Fachmedien

    Lent / Snider / Orlov Energy Limits in Computation

    A Review of Landauer's Principle, Theory and Experiments
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-93457-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deschamps / Terés / Valderrama | Digital Systems | Buch | Sack Fachmedien

    Deschamps / Terés / Valderrama Digital Systems

    From Logic Gates to Processors
    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-82292-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Versari / Gorrieri | Introduction to Concurrency Theory | Buch | Sack Fachmedien

    Versari / Gorrieri Introduction to Concurrency Theory

    Transition Systems and CCS
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-36638-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kott | Automata, Languages and Programming | Buch | Sack Fachmedien

    Kott Automata, Languages and Programming

    13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings
    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16761-7
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bibel / Delgrande / Shapiro | Fundamentals of Artificial Intelligence | Buch | Sack Fachmedien

    Bibel / Delgrande / Shapiro Fundamentals of Artificial Intelligence

    An Advanced Course
    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16782-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahn | Functional Programming Languages and Computer Architecture | Buch | Sack Fachmedien

    Kahn Functional Programming Languages and Computer Architecture

    Portland, Oregon, USA, September 14-16, 1987. Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18317-4
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Fasel | Graph Reduction | Buch | Sack Fachmedien

    Keller / Fasel Graph Reduction

    Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18420-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ottmann | Automata, Languages and Programming | Buch | Sack Fachmedien

    Ottmann Automata, Languages and Programming

    14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18088-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller-Olm | Modular Compiler Verification | Buch | Sack Fachmedien

    Müller-Olm Modular Compiler Verification

    A Refinement-Algebraic Approach Advocating Stepwise Abstraction
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63406-5
    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