Ergebnisse filtern
Fachgebiet
Medium
  • 10689
  • 2642
Erscheinungsjahr
  • 237
  • 1012
  • 1044
  • 801
  • 627
  • 391
  • 410
  • 439
  • 417
  • 430
  • 419
  • 434
  • 421
  • 431
  • 447
  • 386
  • 383
  • 271
  • 249
  • 284
  • 292
  • 229
  • 476
  • 582
  • 264
  • 253
  • 179
  • 177
  • 134
  • 135
  • 137
  • 121
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 5
  • 6
  • 6
  • 7
  • 10
  • 6
  • 13
  • 12
  • 9
  • 6
  • 5
  • 5
  • 9
  • 12
  • 11
  • 5
  • 20
  • 21
  • 7
  • 10
  • 6
  • 8
  • 11
  • 11
  • 5
  • 7
  • 13
  • 6
  • 31
  • 52
  • 8
  • 49
  • 9
  • 7
  • 6
  • 6
  • 20
  • 19
  • 6
  • 12
  • 5
  • 5
  • 7
  • 46
  • 5
  • 6
  • 5
  • 5
  • 7
  • 5
  • 10
  • 6
  • 19
  • 7
  • 5
  • 8
  • 7
  • 5
  • 9
  • 5
  • 7
  • 6
  • 5
  • 7
  • 10
  • 13
  • 6
  • 7
  • 21
  • 5
  • 6
  • 8
  • 21
  • 12
  • 6
  • 8
  • 5
  • 5
  • 5
  • 18
  • 12
  • 6
  • 13
  • 7
  • 57
  • 5
  • 19
  • 13
  • 7
  • 12
  • 12
  • 9
  • 5
  • 7
  • 5
  • 8
  • 6
  • 8
  • 12
  • 7
  • 5
  • 12
  • 15
  • 5
  • 11
  • 5
  • 18
  • 14
  • 16
  • 7
  • 8
  • 5
  • 5
  • 46
  • 15
  • 8
  • 5
  • 8
  • 6
  • 7
  • 10
  • 19
  • 7
  • 9
  • 13
  • 13
  • 7
  • 7
  • 5
  • 16
  • 10
  • 9
  • 25
  • 5
  • 6
  • 15
  • 12
  • 5
  • 13
  • 6
  • 11
  • 5
  • 8
  • 13
  • 5
  • 5
  • 5
  • 7
  • 8
  • 49
  • 12
  • 5
  • 61
  • 7
  • 12
  • 11
  • 20
  • 20
  • 5
  • 11
  • 9
  • 5
  • 29
  • 9
  • 50
  • 5
  • 11
  • 15
  • 12
  • 9
  • 5
  • 11
  • 8
  • 17
  • 6
  • 6
  • 9
  • 15
  • 6
  • 10
  • 11
  • 46
  • 7
  • 12
  • 10
  • 16
  • 6
  • 6
  • 9
  • 7
  • 17
  • 12
  • 7
  • 7
  • 7
  • 8
  • 20
  • 13
  • 7
  • 16
  • 8
  • 8
  • 10
  • 6
  • 8
  • 17
  • 24
  • 8
  • 9
  • 6
  • 7
  • 9
  • 16
  • 25
  • 11
  • 9
  • 6
  • 11
  • 7
  • 7
  • 7
  • 9
  • 6
  • 11
  • 6
  • 19
  • 12
  • 7
  • 10
  • 12
  • 9
  • 53
  • 47
  • 7
  • 30
  • 6
  • 9
  • 21
  • 11
  • 28
  • 17
  • 7
  • 7
  • 8
  • 13
  • 8
  • 22
  • 6
  • 8
  • 7
  • 10
  • 9
  • 7
  • 31
  • 7
  • 18
  • 54
  • 14
  • 8
  • 7
  • 18
  • 10
  • 7
  • 9
  • 11
  • 12
  • 24
  • 9
  • 9
  • 9
  • 6
  • 11
  • 20
  • 14
  • 12
  • 6
  • 12
  • 11
  • 12
  • 15
  • 17
  • 69
  • 40
  • 10
  • 31
  • 12
  • 22
  • 33
  • 6
  • 111
  • 7
  • 14
  • 10
  • 8
  • 21
  • 10
  • 9
  • 23
  • 16
  • 9
  • 11
  • 7
  • 11
  • 21
  • 10
  • 12
  • 9
  • 8
  • 7
  • 6
  • 8
  • 7
  • 16
  • 7
  • 53
  • 6
  • 13
  • 10
  • 13
  • 24
  • 12
  • 9
  • 10
  • 25
  • 46
  • 11
  • 8
  • 12
  • 19
  • 15
  • 8
  • 7
  • 9
  • 7
  • 9
  • 6
  • 17
  • 19
  • 9
  • 6
  • 6
  • 8
  • 12
  • 7
  • 90
  • 8
  • 14
  • 15
  • 8
  • 10
  • 8
  • 6
  • 19
  • 7
  • 11
  • 7
  • 10
  • 9
  • 24
  • 7
  • 8
  • 14
  • 10
  • 6
  • 15
  • 6
  • 22
  • 17
  • 7
  • 6
  • 10
  • 13
  • 6
  • 6
  • 7
  • 6
  • 19
  • 9
  • 9
  • 6
  • 14
  • 6
  • 20
  • 7
  • 8
  • 7
  • 9
  • 12
  • 12
  • 16
  • 6
  • 10
  • 10
  • 9
  • 8
  • 6
  • 6
  • 38
  • 8
  • 10
  • 13
  • 6
  • 9
  • 8
  • 31
  • 8
  • 10
  • 6
  • 18
  • 48
  • 7
  • 6
  • 7
  • 11
  • 11
  • 19
  • 6
  • 33
  • 6
  • 15
  • 9
  • 6
  • 6
  • 9
  • 19
  • 6
  • 8
  • 18
  • 6
  • 27
  • 44
  • 22
  • 12
  • 8
  • 27
  • 7
  • 14
  • 10
  • 8
  • 31
  • 17
  • 35
  • 46
  • 7
  • 8
  • 10
  • 11
  • 9
  • 20
  • 11
  • 6
  • 17
  • 10
  • 7
  • 8
  • 6
  • 9
  • 10
  • 7
  • 17
  • 8
  • 90
  • 30
  • 33
  • 7
  • 17
  • 6
  • 6
  • 22
  • 7
  • 7
  • 8
  • 19
  • 8
  • 9
  • 11
  • 18
  • 6
  • 16
  • 6
  • 9
  • 7
  • 7
  • 10
  • 12
  • 15
  • 20
  • 7
  • 21
  • 6
  • 29
  • 6
  • 13
  • 8
  • 82
  • 10
  • 6
  • 23
  • 7
  • 9
  • 6
  • 16
  • 30
  • 9
  • 14
  • 6
  • 12
  • 9
  • 7
  • 10
  • 6
  • 21
  • 9
  • 6
  • 9
  • 27
  • 10
  • 6
  • 7
  • 6
  • 14
  • 13
  • 19
  • 6
  • 19
  • 24
  • 20
  • 10
  • 23
  • 7
  • 7
  • 11
  • 9
  • 6
  • 12
  • 9
  • 14
  • 29
  • 8
  • 12
  • 7
  • 44
  • 35
  • 8
  • 9
  • 6
  • 9
  • 10
  • 7
  • 22
  • 10
  • 6
  • 7
  • 6
  • 7
  • 10
  • 6
  • 10
  • 10
  • 8
  • 9
  • 6
  • 12
  • 9
  • 27
  • 8
  • 6
  • 6
  • 7
  • 11
  • 10
  • 12
  • 9
  • 15
  • 11
  • 7
  • 43
  • 13
  • 12
  • 8
  • 7
  • 8
  • 6
  • 20
  • 7
  • 6
  • 7
  • 15
  • 8
  • 7
  • 10
  • 7
  • 9
  • 11
  • 7
  • 102
  • 6
  • 17
  • 8
  • 8
  • 10
  • 7
  • 9
  • 19
  • 8
  • 7
  • 6
  • 7
  • 10
  • 12
  • 58
  • 23
  • 21
  • 7
  • 8
  • 16
  • 9
  • 12
  • 7
  • 6
  • 8
  • 11
  • 6
  • 8
  • 7
  • 10
  • 9
  • 9
  • 8
  • 7
  • 8
  • 6
  • 8
  • 8
  • 13
  • 61
  • 8
  • 8
  • 8
  • 21
  • 10
  • 9
  • 23
  • 16
  • 6
  • 7
  • 6
  • 13
  • 7
  • 16
  • 19
  • 19
  • 11
  • 18
  • 9
  • 8
  • 12
  • 28
  • 15
  • 9
  • 10
  • 16
  • 7
  • 8
  • 7
  • 26
  • 6
  • 14
  • 15
  • 16
  • 6
  • 13
  • 11
  • 9
  • 18
  • 8
  • 18
  • 8
  • 10
  • 19
  • 9
  • 25
  • 9
  • 10
  • 14
  • 6
  • 13
  • 7
  • 6
  • 16
  • 17
  • 12
  • 10
  • 7
  • 6
  • 7
  • 23
  • 6
  • 9
  • 8
  • 9
  • 6
  • 8
  • 13
  • 31
  • 7
  • 17
  • 8
  • 11
  • 25
  • 7
  • 12
  • 8
  • 11
  • 122
  • 9
  • 10
  • 7
  • 32
  • 9
  • 12
  • 23
  • 11
  • 9
  • 12
  • 15
  • 11
  • 28
  • 8
  • 123
  • 6
  • 62
  • 13
  • 12
  • 12
  • 120
  • 30
  • 6
  • 17
  • 9
  • 13
  • 8
  • 13
  • 15
  • 20
  • 15
  • 12
  • 7
  • 6
  • 6
  • 6
  • 10
  • 11
  • 12
  • 9
  • 120
  • 9
  • 15
  • 27
  • 12
  • 16
  • 11
  • 6
  • 12
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 6
  • 10
  • 29
  • 10
  • 7
  • 6
  • 13
  • 6
  • 6
  • 7
  • 12
  • 15
  • 6
  • 33
  • 9
  • 6
  • 7
  • 6
  • 7
  • 9
  • 15
  • 11
  • 10
  • 11
  • 11
  • 13
  • 19
  • 38
  • 18
  • 9
  • 11
  • 9
  • 25
  • 12
  • 6
  • 12
  • 8
  • 16
  • 12
  • 8
  • 9
  • 11
  • 6
  • 49
  • 9
  • 43
  • 7
  • 15
  • 9
  • 13
  • 9
  • 12
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 7
  • 11
  • 12
  • 21
  • 8
  • 23
  • 34
  • 6
  • 6
  • 7
  • 8
  • 15
  • 7
  • 29
  • 14
  • 18
  • 32
  • 71
  • 12
  • 20
  • 24
  • 10
  • 15
  • 8
  • 11
  • 20
  • 22
  • 17
  • 9
  • 12
  • 73
  • 25
  • 15
  • 10
  • 6
  • 16
  • 20
  • 12
  • 17
  • 9
  • 15
  • 14
  • 8
  • 6
  • 16
  • 16
  • 10
  • 9
  • 15
  • 6
  • 120
  • 6
  • 12
  • 6
  • 14
  • 20
  • 8
  • 8
  • 7
  • 6
  • 6
  • 6
  • 6
  • 17
  • 13
  • 6
  • 12
  • 42
  • 7
  • 11
  • 9
  • 7
  • 18
  • 9
  • 19
  • 23
  • 9
  • 15
  • 28
  • 9
  • 6
  • 21
  • 7
  • 25
  • 8
  • 15
  • 8
  • 8
  • 11
  • 9
  • 9
  • 9
  • 10
  • 9
  • 7
  • 32
  • 7
  • 17
  • 8
  • 12
  • 7
  • 7
  • 10
  • 8
  • 10
  • 7
  • 10
  • 7
  • 15
  • 11
  • 10
  • 7
  • 20
  • 7
  • 14
  • 17
  • 7
  • 11
  • 29
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 7
  • 28
  • 8
  • 13
  • 6
  • 6
  • 13
  • 10
  • 9
  • 20
  • 7
  • 9
  • 7
  • 8
  • 60
  • 14
  • 7
  • 7
  • 7
  • 28
  • 60
  • 22
  • 81
  • 6
  • 21
  • 6
  • 6
  • 12
  • 9
  • 9
  • 40
  • 9
  • 8
  • 23
  • 25
  • 21
  • 11
  • 13
  • 14
  • 15
  • 7
  • 28
Verlag
  • 2
  • 11565
  • 40
  • 1530
  • 14
  • 1
  • 3
  • 131
  • 1
  • 1
  • 43
Preis
  • 47
  • 494
  • 10519
  • 2271
Sprachen
  • 13323
  • 19
  • 15
Verfügbarkeit
  • 13311
  • 20
Eigenschaften
  • 25
Katalog
  • 13331
  • 550
13.331  Treffer  für „Lecture Notes in Computer Science“
    Bononi / DATTA / Devismes | Distributed Computing and Networking | Buch | Sack Fachmedien

    Bononi / DATTA / Devismes Distributed Computing and Networking

    13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25958-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiedijk | The Seventeen Provers of the World | Buch | Sack Fachmedien

    Wiedijk The Seventeen Provers of the World

    Foreword by Dana S. Scott
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-30704-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meiselwitz | Social Computing and Social Media. Technologies and Analytics | Buch | Sack Fachmedien

    Meiselwitz Social Computing and Social Media. Technologies and Analytics

    10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-91484-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen | Transactions on Computational Collective Intelligence XII | Buch | Sack Fachmedien

    Nguyen Transactions on Computational Collective Intelligence XII

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-53877-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ozok / Zaphiris | Online Communities and Social Computing | Buch | Sack Fachmedien

    Ozok / Zaphiris Online Communities and Social Computing

    4th International Conference, OCSC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21795-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paulson | Isabelle | Buch | Sack Fachmedien

    Paulson Isabelle

    A Generic Theorem Prover
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen | Transactions on Computational Collective Intelligence VIII | Buch | Sack Fachmedien

    Nguyen Transactions on Computational Collective Intelligence VIII

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34644-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herlihy | Distributed Computing | Buch | Sack Fachmedien

    Herlihy Distributed Computing

    14th International Conference, DISC 2000 Toledo, Spain, October 4-6, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41143-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trinder / Michaelson / Pena | Implementation of Functional Languages | Buch | Sack Fachmedien

    Trinder / Michaelson / Pena Implementation of Functional Languages

    15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23727-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Panigrahi / Suganthan / Das | Swarm, Evolutionary, and Memetic Computing | Buch | Sack Fachmedien

    Panigrahi / Suganthan / Das Swarm, Evolutionary, and Memetic Computing

    5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-20293-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pena / Arts | Implementation of Functional Languages | Buch | Sack Fachmedien

    Pena / Arts Implementation of Functional Languages

    14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40190-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Chen / Guo | Advanced Intelligent Computing Technology and Applications | eBook | Sack Fachmedien
    E-Book

    Huang / Chen / Guo Advanced Intelligent Computing Technology and Applications

    20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, Part IX
    Erscheinungsjahr 2024
    Verlag: Springer Singapore
    ISBN: 978-981-97-5606-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    79,17 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Luo / Cheng / Wu | Neural Information Processing | eBook | Sack Fachmedien
    E-Book

    Luo / Cheng / Wu Neural Information Processing

    30th International Conference, ICONIP 2023, Changsha, China, November 20–23, 2023, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer Singapore
    ISBN: 978-981-99-8082-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Luo / Cheng / Wu | Neural Information Processing | eBook | Sack Fachmedien
    E-Book

    Luo / Cheng / Wu Neural Information Processing

    30th International Conference, ICONIP 2023, Changsha, China, November 20–23, 2023, Proceedings, Part I
    1. Auflage 2024
    Verlag: Springer Singapore
    ISBN: 978-981-99-8079-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Brezany | Input/Output Intensive Massively Parallel Computing | Buch | Sack Fachmedien

    Brezany Input/Output Intensive Massively Parallel Computing

    Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62840-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banzhaf / Eckman | Evolution and Biocomputation | Buch | Sack Fachmedien

    Banzhaf / Eckman Evolution and Biocomputation

    Computational Models of Evolution
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59046-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bimbo | Image Analysis and Processing | Buch | Sack Fachmedien

    Bimbo Image Analysis and Processing

    9th International Conference, ICIAP'97, Florence, Italy, September 17-19, 1997, Proceedings, Volume 1
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63507-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rutkowski / Scherer / Korytkowski | Artificial Intelligence and Soft Computing | Buch | Sack Fachmedien

    Rutkowski / Scherer / Korytkowski Artificial Intelligence and Soft Computing

    21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-23491-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cristea / Troussas | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Cristea / Troussas Intelligent Tutoring Systems

    17th International Conference, ITS 2021, Virtual Event, June 7-11, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-80420-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zaphiris / Ioannou | Learning and Collaboration Technologies | Buch | Sack Fachmedien

    Zaphiris / Ioannou Learning and Collaboration Technologies

    Second International Conference, LCT 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-20608-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baloian / Burstein / Ogata | Collaboration and Technology | Buch | Sack Fachmedien

    Baloian / Burstein / Ogata Collaboration and Technology

    20th International Conference, CRIWG 2014, Santiago, Chile, September 7-10, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10165-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Machado / Romero / Carballal | Evolutionary and Biologically Inspired Music, Sound, Art and Design | Buch | Sack Fachmedien

    Machado / Romero / Carballal Evolutionary and Biologically Inspired Music, Sound, Art and Design

    First International Conference, EvoMUSART 2012, Málaga, Spain, April 11-13, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29141-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gelbukh | Computational Linguistics and Intelligent Text Processing | eBook | Sack Fachmedien
    E-Book

    Gelbukh Computational Linguistics and Intelligent Text Processing

    13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part II
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-28601-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Moedersheim / Palamidessi | Theory of Security and Applications | eBook | Sack Fachmedien
    E-Book

    Moedersheim / Palamidessi Theory of Security and Applications

    Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-27375-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Pozzato / Uustalu | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Pozzato / Uustalu Automated Reasoning with Analytic Tableaux and Related Methods

    34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06084-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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