Ergebnisse filtern
Fachgebiet
Medium
  • 7618
Erscheinungsjahr
  • 662
  • 739
  • 427
  • 296
  • 170
  • 179
  • 203
  • 210
  • 192
  • 199
  • 202
  • 188
  • 196
  • 183
  • 185
  • 186
  • 185
  • 171
  • 225
  • 198
  • 190
  • 284
  • 247
  • 219
  • 191
  • 139
  • 125
  • 112
  • 119
  • 109
  • 101
  • 84
  • 74
  • 59
  • 71
  • 46
  • 48
  • 31
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 4
  • 3
  • 6
  • 4
  • 5
  • 3
  • 5
  • 5
  • 4
  • 3
  • 9
  • 6
  • 5
  • 9
  • 3
  • 5
  • 5
  • 7
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 7
  • 4
  • 16
  • 4
  • 17
  • 3
  • 7
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 7
  • 14
  • 25
  • 36
  • 4
  • 25
  • 5
  • 6
  • 4
  • 6
  • 4
  • 4
  • 6
  • 10
  • 4
  • 15
  • 10
  • 39
  • 5
  • 4
  • 4
  • 5
  • 4
  • 4
  • 7
  • 4
  • 7
  • 4
  • 5
  • 7
  • 4
  • 6
  • 13
  • 4
  • 4
  • 8
  • 6
  • 6
  • 6
  • 4
  • 7
  • 7
  • 6
  • 9
  • 6
  • 4
  • 4
  • 6
  • 4
  • 16
  • 4
  • 4
  • 7
  • 7
  • 6
  • 5
  • 4
  • 5
  • 4
  • 6
  • 4
  • 7
  • 7
  • 9
  • 4
  • 8
  • 5
  • 6
  • 5
  • 6
  • 40
  • 4
  • 4
  • 5
  • 21
  • 8
  • 6
  • 4
  • 5
  • 10
  • 4
  • 4
  • 11
  • 8
  • 10
  • 4
  • 4
  • 4
  • 4
  • 13
  • 4
  • 8
  • 4
  • 4
  • 12
  • 14
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 9
  • 4
  • 39
  • 18
  • 9
  • 5
  • 7
  • 4
  • 9
  • 4
  • 4
  • 5
  • 16
  • 6
  • 4
  • 14
  • 4
  • 9
  • 5
  • 5
  • 11
  • 6
  • 11
  • 24
  • 5
  • 10
  • 5
  • 10
  • 13
  • 5
  • 9
  • 7
  • 5
  • 6
  • 5
  • 8
  • 6
  • 34
  • 8
  • 41
  • 14
  • 8
  • 5
  • 15
  • 5
  • 8
  • 19
  • 4
  • 21
  • 5
  • 4
  • 5
  • 11
  • 15
  • 11
  • 4
  • 4
  • 7
  • 4
  • 12
  • 4
  • 4
  • 4
  • 4
  • 7
  • 5
  • 8
  • 4
  • 4
  • 4
  • 39
  • 7
  • 5
  • 9
  • 4
  • 4
  • 4
  • 10
  • 6
  • 4
  • 4
  • 5
  • 4
  • 6
  • 5
  • 7
  • 5
  • 6
  • 10
  • 6
  • 6
  • 8
  • 5
  • 4
  • 4
  • 6
  • 4
  • 6
  • 5
  • 4
  • 4
  • 6
  • 4
  • 9
  • 5
  • 4
  • 4
  • 4
  • 15
  • 23
  • 7
  • 8
  • 11
  • 5
  • 5
  • 6
  • 10
  • 10
  • 7
  • 24
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 6
  • 7
  • 7
  • 6
  • 4
  • 4
  • 5
  • 7
  • 4
  • 9
  • 15
  • 11
  • 5
  • 4
  • 8
  • 4
  • 40
  • 39
  • 4
  • 8
  • 22
  • 8
  • 9
  • 5
  • 11
  • 8
  • 31
  • 13
  • 4
  • 6
  • 15
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 9
  • 8
  • 5
  • 6
  • 6
  • 6
  • 4
  • 6
  • 27
  • 4
  • 10
  • 48
  • 6
  • 8
  • 4
  • 4
  • 4
  • 16
  • 6
  • 4
  • 8
  • 8
  • 4
  • 5
  • 9
  • 5
  • 11
  • 4
  • 5
  • 4
  • 4
  • 7
  • 8
  • 4
  • 14
  • 17
  • 5
  • 5
  • 4
  • 5
  • 4
  • 5
  • 9
  • 6
  • 4
  • 6
  • 12
  • 4
  • 17
  • 35
  • 4
  • 5
  • 16
  • 4
  • 17
  • 26
  • 4
  • 66
  • 4
  • 11
  • 15
  • 4
  • 4
  • 5
  • 4
  • 18
  • 4
  • 4
  • 10
  • 6
  • 8
  • 14
  • 6
  • 4
  • 4
  • 5
  • 4
  • 16
  • 4
  • 10
  • 5
  • 18
  • 6
  • 18
  • 39
  • 5
  • 17
  • 5
  • 11
  • 4
  • 4
  • 6
  • 4
  • 5
  • 14
  • 15
  • 5
  • 8
  • 65
  • 4
  • 4
  • 5
  • 5
  • 4
  • 4
  • 15
  • 12
  • 5
  • 5
  • 18
  • 6
  • 11
  • 7
  • 4
  • 6
  • 19
  • 5
  • 8
  • 4
  • 13
  • 4
  • 13
  • 4
  • 5
  • 4
  • 9
  • 5
  • 4
  • 4
  • 5
  • 6
  • 6
  • 8
  • 5
  • 6
  • 4
  • 4
  • 4
  • 22
  • 4
  • 4
  • 7
  • 5
  • 8
  • 8
  • 4
  • 8
  • 4
  • 12
  • 18
  • 4
  • 6
  • 6
  • 15
  • 5
  • 5
  • 11
  • 4
  • 7
  • 10
  • 4
  • 4
  • 11
  • 6
  • 11
  • 19
  • 15
  • 4
  • 7
  • 6
  • 7
  • 14
  • 4
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 26
  • 5
  • 4
  • 14
  • 9
  • 36
  • 4
  • 4
  • 10
  • 4
  • 12
  • 4
  • 5
  • 4
  • 4
  • 6
  • 9
  • 9
  • 9
  • 4
  • 4
  • 7
  • 4
  • 12
  • 88
  • 14
  • 18
  • 4
  • 4
  • 4
  • 10
  • 6
  • 12
  • 7
  • 6
  • 6
  • 4
  • 5
  • 4
  • 4
  • 5
  • 5
  • 4
  • 21
  • 4
  • 20
  • 4
  • 5
  • 4
  • 61
  • 11
  • 17
  • 5
  • 5
  • 13
  • 4
  • 19
  • 5
  • 5
  • 5
  • 8
  • 4
  • 5
  • 10
  • 4
  • 7
  • 5
  • 6
  • 4
  • 8
  • 13
  • 13
  • 15
  • 15
  • 15
  • 7
  • 15
  • 4
  • 11
  • 4
  • 8
  • 5
  • 19
  • 5
  • 5
  • 33
  • 17
  • 7
  • 5
  • 5
  • 5
  • 11
  • 5
  • 6
  • 4
  • 10
  • 5
  • 9
  • 7
  • 4
  • 6
  • 13
  • 4
  • 5
  • 7
  • 6
  • 8
  • 8
  • 8
  • 14
  • 4
  • 4
  • 4
  • 8
  • 6
  • 7
  • 21
  • 4
  • 8
  • 4
  • 4
  • 5
  • 4
  • 4
  • 19
  • 5
  • 9
  • 6
  • 4
  • 9
  • 57
  • 4
  • 7
  • 7
  • 12
  • 7
  • 8
  • 4
  • 35
  • 9
  • 5
  • 11
  • 8
  • 5
  • 6
  • 4
  • 9
  • 4
  • 4
  • 9
  • 4
  • 4
  • 4
  • 9
  • 4
  • 4
  • 4
  • 6
  • 9
  • 9
  • 8
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 6
  • 8
  • 4
  • 8
  • 4
  • 42
  • 7
  • 16
  • 4
  • 8
  • 21
  • 9
  • 4
  • 13
  • 6
  • 12
  • 15
  • 11
  • 4
  • 5
  • 23
  • 8
  • 4
  • 10
  • 6
  • 4
  • 4
  • 4
  • 17
  • 4
  • 13
  • 14
  • 4
  • 7
  • 7
  • 8
  • 4
  • 4
  • 6
  • 7
  • 24
  • 5
  • 4
  • 10
  • 4
  • 7
  • 4
  • 6
  • 4
  • 9
  • 5
  • 8
  • 4
  • 4
  • 6
  • 4
  • 10
  • 12
  • 24
  • 9
  • 5
  • 15
  • 4
  • 90
  • 8
  • 6
  • 4
  • 4
  • 8
  • 11
  • 10
  • 8
  • 5
  • 10
  • 19
  • 4
  • 4
  • 91
  • 4
  • 37
  • 4
  • 4
  • 9
  • 89
  • 19
  • 4
  • 14
  • 7
  • 9
  • 9
  • 14
  • 5
  • 4
  • 5
  • 9
  • 89
  • 5
  • 17
  • 19
  • 6
  • 6
  • 6
  • 9
  • 12
  • 4
  • 14
  • 14
  • 12
  • 4
  • 4
  • 10
  • 4
  • 4
  • 4
  • 11
  • 15
  • 10
  • 4
  • 4
  • 4
  • 7
  • 5
  • 4
  • 6
  • 4
  • 11
  • 7
  • 18
  • 5
  • 4
  • 4
  • 6
  • 14
  • 4
  • 6
  • 6
  • 17
  • 5
  • 43
  • 4
  • 4
  • 5
  • 7
  • 5
  • 4
  • 8
  • 18
  • 4
  • 4
  • 4
  • 5
  • 4
  • 10
  • 8
  • 4
  • 13
  • 9
  • 4
  • 4
  • 7
  • 7
  • 24
  • 43
  • 6
  • 4
  • 5
  • 4
  • 23
  • 4
  • 6
  • 5
  • 4
  • 5
  • 6
  • 15
  • 20
  • 5
  • 4
  • 4
  • 16
  • 10
  • 11
  • 18
  • 44
  • 10
  • 6
  • 17
  • 4
  • 9
  • 19
  • 14
  • 10
  • 4
  • 4
  • 6
  • 28
  • 5
  • 24
  • 12
  • 6
  • 7
  • 6
  • 10
  • 12
  • 4
  • 4
  • 10
  • 11
  • 5
  • 9
  • 6
  • 4
  • 4
  • 4
  • 15
  • 6
  • 6
  • 7
  • 89
  • 9
  • 18
  • 15
  • 4
  • 5
  • 7
  • 16
  • 4
  • 4
  • 5
  • 13
  • 5
  • 11
  • 5
  • 5
  • 6
  • 13
  • 4
  • 5
  • 21
  • 6
  • 6
  • 8
  • 6
  • 5
  • 5
  • 4
  • 4
  • 20
  • 9
  • 6
  • 7
  • 4
  • 10
  • 7
  • 7
  • 6
  • 4
  • 5
  • 4
  • 20
  • 7
  • 8
  • 10
  • 5
  • 6
  • 6
  • 6
  • 4
  • 7
  • 4
  • 7
  • 5
  • 9
  • 5
  • 4
  • 5
  • 9
  • 4
  • 4
  • 13
  • 4
  • 4
  • 4
  • 8
  • 10
  • 14
  • 5
  • 5
  • 4
  • 4
  • 15
  • 4
  • 10
  • 7
  • 4
  • 5
  • 4
  • 6
  • 13
  • 4
  • 7
  • 4
  • 4
  • 23
  • 4
  • 45
  • 5
  • 13
  • 21
  • 5
  • 17
  • 4
  • 6
  • 5
  • 6
  • 5
  • 14
  • 4
  • 7
  • 4
  • 7
  • 20
  • 4
  • 18
  • 6
  • 6
  • 4
  • 5
  • 6
  • 7
  • 4
  • 5
  • 4
  • 17
Verlag
  • 5
  • 7569
  • 3
  • 8
  • 3
  • 1
  • 1
  • 28
Preis
  • 27
  • 220
  • 5722
  • 1649
Sprachen
  • 7613
  • 15
  • 12
Verfügbarkeit
  • 7611
  • 7
Eigenschaften
  • 1
Katalog
  • 7618
  • 351
7.618  Treffer  für „Lecture Notes in Computer Science“
    Desarmenien | TEX for Scientific Documentation | Buch | Sack Fachmedien

    Desarmenien TEX for Scientific Documentation

    Second European Conference, Strasbourg, France, June 19-21, 1986. Proceedings
    1986
    Verlag: Springer
    ISBN: 978-3-540-16807-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecroq / Mouchard | Combinatorial Algorithms | Buch | Sack Fachmedien

    Lecroq / Mouchard Combinatorial Algorithms

    24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45277-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Gnesi / Knapp | Critical Systems: Formal Methods and Automated Verification | Buch | Sack Fachmedien

    ter Beek / Gnesi / Knapp Critical Systems: Formal Methods and Automated Verification

    Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45942-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Phillips / Rahaman | Reversible Computation | Buch | Sack Fachmedien

    Phillips / Rahaman Reversible Computation

    9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-59935-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watson / Wood | Implementation and Application of Automata | Buch | Sack Fachmedien

    Watson / Wood Implementation and Application of Automata

    6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00400-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baudrier / Naegel / Krähenbühl | Discrete Geometry and Mathematical Morphology | Buch | Sack Fachmedien

    Baudrier / Naegel / Krähenbühl Discrete Geometry and Mathematical Morphology

    Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24-27, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-19896-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Song | Information Security and Cryptology - ICISC'99 | Buch | Sack Fachmedien

    Song Information Security and Cryptology - ICISC'99

    Second International Conference Seoul, Korea, December 9-10, 1999 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67380-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Verri | Pattern Recognition with Support Vector Machines | Buch | Sack Fachmedien

    Lee / Verri Pattern Recognition with Support Vector Machines

    First International Workshop, SVM 2002, Niagara Falls, Canada, August 10, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44016-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Suomela | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Suomela Structural Information and Communication Complexity

    23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48313-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nardi / Riedmiller / Sammut | RoboCup 2004: Robot Soccer World Cup VIII | Buch | Sack Fachmedien

    Nardi / Riedmiller / Sammut RoboCup 2004: Robot Soccer World Cup VIII

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25046-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / Lai / Chen | Biometric Recognition | Buch | Sack Fachmedien

    Sun / Lai / Chen Biometric Recognition

    6th Chinese Conference, CCBR 2011, Beijing, China, December 3-4, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25448-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler | Fundamental Algorithms for Permutation Groups | Buch | Sack Fachmedien

    Butler Fundamental Algorithms for Permutation Groups

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54955-0
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kovacs / Llorà / Takadama | Learning Classifier Systems | Buch | Sack Fachmedien

    Kovacs / Llorà / Takadama Learning Classifier Systems

    International Workshops, IWLCS 2003-2005, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71230-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Sapino / Han | Database Systems for Advanced Applications | Buch | Sack Fachmedien

    Wang / Sapino / Han Database Systems for Advanced Applications

    28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part IV
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-30677-8
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kochetov / Khachay / Beresnev | Discrete Optimization and Operations Research | Buch | Sack Fachmedien

    Kochetov / Khachay / Beresnev Discrete Optimization and Operations Research

    9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44913-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Lee / Fang | Future Generation Information Technology | Buch | Sack Fachmedien

    Kim / Lee / Fang Future Generation Information Technology

    4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35584-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Uchiya / Bai / Marsá Maestre | PRIMA 2020: Principles and Practice of Multi-Agent Systems | Buch | Sack Fachmedien

    Uchiya / Bai / Marsá Maestre PRIMA 2020: Principles and Practice of Multi-Agent Systems

    23rd International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-69321-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baras / Papavassiliou / Tsiropoulou | Game Theory and AI for Security | Buch | Sack Fachmedien

    Baras / Papavassiliou / Tsiropoulou Game Theory and AI for Security

    16th International Conference, GameSec 2025, Athens, Greece, October 13-15, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-08066-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leavens / O'Hearn / Rajamani | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Leavens / O'Hearn / Rajamani Verified Software: Theories, Tools, Experiments

    Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15056-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berardi / Coppo | Types for Proofs and Programs | Buch | Sack Fachmedien

    Berardi / Coppo Types for Proofs and Programs

    International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61780-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dong / Hong / Lin | Chinese Lexical Semantics | Buch | Sack Fachmedien

    Dong / Hong / Lin Chinese Lexical Semantics

    24th Workshop, CLSW 2023, Singapore, Singapore, May 19-21, 2023, Revised Selected Papers, Part II
    2024
    Verlag: Springer
    ISBN: 978-981-97-0585-6
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luck / Padgham | Agent-Oriented Software Engineering VIII | Buch | Sack Fachmedien

    Luck / Padgham Agent-Oriented Software Engineering VIII

    8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79487-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Gloria / Veltkamp | Games and Learning Alliance | Buch | Sack Fachmedien

    de Gloria / Veltkamp Games and Learning Alliance

    4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40215-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shankaranarayanan / Sankaranarayanan / Trivedi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Shankaranarayanan / Sankaranarayanan / Trivedi Verification, Model Checking, and Abstract Interpretation

    26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82699-3
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blikle / Barstow / Wirth | MetaSoft Primer | Buch | Sack Fachmedien

    Blikle / Barstow / Wirth MetaSoft Primer

    Towards a Metalanguage for Applied Denotational Semantics
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18657-1
    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