Ergebnisse filtern
Fachgebiet
Medium
  • 1914
  • 256
  • 3
  • 2
Erscheinungsjahr
  • 21
  • 116
  • 251
  • 173
  • 106
  • 110
  • 104
  • 75
  • 91
  • 45
  • 57
  • 53
  • 45
  • 95
  • 144
  • 39
  • 85
  • 27
  • 25
  • 29
  • 23
  • 25
  • 27
  • 22
  • 23
  • 38
  • 21
  • 23
  • 28
  • 33
  • 23
  • 22
  • 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
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 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
  • 5
  • 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
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 6
  • 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
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 9
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 22
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 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
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 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
  • 2
  • 4
  • 4
  • 3
  • 2
  • 5
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 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
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 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
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 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
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 4
  • 6
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 13
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 13
  • 2
  • 2
  • 3
  • 4
  • 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
  • 3
  • 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
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 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
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 11
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 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
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 3
  • 4
  • 5
  • 7
  • 5
  • 9
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 8
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 6
  • 3
  • 5
  • 6
  • 5
  • 13
  • 14
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 8
  • 11
  • 4
  • 3
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 4
  • 13
  • 5
  • 4
  • 13
  • 6
  • 5
  • 4
  • 4
  • 3
  • 5
  • 3
  • 6
Verlag
  • 4
  • 1
  • 3
  • 5
  • 6
  • 19
  • 4
  • 2
  • 2
  • 21
  • 1
  • 1
  • 2
  • 43
  • 1
  • 130
  • 240
  • 1
  • 2
  • 2
  • 25
  • 13
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 3
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 6
  • 1
  • 5
  • 1
  • 5
  • 1
  • 1
  • 1
  • 3
  • 1
  • 9
  • 16
  • 1
  • 1033
  • 19
  • 170
  • 1
  • 31
  • 6
  • 15
  • 45
  • 79
  • 1
  • 1
  • 1
  • 58
  • 7
  • 21
  • 1
  • 3
  • 14
  • 1
  • 41
  • 2
  • 11
Preis
  • 29
  • 246
  • 906
  • 994
Sprachen
  • 2043
  • 135
  • 1
Verfügbarkeit
  • 2148
  • 27
Eigenschaften
  • 2
Katalog
  • 2175
  • 115
2.175  Titel
    Deng / Chen | Smart Grid and Internet of Things | Buch | Sack Fachmedien

    Deng / Chen Smart Grid and Internet of Things

    7th EAI International Conference, SGIoT 2023, TaiChung, Taiwan, November 18-19, 2023, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-55975-4
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jain / Verhelst | Towards Heterogeneous Multi-core Systems-on-Chip for Edge Machine Learning | Buch | Sack Fachmedien

    Jain / Verhelst Towards Heterogeneous Multi-core Systems-on-Chip for Edge Machine Learning

    Journey from Single-core Acceleration to Multi-core Heterogeneous Systems
    2024
    Verlag: Springer
    ISBN: 978-3-031-38232-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deville | Logic Program Synthesis and Transformation | Buch | Sack Fachmedien

    Deville Logic Program Synthesis and Transformation

    Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993
    1. Auflage. 1994
    Verlag: Springer
    ISBN: 978-3-540-19864-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Golze | VLSI Chip Design with the Hardware Description Language VERILOG | Buch | Sack Fachmedien

    Golze VLSI Chip Design with the Hardware Description Language VERILOG

    An Introduction Based on a Large RISC Processor Design
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-64650-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jin / Lin / Cheng | Big Data | Buch | Sack Fachmedien

    Jin / Lin / Cheng Big Data

    7th CCF Conference, BigData 2019, Wuhan, China, September 26-28, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-981-15-1898-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weichslgartner / Wildermann / Glaß | Invasive Computing for Mapping Parallel Programs to Many-Core Architectures | Buch | Sack Fachmedien

    Weichslgartner / Wildermann / Glaß Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer
    ISBN: 978-981-13-5622-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kleinjohann | Architecture and Design of Distributed Embedded Systems | Buch | Sack Fachmedien

    Kleinjohann Architecture and Design of Distributed Embedded Systems

    IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) October 18-19, 2000, Schloß Eringerfeld, Germany
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-0-7923-7345-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tekeste Habte / Saleh / Mohammad | Ultra Low Power ECG Processing System for IoT Devices | Buch | Sack Fachmedien

    Tekeste Habte / Saleh / Mohammad Ultra Low Power ECG Processing System for IoT Devices

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-319-97015-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Semwal / Iqbal | Cyber-Physical Systems | Buch | Sack Fachmedien

    Semwal / Iqbal Cyber-Physical Systems

    Solutions to Pandemic Challenges
    1. Auflage 2024
    Verlag: CRC Press
    ISBN: 978-1-032-03046-3
    Medium: Buch
    117,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seth / Tripathi | Component-Based Systems | Buch | Sack Fachmedien

    Seth / Tripathi Component-Based Systems

    Estimating Efforts Using Soft Computing Techniques
    1. Auflage 2020
    Verlag: CRC Press
    ISBN: 978-0-367-85609-0
    Medium: Buch
    205,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rau / Fisher | Instruction-Level Parallelism | Buch | Sack Fachmedien

    Rau / Fisher Instruction-Level Parallelism

    A Special Issue of The Journal of Supercomputing
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6404-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chauvin / Rumelhart | Backpropagation | Buch | Sack Fachmedien

    Chauvin / Rumelhart Backpropagation

    Theory, Architectures, and Applications
    Erscheinungsjahr 1995
    Verlag: Psychology Press
    ISBN: 978-0-8058-1259-6
    Medium: Buch
    148,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ulmann | Analog Computing | eBook | Sack Fachmedien
    E-Book

    Ulmann Analog Computing

    Development, Programming, Applications, and Future Directions
    3rd Revised and Extended Auflage
    Verlag: De Gruyter
    ISBN: 978-3-11-221050-5
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    89,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Narayanan / Wolczko | Java Microarchitectures | Buch | Sack Fachmedien

    Narayanan / Wolczko Java Microarchitectures

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-5341-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brown / Carmo | Deontic Logic, Agency and Normative Systems | Buch | Sack Fachmedien

    Brown / Carmo Deontic Logic, Agency and Normative Systems

    ?EON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996
    1. Auflage. 1995
    Verlag: Springer
    ISBN: 978-3-540-76015-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tekeste Habte / Saleh / Mohammad | Ultra Low Power ECG Processing System for IoT Devices | Buch | Sack Fachmedien

    Tekeste Habte / Saleh / Mohammad Ultra Low Power ECG Processing System for IoT Devices

    Softcover Nachdruck of the original 1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-07285-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schoenfield | Secrets of a Cyber Security Architect | Buch | Sack Fachmedien

    Schoenfield Secrets of a Cyber Security Architect

    1. Auflage 2023
    Verlag: Auerbach Publications
    ISBN: 978-1-032-47502-8
    Medium: Buch
    63,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dyson / Longshaw | Architecting Enterprise Solutions | Buch | Sack Fachmedien

    Dyson / Longshaw Architecting Enterprise Solutions

    1. Auflage 2004
    Verlag: John Wiley & Sons
    ISBN: 978-0-470-85612-3
    Medium: Buch
    38,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berekovi? / Berekovic / k | ARCS 2013 | Sonstiges | Sack Fachmedien

    Berekovi? / Berekovic / k ARCS 2013

    26th International Conference on Architecture of Computing Systems February 19 – 22, 2013, Prague, Czech Republic
    Neuerscheinung
    Verlag: VDE Verlag
    ISBN: 978-3-8007-3492-4
    Medium: Sonstiges
    49,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hughes | Functional Programming Languages and Computer Architecture | Buch | Sack Fachmedien

    Hughes Functional Programming Languages and Computer Architecture

    5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54396-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Skou | Computer Aided Verification | Buch | Sack Fachmedien

    Larsen / Skou Computer Aided Verification

    3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55179-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Roever / Rozenberg | Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency | Buch | Sack Fachmedien

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

    School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51080-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furbach / Nerode | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Furbach / Nerode Logic Programming and Nonmonotonic Reasoning

    Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63255-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carreno / Munoz / Tahar | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Carreno / Munoz / Tahar Theorem Proving in Higher Order Logics

    15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44039-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pereira / Przymusinski | Non-Monotonic Extensions of Logic Programming | Buch | Sack Fachmedien

    Pereira / Przymusinski Non-Monotonic Extensions of Logic Programming

    ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59467-3
    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