Ergebnisse filtern
Fachgebiet
Medium
  • 10567
Erscheinungsjahr
  • 186
  • 808
  • 833
  • 625
  • 490
  • 278
  • 293
  • 297
  • 292
  • 312
  • 308
  • 317
  • 280
  • 311
  • 317
  • 264
  • 271
  • 270
  • 229
  • 265
  • 272
  • 223
  • 363
  • 305
  • 260
  • 250
  • 177
  • 176
  • 117
  • 132
  • 135
  • 118
  • 108
  • 96
  • 73
  • 84
  • 57
  • 59
  • 45
  • 46
  • 33
  • 26
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 6
  • 5
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 6
  • 5
  • 6
  • 9
  • 6
  • 10
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 11
  • 4
  • 11
  • 8
  • 4
  • 5
  • 6
  • 16
  • 6
  • 4
  • 20
  • 5
  • 8
  • 5
  • 6
  • 4
  • 6
  • 5
  • 9
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 5
  • 14
  • 5
  • 25
  • 36
  • 6
  • 39
  • 7
  • 7
  • 4
  • 6
  • 7
  • 15
  • 16
  • 5
  • 4
  • 11
  • 4
  • 5
  • 4
  • 4
  • 7
  • 4
  • 39
  • 7
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 9
  • 6
  • 5
  • 5
  • 16
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 8
  • 4
  • 6
  • 8
  • 6
  • 8
  • 7
  • 7
  • 4
  • 12
  • 5
  • 4
  • 5
  • 4
  • 5
  • 4
  • 17
  • 7
  • 6
  • 7
  • 4
  • 14
  • 4
  • 10
  • 5
  • 5
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 16
  • 4
  • 4
  • 10
  • 5
  • 5
  • 9
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 6
  • 14
  • 11
  • 6
  • 4
  • 7
  • 8
  • 11
  • 11
  • 4
  • 4
  • 4
  • 5
  • 4
  • 9
  • 6
  • 4
  • 8
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 6
  • 5
  • 8
  • 14
  • 5
  • 4
  • 11
  • 7
  • 4
  • 16
  • 4
  • 11
  • 16
  • 6
  • 5
  • 5
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 9
  • 9
  • 4
  • 4
  • 4
  • 8
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 16
  • 5
  • 7
  • 10
  • 5
  • 4
  • 9
  • 7
  • 6
  • 4
  • 14
  • 4
  • 7
  • 4
  • 24
  • 4
  • 13
  • 10
  • 9
  • 7
  • 4
  • 5
  • 11
  • 5
  • 4
  • 8
  • 34
  • 12
  • 41
  • 10
  • 8
  • 18
  • 14
  • 4
  • 5
  • 7
  • 4
  • 4
  • 21
  • 8
  • 38
  • 4
  • 9
  • 14
  • 10
  • 4
  • 4
  • 7
  • 12
  • 4
  • 6
  • 9
  • 13
  • 8
  • 7
  • 39
  • 4
  • 5
  • 5
  • 10
  • 8
  • 10
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 11
  • 10
  • 5
  • 4
  • 4
  • 7
  • 6
  • 4
  • 4
  • 16
  • 10
  • 5
  • 13
  • 5
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 15
  • 21
  • 8
  • 5
  • 8
  • 4
  • 6
  • 4
  • 6
  • 14
  • 5
  • 24
  • 6
  • 7
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 15
  • 10
  • 6
  • 8
  • 10
  • 5
  • 42
  • 38
  • 6
  • 23
  • 5
  • 4
  • 16
  • 8
  • 23
  • 11
  • 5
  • 5
  • 7
  • 19
  • 6
  • 4
  • 4
  • 4
  • 5
  • 5
  • 5
  • 4
  • 27
  • 4
  • 15
  • 46
  • 4
  • 8
  • 7
  • 4
  • 15
  • 7
  • 6
  • 6
  • 11
  • 15
  • 5
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 5
  • 14
  • 7
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 8
  • 6
  • 5
  • 4
  • 5
  • 10
  • 4
  • 4
  • 15
  • 55
  • 33
  • 4
  • 4
  • 24
  • 7
  • 18
  • 21
  • 90
  • 5
  • 11
  • 6
  • 6
  • 15
  • 4
  • 4
  • 7
  • 19
  • 13
  • 5
  • 5
  • 5
  • 5
  • 9
  • 13
  • 7
  • 5
  • 8
  • 7
  • 5
  • 4
  • 6
  • 11
  • 5
  • 41
  • 7
  • 7
  • 7
  • 16
  • 8
  • 7
  • 19
  • 39
  • 6
  • 7
  • 17
  • 10
  • 6
  • 7
  • 6
  • 5
  • 8
  • 5
  • 8
  • 15
  • 6
  • 6
  • 8
  • 8
  • 5
  • 67
  • 5
  • 8
  • 10
  • 6
  • 7
  • 15
  • 6
  • 11
  • 5
  • 8
  • 18
  • 7
  • 10
  • 5
  • 6
  • 5
  • 5
  • 11
  • 17
  • 11
  • 7
  • 7
  • 13
  • 5
  • 6
  • 13
  • 6
  • 6
  • 7
  • 5
  • 13
  • 6
  • 5
  • 10
  • 9
  • 11
  • 7
  • 8
  • 7
  • 6
  • 6
  • 29
  • 8
  • 6
  • 5
  • 8
  • 26
  • 6
  • 16
  • 36
  • 6
  • 6
  • 8
  • 9
  • 15
  • 7
  • 29
  • 6
  • 9
  • 5
  • 5
  • 9
  • 5
  • 5
  • 14
  • 6
  • 5
  • 5
  • 16
  • 20
  • 33
  • 5
  • 17
  • 9
  • 8
  • 19
  • 5
  • 9
  • 5
  • 5
  • 25
  • 5
  • 14
  • 30
  • 35
  • 6
  • 9
  • 9
  • 6
  • 17
  • 6
  • 5
  • 12
  • 5
  • 5
  • 8
  • 7
  • 6
  • 6
  • 7
  • 8
  • 5
  • 13
  • 90
  • 5
  • 12
  • 18
  • 6
  • 14
  • 6
  • 5
  • 8
  • 13
  • 12
  • 5
  • 5
  • 10
  • 13
  • 18
  • 20
  • 24
  • 8
  • 5
  • 62
  • 19
  • 6
  • 9
  • 5
  • 12
  • 21
  • 5
  • 9
  • 5
  • 6
  • 7
  • 5
  • 5
  • 8
  • 5
  • 14
  • 5
  • 5
  • 5
  • 23
  • 6
  • 13
  • 12
  • 13
  • 15
  • 15
  • 12
  • 8
  • 18
  • 11
  • 9
  • 9
  • 9
  • 25
  • 7
  • 32
  • 29
  • 6
  • 6
  • 8
  • 7
  • 16
  • 8
  • 6
  • 8
  • 5
  • 6
  • 8
  • 6
  • 11
  • 21
  • 6
  • 5
  • 7
  • 8
  • 8
  • 13
  • 8
  • 5
  • 33
  • 8
  • 11
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 16
  • 5
  • 9
  • 9
  • 5
  • 9
  • 82
  • 10
  • 5
  • 7
  • 6
  • 13
  • 5
  • 6
  • 5
  • 9
  • 12
  • 37
  • 13
  • 5
  • 16
  • 6
  • 5
  • 5
  • 10
  • 6
  • 6
  • 5
  • 5
  • 8
  • 5
  • 8
  • 6
  • 6
  • 6
  • 6
  • 7
  • 5
  • 6
  • 7
  • 43
  • 5
  • 5
  • 5
  • 18
  • 7
  • 6
  • 18
  • 13
  • 5
  • 13
  • 13
  • 14
  • 15
  • 8
  • 16
  • 6
  • 5
  • 10
  • 23
  • 11
  • 9
  • 5
  • 12
  • 6
  • 21
  • 11
  • 12
  • 11
  • 6
  • 11
  • 7
  • 7
  • 16
  • 5
  • 15
  • 13
  • 8
  • 24
  • 9
  • 7
  • 6
  • 11
  • 6
  • 5
  • 10
  • 13
  • 10
  • 8
  • 5
  • 6
  • 16
  • 6
  • 6
  • 5
  • 12
  • 24
  • 6
  • 12
  • 6
  • 7
  • 19
  • 5
  • 11
  • 91
  • 5
  • 6
  • 8
  • 5
  • 22
  • 7
  • 9
  • 5
  • 18
  • 9
  • 8
  • 8
  • 11
  • 7
  • 19
  • 8
  • 91
  • 6
  • 49
  • 11
  • 11
  • 5
  • 89
  • 21
  • 14
  • 13
  • 5
  • 12
  • 9
  • 13
  • 8
  • 8
  • 6
  • 5
  • 8
  • 8
  • 89
  • 5
  • 7
  • 15
  • 20
  • 10
  • 12
  • 11
  • 17
  • 11
  • 12
  • 6
  • 5
  • 11
  • 5
  • 10
  • 22
  • 8
  • 6
  • 5
  • 5
  • 9
  • 13
  • 5
  • 24
  • 6
  • 5
  • 6
  • 6
  • 5
  • 5
  • 14
  • 6
  • 7
  • 8
  • 8
  • 11
  • 12
  • 40
  • 5
  • 6
  • 6
  • 7
  • 18
  • 9
  • 11
  • 8
  • 10
  • 11
  • 6
  • 5
  • 7
  • 11
  • 5
  • 38
  • 7
  • 35
  • 12
  • 7
  • 8
  • 5
  • 6
  • 10
  • 8
  • 22
  • 6
  • 8
  • 8
  • 15
  • 14
  • 23
  • 8
  • 26
  • 7
  • 13
  • 24
  • 57
  • 10
  • 11
  • 19
  • 8
  • 9
  • 6
  • 10
  • 19
  • 18
  • 14
  • 6
  • 9
  • 57
  • 24
  • 12
  • 8
  • 12
  • 12
  • 6
  • 12
  • 9
  • 12
  • 5
  • 10
  • 7
  • 6
  • 15
  • 11
  • 7
  • 9
  • 10
  • 5
  • 89
  • 10
  • 7
  • 15
  • 5
  • 5
  • 5
  • 6
  • 15
  • 8
  • 8
  • 36
  • 5
  • 11
  • 7
  • 7
  • 12
  • 5
  • 13
  • 20
  • 10
  • 21
  • 6
  • 5
  • 17
  • 20
  • 5
  • 10
  • 7
  • 6
  • 6
  • 8
  • 6
  • 9
  • 8
  • 6
  • 27
  • 6
  • 15
  • 10
  • 5
  • 6
  • 9
  • 6
  • 6
  • 5
  • 8
  • 11
  • 10
  • 9
  • 18
  • 5
  • 11
  • 5
  • 11
  • 5
  • 6
  • 24
  • 7
  • 14
  • 5
  • 5
  • 23
  • 11
  • 5
  • 5
  • 5
  • 5
  • 5
  • 9
  • 18
  • 6
  • 6
  • 6
  • 47
  • 10
  • 5
  • 5
  • 5
  • 21
  • 6
  • 43
  • 14
  • 62
  • 18
  • 5
  • 10
  • 6
  • 6
  • 32
  • 7
  • 9
  • 5
  • 18
  • 21
  • 19
  • 11
  • 9
  • 12
  • 10
  • 6
  • 6
  • 21
Verlag
  • 2
  • 10507
  • 3
  • 5
  • 3
  • 1
  • 3
  • 1
  • 42
Preis
  • 47
  • 391
  • 8091
  • 2038
Sprachen
  • 10561
  • 18
  • 13
Verfügbarkeit
  • 10553
  • 14
Eigenschaften
  • 9
Katalog
  • 10567
  • 544
10.567  Treffer  für „Lecture Notes in Computer Science“
    Enea / Piskac | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Enea / Piskac Verification, Model Checking, and Abstract Interpretation

    20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-11244-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lierler / Taha | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Lierler / Taha Practical Aspects of Declarative Languages

    19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-51675-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jonker / Petkovic | Secure Data Management | Buch | Sack Fachmedien

    Jonker / Petkovic Secure Data Management

    VLDB 2004 Workshop, SDM 2004, Toronto, Canada, August 30, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22983-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartmann / Küng / Chakravarthy | Database and Expert Systems Applications | Buch | Sack Fachmedien

    Hartmann / Küng / Chakravarthy Database and Expert Systems Applications

    30th International Conference, DEXA 2019, Linz, Austria, August 26-29, 2019, Proceedings, Part II
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-27617-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazal | Modelling and Simulation for Autonomous Systems | Buch | Sack Fachmedien

    Mazal Modelling and Simulation for Autonomous Systems

    5th International Conference, MESAS 2018, Prague, Czech Republic, October 17-19, 2018, Revised Selected papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-14983-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Deelman | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Deelman Parallel Processing and Applied Mathematics

    14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-30441-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bournez / Formenti / Potapov | Reachability Problems | Buch | Sack Fachmedien

    Bournez / Formenti / Potapov Reachability Problems

    17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45285-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Huang / Yung | Data Security and Privacy Protection | Buch | Sack Fachmedien

    Chen / Huang / Yung Data Security and Privacy Protection

    Second International Conference, DSPP 2024, Xi'an, China, October 25-28, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-981-97-8545-2
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goldberg / Atallah | Privacy Enhancing Technologies | Buch | Sack Fachmedien

    Goldberg / Atallah Privacy Enhancing Technologies

    9th International Symposium, PETS 2009, Seattle, WA, USA, August 5-7, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03167-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mueller / Bestavros | Languages, Compilers, and Tools for Embedded Systems | Buch | Sack Fachmedien

    Mueller / Bestavros Languages, Compilers, and Tools for Embedded Systems

    ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65075-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Gelernter / Nicolau | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Banerjee / Gelernter / Nicolau Languages and Compilers for Parallel Computing

    5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57502-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odersky | ECOOP 2004 - Object-Oriented Programming | Buch | Sack Fachmedien

    Odersky ECOOP 2004 - Object-Oriented Programming

    18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22159-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Markopoulos / Eggen / Aarts | Ambient Intelligence | Buch | Sack Fachmedien

    Markopoulos / Eggen / Aarts Ambient Intelligence

    Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23721-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yin / Allinson / Freeman | Intelligent Data Engineering and Automated Learning - IDEAL 2002 | Buch | Sack Fachmedien

    Yin / Allinson / Freeman Intelligent Data Engineering and Automated Learning - IDEAL 2002

    Third International Conference, Manchester, UK, August 12-14 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44025-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bracciali / Clark / Pintore | Financial Cryptography and Data Security | Buch | Sack Fachmedien

    Bracciali / Clark / Pintore Financial Cryptography and Data Security

    FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-43724-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gainaru / Zhang / Luo | Benchmarking, Measuring, and Optimizing | Buch | Sack Fachmedien

    Gainaru / Zhang / Luo Benchmarking, Measuring, and Optimizing

    14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-31179-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Onizuka / Lee / Tong | Database Systems for Advanced Applications | Buch | Sack Fachmedien

    Onizuka / Lee / Tong Database Systems for Advanced Applications

    29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024, Proceedings, Part VII
    2024
    Verlag: Springer
    ISBN: 978-981-97-5574-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Unger / Boehme / Mikler | Innovative Internet Computing Systems | Buch | Sack Fachmedien

    Unger / Boehme / Mikler Innovative Internet Computing Systems

    Second International Workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43790-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lan / Mei / Jiang | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Lan / Mei / Jiang Intelligent Robotics and Applications

    17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-960770-9
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piloty / Barbacci / Borrione | CONLAN Report | Buch | Sack Fachmedien

    Piloty / Barbacci / Borrione CONLAN Report

    1. Auflage 1983
    Verlag: Springer
    ISBN: 978-3-540-12275-3
    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
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43847-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garcia-Alfaro / Leneutre / Cuppens | Risks and Security of Internet and Systems | Buch | Sack Fachmedien

    Garcia-Alfaro / Leneutre / Cuppens Risks and Security of Internet and Systems

    15th International Conference, CRiSIS 2020, Paris, France, November 4-6, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-68886-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oquendo / Warboys / Morrison | Software Architecture | Buch | Sack Fachmedien

    Oquendo / Warboys / Morrison Software Architecture

    First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22000-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerone / Autili / Bucaioni | Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops | Buch | Sack Fachmedien

    Cerone / Autili / Bucaioni Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

    CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-12428-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoos / Mitchell | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Hoos / Mitchell Theory and Applications of Satisfiability Testing

    7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27829-0
    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