Ergebnisse filtern
Fachgebiet
Medium
  • 10724
Erscheinungsjahr
  • 330
  • 794
  • 840
  • 619
  • 487
  • 285
  • 307
  • 303
  • 312
  • 269
  • 321
  • 304
  • 300
  • 317
  • 288
  • 271
  • 294
  • 262
  • 212
  • 262
  • 278
  • 228
  • 361
  • 302
  • 255
  • 255
  • 177
  • 179
  • 133
  • 136
  • 134
  • 116
  • 106
  • 93
  • 73
  • 87
  • 59
  • 59
  • 45
  • 46
  • 33
  • 26
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 5
  • 6
  • 4
  • 4
  • 4
  • 4
  • 7
  • 5
  • 4
  • 9
  • 4
  • 12
  • 8
  • 10
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 9
  • 9
  • 6
  • 4
  • 4
  • 7
  • 17
  • 5
  • 15
  • 4
  • 8
  • 5
  • 4
  • 4
  • 5
  • 5
  • 9
  • 9
  • 4
  • 6
  • 4
  • 4
  • 5
  • 4
  • 6
  • 14
  • 4
  • 32
  • 36
  • 4
  • 41
  • 4
  • 5
  • 6
  • 4
  • 4
  • 7
  • 5
  • 5
  • 5
  • 15
  • 4
  • 16
  • 4
  • 13
  • 4
  • 4
  • 4
  • 4
  • 7
  • 39
  • 10
  • 6
  • 4
  • 6
  • 5
  • 4
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 10
  • 4
  • 6
  • 16
  • 10
  • 9
  • 6
  • 5
  • 5
  • 4
  • 6
  • 6
  • 9
  • 6
  • 5
  • 7
  • 9
  • 10
  • 11
  • 7
  • 6
  • 4
  • 11
  • 4
  • 4
  • 5
  • 4
  • 18
  • 5
  • 6
  • 11
  • 6
  • 9
  • 5
  • 5
  • 5
  • 11
  • 7
  • 8
  • 4
  • 26
  • 5
  • 4
  • 4
  • 9
  • 4
  • 5
  • 10
  • 5
  • 6
  • 40
  • 4
  • 4
  • 4
  • 8
  • 6
  • 20
  • 16
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 10
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 12
  • 5
  • 4
  • 5
  • 4
  • 5
  • 11
  • 4
  • 5
  • 6
  • 4
  • 6
  • 9
  • 12
  • 5
  • 4
  • 13
  • 9
  • 4
  • 12
  • 9
  • 5
  • 16
  • 4
  • 8
  • 5
  • 4
  • 7
  • 4
  • 4
  • 7
  • 10
  • 39
  • 15
  • 8
  • 6
  • 4
  • 4
  • 9
  • 4
  • 5
  • 4
  • 8
  • 7
  • 5
  • 15
  • 4
  • 6
  • 7
  • 5
  • 13
  • 5
  • 6
  • 14
  • 4
  • 8
  • 24
  • 4
  • 5
  • 11
  • 6
  • 4
  • 8
  • 8
  • 6
  • 4
  • 6
  • 5
  • 4
  • 8
  • 34
  • 4
  • 12
  • 41
  • 13
  • 8
  • 18
  • 15
  • 11
  • 5
  • 20
  • 9
  • 35
  • 4
  • 9
  • 14
  • 12
  • 4
  • 4
  • 12
  • 4
  • 6
  • 12
  • 10
  • 8
  • 5
  • 4
  • 39
  • 4
  • 5
  • 4
  • 10
  • 6
  • 11
  • 4
  • 4
  • 4
  • 4
  • 7
  • 10
  • 13
  • 6
  • 5
  • 6
  • 4
  • 4
  • 16
  • 5
  • 7
  • 12
  • 6
  • 5
  • 4
  • 7
  • 4
  • 6
  • 9
  • 15
  • 23
  • 6
  • 7
  • 5
  • 6
  • 6
  • 4
  • 8
  • 6
  • 6
  • 11
  • 12
  • 4
  • 24
  • 6
  • 7
  • 6
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 15
  • 10
  • 6
  • 9
  • 9
  • 4
  • 4
  • 5
  • 48
  • 40
  • 11
  • 23
  • 8
  • 15
  • 6
  • 32
  • 13
  • 5
  • 19
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 9
  • 4
  • 5
  • 25
  • 4
  • 4
  • 14
  • 43
  • 4
  • 7
  • 7
  • 4
  • 14
  • 6
  • 7
  • 5
  • 6
  • 8
  • 5
  • 11
  • 6
  • 4
  • 5
  • 6
  • 6
  • 8
  • 8
  • 5
  • 4
  • 5
  • 4
  • 7
  • 16
  • 14
  • 4
  • 6
  • 4
  • 10
  • 4
  • 4
  • 4
  • 12
  • 8
  • 5
  • 10
  • 6
  • 18
  • 59
  • 33
  • 7
  • 22
  • 5
  • 17
  • 23
  • 98
  • 11
  • 6
  • 8
  • 16
  • 11
  • 6
  • 6
  • 18
  • 12
  • 8
  • 5
  • 5
  • 13
  • 7
  • 5
  • 6
  • 7
  • 13
  • 5
  • 5
  • 42
  • 6
  • 8
  • 10
  • 6
  • 5
  • 10
  • 12
  • 6
  • 8
  • 10
  • 21
  • 39
  • 5
  • 17
  • 8
  • 17
  • 15
  • 10
  • 7
  • 65
  • 7
  • 6
  • 6
  • 6
  • 7
  • 15
  • 7
  • 11
  • 9
  • 18
  • 11
  • 7
  • 5
  • 6
  • 6
  • 10
  • 6
  • 18
  • 10
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 9
  • 5
  • 12
  • 6
  • 5
  • 5
  • 6
  • 10
  • 7
  • 8
  • 10
  • 5
  • 5
  • 8
  • 7
  • 10
  • 35
  • 12
  • 8
  • 25
  • 6
  • 16
  • 34
  • 6
  • 8
  • 9
  • 15
  • 7
  • 5
  • 33
  • 6
  • 6
  • 10
  • 5
  • 9
  • 5
  • 7
  • 16
  • 6
  • 6
  • 11
  • 5
  • 17
  • 32
  • 20
  • 8
  • 8
  • 6
  • 6
  • 15
  • 23
  • 5
  • 13
  • 27
  • 43
  • 10
  • 5
  • 5
  • 5
  • 10
  • 5
  • 11
  • 5
  • 12
  • 6
  • 6
  • 5
  • 6
  • 9
  • 7
  • 6
  • 15
  • 91
  • 12
  • 18
  • 7
  • 12
  • 6
  • 6
  • 8
  • 13
  • 5
  • 7
  • 7
  • 5
  • 12
  • 11
  • 7
  • 18
  • 19
  • 6
  • 25
  • 8
  • 5
  • 58
  • 17
  • 6
  • 8
  • 11
  • 22
  • 5
  • 9
  • 5
  • 6
  • 8
  • 8
  • 6
  • 5
  • 9
  • 25
  • 6
  • 6
  • 5
  • 10
  • 14
  • 13
  • 14
  • 15
  • 11
  • 10
  • 17
  • 5
  • 11
  • 9
  • 5
  • 27
  • 6
  • 34
  • 28
  • 7
  • 6
  • 6
  • 8
  • 6
  • 18
  • 6
  • 7
  • 5
  • 10
  • 14
  • 8
  • 5
  • 6
  • 10
  • 19
  • 8
  • 6
  • 6
  • 6
  • 5
  • 5
  • 8
  • 12
  • 6
  • 5
  • 32
  • 13
  • 8
  • 10
  • 5
  • 6
  • 20
  • 7
  • 9
  • 11
  • 5
  • 7
  • 10
  • 5
  • 89
  • 7
  • 6
  • 7
  • 5
  • 9
  • 11
  • 5
  • 5
  • 5
  • 11
  • 12
  • 40
  • 8
  • 5
  • 20
  • 8
  • 5
  • 6
  • 10
  • 6
  • 10
  • 5
  • 7
  • 6
  • 11
  • 5
  • 7
  • 8
  • 7
  • 9
  • 6
  • 7
  • 5
  • 7
  • 7
  • 5
  • 6
  • 10
  • 43
  • 6
  • 21
  • 6
  • 7
  • 17
  • 14
  • 5
  • 9
  • 7
  • 6
  • 13
  • 14
  • 19
  • 15
  • 6
  • 11
  • 5
  • 5
  • 9
  • 27
  • 12
  • 11
  • 9
  • 6
  • 20
  • 6
  • 11
  • 6
  • 13
  • 12
  • 7
  • 6
  • 6
  • 16
  • 5
  • 11
  • 6
  • 6
  • 14
  • 8
  • 24
  • 5
  • 5
  • 6
  • 10
  • 12
  • 12
  • 8
  • 6
  • 7
  • 13
  • 7
  • 5
  • 7
  • 9
  • 31
  • 6
  • 13
  • 7
  • 7
  • 20
  • 7
  • 5
  • 10
  • 5
  • 90
  • 5
  • 7
  • 6
  • 11
  • 5
  • 6
  • 24
  • 16
  • 8
  • 17
  • 12
  • 8
  • 9
  • 11
  • 10
  • 20
  • 8
  • 93
  • 6
  • 51
  • 11
  • 11
  • 6
  • 6
  • 89
  • 19
  • 5
  • 14
  • 11
  • 5
  • 10
  • 9
  • 20
  • 13
  • 6
  • 6
  • 5
  • 9
  • 5
  • 8
  • 5
  • 5
  • 90
  • 5
  • 6
  • 19
  • 8
  • 8
  • 12
  • 12
  • 16
  • 5
  • 13
  • 9
  • 7
  • 11
  • 5
  • 8
  • 7
  • 22
  • 17
  • 8
  • 5
  • 5
  • 5
  • 13
  • 8
  • 25
  • 8
  • 7
  • 6
  • 5
  • 6
  • 5
  • 14
  • 6
  • 7
  • 9
  • 6
  • 15
  • 17
  • 22
  • 29
  • 5
  • 6
  • 20
  • 9
  • 6
  • 7
  • 11
  • 12
  • 16
  • 8
  • 5
  • 7
  • 12
  • 8
  • 38
  • 8
  • 48
  • 12
  • 6
  • 13
  • 11
  • 11
  • 9
  • 22
  • 8
  • 17
  • 7
  • 17
  • 15
  • 21
  • 6
  • 5
  • 7
  • 5
  • 24
  • 7
  • 25
  • 59
  • 10
  • 15
  • 17
  • 8
  • 9
  • 7
  • 19
  • 20
  • 12
  • 7
  • 5
  • 10
  • 60
  • 24
  • 12
  • 6
  • 12
  • 14
  • 6
  • 7
  • 12
  • 17
  • 6
  • 11
  • 8
  • 15
  • 15
  • 7
  • 8
  • 13
  • 10
  • 89
  • 10
  • 16
  • 5
  • 16
  • 6
  • 5
  • 15
  • 13
  • 7
  • 32
  • 5
  • 11
  • 7
  • 7
  • 11
  • 5
  • 6
  • 13
  • 19
  • 7
  • 11
  • 6
  • 19
  • 6
  • 5
  • 7
  • 13
  • 22
  • 13
  • 13
  • 6
  • 6
  • 7
  • 5
  • 8
  • 5
  • 6
  • 7
  • 25
  • 8
  • 16
  • 10
  • 6
  • 6
  • 7
  • 5
  • 6
  • 6
  • 5
  • 14
  • 13
  • 8
  • 5
  • 5
  • 5
  • 18
  • 5
  • 10
  • 5
  • 12
  • 6
  • 8
  • 7
  • 26
  • 12
  • 14
  • 8
  • 20
  • 11
  • 5
  • 9
  • 5
  • 12
  • 18
  • 7
  • 6
  • 6
  • 40
  • 8
  • 8
  • 5
  • 5
  • 23
  • 6
  • 7
  • 43
  • 13
  • 63
  • 5
  • 6
  • 17
  • 5
  • 12
  • 11
  • 6
  • 32
  • 7
  • 7
  • 23
  • 21
  • 17
  • 5
  • 5
  • 6
  • 6
  • 5
  • 10
  • 9
  • 5
  • 22
Verlag
  • 3
  • 10664
  • 3
  • 6
  • 1
  • 4
  • 6
  • 1
  • 36
Preis
  • 47
  • 382
  • 8175
  • 2120
Sprachen
  • 10718
  • 17
  • 13
Verfügbarkeit
  • 10711
  • 13
Eigenschaften
  • 6
Katalog
  • 10724
  • 569
10.724  Treffer  für „Lecture Notes in Computer Science“
    Peng / Ampatzoglou / Bhowmik | Reuse in the Big Data Era | Buch | Sack Fachmedien

    Peng / Ampatzoglou / Bhowmik Reuse in the Big Data Era

    18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26-28, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-22887-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alves | Advances in Bioinformatics and Computational Biology | Buch | Sack Fachmedien

    Alves Advances in Bioinformatics and Computational Biology

    11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 - November 1, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-01721-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsui | Topics in Cryptology - CT-RSA 2019 | Buch | Sack Fachmedien

    Matsui Topics in Cryptology - CT-RSA 2019

    The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-12611-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nayak / Sharma | PRICAI 2019: Trends in Artificial Intelligence | Buch | Sack Fachmedien

    Nayak / Sharma PRICAI 2019: Trends in Artificial Intelligence

    16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-29907-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burgos / Gooya / Svoboda | Simulation and Synthesis in Medical Imaging | Buch | Sack Fachmedien

    Burgos / Gooya / Svoboda Simulation and Synthesis in Medical Imaging

    4th International Workshop, SASHIMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-32777-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ben Sassi / Ducasse / Mili | Reuse in Emerging Software Engineering Practices | Buch | Sack Fachmedien

    Ben Sassi / Ducasse / Mili Reuse in Emerging Software Engineering Practices

    19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2-4, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-64693-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chiu / Wang / Popescu | New Horizons in Web Based Learning | Buch | Sack Fachmedien

    Chiu / Wang / Popescu New Horizons in Web Based Learning

    ICWL 2011 International Workshops, KMEL, ELSM, and SPeL, Hong Kong, December 8-19, 2011; ICWL 2012 International Workshops, KMEL, SciLearn, and CCSTED, Sinaia, Romania, September 2-4, 2012, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43453-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    da Rocha Costa / Vicari / Tonidandel | Advances in Artificial Intelligence -- SBIA 2010 | Buch | Sack Fachmedien

    da Rocha Costa / Vicari / Tonidandel Advances in Artificial Intelligence -- SBIA 2010

    20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16137-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosulek | Topics in Cryptology - CT-RSA 2023 | Buch | Sack Fachmedien

    Rosulek Topics in Cryptology - CT-RSA 2023

    Cryptographers' Track at the RSA Conference 2023, San Francisco, CA, USA, April 24-27, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-30871-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basili / Lembo / Limongelli | AIxIA 2023 - Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Basili / Lembo / Limongelli AIxIA 2023 - Advances in Artificial Intelligence

    XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-47545-0
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crémilleux / Hess / Nijssen | Advances in Intelligent Data Analysis XXI | Buch | Sack Fachmedien

    Crémilleux / Hess / Nijssen Advances in Intelligent Data Analysis XXI

    21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-30046-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vento / Foggia / Conte | Graph-Based Representations in Pattern Recognition | Buch | Sack Fachmedien

    Vento / Foggia / Conte Graph-Based Representations in Pattern Recognition

    13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42794-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carlet / Mandal / Rijmen | Selected Areas in Cryptography - SAC 2023 | Buch | Sack Fachmedien

    Carlet / Mandal / Rijmen Selected Areas in Cryptography - SAC 2023

    30th International Conference, Fredericton, Canada, August 14-18, 2023, Revised Selected Papers
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-53367-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miliou / Piatkowski / Papapetrou | Advances in Intelligent Data Analysis XXII | Buch | Sack Fachmedien

    Miliou / Piatkowski / Papapetrou Advances in Intelligent Data Analysis XXII

    22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-58555-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oswald | Topics in Cryptology - CT-RSA 2024 | Buch | Sack Fachmedien

    Oswald Topics in Cryptology - CT-RSA 2024

    Cryptographers' Track at the RSA Conference 2024, San Francisco, CA, USA, May 6-9, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-58867-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boura / Mashatan / Miri | Selected Areas in Cryptography - SAC 2025 | Buch | Sack Fachmedien

    Boura / Mashatan / Miri Selected Areas in Cryptography - SAC 2025

    32nd International Conference, Toronto, ON, Canada, August 13-15, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-10535-6
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tekli / Gamper / Chbeir | Advances in Databases and Information Systems | Buch | Sack Fachmedien

    Tekli / Gamper / Chbeir Advances in Databases and Information Systems

    28th European Conference, ADBIS 2024, Bayonne, France, August 28–31, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-70628-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kwok / Zhang / Lu | Advances in Neural Networks -- ISNN 2010 | Buch | Sack Fachmedien

    Kwok / Zhang / Lu Advances in Neural Networks -- ISNN 2010

    7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13317-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joux / Youssef | Selected Areas in Cryptography -- SAC 2014 | Buch | Sack Fachmedien

    Joux / Youssef Selected Areas in Cryptography -- SAC 2014

    21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13050-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    El Gayar / Schwenker / Suen | Artificial Neural Networks in Pattern Recognition | Buch | Sack Fachmedien

    El Gayar / Schwenker / Suen Artificial Neural Networks in Pattern Recognition

    6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11655-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Mohamed / Munoz / Tahar | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

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

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-71065-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Schobbens | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro / Schobbens Recent Trends in Algebraic Development Techniques

    18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71997-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lange / Lauter / Lisonek | Selected Areas in Cryptography -- SAC 2013 | Buch | Sack Fachmedien

    Lange / Lauter / Lisonek Selected Areas in Cryptography -- SAC 2013

    20th International Conference, Burnaby, BC, Canada, August 14-16, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43413-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Omicini / Tolksdorf / Zambonelli | Engineering Societies in the Agents World | Buch | Sack Fachmedien

    Omicini / Tolksdorf / Zambonelli Engineering Societies in the Agents World

    First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000. Revised Papers
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41477-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abe | Topics in Cryptology - CT-RSA 2007 | Buch | Sack Fachmedien

    Abe Topics in Cryptology - CT-RSA 2007

    The Cryptographers' Track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-69327-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