Ergebnisse filtern
Fachgebiet
Medium
  • 10482
Erscheinungsjahr
  • 136
  • 805
  • 831
  • 620
  • 487
  • 275
  • 292
  • 296
  • 293
  • 309
  • 303
  • 316
  • 281
  • 308
  • 309
  • 270
  • 284
  • 269
  • 231
  • 259
  • 272
  • 220
  • 365
  • 306
  • 259
  • 251
  • 177
  • 177
  • 116
  • 133
  • 135
  • 117
  • 108
  • 96
  • 73
  • 84
  • 57
  • 57
  • 44
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 6
  • 5
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 5
  • 4
  • 5
  • 5
  • 4
  • 9
  • 5
  • 10
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 9
  • 4
  • 11
  • 8
  • 5
  • 5
  • 16
  • 4
  • 4
  • 21
  • 5
  • 8
  • 4
  • 6
  • 4
  • 4
  • 7
  • 5
  • 9
  • 9
  • 6
  • 4
  • 4
  • 10
  • 5
  • 14
  • 5
  • 25
  • 36
  • 7
  • 40
  • 7
  • 6
  • 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
  • 4
  • 4
  • 8
  • 4
  • 5
  • 5
  • 14
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 9
  • 4
  • 6
  • 7
  • 6
  • 8
  • 7
  • 5
  • 4
  • 12
  • 5
  • 4
  • 5
  • 5
  • 4
  • 19
  • 7
  • 6
  • 4
  • 7
  • 5
  • 15
  • 4
  • 9
  • 5
  • 5
  • 4
  • 5
  • 6
  • 4
  • 4
  • 4
  • 7
  • 6
  • 16
  • 4
  • 9
  • 5
  • 5
  • 9
  • 4
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 14
  • 11
  • 6
  • 6
  • 8
  • 11
  • 11
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 6
  • 4
  • 8
  • 4
  • 4
  • 11
  • 4
  • 5
  • 6
  • 5
  • 8
  • 14
  • 5
  • 4
  • 11
  • 7
  • 4
  • 17
  • 4
  • 11
  • 16
  • 5
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 10
  • 9
  • 4
  • 4
  • 4
  • 4
  • 9
  • 5
  • 5
  • 8
  • 8
  • 4
  • 4
  • 16
  • 7
  • 9
  • 11
  • 5
  • 10
  • 6
  • 5
  • 4
  • 14
  • 4
  • 4
  • 4
  • 7
  • 24
  • 4
  • 12
  • 4
  • 10
  • 4
  • 4
  • 11
  • 7
  • 4
  • 4
  • 10
  • 4
  • 8
  • 34
  • 12
  • 41
  • 10
  • 8
  • 18
  • 14
  • 4
  • 5
  • 7
  • 4
  • 5
  • 20
  • 6
  • 38
  • 4
  • 9
  • 14
  • 7
  • 4
  • 7
  • 12
  • 4
  • 4
  • 12
  • 14
  • 8
  • 7
  • 39
  • 4
  • 5
  • 4
  • 10
  • 8
  • 10
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 10
  • 10
  • 5
  • 4
  • 4
  • 7
  • 6
  • 4
  • 4
  • 14
  • 10
  • 5
  • 13
  • 5
  • 7
  • 4
  • 6
  • 7
  • 4
  • 4
  • 15
  • 21
  • 8
  • 5
  • 10
  • 4
  • 6
  • 4
  • 6
  • 13
  • 5
  • 24
  • 6
  • 7
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 15
  • 10
  • 6
  • 8
  • 10
  • 5
  • 4
  • 44
  • 38
  • 8
  • 23
  • 5
  • 4
  • 17
  • 8
  • 23
  • 11
  • 4
  • 5
  • 5
  • 7
  • 18
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 5
  • 4
  • 27
  • 4
  • 15
  • 46
  • 4
  • 10
  • 7
  • 4
  • 15
  • 7
  • 6
  • 6
  • 11
  • 15
  • 4
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 14
  • 7
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 9
  • 6
  • 5
  • 4
  • 5
  • 10
  • 4
  • 15
  • 55
  • 30
  • 4
  • 4
  • 24
  • 9
  • 18
  • 22
  • 91
  • 5
  • 11
  • 6
  • 6
  • 14
  • 4
  • 4
  • 7
  • 19
  • 12
  • 7
  • 7
  • 5
  • 9
  • 14
  • 7
  • 5
  • 8
  • 7
  • 5
  • 6
  • 11
  • 43
  • 7
  • 7
  • 16
  • 8
  • 7
  • 19
  • 39
  • 6
  • 9
  • 17
  • 10
  • 6
  • 7
  • 6
  • 5
  • 8
  • 5
  • 9
  • 15
  • 6
  • 6
  • 5
  • 8
  • 5
  • 67
  • 5
  • 6
  • 10
  • 5
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 19
  • 7
  • 10
  • 5
  • 6
  • 6
  • 5
  • 10
  • 19
  • 11
  • 7
  • 13
  • 5
  • 8
  • 13
  • 6
  • 6
  • 7
  • 5
  • 13
  • 6
  • 5
  • 9
  • 10
  • 11
  • 7
  • 8
  • 7
  • 6
  • 29
  • 9
  • 6
  • 5
  • 8
  • 6
  • 26
  • 6
  • 14
  • 34
  • 6
  • 6
  • 7
  • 9
  • 15
  • 30
  • 6
  • 9
  • 5
  • 5
  • 10
  • 5
  • 5
  • 14
  • 6
  • 5
  • 5
  • 17
  • 20
  • 32
  • 5
  • 16
  • 9
  • 8
  • 19
  • 5
  • 9
  • 5
  • 5
  • 25
  • 5
  • 14
  • 32
  • 36
  • 6
  • 9
  • 6
  • 9
  • 6
  • 17
  • 6
  • 5
  • 12
  • 6
  • 5
  • 8
  • 7
  • 6
  • 6
  • 7
  • 8
  • 5
  • 6
  • 13
  • 90
  • 5
  • 12
  • 18
  • 6
  • 14
  • 6
  • 5
  • 8
  • 11
  • 12
  • 5
  • 5
  • 6
  • 10
  • 14
  • 18
  • 20
  • 5
  • 21
  • 8
  • 5
  • 62
  • 6
  • 19
  • 8
  • 12
  • 21
  • 5
  • 9
  • 5
  • 8
  • 6
  • 5
  • 5
  • 6
  • 5
  • 14
  • 5
  • 5
  • 5
  • 23
  • 6
  • 13
  • 11
  • 13
  • 15
  • 15
  • 14
  • 8
  • 18
  • 11
  • 10
  • 8
  • 9
  • 25
  • 6
  • 31
  • 28
  • 6
  • 6
  • 8
  • 7
  • 17
  • 7
  • 6
  • 7
  • 5
  • 5
  • 8
  • 6
  • 11
  • 21
  • 6
  • 5
  • 7
  • 5
  • 8
  • 8
  • 13
  • 8
  • 5
  • 33
  • 8
  • 11
  • 5
  • 5
  • 7
  • 5
  • 5
  • 16
  • 5
  • 9
  • 7
  • 5
  • 9
  • 83
  • 10
  • 5
  • 7
  • 6
  • 13
  • 6
  • 5
  • 9
  • 11
  • 36
  • 15
  • 5
  • 16
  • 6
  • 5
  • 5
  • 10
  • 6
  • 6
  • 5
  • 5
  • 8
  • 5
  • 9
  • 6
  • 6
  • 8
  • 6
  • 7
  • 5
  • 6
  • 7
  • 43
  • 5
  • 5
  • 17
  • 7
  • 7
  • 18
  • 13
  • 13
  • 12
  • 13
  • 15
  • 8
  • 17
  • 6
  • 5
  • 10
  • 23
  • 11
  • 9
  • 5
  • 12
  • 5
  • 6
  • 19
  • 11
  • 13
  • 11
  • 7
  • 8
  • 7
  • 7
  • 15
  • 5
  • 15
  • 13
  • 8
  • 24
  • 6
  • 7
  • 6
  • 11
  • 6
  • 5
  • 11
  • 15
  • 10
  • 5
  • 7
  • 6
  • 14
  • 6
  • 5
  • 12
  • 24
  • 12
  • 6
  • 7
  • 19
  • 5
  • 11
  • 91
  • 5
  • 6
  • 8
  • 5
  • 22
  • 7
  • 9
  • 7
  • 19
  • 9
  • 8
  • 8
  • 12
  • 7
  • 19
  • 8
  • 90
  • 6
  • 48
  • 11
  • 11
  • 5
  • 89
  • 23
  • 14
  • 12
  • 5
  • 12
  • 9
  • 13
  • 8
  • 8
  • 6
  • 5
  • 8
  • 8
  • 89
  • 5
  • 7
  • 15
  • 22
  • 7
  • 11
  • 11
  • 17
  • 11
  • 11
  • 6
  • 5
  • 11
  • 5
  • 10
  • 22
  • 8
  • 6
  • 6
  • 5
  • 7
  • 13
  • 7
  • 24
  • 5
  • 5
  • 6
  • 6
  • 5
  • 5
  • 14
  • 7
  • 8
  • 8
  • 11
  • 12
  • 41
  • 5
  • 6
  • 6
  • 6
  • 18
  • 9
  • 11
  • 8
  • 10
  • 13
  • 6
  • 5
  • 7
  • 11
  • 5
  • 38
  • 7
  • 33
  • 12
  • 6
  • 8
  • 5
  • 5
  • 10
  • 8
  • 22
  • 6
  • 6
  • 8
  • 8
  • 14
  • 15
  • 25
  • 9
  • 25
  • 8
  • 14
  • 24
  • 58
  • 10
  • 11
  • 19
  • 8
  • 9
  • 6
  • 10
  • 19
  • 22
  • 14
  • 6
  • 6
  • 9
  • 55
  • 24
  • 12
  • 8
  • 12
  • 12
  • 6
  • 12
  • 9
  • 12
  • 5
  • 10
  • 7
  • 6
  • 15
  • 11
  • 7
  • 12
  • 10
  • 5
  • 89
  • 10
  • 5
  • 7
  • 15
  • 5
  • 5
  • 5
  • 6
  • 13
  • 7
  • 8
  • 37
  • 5
  • 11
  • 10
  • 7
  • 12
  • 5
  • 13
  • 15
  • 10
  • 21
  • 6
  • 5
  • 17
  • 21
  • 5
  • 10
  • 7
  • 6
  • 6
  • 8
  • 6
  • 9
  • 8
  • 5
  • 25
  • 6
  • 14
  • 10
  • 5
  • 6
  • 8
  • 6
  • 6
  • 5
  • 8
  • 12
  • 9
  • 9
  • 18
  • 5
  • 10
  • 11
  • 5
  • 6
  • 24
  • 11
  • 14
  • 5
  • 5
  • 22
  • 11
  • 5
  • 5
  • 6
  • 5
  • 9
  • 18
  • 7
  • 6
  • 6
  • 47
  • 13
  • 6
  • 5
  • 5
  • 21
  • 6
  • 43
  • 14
  • 62
  • 18
  • 5
  • 6
  • 5
  • 6
  • 32
  • 7
  • 10
  • 5
  • 18
  • 20
  • 19
  • 9
  • 5
  • 11
  • 12
  • 10
  • 6
  • 6
  • 23
Verlag
  • 1
  • 10427
  • 3
  • 5
  • 1
  • 3
  • 1
  • 41
Preis
  • 42
  • 378
  • 8027
  • 2035
Sprachen
  • 10477
  • 17
  • 13
Verfügbarkeit
  • 10469
  • 13
Eigenschaften
  • 1
Katalog
  • 10482
  • 550
10.482  Treffer  für „Lecture Notes in Computer Science“
    Cohen / Rybalchenko | Verified Software: Theorie, Tools, Experiments | Buch | Sack Fachmedien

    Cohen / Rybalchenko Verified Software: Theorie, Tools, Experiments

    5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54107-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luo / Yu / Li | Advanced Data Mining and Applications | Buch | Sack Fachmedien

    Luo / Yu / Li Advanced Data Mining and Applications

    10th International Conference, ADMA 2014, Guilin, China, December 19-21, 2014, Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-319-14716-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koutny / Desel / Haddad | Transactions on Petri Nets and Other Models of Concurrency X | Buch | Sack Fachmedien

    Koutny / Desel / Haddad Transactions on Petri Nets and Other Models of Concurrency X

    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48649-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dowek / Heering / Meinke | Higher-Order Algebra, Logic, and Term Rewriting | Buch | Sack Fachmedien

    Dowek / Heering / Meinke Higher-Order Algebra, Logic, and Term Rewriting

    Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61254-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karagiannis / Dimitropoulos | Passive and Active Measurement | Buch | Sack Fachmedien

    Karagiannis / Dimitropoulos Passive and Active Measurement

    17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-30504-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Munekata / Kunita / Hoshino | Entertainment Computing - ICEC 2017 | Buch | Sack Fachmedien

    Munekata / Kunita / Hoshino Entertainment Computing - ICEC 2017

    16th IFIP TC 14 International Conference, Tsukuba City, Japan, September 18-21, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66714-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crochemore / Paterson | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Crochemore / Paterson Combinatorial Pattern Matching

    10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66278-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dinh / Thai | Computing and Combinatorics | Buch | Sack Fachmedien

    Dinh / Thai Computing and Combinatorics

    22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42633-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deb / Harman / Poli | Genetic and Evolutionary Computation - GECCO 2004 | Buch | Sack Fachmedien

    Deb / Harman / Poli Genetic and Evolutionary Computation - GECCO 2004

    Genetic and Evolutionary Computation Conference Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22344-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ventre / Domingo-Pascual / Danthine | Multimedia, Telecommunications, and Applications | Buch | Sack Fachmedien

    Ventre / Domingo-Pascual / Danthine Multimedia, Telecommunications, and Applications

    Third International COST 237 Workshop, Barcelona, Spain, November 25 - 27, 1996, Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-62096-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ogata / Mery / Sun | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Ogata / Mery / Sun Formal Methods and Software Engineering

    25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-981-960616-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansson / Martín-Vide / Vega-Rodríguez | Algorithms for Computational Biology | Buch | Sack Fachmedien

    Jansson / Martín-Vide / Vega-Rodríguez Algorithms for Computational Biology

    5th International Conference, AlCoB 2018, Hong Kong, China, June 25-26, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-91937-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma / Cleaveland / Larsen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Brinksma / Cleaveland / Larsen Tools and Algorithms for the Construction and Analysis of Systems

    First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60630-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kloks | Treewidth | Buch | Sack Fachmedien

    Kloks Treewidth

    Computations and Approximations
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58356-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishikawa / He / Xu | Advanced Web and Network Technologies, and Applications | Buch | Sack Fachmedien

    Ishikawa / He / Xu Advanced Web and Network Technologies, and Applications

    APWeb 2008 International Workshops: BIDM, IWHDM, and DeWeb Shenyang, China, April 26-28, 2008, Shenyang, China Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89375-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deng / Gauthier-Umaña / Ochoa | Applied Cryptography and Network Security | Buch | Sack Fachmedien

    Deng / Gauthier-Umaña / Ochoa Applied Cryptography and Network Security

    17th International Conference, ACNS 2019, Bogota, Colombia, June 5-7, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-21567-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blieberger / Bader | Reliable Software Technologies - Ada-Europe 2017 | Buch | Sack Fachmedien

    Blieberger / Bader Reliable Software Technologies - Ada-Europe 2017

    22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-60587-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halldórsson / Iwama / Kobayashi | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Halldórsson / Iwama / Kobayashi Automata, Languages, and Programming

    42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
    2015
    Verlag: Springer
    ISBN: 978-3-662-47671-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rus | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Rus Algebraic Methodology and Software Technology

    8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67530-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Muggleton / Tamaddoni-Nezhad / Lisi | Inductive Logic Programming | Buch | Sack Fachmedien

    Muggleton / Tamaddoni-Nezhad / Lisi Inductive Logic Programming

    21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31950-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quinonero-Candela / Dagan / Magnini | Machine Learning Challenges | Buch | Sack Fachmedien

    Quinonero-Candela / Dagan / Magnini Machine Learning Challenges

    Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33427-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pujolle / Perros / Fdida | NETWORKING 2000. Broadband Communications, High Performance Networking, and Performance of Communication Networks | Buch | Sack Fachmedien

    Pujolle / Perros / Fdida NETWORKING 2000. Broadband Communications, High Performance Networking, and Performance of Communication Networks

    IFIP-TC6/European Commission International Conference Paris, France, May 14-19, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67506-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chiu / Bellatreche / Sasaki | Web Information Systems Engineering - WISE 2010 Workshops | Buch | Sack Fachmedien

    Chiu / Bellatreche / Sasaki Web Information Systems Engineering - WISE 2010 Workshops

    WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24395-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Prabhakar | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Jansen / Prabhakar Formal Modeling and Analysis of Timed Systems

    16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00150-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hooman | Specification and Compositional Verification of Real-Time Systems | Buch | Sack Fachmedien

    Hooman Specification and Compositional Verification of Real-Time Systems

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54947-5
    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