Ergebnisse filtern
Fachgebiet
Medium
  • 10650
Erscheinungsjahr
  • 329
  • 799
  • 844
  • 615
  • 483
  • 283
  • 305
  • 304
  • 310
  • 266
  • 317
  • 298
  • 300
  • 316
  • 303
  • 260
  • 265
  • 246
  • 216
  • 257
  • 272
  • 233
  • 361
  • 301
  • 257
  • 253
  • 178
  • 176
  • 135
  • 137
  • 134
  • 116
  • 105
  • 93
  • 73
  • 88
  • 59
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 7
  • 6
  • 4
  • 4
  • 6
  • 4
  • 6
  • 6
  • 4
  • 9
  • 4
  • 12
  • 8
  • 10
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 10
  • 6
  • 4
  • 4
  • 7
  • 17
  • 4
  • 18
  • 4
  • 8
  • 5
  • 4
  • 4
  • 5
  • 5
  • 9
  • 9
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 6
  • 14
  • 32
  • 36
  • 4
  • 41
  • 4
  • 5
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 5
  • 15
  • 4
  • 16
  • 13
  • 4
  • 4
  • 4
  • 4
  • 6
  • 39
  • 10
  • 6
  • 4
  • 6
  • 5
  • 4
  • 7
  • 6
  • 7
  • 4
  • 4
  • 4
  • 8
  • 4
  • 6
  • 16
  • 10
  • 9
  • 5
  • 5
  • 5
  • 6
  • 6
  • 8
  • 6
  • 4
  • 7
  • 9
  • 10
  • 11
  • 7
  • 7
  • 4
  • 11
  • 4
  • 4
  • 5
  • 4
  • 20
  • 6
  • 6
  • 11
  • 6
  • 9
  • 5
  • 5
  • 5
  • 10
  • 6
  • 4
  • 8
  • 4
  • 26
  • 5
  • 4
  • 9
  • 4
  • 5
  • 9
  • 5
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 20
  • 16
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 9
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 12
  • 4
  • 4
  • 5
  • 4
  • 5
  • 11
  • 4
  • 5
  • 7
  • 4
  • 5
  • 9
  • 12
  • 5
  • 4
  • 13
  • 9
  • 4
  • 15
  • 9
  • 16
  • 4
  • 8
  • 4
  • 7
  • 4
  • 4
  • 7
  • 10
  • 4
  • 39
  • 15
  • 8
  • 6
  • 4
  • 4
  • 9
  • 4
  • 5
  • 4
  • 8
  • 6
  • 15
  • 5
  • 7
  • 10
  • 4
  • 5
  • 14
  • 6
  • 6
  • 14
  • 4
  • 8
  • 24
  • 4
  • 4
  • 8
  • 6
  • 4
  • 4
  • 8
  • 4
  • 9
  • 6
  • 5
  • 6
  • 5
  • 4
  • 4
  • 5
  • 34
  • 4
  • 12
  • 41
  • 14
  • 8
  • 14
  • 15
  • 11
  • 22
  • 9
  • 35
  • 4
  • 9
  • 14
  • 15
  • 4
  • 4
  • 4
  • 12
  • 4
  • 6
  • 12
  • 10
  • 8
  • 5
  • 4
  • 39
  • 5
  • 4
  • 10
  • 6
  • 9
  • 4
  • 4
  • 4
  • 8
  • 6
  • 10
  • 13
  • 6
  • 6
  • 4
  • 4
  • 15
  • 5
  • 7
  • 12
  • 6
  • 5
  • 4
  • 6
  • 4
  • 6
  • 9
  • 15
  • 23
  • 7
  • 7
  • 5
  • 6
  • 6
  • 8
  • 6
  • 6
  • 9
  • 11
  • 4
  • 24
  • 6
  • 7
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 8
  • 6
  • 7
  • 4
  • 4
  • 5
  • 4
  • 6
  • 4
  • 15
  • 10
  • 6
  • 9
  • 9
  • 4
  • 4
  • 5
  • 45
  • 40
  • 11
  • 23
  • 8
  • 13
  • 6
  • 32
  • 13
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 9
  • 4
  • 25
  • 4
  • 13
  • 43
  • 4
  • 7
  • 7
  • 4
  • 14
  • 6
  • 7
  • 5
  • 6
  • 8
  • 14
  • 6
  • 4
  • 4
  • 4
  • 6
  • 8
  • 8
  • 6
  • 5
  • 5
  • 4
  • 7
  • 16
  • 14
  • 4
  • 6
  • 4
  • 10
  • 4
  • 4
  • 4
  • 13
  • 8
  • 5
  • 4
  • 7
  • 4
  • 18
  • 55
  • 34
  • 9
  • 4
  • 22
  • 7
  • 17
  • 22
  • 93
  • 6
  • 11
  • 6
  • 4
  • 4
  • 8
  • 5
  • 16
  • 4
  • 11
  • 6
  • 6
  • 18
  • 12
  • 8
  • 5
  • 5
  • 4
  • 13
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 6
  • 7
  • 4
  • 12
  • 5
  • 5
  • 41
  • 6
  • 4
  • 8
  • 4
  • 10
  • 5
  • 5
  • 10
  • 12
  • 6
  • 8
  • 8
  • 21
  • 39
  • 8
  • 17
  • 8
  • 5
  • 16
  • 15
  • 8
  • 8
  • 67
  • 7
  • 6
  • 6
  • 7
  • 15
  • 7
  • 11
  • 7
  • 18
  • 7
  • 5
  • 6
  • 10
  • 18
  • 10
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 6
  • 6
  • 8
  • 5
  • 12
  • 6
  • 5
  • 6
  • 10
  • 7
  • 8
  • 10
  • 5
  • 5
  • 8
  • 7
  • 10
  • 31
  • 13
  • 8
  • 24
  • 8
  • 13
  • 33
  • 5
  • 6
  • 9
  • 15
  • 6
  • 5
  • 33
  • 6
  • 6
  • 10
  • 5
  • 8
  • 5
  • 7
  • 16
  • 6
  • 6
  • 15
  • 14
  • 31
  • 20
  • 8
  • 8
  • 6
  • 5
  • 15
  • 23
  • 5
  • 8
  • 26
  • 43
  • 8
  • 5
  • 5
  • 5
  • 8
  • 5
  • 10
  • 6
  • 5
  • 6
  • 12
  • 6
  • 6
  • 5
  • 6
  • 9
  • 7
  • 6
  • 15
  • 91
  • 12
  • 19
  • 7
  • 12
  • 7
  • 8
  • 6
  • 13
  • 5
  • 6
  • 7
  • 5
  • 12
  • 11
  • 7
  • 18
  • 19
  • 6
  • 25
  • 8
  • 5
  • 58
  • 5
  • 16
  • 6
  • 7
  • 11
  • 22
  • 5
  • 6
  • 9
  • 6
  • 6
  • 9
  • 10
  • 6
  • 5
  • 9
  • 25
  • 6
  • 6
  • 5
  • 10
  • 11
  • 13
  • 14
  • 16
  • 11
  • 10
  • 16
  • 5
  • 11
  • 9
  • 28
  • 7
  • 36
  • 28
  • 7
  • 6
  • 6
  • 8
  • 5
  • 18
  • 7
  • 5
  • 7
  • 14
  • 7
  • 6
  • 5
  • 6
  • 10
  • 19
  • 8
  • 8
  • 6
  • 8
  • 5
  • 5
  • 8
  • 12
  • 6
  • 5
  • 32
  • 5
  • 13
  • 8
  • 8
  • 5
  • 5
  • 5
  • 20
  • 7
  • 5
  • 9
  • 6
  • 6
  • 6
  • 10
  • 8
  • 5
  • 85
  • 7
  • 6
  • 5
  • 5
  • 9
  • 11
  • 5
  • 6
  • 5
  • 11
  • 8
  • 38
  • 5
  • 5
  • 20
  • 8
  • 5
  • 5
  • 10
  • 7
  • 8
  • 5
  • 6
  • 6
  • 11
  • 5
  • 6
  • 6
  • 7
  • 10
  • 5
  • 6
  • 7
  • 5
  • 7
  • 7
  • 5
  • 6
  • 10
  • 43
  • 6
  • 21
  • 6
  • 21
  • 17
  • 9
  • 6
  • 6
  • 13
  • 12
  • 17
  • 15
  • 6
  • 15
  • 5
  • 5
  • 9
  • 27
  • 13
  • 9
  • 11
  • 6
  • 20
  • 5
  • 10
  • 6
  • 15
  • 12
  • 6
  • 6
  • 6
  • 15
  • 5
  • 11
  • 6
  • 6
  • 14
  • 8
  • 24
  • 5
  • 5
  • 6
  • 10
  • 11
  • 12
  • 7
  • 6
  • 5
  • 12
  • 6
  • 7
  • 9
  • 31
  • 6
  • 13
  • 7
  • 7
  • 20
  • 7
  • 5
  • 10
  • 90
  • 5
  • 7
  • 6
  • 11
  • 6
  • 21
  • 15
  • 8
  • 17
  • 12
  • 8
  • 11
  • 9
  • 12
  • 20
  • 92
  • 6
  • 49
  • 11
  • 11
  • 6
  • 6
  • 89
  • 16
  • 5
  • 14
  • 12
  • 10
  • 9
  • 20
  • 13
  • 5
  • 6
  • 9
  • 6
  • 5
  • 8
  • 5
  • 7
  • 90
  • 5
  • 6
  • 16
  • 8
  • 6
  • 12
  • 14
  • 16
  • 5
  • 10
  • 9
  • 7
  • 11
  • 5
  • 9
  • 7
  • 22
  • 15
  • 6
  • 5
  • 5
  • 13
  • 6
  • 25
  • 7
  • 6
  • 5
  • 6
  • 5
  • 14
  • 9
  • 9
  • 6
  • 16
  • 17
  • 22
  • 26
  • 5
  • 6
  • 20
  • 8
  • 5
  • 11
  • 10
  • 16
  • 5
  • 6
  • 12
  • 8
  • 38
  • 8
  • 48
  • 14
  • 6
  • 11
  • 11
  • 11
  • 9
  • 22
  • 5
  • 8
  • 17
  • 7
  • 14
  • 15
  • 18
  • 6
  • 5
  • 10
  • 5
  • 23
  • 7
  • 25
  • 57
  • 10
  • 15
  • 17
  • 8
  • 9
  • 6
  • 5
  • 19
  • 20
  • 12
  • 7
  • 6
  • 10
  • 53
  • 24
  • 12
  • 6
  • 12
  • 14
  • 5
  • 7
  • 12
  • 9
  • 6
  • 11
  • 8
  • 15
  • 15
  • 7
  • 6
  • 11
  • 9
  • 6
  • 89
  • 10
  • 16
  • 5
  • 16
  • 6
  • 5
  • 5
  • 13
  • 9
  • 7
  • 31
  • 5
  • 11
  • 5
  • 5
  • 11
  • 5
  • 13
  • 19
  • 5
  • 11
  • 6
  • 19
  • 6
  • 5
  • 5
  • 13
  • 23
  • 6
  • 13
  • 12
  • 6
  • 6
  • 8
  • 5
  • 8
  • 5
  • 6
  • 9
  • 23
  • 8
  • 15
  • 10
  • 6
  • 5
  • 6
  • 6
  • 5
  • 16
  • 13
  • 8
  • 5
  • 5
  • 5
  • 18
  • 5
  • 10
  • 5
  • 12
  • 6
  • 8
  • 7
  • 26
  • 14
  • 14
  • 7
  • 5
  • 19
  • 11
  • 5
  • 9
  • 5
  • 13
  • 18
  • 6
  • 6
  • 6
  • 41
  • 5
  • 8
  • 5
  • 23
  • 44
  • 14
  • 63
  • 5
  • 18
  • 5
  • 12
  • 11
  • 6
  • 6
  • 32
  • 7
  • 23
  • 21
  • 17
  • 5
  • 5
  • 6
  • 6
  • 5
  • 12
  • 9
  • 5
  • 19
Verlag
  • 3
  • 10591
  • 3
  • 6
  • 1
  • 6
  • 4
  • 1
  • 35
Preis
  • 42
  • 381
  • 8117
  • 2110
Sprachen
  • 10645
  • 16
  • 13
Verfügbarkeit
  • 10638
  • 12
Eigenschaften
  • 12
Katalog
  • 10650
  • 557
10.650  Treffer  für „Lecture Notes in Computer Science“
    Huang / Liu / He | Web Information Systems Engineering - WISE 2013 Workshops | Buch | Sack Fachmedien

    Huang / Liu / He Web Information Systems Engineering - WISE 2013 Workshops

    WISE 2013 International Workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC 2013, Nanjing, China, October 13-15, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54369-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papazoglou | OOER '95 Object-Oriented and Entity-Relationship Modeling | Buch | Sack Fachmedien

    Papazoglou OOER '95 Object-Oriented and Entity-Relationship Modeling

    14th International Conference, Gold Coast, Australia, December 13 - 15, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60672-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comyn-Wattiau / Tanaka / Song | Conceptual Modeling | Buch | Sack Fachmedien

    Comyn-Wattiau / Tanaka / Song Conceptual Modeling

    35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-46396-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Ambra / Guarracino / Talia | Euro-Par 2010 - Parallel Processing | Buch | Sack Fachmedien

    D'Ambra / Guarracino / Talia Euro-Par 2010 - Parallel Processing

    16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15290-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kö / Leitner / Leitold | Advancing Democracy, Government and Governance | Buch | Sack Fachmedien

    Kö / Leitner / Leitold Advancing Democracy, Government and Governance

    Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2012, Vienna, Austria, September 3-6, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32700-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fàbrega / Vilà / Careglio | Measurement Methodology and Tools | Buch | Sack Fachmedien

    Fàbrega / Vilà / Careglio Measurement Methodology and Tools

    First European Workshop, FP7 FIRE/EULER Project, May 9, 2012, Aalborg, Denmark, Invited Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41295-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pazienza | Information Extraction | Buch | Sack Fachmedien

    Pazienza Information Extraction

    Towards Scalable, Adaptable Systems
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66625-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olivetti | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Olivetti Automated Reasoning with Analytic Tableaux and Related Methods

    16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73098-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deshmukh / Havelund / Pinto | NASA Formal Methods | Buch | Sack Fachmedien

    Deshmukh / Havelund / Pinto NASA Formal Methods

    18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-28078-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertogna / Pinho / Quiñones | Reliable Software Technologies - Ada-Europe 2016 | Buch | Sack Fachmedien

    Bertogna / Pinho / Quiñones Reliable Software Technologies - Ada-Europe 2016

    21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39082-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stevens / Whittle / Booch | UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications | Buch | Sack Fachmedien

    Stevens / Whittle / Booch UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications

    6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-20243-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finance | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Finance Fundamental Approaches to Software Engineering

    Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65718-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andersson | Analysis of Dynamical and Cognitive Systems | Buch | Sack Fachmedien

    Andersson Analysis of Dynamical and Cognitive Systems

    Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-58843-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dam | Analysis and Verification of Multiple-Agent Languages | Buch | Sack Fachmedien

    Dam Analysis and Verification of Multiple-Agent Languages

    5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62503-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katila / Magnin / Clarysse | Functional Imaging and Modeling of the Heart | Buch | Sack Fachmedien

    Katila / Magnin / Clarysse Functional Imaging and Modeling of the Heart

    First International Workshop, FIMH 2001, Helsinki, Finland, November 15-16, 2001, Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42861-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chong / Kozyrakis / Oskin | Intelligent Memory Systems | Buch | Sack Fachmedien

    Chong / Kozyrakis / Oskin Intelligent Memory Systems

    Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000. Revised Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42328-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antoniou / Boley | Rules and Rule Markup Languages for the Semantic Web | Buch | Sack Fachmedien

    Antoniou / Boley Rules and Rule Markup Languages for the Semantic Web

    Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23842-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Liu / Chen | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Zhang / Liu / Chen Intelligent Robotics and Applications

    7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part II
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13962-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seo / Kim | Information Security and Cryptology - ICISC 2023 | Buch | Sack Fachmedien

    Seo / Kim Information Security and Cryptology - ICISC 2023

    26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 - December 1, 2023, Revised Selected Papers, Part I
    2024
    Verlag: Springer
    ISBN: 978-981-97-1234-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ershov / Koster | Methods of Algorithmic Language Implementation | Buch | Sack Fachmedien

    Ershov / Koster Methods of Algorithmic Language Implementation

    1. Auflage 1977
    Verlag: Springer
    ISBN: 978-3-540-08065-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Static Analysis | Buch | Sack Fachmedien

    Cousot Static Analysis

    10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40325-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aggarwal / Pandu Rangan | Algorithms and Computations | Buch | Sack Fachmedien

    Aggarwal / Pandu Rangan Algorithms and Computations

    10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66916-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baier / Haverkort / Hermanns | Validation of Stochastic Systems | Buch | Sack Fachmedien

    Baier / Haverkort / Hermanns Validation of Stochastic Systems

    A Guide to Current Research
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22265-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Williams | Instantiation Theory | Buch | Sack Fachmedien

    Williams Instantiation Theory

    On the Foundations of Automated Deduction
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54333-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vaidya / Gabbouj / Li | Artificial Intelligence Security and Privacy | Buch | Sack Fachmedien

    Vaidya / Gabbouj / Li Artificial Intelligence Security and Privacy

    First International Conference on Artificial Intelligence Security and Privacy, AIS&P 2023, Guangzhou, China, December 3-5, 2023, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-9787-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular