Ergebnisse filtern
Fachgebiet
Medium
  • 10536
Erscheinungsjahr
  • 183
  • 808
  • 831
  • 622
  • 487
  • 276
  • 288
  • 298
  • 288
  • 311
  • 306
  • 314
  • 279
  • 310
  • 315
  • 269
  • 270
  • 270
  • 231
  • 271
  • 272
  • 223
  • 362
  • 305
  • 261
  • 250
  • 177
  • 176
  • 117
  • 132
  • 135
  • 118
  • 108
  • 96
  • 73
  • 84
  • 57
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 6
  • 5
  • 5
  • 5
  • 4
  • 6
  • 4
  • 5
  • 6
  • 5
  • 6
  • 9
  • 6
  • 10
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 11
  • 4
  • 11
  • 8
  • 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
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 4
  • 7
  • 4
  • 39
  • 6
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 9
  • 6
  • 5
  • 5
  • 16
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 8
  • 4
  • 6
  • 7
  • 6
  • 8
  • 7
  • 8
  • 4
  • 12
  • 5
  • 5
  • 4
  • 5
  • 4
  • 17
  • 7
  • 6
  • 7
  • 4
  • 15
  • 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
  • 7
  • 8
  • 11
  • 9
  • 4
  • 4
  • 4
  • 5
  • 4
  • 9
  • 6
  • 4
  • 8
  • 4
  • 4
  • 11
  • 5
  • 4
  • 6
  • 5
  • 8
  • 14
  • 5
  • 4
  • 11
  • 7
  • 4
  • 16
  • 11
  • 16
  • 6
  • 5
  • 5
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 9
  • 9
  • 4
  • 4
  • 4
  • 8
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 16
  • 6
  • 7
  • 10
  • 5
  • 9
  • 7
  • 6
  • 4
  • 14
  • 4
  • 4
  • 7
  • 4
  • 24
  • 4
  • 13
  • 10
  • 9
  • 7
  • 4
  • 5
  • 11
  • 5
  • 4
  • 8
  • 34
  • 10
  • 41
  • 10
  • 8
  • 18
  • 14
  • 4
  • 5
  • 7
  • 4
  • 4
  • 21
  • 8
  • 38
  • 4
  • 8
  • 14
  • 10
  • 4
  • 4
  • 7
  • 12
  • 4
  • 6
  • 9
  • 13
  • 8
  • 7
  • 39
  • 4
  • 5
  • 5
  • 10
  • 9
  • 10
  • 4
  • 5
  • 4
  • 6
  • 4
  • 6
  • 11
  • 10
  • 5
  • 4
  • 4
  • 7
  • 6
  • 4
  • 4
  • 15
  • 10
  • 5
  • 13
  • 5
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 15
  • 21
  • 8
  • 5
  • 9
  • 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
  • 43
  • 38
  • 6
  • 23
  • 5
  • 4
  • 16
  • 8
  • 23
  • 11
  • 5
  • 5
  • 7
  • 18
  • 6
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 4
  • 27
  • 4
  • 15
  • 46
  • 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
  • 15
  • 55
  • 32
  • 4
  • 4
  • 22
  • 7
  • 18
  • 20
  • 90
  • 11
  • 6
  • 6
  • 15
  • 4
  • 4
  • 7
  • 19
  • 13
  • 5
  • 5
  • 6
  • 5
  • 9
  • 13
  • 7
  • 5
  • 8
  • 7
  • 5
  • 4
  • 4
  • 6
  • 4
  • 9
  • 5
  • 39
  • 4
  • 7
  • 7
  • 4
  • 7
  • 16
  • 8
  • 4
  • 7
  • 19
  • 39
  • 6
  • 4
  • 7
  • 17
  • 10
  • 6
  • 7
  • 6
  • 5
  • 4
  • 4
  • 8
  • 5
  • 8
  • 15
  • 6
  • 6
  • 5
  • 8
  • 5
  • 67
  • 5
  • 8
  • 10
  • 6
  • 7
  • 15
  • 6
  • 11
  • 5
  • 8
  • 18
  • 7
  • 10
  • 5
  • 6
  • 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
  • 6
  • 26
  • 6
  • 15
  • 35
  • 6
  • 6
  • 8
  • 9
  • 15
  • 5
  • 29
  • 6
  • 9
  • 5
  • 5
  • 9
  • 5
  • 5
  • 14
  • 6
  • 5
  • 5
  • 16
  • 20
  • 32
  • 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
  • 9
  • 13
  • 18
  • 20
  • 24
  • 8
  • 5
  • 62
  • 19
  • 6
  • 9
  • 5
  • 12
  • 20
  • 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
  • 24
  • 7
  • 32
  • 29
  • 6
  • 6
  • 8
  • 7
  • 16
  • 8
  • 6
  • 6
  • 5
  • 6
  • 7
  • 6
  • 11
  • 21
  • 6
  • 7
  • 8
  • 8
  • 13
  • 8
  • 5
  • 33
  • 8
  • 11
  • 5
  • 5
  • 5
  • 7
  • 5
  • 5
  • 16
  • 7
  • 9
  • 9
  • 5
  • 5
  • 9
  • 82
  • 10
  • 5
  • 7
  • 6
  • 13
  • 5
  • 6
  • 5
  • 9
  • 11
  • 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
  • 19
  • 7
  • 6
  • 18
  • 14
  • 5
  • 13
  • 11
  • 14
  • 15
  • 8
  • 16
  • 6
  • 5
  • 10
  • 23
  • 11
  • 9
  • 5
  • 12
  • 6
  • 22
  • 12
  • 12
  • 11
  • 6
  • 11
  • 7
  • 7
  • 16
  • 5
  • 15
  • 13
  • 8
  • 24
  • 9
  • 7
  • 6
  • 11
  • 6
  • 5
  • 10
  • 13
  • 10
  • 5
  • 8
  • 6
  • 14
  • 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
  • 5
  • 19
  • 8
  • 91
  • 6
  • 48
  • 11
  • 11
  • 5
  • 89
  • 22
  • 14
  • 13
  • 5
  • 11
  • 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
  • 7
  • 6
  • 6
  • 5
  • 9
  • 13
  • 5
  • 24
  • 6
  • 5
  • 6
  • 6
  • 5
  • 5
  • 14
  • 6
  • 7
  • 8
  • 8
  • 11
  • 12
  • 35
  • 10
  • 6
  • 6
  • 7
  • 18
  • 9
  • 11
  • 8
  • 10
  • 11
  • 5
  • 5
  • 7
  • 11
  • 5
  • 38
  • 7
  • 35
  • 12
  • 7
  • 8
  • 5
  • 6
  • 10
  • 8
  • 22
  • 6
  • 8
  • 8
  • 15
  • 14
  • 24
  • 8
  • 22
  • 10
  • 13
  • 24
  • 57
  • 10
  • 11
  • 19
  • 8
  • 9
  • 6
  • 10
  • 19
  • 18
  • 14
  • 6
  • 9
  • 54
  • 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
  • 6
  • 8
  • 37
  • 5
  • 11
  • 5
  • 7
  • 12
  • 5
  • 13
  • 19
  • 8
  • 21
  • 6
  • 5
  • 17
  • 20
  • 5
  • 10
  • 7
  • 6
  • 6
  • 8
  • 6
  • 9
  • 8
  • 6
  • 27
  • 6
  • 15
  • 10
  • 5
  • 6
  • 8
  • 6
  • 6
  • 5
  • 8
  • 11
  • 8
  • 9
  • 18
  • 5
  • 11
  • 5
  • 11
  • 5
  • 6
  • 24
  • 7
  • 14
  • 5
  • 5
  • 23
  • 11
  • 5
  • 5
  • 6
  • 5
  • 9
  • 18
  • 6
  • 6
  • 6
  • 47
  • 11
  • 5
  • 5
  • 5
  • 21
  • 6
  • 43
  • 14
  • 62
  • 18
  • 5
  • 9
  • 6
  • 6
  • 32
  • 7
  • 9
  • 5
  • 18
  • 21
  • 19
  • 11
  • 9
  • 12
  • 10
  • 6
  • 6
  • 20
Verlag
  • 2
  • 10479
  • 3
  • 5
  • 1
  • 1
  • 3
  • 1
  • 41
Preis
  • 42
  • 388
  • 8070
  • 2036
Sprachen
  • 10531
  • 17
  • 13
Verfügbarkeit
  • 10524
  • 12
Eigenschaften
  • 4
Katalog
  • 10536
  • 544
10.536  Treffer  für „Lecture Notes in Computer Science“
    Schweighofer / Leitold / Mitrakas | Privacy Technologies and Policy | Buch | Sack Fachmedien

    Schweighofer / Leitold / Mitrakas Privacy Technologies and Policy

    5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67279-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bansal / Finocchi | Algorithms - ESA 2015 | Buch | Sack Fachmedien

    Bansal / Finocchi Algorithms - ESA 2015

    23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48349-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bae | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Bae Rewriting Logic and Its Applications

    14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-12440-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Campos / Minea | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Campos / Minea Formal Methods: Foundations and Applications

    24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-92136-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knoop / Karl / Schulz | Architecture of Computing Systems - ARCS 2017 | Buch | Sack Fachmedien

    Knoop / Karl / Schulz Architecture of Computing Systems - ARCS 2017

    30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-54998-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cornuejols / Burkard / Woeginger | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Cornuejols / Burkard / Woeginger Integer Programming and Combinatorial Optimization

    7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66019-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kraetzer / Shi / Dittmann | Digital Forensics and Watermarking | Buch | Sack Fachmedien

    Kraetzer / Shi / Dittmann Digital Forensics and Watermarking

    16th International Workshop , IWDW 2017, Magdeburg, Germany, August 23-25, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-64184-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liò / Yoneki / Crowcroft | Bio-Inspired Computing and Communication | Buch | Sack Fachmedien

    Liò / Yoneki / Crowcroft Bio-Inspired Computing and Communication

    First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92190-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Platzer / Rozier / Pradella | Formal Methods | Buch | Sack Fachmedien

    Platzer / Rozier / Pradella Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
    2025
    Verlag: Springer
    ISBN: 978-3-031-71176-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiat / Sanders | Algorithms - ESA 2009 | Buch | Sack Fachmedien

    Fiat / Sanders Algorithms - ESA 2009

    17th Annual European Symposium, Copenhagen, Denmark, September 7-9, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04127-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garcia-Alfaro / Navarro-Arribas / Dragoni | Data Privacy Management, Cryptocurrencies and Blockchain Technology | Buch | Sack Fachmedien

    Garcia-Alfaro / Navarro-Arribas / Dragoni Data Privacy Management, Cryptocurrencies and Blockchain Technology

    ESORICS 2022 International Workshops, DPM 2022 and CBT 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-25733-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christiansen / Skadhauge / Villadsen | Constraint Solving and Language Processing | Buch | Sack Fachmedien

    Christiansen / Skadhauge / Villadsen Constraint Solving and Language Processing

    First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26165-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Núñez-Queija / Resing | Network Control and Optimization | Buch | Sack Fachmedien

    Núñez-Queija / Resing Network Control and Optimization

    Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-10405-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Damiani / Hähnle | Active Object Languages: Current Research Trends | Buch | Sack Fachmedien

    de Boer / Damiani / Hähnle Active Object Languages: Current Research Trends

    2024
    Verlag: Springer
    ISBN: 978-3-031-51059-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saracino / Mori | Emerging Technologies for Authorization and Authentication | Buch | Sack Fachmedien

    Saracino / Mori Emerging Technologies for Authorization and Authentication

    4th International Workshop, ETAA 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-93746-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Degano | Programming Languages and Systems | Buch | Sack Fachmedien

    Degano Programming Languages and Systems

    12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00886-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kittler / Roli | Multiple Classifier Systems | Buch | Sack Fachmedien

    Kittler / Roli Multiple Classifier Systems

    Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42284-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bäck / Preuss / Deutz | Parallel Problem Solving from Nature - PPSN XVI | Buch | Sack Fachmedien

    Bäck / Preuss / Deutz Parallel Problem Solving from Nature - PPSN XVI

    16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58111-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertacco / Legay | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Bertacco / Legay Hardware and Software: Verification and Testing

    9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03076-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa / Steinby | Automata, Languages and Programming | Buch | Sack Fachmedien

    Salomaa / Steinby Automata, Languages and Programming

    Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977
    1. Auflage 1977
    Verlag: Springer
    ISBN: 978-3-540-08342-9
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
    2024
    Verlag: Springer
    ISBN: 978-3-031-75386-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jourdan / Mounier / Adams | Foundations and Practice of Security | Buch | Sack Fachmedien

    Jourdan / Mounier / Adams Foundations and Practice of Security

    15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-30121-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Younas / Awan / Petcu | Mobile Web and Intelligent Information Systems | Buch | Sack Fachmedien

    Younas / Awan / Petcu Mobile Web and Intelligent Information Systems

    20th International Conference, MobiWIS 2024, Vienna, Austria, August 19-21, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68004-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chechik / Katoen / Leucker | Formal Methods | Buch | Sack Fachmedien

    Chechik / Katoen / Leucker Formal Methods

    25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-27480-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bobaru / Havelund / Holzmann | NASA Formal Methods | Buch | Sack Fachmedien

    Bobaru / Havelund / Holzmann NASA Formal Methods

    Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20397-8
    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