Ergebnisse filtern
Fachgebiet
Medium
  • 1727
  • 58
  • 5
  • 3
Erscheinungsjahr
  • 1
  • 106
  • 170
  • 96
  • 113
  • 106
  • 75
  • 86
  • 46
  • 55
  • 42
  • 44
  • 92
  • 143
  • 24
  • 69
  • 26
  • 22
  • 24
  • 18
  • 20
  • 21
  • 20
  • 22
  • 37
  • 20
  • 23
  • 24
  • 34
  • 21
  • 20
  • 23
  • 10
  • 14
  • 9
  • 22
  • 23
  • 9
  • 17
  • 8
  • 7
  • 2
  • 2
  • 5
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 3
  • 10
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 9
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 22
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 8
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 13
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 4
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 13
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 13
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 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
  • 2
  • 9
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 11
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 7
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 5
  • 2
  • 6
  • 5
  • 13
  • 2
  • 14
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 6
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 13
  • 5
  • 2
  • 4
  • 2
  • 2
  • 13
  • 3
  • 5
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 6
Verlag
  • 2
  • 3
  • 5
  • 5
  • 2
  • 6
  • 8
  • 2
  • 16
  • 1
  • 2
  • 4
  • 2
  • 44
  • 92
  • 1
  • 1
  • 2
  • 2
  • 18
  • 11
  • 6
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 3
  • 15
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 6
  • 1
  • 156
  • 241
  • 344
  • 2
  • 139
  • 133
  • 33
  • 1
  • 230
  • 2
  • 9
  • 1
  • 9
  • 10
  • 49
  • 36
  • 25
  • 4
  • 4
  • 14
  • 1
  • 32
  • 1
  • 1
  • 2
  • 2
Preis
  • 12
  • 128
  • 791
  • 862
Sprachen
  • 1678
  • 118
  • 1
Verfügbarkeit
  • 1766
  • 27
Eigenschaften
  • 1
Katalog
  • 1793
  • 94
1.793  Titel
    Wu / Li | Advanced Computer Architecture | Buch | Sack Fachmedien

    Wu / Li Advanced Computer Architecture

    12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer Nature Singapore
    ISBN: 978-981-13-2422-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voros / Hübner / Rosti | Dynamic System Reconfiguration in Heterogeneous Platforms | Buch | Sack Fachmedien

    Voros / Hübner / Rosti Dynamic System Reconfiguration in Heterogeneous Platforms

    The MORPHEUS Approach
    Softcover Nachdruck of hardcover 1. Auflage 2009
    Verlag: Springer Netherlands
    ISBN: 978-90-481-8500-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guo / Chen | Task Scheduling for Multi-core and Parallel Architectures | Buch | Sack Fachmedien

    Guo / Chen Task Scheduling for Multi-core and Parallel Architectures

    Challenges, Solutions and Perspectives
    1. Auflage 2017
    Verlag: Springer Nature Singapore
    ISBN: 978-981-10-6237-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yawale | Operational Amplifier | Buch | Sack Fachmedien

    Yawale Operational Amplifier

    Theory and Experiments
    1. Auflage 2022
    Verlag: Springer Nature Singapore
    ISBN: 978-981-16-4184-8
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murti | Design Principles for Embedded Systems | Buch | Sack Fachmedien

    Murti Design Principles for Embedded Systems

    1. Auflage 2022
    Verlag: Springer Nature Singapore
    ISBN: 978-981-16-3292-1
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sang / Shen | Parallel Architectures, Algorithms and Programming | Buch | Sack Fachmedien

    Sang / Shen Parallel Architectures, Algorithms and Programming

    10th International Symposium, PAAP 2019, Guangzhou, China, December 12¿14, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer Nature Singapore
    ISBN: 978-981-15-2766-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carro / Beck Fl. | Dynamic Reconfigurable Architectures and Transparent Optimization Techniques | Buch | Sack Fachmedien

    Carro / Beck Fl. Dynamic Reconfigurable Architectures and Transparent Optimization Techniques

    Automatic Acceleration of Software Execution
    2010
    Verlag: Springer Netherlands
    ISBN: 978-94-007-9073-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Khalid / Chattopadhyay / Paul | Domain Specific High-Level Synthesis for Cryptographic Workloads | Buch | Sack Fachmedien

    Khalid / Chattopadhyay / Paul Domain Specific High-Level Synthesis for Cryptographic Workloads

    1. Auflage 2019
    Verlag: Springer Nature Singapore
    ISBN: 978-981-10-1069-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nakamura / Nakada | Normally-Off Computing | Buch | Sack Fachmedien

    Nakamura / Nakada Normally-Off Computing

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer Japan
    ISBN: 978-4-431-56805-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Elçi / Luhach | Artificial Intelligence Paradigms for Smart Cyber-Physical Systems | Buch | Sack Fachmedien

    Elçi / Luhach Artificial Intelligence Paradigms for Smart Cyber-Physical Systems

    Erscheinungsjahr 2020
    Verlag: Engineering Science Reference
    ISBN: 978-1-7998-5101-1
    Medium: Buch
    271,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutilh Novaes | The Dialogical Roots of Deduction | Buch | Sack Fachmedien

    Dutilh Novaes The Dialogical Roots of Deduction

    Historical, Cognitive, and Philosophical Perspectives on Reasoning
    Erscheinungsjahr 2022
    Verlag: Cambridge University Press
    ISBN: 978-1-108-79092-5
    Medium: Buch
    33,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eickhoff | A Combined Data and Power Management Infrastructure | Buch | Sack Fachmedien

    Eickhoff A Combined Data and Power Management Infrastructure

    For Small Satellites
    2. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-662-64052-4
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Gavrilova | Transactions on Computational Science XXXIII | Buch | Sack Fachmedien

    Tan / Gavrilova Transactions on Computational Science XXXIII

    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-58038-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezem / Dalen | Computer Science Logic | Buch | Sack Fachmedien

    Bezem / Dalen Computer Science Logic

    10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63172-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schobbens / Meyer | Formal Models of Agents | Buch | Sack Fachmedien

    Schobbens / Meyer Formal Models of Agents

    ESPRIT Project ModelAge Final Report Selected Papers
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67027-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartenstein / Grünbacher | Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping | Buch | Sack Fachmedien

    Hartenstein / Grünbacher Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping

    Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992. Selected Papers
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57091-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Mohamed / Tahar / Munoz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Ait Mohamed / Tahar / Munoz Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71065-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gheorghe / Paun / Verlan | Membrane Computing | Buch | Sack Fachmedien

    Gheorghe / Paun / Verlan Membrane Computing

    12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-28023-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kotov / Miklosko | Algorithms, Software and Hardware of Parallel Computers | Buch | Sack Fachmedien

    Kotov / Miklosko Algorithms, Software and Hardware of Parallel Computers

    Softcover Nachdruck of the original 1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-662-11108-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bishop | Component Deployment | Buch | Sack Fachmedien

    Bishop Component Deployment

    IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43847-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rash / Rouff / Hinchey | Formal Approaches to Agent-Based Systems | Buch | Sack Fachmedien

    Rash / Rouff / Hinchey Formal Approaches to Agent-Based Systems

    First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42716-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vijaykumar / Falsafi | Power-Aware Computer Systems | Buch | Sack Fachmedien

    Vijaykumar / Falsafi Power-Aware Computer Systems

    Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-01028-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Khondkar | Low-Power Design and Power-Aware Verification | Buch | Sack Fachmedien

    Khondkar Low-Power Design and Power-Aware Verification

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-88286-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fokkink | Modelling Distributed Systems | Buch | Sack Fachmedien

    Fokkink Modelling Distributed Systems

    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73937-1
    Medium: Buch
    53,49 € (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