Ergebnisse filtern
Fachgebiet
Medium
  • 10664
Erscheinungsjahr
  • 299
  • 805
  • 846
  • 618
  • 484
  • 283
  • 304
  • 302
  • 308
  • 269
  • 313
  • 301
  • 292
  • 322
  • 302
  • 264
  • 282
  • 251
  • 229
  • 261
  • 270
  • 238
  • 365
  • 300
  • 253
  • 249
  • 177
  • 175
  • 134
  • 137
  • 134
  • 115
  • 106
  • 93
  • 74
  • 88
  • 58
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 4
  • 4
  • 12
  • 8
  • 10
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 10
  • 4
  • 4
  • 6
  • 4
  • 4
  • 6
  • 17
  • 4
  • 16
  • 4
  • 8
  • 5
  • 4
  • 4
  • 5
  • 5
  • 9
  • 8
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 6
  • 14
  • 30
  • 35
  • 7
  • 4
  • 40
  • 5
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 5
  • 15
  • 4
  • 6
  • 16
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 39
  • 10
  • 6
  • 4
  • 4
  • 6
  • 5
  • 4
  • 7
  • 6
  • 7
  • 4
  • 4
  • 10
  • 4
  • 6
  • 16
  • 9
  • 10
  • 5
  • 4
  • 5
  • 6
  • 5
  • 10
  • 6
  • 4
  • 7
  • 9
  • 6
  • 11
  • 7
  • 7
  • 4
  • 11
  • 4
  • 4
  • 4
  • 5
  • 4
  • 19
  • 6
  • 6
  • 6
  • 10
  • 6
  • 8
  • 5
  • 5
  • 5
  • 7
  • 6
  • 4
  • 8
  • 4
  • 26
  • 5
  • 4
  • 10
  • 4
  • 5
  • 9
  • 5
  • 6
  • 39
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 20
  • 16
  • 6
  • 4
  • 7
  • 6
  • 4
  • 8
  • 8
  • 5
  • 4
  • 4
  • 7
  • 4
  • 5
  • 11
  • 4
  • 4
  • 5
  • 4
  • 4
  • 11
  • 4
  • 5
  • 7
  • 4
  • 5
  • 9
  • 12
  • 5
  • 4
  • 13
  • 9
  • 4
  • 16
  • 9
  • 16
  • 5
  • 7
  • 4
  • 7
  • 4
  • 4
  • 6
  • 10
  • 4
  • 39
  • 15
  • 8
  • 6
  • 4
  • 4
  • 9
  • 4
  • 5
  • 4
  • 8
  • 7
  • 15
  • 4
  • 8
  • 7
  • 4
  • 5
  • 4
  • 14
  • 5
  • 14
  • 4
  • 8
  • 24
  • 4
  • 4
  • 17
  • 6
  • 4
  • 8
  • 8
  • 6
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 33
  • 4
  • 12
  • 40
  • 13
  • 8
  • 12
  • 15
  • 10
  • 4
  • 22
  • 9
  • 35
  • 4
  • 9
  • 14
  • 15
  • 4
  • 4
  • 12
  • 4
  • 6
  • 14
  • 10
  • 8
  • 5
  • 4
  • 39
  • 5
  • 4
  • 10
  • 6
  • 7
  • 4
  • 4
  • 8
  • 4
  • 10
  • 13
  • 8
  • 6
  • 4
  • 4
  • 15
  • 5
  • 7
  • 11
  • 6
  • 4
  • 5
  • 4
  • 4
  • 6
  • 5
  • 6
  • 8
  • 15
  • 23
  • 7
  • 5
  • 5
  • 6
  • 6
  • 8
  • 6
  • 4
  • 10
  • 11
  • 4
  • 24
  • 6
  • 7
  • 7
  • 4
  • 4
  • 6
  • 4
  • 7
  • 6
  • 6
  • 4
  • 4
  • 5
  • 8
  • 4
  • 15
  • 10
  • 6
  • 9
  • 9
  • 5
  • 4
  • 5
  • 47
  • 38
  • 8
  • 23
  • 4
  • 8
  • 15
  • 5
  • 31
  • 10
  • 5
  • 18
  • 6
  • 4
  • 4
  • 8
  • 5
  • 4
  • 4
  • 4
  • 9
  • 4
  • 25
  • 4
  • 12
  • 43
  • 4
  • 7
  • 7
  • 4
  • 14
  • 6
  • 7
  • 5
  • 6
  • 8
  • 9
  • 6
  • 4
  • 4
  • 4
  • 6
  • 8
  • 8
  • 6
  • 5
  • 5
  • 4
  • 7
  • 16
  • 14
  • 4
  • 6
  • 4
  • 9
  • 4
  • 4
  • 4
  • 12
  • 8
  • 9
  • 17
  • 53
  • 35
  • 7
  • 20
  • 9
  • 17
  • 25
  • 91
  • 6
  • 11
  • 6
  • 8
  • 5
  • 16
  • 11
  • 5
  • 6
  • 18
  • 11
  • 5
  • 9
  • 5
  • 5
  • 13
  • 10
  • 5
  • 6
  • 7
  • 12
  • 5
  • 5
  • 44
  • 6
  • 8
  • 10
  • 5
  • 5
  • 10
  • 13
  • 6
  • 6
  • 8
  • 19
  • 39
  • 9
  • 17
  • 5
  • 8
  • 5
  • 5
  • 5
  • 16
  • 15
  • 9
  • 10
  • 69
  • 7
  • 6
  • 6
  • 7
  • 15
  • 7
  • 11
  • 7
  • 18
  • 8
  • 5
  • 6
  • 6
  • 10
  • 16
  • 10
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 8
  • 5
  • 12
  • 6
  • 8
  • 6
  • 10
  • 7
  • 10
  • 10
  • 5
  • 5
  • 8
  • 7
  • 10
  • 5
  • 29
  • 9
  • 5
  • 8
  • 25
  • 8
  • 13
  • 33
  • 6
  • 6
  • 12
  • 15
  • 6
  • 5
  • 33
  • 6
  • 6
  • 8
  • 5
  • 11
  • 5
  • 7
  • 15
  • 6
  • 15
  • 18
  • 31
  • 5
  • 18
  • 8
  • 10
  • 6
  • 5
  • 7
  • 15
  • 23
  • 5
  • 5
  • 15
  • 27
  • 41
  • 10
  • 5
  • 5
  • 5
  • 8
  • 5
  • 10
  • 5
  • 6
  • 12
  • 6
  • 6
  • 5
  • 6
  • 6
  • 7
  • 6
  • 15
  • 91
  • 12
  • 18
  • 7
  • 12
  • 7
  • 8
  • 12
  • 13
  • 6
  • 6
  • 7
  • 6
  • 12
  • 13
  • 7
  • 18
  • 19
  • 6
  • 5
  • 25
  • 9
  • 5
  • 57
  • 16
  • 6
  • 7
  • 11
  • 22
  • 5
  • 9
  • 6
  • 6
  • 9
  • 10
  • 6
  • 5
  • 9
  • 25
  • 6
  • 6
  • 5
  • 10
  • 11
  • 13
  • 14
  • 13
  • 11
  • 13
  • 17
  • 5
  • 11
  • 10
  • 28
  • 7
  • 36
  • 29
  • 7
  • 7
  • 6
  • 8
  • 6
  • 19
  • 7
  • 5
  • 7
  • 12
  • 7
  • 5
  • 6
  • 10
  • 20
  • 8
  • 6
  • 7
  • 8
  • 6
  • 5
  • 8
  • 11
  • 6
  • 5
  • 32
  • 5
  • 11
  • 8
  • 8
  • 6
  • 5
  • 5
  • 18
  • 5
  • 5
  • 6
  • 9
  • 8
  • 6
  • 10
  • 8
  • 83
  • 7
  • 6
  • 5
  • 7
  • 7
  • 11
  • 6
  • 7
  • 5
  • 12
  • 5
  • 38
  • 5
  • 5
  • 19
  • 8
  • 5
  • 5
  • 10
  • 6
  • 9
  • 5
  • 6
  • 6
  • 11
  • 5
  • 6
  • 8
  • 7
  • 12
  • 6
  • 7
  • 5
  • 6
  • 7
  • 7
  • 5
  • 6
  • 10
  • 42
  • 19
  • 7
  • 5
  • 21
  • 17
  • 9
  • 6
  • 6
  • 13
  • 12
  • 17
  • 15
  • 6
  • 15
  • 5
  • 5
  • 8
  • 23
  • 15
  • 13
  • 11
  • 6
  • 20
  • 6
  • 9
  • 6
  • 16
  • 12
  • 7
  • 6
  • 6
  • 15
  • 5
  • 11
  • 6
  • 6
  • 14
  • 7
  • 24
  • 5
  • 5
  • 5
  • 10
  • 12
  • 12
  • 8
  • 6
  • 5
  • 12
  • 6
  • 6
  • 10
  • 29
  • 6
  • 11
  • 7
  • 7
  • 20
  • 7
  • 5
  • 5
  • 10
  • 5
  • 90
  • 5
  • 7
  • 6
  • 11
  • 6
  • 19
  • 15
  • 8
  • 21
  • 12
  • 8
  • 11
  • 9
  • 10
  • 20
  • 93
  • 6
  • 53
  • 11
  • 11
  • 7
  • 6
  • 89
  • 20
  • 5
  • 14
  • 12
  • 10
  • 5
  • 5
  • 9
  • 23
  • 13
  • 7
  • 6
  • 9
  • 6
  • 5
  • 8
  • 5
  • 11
  • 90
  • 5
  • 6
  • 20
  • 9
  • 8
  • 12
  • 11
  • 16
  • 5
  • 10
  • 9
  • 5
  • 10
  • 5
  • 9
  • 7
  • 22
  • 16
  • 6
  • 5
  • 15
  • 7
  • 24
  • 6
  • 7
  • 6
  • 5
  • 5
  • 14
  • 8
  • 9
  • 6
  • 18
  • 17
  • 20
  • 28
  • 6
  • 20
  • 8
  • 5
  • 10
  • 13
  • 5
  • 16
  • 10
  • 6
  • 12
  • 8
  • 39
  • 9
  • 45
  • 17
  • 6
  • 13
  • 12
  • 10
  • 6
  • 22
  • 9
  • 17
  • 7
  • 13
  • 14
  • 23
  • 6
  • 5
  • 10
  • 23
  • 7
  • 24
  • 57
  • 10
  • 15
  • 17
  • 8
  • 9
  • 6
  • 5
  • 19
  • 19
  • 17
  • 7
  • 10
  • 55
  • 24
  • 12
  • 6
  • 12
  • 14
  • 5
  • 7
  • 12
  • 5
  • 9
  • 6
  • 11
  • 8
  • 15
  • 15
  • 7
  • 14
  • 9
  • 5
  • 89
  • 10
  • 14
  • 5
  • 16
  • 7
  • 5
  • 5
  • 13
  • 9
  • 6
  • 32
  • 5
  • 11
  • 6
  • 6
  • 5
  • 9
  • 7
  • 13
  • 18
  • 5
  • 11
  • 6
  • 19
  • 6
  • 5
  • 6
  • 13
  • 19
  • 6
  • 13
  • 12
  • 6
  • 6
  • 8
  • 6
  • 8
  • 6
  • 6
  • 5
  • 8
  • 24
  • 12
  • 10
  • 5
  • 6
  • 6
  • 5
  • 6
  • 12
  • 11
  • 8
  • 5
  • 5
  • 5
  • 18
  • 5
  • 10
  • 6
  • 12
  • 6
  • 8
  • 7
  • 26
  • 14
  • 14
  • 7
  • 5
  • 18
  • 11
  • 5
  • 9
  • 5
  • 6
  • 10
  • 18
  • 9
  • 6
  • 6
  • 40
  • 6
  • 7
  • 5
  • 23
  • 7
  • 5
  • 44
  • 16
  • 63
  • 5
  • 17
  • 5
  • 11
  • 5
  • 6
  • 32
  • 7
  • 22
  • 22
  • 17
  • 5
  • 5
  • 6
  • 9
  • 5
  • 12
  • 9
  • 5
  • 5
  • 23
Verlag
  • 3
  • 10609
  • 3
  • 6
  • 1
  • 7
  • 2
  • 1
  • 32
Preis
  • 42
  • 387
  • 8134
  • 2101
Sprachen
  • 10659
  • 16
  • 13
Verfügbarkeit
  • 10654
  • 10
Eigenschaften
  • 12
Katalog
  • 10664
  • 559
10.664  Treffer  für „Lecture Notes in Computer Science“
    Lavrac / Gamberger / Todorovski | Machine Learning: ECML 2003 | Buch | Sack Fachmedien

    Lavrac / Gamberger / Todorovski Machine Learning: ECML 2003

    14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-20121-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nakashima / Zhang | Approaches to Intelligent Agents | Buch | Sack Fachmedien

    Nakashima / Zhang Approaches to Intelligent Agents

    Second Pacific Rim International Workshop on Multi-Agents, PRIMA'99, Kyoto, Japan, December 2-3, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66823-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Briand / Williams | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Briand / Williams Model Driven Engineering Languages and Systems

    8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29010-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lorenz | Networking - ICN 2001 | Buch | Sack Fachmedien

    Lorenz Networking - ICN 2001

    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42302-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paes / Verri | Intelligent Systems | Buch | Sack Fachmedien

    Paes / Verri Intelligent Systems

    34th Brazilian Conference, BRACIS 2024, Belém do Pará, Brazil, November 17-21, 2024, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-79028-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flocchini / Gasieniec | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Flocchini / Gasieniec Structural Information and Communication Complexity

    13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35474-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yao / Kunii | Data Base Design Techniques II | Buch | Sack Fachmedien

    Yao / Kunii Data Base Design Techniques II

    Physical Structures and Applications. Proceedings, Tokyo, November 1979
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11215-0
    Medium: Buch
    21,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kern-Isberner / Rödder / Kulmann | Conditionals, Information, and Inference | Buch | Sack Fachmedien

    Kern-Isberner / Rödder / Kulmann Conditionals, Information, and Inference

    International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25332-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Druschel / Kaashoek / Rowstron | Peer-to-Peer Systems | Buch | Sack Fachmedien

    Druschel / Kaashoek / Rowstron Peer-to-Peer Systems

    First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44179-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dixon / Finger | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Dixon / Finger Frontiers of Combining Systems

    11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66166-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hummel / Sterbenz | Self-Organizing Systems | Buch | Sack Fachmedien

    Hummel / Sterbenz Self-Organizing Systems

    Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92156-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wansing | The Logic of Information Structures | Buch | Sack Fachmedien

    Wansing The Logic of Information Structures

    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56734-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Corchado / Kurzynski / Wozniak | Hybrid Artificial Intelligent Systems | Buch | Sack Fachmedien

    Corchado / Kurzynski / Wozniak Hybrid Artificial Intelligent Systems

    6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21221-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Madria / Claypool / Kannan | Distributed Computing and Internet Technology | Buch | Sack Fachmedien

    Madria / Claypool / Kannan Distributed Computing and Internet Technology

    Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68379-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ong / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Ong / de Queiroz Logic, Language, Information, and Computation

    2. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32620-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guns | Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Buch | Sack Fachmedien

    Guns Integration of Constraint Programming, Artificial Intelligence, and Operations Research

    23rd International Conference, CPAIOR 2026, Rabat, Morocco, May 26-29, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-27241-6
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Monostori / Vancza / Ali | Engineering of Intelligent Systems | Buch | Sack Fachmedien

    Monostori / Vancza / Ali Engineering of Intelligent Systems

    14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4-7, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42219-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beskow / Peters / Castellano | Intelligent Virtual Agents | Buch | Sack Fachmedien

    Beskow / Peters / Castellano Intelligent Virtual Agents

    17th International Conference, IVA 2017, Stockholm, Sweden, August 27-30, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67400-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirchner / Levi | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Kirchner / Levi Algebraic and Logic Programming

    Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55873-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin / Xiao | Computing and Combinatorics | Buch | Sack Fachmedien

    Fomin / Xiao Computing and Combinatorics

    31st International Computing and Combinatorics Conference, COCOON 2025, Chengdu, China, August 15-17, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-950214-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frachtenberg / Schwiegelshohn | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Frachtenberg / Schwiegelshohn Job Scheduling Strategies for Parallel Processing

    15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16504-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Elbassioni / Makino | Algorithms and Computation | Buch | Sack Fachmedien

    Elbassioni / Makino Algorithms and Computation

    26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48970-3
    Medium: Buch
    94,16 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balet / Subsol / Torguet | Virtual Storytelling. Using Virtual Reality Technologies for Storytelling | Buch | Sack Fachmedien

    Balet / Subsol / Torguet Virtual Storytelling. Using Virtual Reality Technologies for Storytelling

    International Conference ICVS 2001 Avignon, France, September 27-28, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42611-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Modeling | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03417-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Colombo / Leucker | Runtime Verification | Buch | Sack Fachmedien

    Colombo / Leucker Runtime Verification

    18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03768-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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