Ergebnisse filtern
Fachgebiet
Medium
  • 1872
  • 201
  • 3
  • 3
Erscheinungsjahr
  • 6
  • 55
  • 165
  • 187
  • 110
  • 112
  • 113
  • 84
  • 122
  • 46
  • 61
  • 53
  • 45
  • 96
  • 143
  • 37
  • 85
  • 28
  • 24
  • 28
  • 23
  • 26
  • 27
  • 22
  • 24
  • 36
  • 22
  • 23
  • 26
  • 34
  • 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
  • 3
  • 2
  • 2
  • 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
  • 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
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 5
  • 3
  • 4
  • 9
  • 2
  • 4
  • 5
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 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
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 4
  • 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
  • 2
  • 3
  • 5
  • 9
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 22
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 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
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 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
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 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
  • 2
  • 2
  • 3
  • 2
  • 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
  • 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
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 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
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 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
  • 5
  • 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
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 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
  • 7
  • 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
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 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
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 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
  • 2
  • 3
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 5
  • 8
  • 3
  • 7
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 8
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 6
  • 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
  • 4
  • 3
  • 5
  • 5
  • 19
  • 2
  • 4
  • 2
  • 21
  • 1
  • 1
  • 2
  • 39
  • 1
  • 132
  • 186
  • 1
  • 2
  • 2
  • 2
  • 11
  • 15
  • 1
  • 6
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 2
  • 3
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 9
  • 16
  • 1
  • 419
  • 236
  • 304
  • 2
  • 89
  • 139
  • 24
  • 27
  • 147
  • 1
  • 2
  • 1
  • 38
  • 8
  • 19
  • 2
  • 4
  • 14
  • 1
  • 45
  • 1
  • 2
  • 19
Preis
  • 25
  • 204
  • 895
  • 955
Sprachen
  • 1949
  • 132
  • 1
Verfügbarkeit
  • 2049
  • 30
Eigenschaften
  • 1
Katalog
  • 2079
  • 110
2.079  Titel
    Lin / Catthoor / Noltsis | Workload Dependent Mitigation Approaches for Performance Variability | Buch | Sack Fachmedien

    Lin / Catthoor / Noltsis Workload Dependent Mitigation Approaches for Performance Variability

    Ensuring Timing Guarantees of Integrated Circuits
    Erscheinungsjahr 2025
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-85623-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    K. Singh | Linux Yourself | Buch | Sack Fachmedien

    K. Singh Linux Yourself

    Concept and Programming
    1. Auflage 2024
    Verlag: Chapman and Hall/CRC
    ISBN: 978-1-032-03707-3
    Medium: Buch
    72,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mrozek | Multi-run Memory Tests for Pattern Sensitive Faults | Buch | Sack Fachmedien

    Mrozek Multi-run Memory Tests for Pattern Sensitive Faults

    Softcover Nachdruck of the original 1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-08198-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Djemame / Altmann / Naldi | Economics of Grids, Clouds, Systems, and Services | Buch | Sack Fachmedien

    Djemame / Altmann / Naldi Economics of Grids, Clouds, Systems, and Services

    16th International Conference, GECON 2019, Leeds, UK, September 17-19, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-36026-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clerc / Cathelin / Di Gilio | The Fourth Terminal | Buch | Sack Fachmedien

    Clerc / Cathelin / Di Gilio The Fourth Terminal

    Benefits of Body-Biasing Techniques for FDSOI Circuits and Systems
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-39495-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vijaykumar / Falsafi | Power-Aware Computer Systems | Buch | Sack Fachmedien

    Vijaykumar / Falsafi Power-Aware Computer Systems

    Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003, Revised Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24031-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sekanina | Evolvable Components | Buch | Sack Fachmedien

    Sekanina Evolvable Components

    From Theory to Hardware Implementations
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40377-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joseph | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Joseph Formal Techniques in Real-Time and Fault-Tolerant Systems

    6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41055-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chandrasekharan / Drechsler / Große | Design Automation Techniques for Approximation Circuits | Buch | Sack Fachmedien

    Chandrasekharan / Drechsler / Große Design Automation Techniques for Approximation Circuits

    Verification, Synthesis and Test
    Softcover Nachdruck of the original 1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-07550-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ortega Cisneros / Mejia Alvarez / Baungarten Leon | Integrated Circuit Design | Buch | Sack Fachmedien

    Ortega Cisneros / Mejia Alvarez / Baungarten Leon Integrated Circuit Design

    Tape-out Process with Open-Source Tools
    Erscheinungsjahr 2025
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-92107-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badel / Leblebici | Design Automation for Differential MOS Current-Mode Logic Circuits | Buch | Sack Fachmedien

    Badel / Leblebici Design Automation for Differential MOS Current-Mode Logic Circuits

    1. Auflage 2025
    Verlag: Springer
    ISBN: 978-90-481-3611-7
    Medium: Buch
    131,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrounias / Chountas | Intelligent Techniques and Tools for Novel System Architectures | Buch | Sack Fachmedien

    Petrounias / Chountas Intelligent Techniques and Tools for Novel System Architectures

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-09636-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bell / Wood-Harper | How to Set Up Information Systems | Buch | Sack Fachmedien

    Bell / Wood-Harper How to Set Up Information Systems

    2. Auflage 2003
    Verlag: Routledge
    ISBN: 978-1-85383-958-0
    Medium: Buch
    59,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Wang / Ma | Pattern Recognition and Computer Vision | Buch | Sack Fachmedien

    Liu / Wang / Ma Pattern Recognition and Computer Vision

    6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IV
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8461-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Makedon / Spirakis / Mehlhorn | VLSI Algorithms and Architectures | Buch | Sack Fachmedien

    Makedon / Spirakis / Mehlhorn VLSI Algorithms and Architectures

    Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings
    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16766-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chawdhry / Pant / Roy | Soft Computing in Engineering Design and Manufacturing | Buch | Sack Fachmedien

    Chawdhry / Pant / Roy Soft Computing in Engineering Design and Manufacturing

    1998
    Verlag: Springer
    ISBN: 978-3-540-76214-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dowek / Möller / Heering | Higher-Order Algebra, Logic, and Term Rewriting | Buch | Sack Fachmedien

    Dowek / Möller / Heering Higher-Order Algebra, Logic, and Term Rewriting

    Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61254-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zaniolo / Pedreschi | Logic in Databases | Buch | Sack Fachmedien

    Zaniolo / Pedreschi Logic in Databases

    International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61814-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feng | Data Deduplication for High Performance Storage System | Buch | Sack Fachmedien

    Feng Data Deduplication for High Performance Storage System

    1. Auflage 2022
    Verlag: Springer Nature Singapore
    ISBN: 978-981-19-0111-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosolini / Moggi | Category Theory and Computer Science | Buch | Sack Fachmedien

    Rosolini / Moggi Category Theory and Computer Science

    7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63455-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Rozenberg / Roever | Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency | Buch | Sack Fachmedien

    Bakker / Rozenberg / Roever Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

    School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51080-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Skou / Larsen | Computer Aided Verification | Buch | Sack Fachmedien

    Skou / Larsen Computer Aided Verification

    3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55179-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Engeler | Logic of Programs | Buch | Sack Fachmedien

    Engeler Logic of Programs

    Workshop, ETH Zürich, May-July 1979
    1981
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-11160-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Budach / Lupanov / Bukharajev | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Budach / Lupanov / Bukharajev Fundamentals of Computation Theory

    International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18740-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thayse / Snyers | From Logic Design to Logic Programming | Buch | Sack Fachmedien

    Thayse / Snyers From Logic Design to Logic Programming

    Theorem Proving Techniques and P-Functions
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18217-7
    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