Ergebnisse filtern
Fachgebiet
Medium
  • 26035
  • 3558
  • 64
  • 20
Erscheinungsjahr
  • 8
  • 276
  • 1169
  • 1958
  • 2931
  • 1267
  • 1047
  • 997
  • 1119
  • 1042
  • 1110
  • 970
  • 1014
  • 780
  • 1040
  • 958
  • 1203
  • 726
  • 1462
  • 707
  • 740
  • 794
  • 763
  • 671
  • 596
  • 611
  • 547
  • 463
  • 335
  • 285
  • 262
  • 256
  • 230
  • 173
  • 155
  • 153
  • 106
  • 130
  • 90
  • 82
  • 65
  • 56
  • 40
  • 30
  • 21
  • 19
  • 24
  • 25
  • 17
  • 15
  • 6
  • 7
  • 6
  • 7
  • 8
  • 5
  • 6
  • 6
  • 4
  • 1
  • 1
  • 1
  • 1
Autoren
  • 7
  • 14
  • 14
  • 5
  • 8
  • 9
  • 7
  • 5
  • 11
  • 14
  • 12
  • 5
  • 14
  • 9
  • 7
  • 8
  • 7
  • 7
  • 8
  • 9
  • 5
  • 8
  • 11
  • 9
  • 9
  • 5
  • 6
  • 10
  • 29
  • 25
  • 6
  • 7
  • 10
  • 8
  • 6
  • 7
  • 6
  • 5
  • 7
  • 15
  • 17
  • 6
  • 9
  • 5
  • 40
  • 5
  • 6
  • 5
  • 9
  • 8
  • 6
  • 10
  • 5
  • 10
  • 9
  • 9
  • 5
  • 7
  • 9
  • 8
  • 7
  • 22
  • 17
  • 10
  • 6
  • 14
  • 17
  • 11
  • 5
  • 7
  • 7
  • 5
  • 5
  • 9
  • 5
  • 9
  • 6
  • 28
  • 8
  • 5
  • 9
  • 5
  • 8
  • 19
  • 14
  • 6
  • 7
  • 15
  • 13
  • 6
  • 10
  • 5
  • 10
  • 7
  • 9
  • 10
  • 10
  • 7
  • 9
  • 19
  • 13
  • 10
  • 10
  • 12
  • 7
  • 5
  • 21
  • 8
  • 6
  • 13
  • 9
  • 5
  • 5
  • 6
  • 8
  • 6
  • 37
  • 6
  • 6
  • 5
  • 6
  • 6
  • 6
  • 10
  • 6
  • 5
  • 17
  • 24
  • 5
  • 10
  • 6
  • 7
  • 5
  • 17
  • 5
  • 91
  • 7
  • 8
  • 9
  • 5
  • 5
  • 7
  • 7
  • 5
  • 11
  • 5
  • 5
  • 6
  • 9
  • 7
  • 17
  • 7
  • 5
  • 5
  • 16
  • 6
  • 7
  • 5
  • 6
  • 5
  • 16
  • 5
  • 5
  • 7
  • 6
  • 7
  • 5
  • 5
  • 5
  • 5
  • 5
  • 16
  • 5
  • 10
  • 7
  • 6
  • 5
  • 6
  • 7
  • 8
  • 20
  • 5
  • 9
  • 7
  • 9
  • 11
  • 13
  • 13
  • 7
  • 5
  • 9
  • 10
  • 11
  • 5
  • 5
  • 9
  • 6
  • 7
  • 6
  • 13
  • 6
  • 24
  • 8
  • 24
  • 5
  • 8
  • 7
  • 5
  • 9
  • 21
  • 18
  • 7
  • 6
  • 8
  • 6
  • 7
  • 15
  • 6
  • 6
  • 5
  • 5
  • 7
  • 12
  • 7
  • 6
  • 56
  • 29
  • 6
  • 5
  • 7
  • 5
  • 6
  • 15
  • 21
  • 9
  • 7
  • 5
  • 6
  • 12
  • 5
  • 27
  • 9
  • 5
  • 6
  • 10
  • 6
  • 22
  • 5
  • 19
  • 9
  • 5
  • 7
  • 31
  • 6
  • 5
  • 6
  • 5
  • 7
  • 5
  • 6
  • 5
  • 6
  • 7
  • 8
  • 6
  • 7
  • 10
  • 14
  • 6
  • 7
  • 10
  • 15
  • 5
  • 16
  • 7
  • 37
  • 9
  • 5
  • 9
  • 9
  • 7
  • 5
  • 6
  • 9
  • 5
  • 36
  • 10
  • 10
  • 5
  • 18
  • 12
  • 6
  • 12
  • 7
  • 8
  • 9
  • 9
  • 8
  • 11
  • 11
  • 6
  • 8
  • 6
  • 45
  • 7
  • 9
  • 6
  • 13
  • 6
  • 7
  • 7
  • 12
  • 8
  • 5
  • 5
  • 7
  • 8
  • 5
  • 9
  • 5
  • 9
  • 5
  • 5
  • 6
  • 5
  • 13
  • 5
  • 5
  • 8
  • 7
  • 5
  • 5
  • 8
  • 10
  • 6
  • 7
  • 9
  • 5
  • 5
  • 8
  • 5
  • 9
  • 5
  • 7
  • 22
  • 6
  • 10
  • 7
  • 9
  • 8
  • 12
  • 9
  • 18
  • 10
  • 7
  • 5
  • 6
  • 7
  • 5
  • 10
  • 8
  • 6
  • 6
  • 7
  • 9
  • 5
  • 6
  • 12
  • 6
  • 10
  • 8
  • 7
  • 9
  • 5
  • 6
  • 18
  • 10
  • 8
  • 16
  • 13
  • 16
  • 7
  • 6
  • 6
  • 5
  • 5
  • 5
  • 15
  • 8
  • 14
  • 14
  • 16
  • 6
  • 21
  • 7
  • 10
  • 6
  • 7
  • 11
  • 5
  • 10
  • 5
  • 5
  • 8
  • 6
  • 5
  • 12
  • 5
  • 5
  • 9
  • 9
  • 7
  • 10
  • 9
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 7
  • 5
  • 11
  • 13
  • 6
  • 9
  • 13
  • 9
  • 5
  • 7
  • 6
  • 8
  • 5
  • 19
  • 10
  • 5
  • 7
  • 13
  • 11
  • 6
  • 10
  • 11
  • 19
  • 8
  • 8
  • 7
  • 5
  • 8
  • 21
  • 5
  • 5
  • 6
  • 13
  • 10
  • 31
  • 14
  • 12
  • 6
  • 13
  • 5
  • 6
  • 5
  • 5
  • 5
  • 7
  • 8
  • 7
  • 8
  • 16
  • 7
  • 5
  • 7
  • 10
  • 13
  • 8
  • 8
  • 6
  • 15
  • 6
  • 6
  • 5
  • 12
  • 6
  • 7
  • 6
  • 8
  • 7
  • 7
  • 10
  • 23
  • 13
  • 14
  • 7
  • 10
  • 5
  • 8
  • 12
  • 13
  • 5
  • 5
  • 11
  • 10
  • 7
  • 66
  • 6
  • 10
  • 5
  • 7
  • 14
  • 5
  • 5
  • 5
  • 7
  • 12
  • 5
  • 5
  • 6
  • 11
  • 6
  • 5
  • 10
  • 5
  • 13
  • 5
  • 9
  • 16
  • 5
  • 7
  • 5
  • 7
  • 8
  • 6
  • 12
  • 6
  • 13
  • 8
  • 19
  • 6
  • 16
  • 5
  • 6
  • 7
  • 7
  • 6
  • 6
  • 7
  • 5
  • 11
  • 14
  • 5
  • 8
  • 6
  • 10
  • 42
  • 11
  • 24
  • 6
  • 11
  • 17
  • 7
  • 12
  • 7
  • 11
  • 11
  • 14
  • 10
  • 5
  • 5
  • 24
  • 8
  • 7
  • 13
  • 8
  • 41
  • 8
  • 13
  • 5
  • 6
  • 5
  • 6
  • 6
  • 11
  • 15
  • 5
  • 5
  • 5
  • 8
  • 11
  • 6
  • 8
  • 8
  • 9
  • 5
  • 5
  • 7
  • 7
  • 5
  • 12
  • 10
  • 23
  • 7
  • 5
  • 6
  • 7
  • 6
  • 5
  • 6
  • 10
  • 6
  • 23
  • 27
  • 6
  • 5
  • 8
  • 8
  • 5
  • 7
  • 7
  • 9
  • 25
  • 11
  • 6
  • 6
  • 7
  • 6
  • 5
  • 5
  • 5
  • 12
  • 5
  • 6
  • 5
  • 8
  • 7
  • 7
  • 10
  • 5
  • 5
  • 19
  • 5
  • 13
  • 8
  • 11
  • 9
  • 7
  • 12
  • 11
  • 35
  • 13
  • 9
  • 6
  • 8
  • 7
  • 14
  • 5
  • 14
  • 5
  • 6
  • 7
  • 10
  • 5
  • 9
  • 6
  • 5
  • 13
  • 5
  • 7
  • 5
  • 9
  • 5
  • 7
  • 5
  • 6
  • 5
  • 6
  • 6
  • 7
  • 6
  • 5
  • 5
  • 9
  • 6
  • 5
  • 6
  • 11
  • 9
  • 13
  • 10
  • 5
  • 12
  • 6
  • 10
  • 7
  • 7
  • 5
  • 7
  • 6
  • 8
  • 11
  • 5
  • 5
  • 7
  • 9
  • 7
  • 16
  • 5
  • 8
  • 34
  • 8
  • 5
  • 13
  • 21
  • 21
  • 10
  • 12
  • 5
  • 16
  • 14
  • 15
  • 8
  • 7
  • 6
  • 12
  • 11
  • 13
  • 6
  • 5
  • 6
  • 8
  • 9
  • 8
  • 6
  • 10
  • 11
  • 10
  • 5
  • 7
  • 7
  • 8
  • 6
  • 5
  • 16
  • 6
  • 6
  • 7
  • 6
  • 8
  • 9
  • 9
  • 8
  • 13
  • 6
  • 7
  • 11
  • 11
  • 6
  • 9
  • 5
  • 9
  • 24
  • 15
  • 11
  • 6
  • 6
  • 5
  • 9
  • 10
  • 5
  • 6
  • 8
  • 7
  • 5
  • 7
  • 14
  • 6
  • 5
  • 5
  • 7
  • 5
  • 8
  • 7
  • 8
  • 14
  • 8
  • 9
  • 22
  • 11
  • 6
  • 8
  • 5
  • 5
  • 8
  • 6
  • 7
  • 7
  • 23
  • 5
  • 9
  • 7
  • 10
  • 7
  • 6
  • 7
  • 5
  • 49
  • 6
  • 11
  • 6
  • 24
  • 6
  • 5
  • 9
  • 5
  • 15
  • 5
  • 12
  • 7
  • 16
  • 6
  • 10
  • 5
  • 5
  • 7
  • 15
  • 6
  • 16
  • 7
  • 5
  • 8
  • 12
  • 13
  • 5
  • 11
  • 15
  • 6
  • 8
  • 5
  • 6
  • 9
  • 5
  • 6
  • 10
  • 11
  • 7
  • 5
  • 5
  • 8
  • 6
  • 7
  • 7
  • 14
  • 7
  • 16
  • 6
  • 12
  • 7
  • 47
  • 58
  • 12
  • 8
  • 6
  • 5
  • 7
  • 5
  • 9
  • 5
  • 5
  • 20
  • 10
  • 26
  • 9
  • 15
  • 9
  • 9
  • 16
  • 6
  • 5
  • 6
  • 11
  • 12
  • 6
  • 7
  • 5
  • 6
  • 9
  • 7
  • 5
  • 49
  • 8
  • 7
  • 6
  • 9
  • 7
  • 5
  • 6
  • 5
  • 9
  • 18
  • 5
  • 9
  • 5
  • 5
  • 16
  • 41
  • 13
  • 5
  • 6
  • 6
  • 6
  • 21
  • 15
  • 16
  • 7
  • 16
  • 12
  • 8
  • 6
  • 19
  • 8
  • 7
  • 7
  • 10
  • 7
  • 5
  • 5
  • 9
  • 6
  • 14
  • 7
  • 7
  • 7
  • 8
  • 5
  • 7
  • 13
  • 8
  • 8
  • 7
  • 18
  • 16
  • 10
  • 24
  • 9
  • 7
  • 23
  • 8
  • 8
  • 5
  • 6
  • 7
  • 7
  • 8
  • 5
  • 5
  • 6
  • 24
  • 6
  • 13
  • 7
  • 6
  • 6
  • 9
  • 16
  • 15
  • 7
  • 6
  • 19
  • 12
  • 9
  • 5
  • 7
  • 19
  • 7
  • 16
  • 7
  • 15
  • 6
  • 11
  • 7
  • 16
  • 8
  • 14
  • 7
  • 7
  • 12
  • 7
  • 6
  • 7
  • 8
  • 27
  • 11
  • 9
  • 8
  • 6
  • 7
  • 5
  • 6
  • 34
  • 6
Verlag
  • 1
  • 5
  • 139
  • 5
  • 9
  • 12
  • 1
  • 5
  • 6
  • 1
  • 1
  • 3
  • 1
  • 55
  • 13
  • 3356
  • 32
  • 7
  • 112
  • 23
  • 5
  • 10
  • 8
  • 311
  • 2
  • 61
  • 7
  • 6
  • 9
  • 1
  • 5
  • 4
  • 3
  • 4
  • 7
  • 388
  • 1
  • 1
  • 237
  • 3
  • 935
  • 2
  • 12
  • 1748
  • 2976
  • 1
  • 24
  • 1
  • 3
  • 1
  • 12
  • 1
  • 1
  • 91
  • 168
  • 2
  • 1
  • 1
  • 2
  • 1
  • 12
  • 1
  • 1
  • 91
  • 5
  • 4
  • 124
  • 75
  • 1
  • 1
  • 6
  • 45
  • 1
  • 1
  • 2
  • 1
  • 15
  • 1
  • 9
  • 3
  • 2
  • 6
  • 12
  • 12
  • 66
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 38
  • 1
  • 1
  • 8
  • 2
  • 1
  • 1
  • 1
  • 38
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 70
  • 133
  • 26
  • 4
  • 5
  • 4
  • 2
  • 29
  • 3
  • 2
  • 7
  • 18
  • 1
  • 10
  • 1
  • 111
  • 11
  • 2
  • 1
  • 1
  • 1
  • 85
  • 1
  • 1
  • 5
  • 1
  • 2
  • 5
  • 2
  • 1
  • 2
  • 1
  • 2
  • 24
  • 2
  • 2
  • 4
  • 5
  • 3
  • 11
  • 1
  • 1
  • 3
  • 12
  • 62
  • 2
  • 2
  • 4
  • 1
  • 32
  • 7
  • 1
  • 1
  • 5
  • 8
  • 3
  • 4
  • 2
  • 1
  • 3
  • 2
  • 21
  • 2
  • 2
  • 1
  • 1
  • 5
  • 19
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 3
  • 2
  • 7
  • 29
  • 170
  • 30
  • 3
  • 122
  • 2
  • 2
  • 2
  • 3
  • 1
  • 9
  • 1
  • 1
  • 1
  • 5
  • 2
  • 5
  • 1
  • 1
  • 4
  • 20
  • 3
  • 13359
  • 76
  • 33
  • 2
  • 7
  • 1
  • 1
  • 2
  • 12
  • 33
  • 25
  • 1
  • 64
  • 114
  • 1
  • 375
  • 210
  • 17
  • 12
  • 7
  • 63
  • 3
  • 1
  • 6
  • 5
  • 3
  • 4
  • 1
  • 1
  • 703
  • 1
  • 112
  • 479
  • 145
  • 1
  • 1
  • 27
  • 1
  • 19
  • 2
  • 1
  • 9
  • 2
  • 1
  • 1
  • 1
  • 14
  • 5
  • 1
  • 3
  • 304
  • 6
  • 17
  • 4
  • 1
  • 1
  • 453
  • 27
  • 25
  • 3
  • 2
  • 4
  • 68
  • 49
  • 4
  • 1
  • 15
  • 1
  • 8
Preis
  • 1048
  • 5761
  • 13020
  • 9848
Sprachen
  • 27275
  • 2405
  • 18
  • 9
  • 1
  • 1
  • 1
Verfügbarkeit
  • 28807
  • 870
Eigenschaften
  • 10
  • 7
Katalog
  • 29677
  • 3037
29.677  Titel
    Cortesi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Cortesi Verification, Model Checking, and Abstract Interpretation

    Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43631-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damaševicius / Vasiljeviene | Information and Software Technologies | Buch | Sack Fachmedien

    Damaševicius / Vasiljeviene Information and Software Technologies

    25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10-12, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30274-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gelfond / Leone / Pfeifer | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Gelfond / Leone / Pfeifer Logic Programming and Nonmonotonic Reasoning

    5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66749-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Symth / Arumugam | Combinatorial Algorithms | Buch | Sack Fachmedien

    Symth / Arumugam Combinatorial Algorithms

    23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35925-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blume / Kobayashi / Vidal-Oriola | Functional and Logic Programming | Buch | Sack Fachmedien

    Blume / Kobayashi / Vidal-Oriola Functional and Logic Programming

    10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12250-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielsen / Weise | Testing Software and Systems | Buch | Sack Fachmedien

    Nielsen / Weise Testing Software and Systems

    24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34690-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Leeuwen | Automata, Languages and Programming | Buch | Sack Fachmedien

    Bakker / Leeuwen Automata, Languages and Programming

    Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10003-4
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith / Salvendy | Human Interface and the Management of Information. Interacting in Information Environments | Buch | Sack Fachmedien

    Smith / Salvendy Human Interface and the Management of Information. Interacting in Information Environments

    Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73353-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alpuente | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Alpuente Logic-Based Program Synthesis and Transformation

    20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20550-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73939-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohlas / Meyer / Schiper | Dependable Systems: Software, Computing, Networks | Buch | Sack Fachmedien

    Kohlas / Meyer / Schiper Dependable Systems: Software, Computing, Networks

    Research Results of the DICS Program
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36821-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Onodera / Kawai | A Formal Model of Visualization in Computer Graphics Systems | Buch | Sack Fachmedien

    Onodera / Kawai A Formal Model of Visualization in Computer Graphics Systems

    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52395-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Perakovic / Knapcikova | Future Access Enablers for Ubiquitous and Intelligent Infrastructures | Buch | Sack Fachmedien

    Perakovic / Knapcikova Future Access Enablers for Ubiquitous and Intelligent Infrastructures

    7th EAI International Conference, FABULOUS 2023, Bratislava, Slovakia, October 24-26, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-50050-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyld / Zizka / Nagamalai | Advances in Computer Science, Engineering and Applications | Buch | Sack Fachmedien

    Wyld / Zizka / Nagamalai Advances in Computer Science, Engineering and Applications

    Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 2
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30110-0
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sharygina / Veith | Computer Aided Verification | Buch | Sack Fachmedien

    Sharygina / Veith Computer Aided Verification

    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39798-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xu / Du | Computing and Combinatorics | Buch | Sack Fachmedien

    Xu / Du Computing and Combinatorics

    21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-21397-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buhler | Algorithmic Number Theory | Buch | Sack Fachmedien

    Buhler Algorithmic Number Theory

    Third International Symposium, ANTS-III, Portland, Orgeon, USA, June 21-25, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64657-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jantke / Lunzer / Spyratos | Federation over the Web | Buch | Sack Fachmedien

    Jantke / Lunzer / Spyratos Federation over the Web

    International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31018-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Menze / Langs / Montillo | Medical Computer Vision: Algorithms for Big Data | Buch | Sack Fachmedien

    Menze / Langs / Montillo Medical Computer Vision: Algorithms for Big Data

    International Workshop, MCV 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13971-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van der Pol / Weber | Model Checking Software | Buch | Sack Fachmedien

    van der Pol / Weber Model Checking Software

    17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16163-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duparc / Henzinger | Computer Science Logic | Buch | Sack Fachmedien

    Duparc / Henzinger Computer Science Logic

    21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74914-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cortier / Kirchner / Okada | Formal to Practical Security | Buch | Sack Fachmedien

    Cortier / Kirchner / Okada Formal to Practical Security

    Papers Issued from the 2005-2008 French-Japanese Collaboration
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-02001-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tompits / Abreu / Oetsch | Applications of Declarative Programming and Knowledge Management | Buch | Sack Fachmedien

    Tompits / Abreu / Oetsch Applications of Declarative Programming and Knowledge Management

    19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41523-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Roever / Rozenberg | Semantics: Foundations and Applications | Buch | Sack Fachmedien

    Bakker / Roever / Rozenberg Semantics: Foundations and Applications

    REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56596-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Szmuc / Szpyrka / Zendulka | Advances in Software Engineering Techniques | Buch | Sack Fachmedien

    Szmuc / Szpyrka / Zendulka Advances in Software Engineering Techniques

    4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28037-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