Ergebnisse filtern
Fachgebiet
Medium
  • 7799
Erscheinungsjahr
  • 171
  • 692
  • 714
  • 435
  • 296
  • 155
  • 173
  • 199
  • 183
  • 205
  • 210
  • 220
  • 188
  • 208
  • 208
  • 178
  • 174
  • 202
  • 167
  • 240
  • 218
  • 190
  • 277
  • 239
  • 210
  • 192
  • 132
  • 127
  • 99
  • 107
  • 103
  • 97
  • 88
  • 76
  • 60
  • 69
  • 45
  • 48
  • 31
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 6
  • 5
  • 5
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 5
  • 9
  • 6
  • 9
  • 8
  • 6
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 9
  • 5
  • 3
  • 8
  • 3
  • 3
  • 16
  • 4
  • 20
  • 4
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 4
  • 14
  • 25
  • 36
  • 6
  • 3
  • 27
  • 7
  • 4
  • 4
  • 3
  • 6
  • 3
  • 7
  • 11
  • 3
  • 16
  • 4
  • 4
  • 11
  • 3
  • 3
  • 3
  • 39
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 10
  • 6
  • 16
  • 4
  • 4
  • 5
  • 6
  • 5
  • 6
  • 6
  • 4
  • 6
  • 6
  • 8
  • 7
  • 5
  • 5
  • 4
  • 4
  • 17
  • 4
  • 6
  • 7
  • 10
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 5
  • 4
  • 10
  • 5
  • 5
  • 6
  • 40
  • 4
  • 6
  • 14
  • 8
  • 5
  • 7
  • 9
  • 8
  • 4
  • 4
  • 8
  • 7
  • 4
  • 10
  • 4
  • 4
  • 4
  • 5
  • 14
  • 4
  • 9
  • 4
  • 4
  • 15
  • 14
  • 6
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 10
  • 7
  • 4
  • 7
  • 5
  • 7
  • 6
  • 5
  • 4
  • 16
  • 7
  • 8
  • 10
  • 4
  • 8
  • 7
  • 6
  • 11
  • 5
  • 4
  • 7
  • 4
  • 24
  • 11
  • 5
  • 10
  • 5
  • 11
  • 4
  • 4
  • 4
  • 8
  • 6
  • 6
  • 10
  • 4
  • 4
  • 6
  • 4
  • 34
  • 5
  • 11
  • 41
  • 4
  • 11
  • 9
  • 7
  • 16
  • 4
  • 4
  • 4
  • 5
  • 19
  • 38
  • 5
  • 4
  • 5
  • 9
  • 15
  • 8
  • 4
  • 4
  • 7
  • 6
  • 12
  • 4
  • 4
  • 4
  • 4
  • 8
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 39
  • 5
  • 7
  • 5
  • 4
  • 10
  • 4
  • 4
  • 5
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 5
  • 6
  • 8
  • 4
  • 6
  • 7
  • 6
  • 11
  • 5
  • 5
  • 6
  • 8
  • 4
  • 6
  • 4
  • 10
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 15
  • 22
  • 7
  • 10
  • 6
  • 4
  • 8
  • 10
  • 6
  • 24
  • 4
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 6
  • 4
  • 5
  • 4
  • 5
  • 6
  • 7
  • 4
  • 9
  • 16
  • 11
  • 5
  • 8
  • 8
  • 4
  • 35
  • 38
  • 4
  • 8
  • 23
  • 7
  • 8
  • 14
  • 8
  • 5
  • 24
  • 12
  • 4
  • 5
  • 6
  • 15
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 6
  • 7
  • 6
  • 5
  • 6
  • 4
  • 5
  • 27
  • 4
  • 13
  • 46
  • 8
  • 4
  • 15
  • 7
  • 6
  • 6
  • 4
  • 7
  • 16
  • 7
  • 8
  • 6
  • 4
  • 4
  • 4
  • 14
  • 7
  • 5
  • 4
  • 5
  • 4
  • 4
  • 8
  • 5
  • 5
  • 10
  • 15
  • 35
  • 5
  • 6
  • 19
  • 7
  • 17
  • 20
  • 67
  • 11
  • 4
  • 15
  • 4
  • 4
  • 4
  • 19
  • 4
  • 5
  • 6
  • 9
  • 13
  • 5
  • 5
  • 4
  • 4
  • 22
  • 4
  • 6
  • 7
  • 16
  • 8
  • 7
  • 19
  • 39
  • 7
  • 17
  • 10
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 8
  • 15
  • 6
  • 6
  • 4
  • 5
  • 67
  • 4
  • 5
  • 10
  • 4
  • 6
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 4
  • 18
  • 5
  • 8
  • 6
  • 4
  • 4
  • 16
  • 4
  • 7
  • 6
  • 4
  • 13
  • 4
  • 4
  • 13
  • 6
  • 4
  • 5
  • 5
  • 4
  • 13
  • 6
  • 5
  • 7
  • 9
  • 4
  • 4
  • 6
  • 6
  • 22
  • 4
  • 4
  • 6
  • 6
  • 5
  • 8
  • 4
  • 4
  • 8
  • 13
  • 21
  • 4
  • 4
  • 6
  • 7
  • 15
  • 4
  • 5
  • 29
  • 4
  • 6
  • 9
  • 9
  • 4
  • 4
  • 10
  • 6
  • 5
  • 5
  • 14
  • 4
  • 20
  • 17
  • 4
  • 5
  • 9
  • 9
  • 7
  • 19
  • 9
  • 5
  • 4
  • 5
  • 25
  • 5
  • 14
  • 22
  • 35
  • 4
  • 7
  • 9
  • 6
  • 6
  • 4
  • 12
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 7
  • 8
  • 13
  • 4
  • 90
  • 12
  • 17
  • 4
  • 4
  • 10
  • 6
  • 13
  • 12
  • 4
  • 5
  • 4
  • 5
  • 18
  • 20
  • 24
  • 6
  • 4
  • 62
  • 4
  • 19
  • 6
  • 9
  • 4
  • 12
  • 20
  • 5
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 14
  • 5
  • 5
  • 23
  • 6
  • 4
  • 13
  • 12
  • 13
  • 15
  • 14
  • 12
  • 6
  • 18
  • 4
  • 11
  • 4
  • 6
  • 7
  • 4
  • 6
  • 18
  • 5
  • 32
  • 21
  • 6
  • 4
  • 6
  • 4
  • 7
  • 10
  • 5
  • 4
  • 6
  • 6
  • 7
  • 6
  • 4
  • 11
  • 6
  • 6
  • 4
  • 4
  • 7
  • 8
  • 8
  • 13
  • 4
  • 8
  • 4
  • 5
  • 4
  • 22
  • 4
  • 8
  • 4
  • 4
  • 16
  • 4
  • 9
  • 7
  • 5
  • 9
  • 59
  • 4
  • 4
  • 7
  • 6
  • 5
  • 6
  • 11
  • 37
  • 13
  • 5
  • 12
  • 6
  • 5
  • 5
  • 10
  • 4
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 5
  • 6
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 43
  • 5
  • 5
  • 19
  • 5
  • 6
  • 18
  • 8
  • 4
  • 4
  • 13
  • 6
  • 13
  • 15
  • 8
  • 14
  • 5
  • 4
  • 5
  • 23
  • 9
  • 4
  • 4
  • 4
  • 11
  • 4
  • 4
  • 6
  • 4
  • 15
  • 10
  • 11
  • 4
  • 11
  • 7
  • 11
  • 5
  • 4
  • 8
  • 24
  • 9
  • 7
  • 6
  • 9
  • 6
  • 5
  • 10
  • 7
  • 9
  • 5
  • 8
  • 4
  • 4
  • 6
  • 4
  • 9
  • 4
  • 4
  • 6
  • 9
  • 24
  • 6
  • 12
  • 4
  • 5
  • 19
  • 4
  • 4
  • 5
  • 91
  • 5
  • 6
  • 5
  • 6
  • 9
  • 10
  • 9
  • 8
  • 4
  • 7
  • 4
  • 5
  • 19
  • 8
  • 4
  • 91
  • 4
  • 39
  • 11
  • 11
  • 89
  • 22
  • 14
  • 7
  • 4
  • 9
  • 11
  • 6
  • 6
  • 4
  • 4
  • 4
  • 7
  • 89
  • 4
  • 5
  • 15
  • 20
  • 4
  • 10
  • 12
  • 4
  • 11
  • 4
  • 17
  • 11
  • 12
  • 4
  • 5
  • 4
  • 11
  • 4
  • 4
  • 10
  • 15
  • 5
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 9
  • 11
  • 4
  • 22
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 14
  • 4
  • 5
  • 8
  • 5
  • 9
  • 11
  • 34
  • 9
  • 4
  • 6
  • 6
  • 7
  • 18
  • 9
  • 4
  • 11
  • 6
  • 10
  • 11
  • 5
  • 5
  • 7
  • 5
  • 29
  • 35
  • 4
  • 8
  • 7
  • 8
  • 22
  • 4
  • 6
  • 8
  • 4
  • 14
  • 24
  • 20
  • 9
  • 13
  • 22
  • 46
  • 10
  • 5
  • 16
  • 9
  • 9
  • 19
  • 12
  • 11
  • 4
  • 6
  • 8
  • 32
  • 24
  • 12
  • 6
  • 4
  • 12
  • 4
  • 12
  • 9
  • 12
  • 5
  • 7
  • 6
  • 4
  • 15
  • 4
  • 5
  • 6
  • 4
  • 7
  • 89
  • 10
  • 7
  • 15
  • 4
  • 5
  • 5
  • 4
  • 4
  • 14
  • 6
  • 4
  • 25
  • 5
  • 11
  • 4
  • 5
  • 13
  • 4
  • 21
  • 6
  • 4
  • 5
  • 17
  • 8
  • 7
  • 6
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 26
  • 6
  • 10
  • 10
  • 5
  • 4
  • 6
  • 6
  • 6
  • 5
  • 6
  • 4
  • 6
  • 9
  • 4
  • 18
  • 5
  • 10
  • 4
  • 11
  • 6
  • 24
  • 4
  • 14
  • 4
  • 4
  • 5
  • 4
  • 18
  • 4
  • 10
  • 6
  • 5
  • 4
  • 18
  • 6
  • 6
  • 5
  • 18
  • 4
  • 11
  • 4
  • 5
  • 4
  • 5
  • 5
  • 20
  • 4
  • 43
  • 4
  • 14
  • 22
  • 18
  • 4
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 32
  • 7
  • 9
  • 5
  • 18
  • 5
  • 19
  • 4
  • 6
  • 4
  • 10
  • 4
  • 6
  • 6
  • 4
  • 20
Verlag
  • 1
  • 7747
  • 3
  • 5
  • 1
  • 1
  • 2
  • 3
  • 1
  • 35
Preis
  • 27
  • 237
  • 5882
  • 1653
Sprachen
  • 7794
  • 16
  • 12
Verfügbarkeit
  • 7790
  • 9
Eigenschaften
  • 7
Katalog
  • 7799
  • 331
7.799  Treffer  für „Lecture Notes in Computer Science“
    Chakraborty / Wu / Wolski | Transactions on Rough Sets X | Buch | Sack Fachmedien

    Chakraborty / Wu / Wolski Transactions on Rough Sets X

    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03280-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yin / Wang / Rayward-Smith | Intelligent Data Engineering and Automated Learning -- IDEAL 2011 | Buch | Sack Fachmedien

    Yin / Wang / Rayward-Smith Intelligent Data Engineering and Automated Learning -- IDEAL 2011

    12th International Conference, Norwich, UK, September 7-9, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23877-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fahrenberg / Tripakis | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Fahrenberg / Tripakis Formal Modeling and Analysis of Timed Systems

    9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24309-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Modgil / Oren / Toni | Theory and Applications of Formal Argumentation | Buch | Sack Fachmedien

    Modgil / Oren / Toni Theory and Applications of Formal Argumentation

    First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29183-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Masulli / Pasi / Yager | Fuzzy Logic and Applications | Buch | Sack Fachmedien

    Masulli / Pasi / Yager Fuzzy Logic and Applications

    10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03199-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fich | Distributed Computing | Buch | Sack Fachmedien

    Fich Distributed Computing

    17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20184-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trémeau / Schettini / Tominaga | Computational Color Imaging | Buch | Sack Fachmedien

    Trémeau / Schettini / Tominaga Computational Color Imaging

    Second International Workshop, CCIW 2009, Saint-Etienne, France, March 26-27, 2009. Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03264-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pras / Sinderen | Dependable and Adaptable Networks and Services | Buch | Sack Fachmedien

    Pras / Sinderen Dependable and Adaptable Networks and Services

    13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73529-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Jähnichen | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | Buch | Sack Fachmedien

    Broy / Jähnichen KORSO: Methods, Languages, and Tools for the Construction of Correct Software

    Final Report
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60589-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Preneel | Fast Software Encryption | Buch | Sack Fachmedien

    Preneel Fast Software Encryption

    Second International Workshop, Leuven, Belgium, December 14-16, 1994. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60590-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bramer / Stahl | Artificial Intelligence XLII | Buch | Sack Fachmedien

    Bramer / Stahl Artificial Intelligence XLII

    45th SGAI International Conference on Artificial Intelligence, AI 2025, Cambridge, UK, December 16-18, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-11401-3
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartmann / Küng / Kotsis | Database and Expert Systems Applications | Buch | Sack Fachmedien

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

    31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-59002-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reussner / Mayer / Stafford | Quality of Software Architectures and Software Quality | Buch | Sack Fachmedien

    Reussner / Mayer / Stafford Quality of Software Architectures and Software Quality

    First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29033-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strauss / Amagasa / Kotsis | Database and Expert Systems Applications | Buch | Sack Fachmedien

    Strauss / Amagasa / Kotsis Database and Expert Systems Applications

    34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-39846-9
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Astesiano | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Astesiano Fundamental Approaches to Software Engineering

    First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64303-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tanaka / Iwata / Higuchi | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Tanaka / Iwata / Higuchi Evolvable Systems: From Biology to Hardware

    4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42671-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Holzmann / Joshi | NASA Formal Methods | Buch | Sack Fachmedien

    Havelund / Holzmann / Joshi NASA Formal Methods

    7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-17523-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsuno / Liu / Yin | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Matsuno / Liu / Yin Intelligent Robotics and Applications

    18th International Conference, ICIRA 2025, Okayama, Japan, August 6-9, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-952100-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thomas / Meyer / Zank | Serious Games | Buch | Sack Fachmedien

    Thomas / Meyer / Zank Serious Games

    11th Joint International Conference, JCSG 2025, Lucerne, Switzerland, December 4-5, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10517-2
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dragoi / Emmi / Wang | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Dragoi / Emmi / Wang Verification, Model Checking, and Abstract Interpretation

    24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
    2023
    Verlag: Springer
    ISBN: 978-3-031-24949-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Catarci / Forner / Hiemstra | Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics | Buch | Sack Fachmedien

    Catarci / Forner / Hiemstra Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics

    Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33246-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Stone / Sucar | RoboCup 2012: Robot Soccer World Cup XVI | Buch | Sack Fachmedien

    Chen / Stone / Sucar RoboCup 2012: Robot Soccer World Cup XVI

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39249-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ernst / Rozier | Model Checking Software | Buch | Sack Fachmedien

    Ernst / Rozier Model Checking Software

    31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06846-0
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Galmiche / Schulz / Sebastiani | Automated Reasoning | Buch | Sack Fachmedien

    Galmiche / Schulz / Sebastiani Automated Reasoning

    9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94204-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ribeiro / Sampaio | Unifying Theories of Programming | Buch | Sack Fachmedien

    Ribeiro / Sampaio Unifying Theories of Programming

    7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-31037-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