Ergebnisse filtern
Fachgebiet
Medium
  • 8674
  • 1009
  • 31
  • 13
Erscheinungsjahr
  • 1
  • 42
  • 665
  • 632
  • 484
  • 443
  • 423
  • 428
  • 535
  • 313
  • 458
  • 297
  • 429
  • 380
  • 491
  • 244
  • 502
  • 249
  • 253
  • 259
  • 216
  • 259
  • 220
  • 222
  • 181
  • 157
  • 122
  • 110
  • 95
  • 78
  • 81
  • 71
  • 59
  • 67
  • 39
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 9
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 6
  • 5
  • 4
  • 8
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 7
  • 6
  • 10
  • 6
  • 3
  • 9
  • 20
  • 3
  • 5
  • 5
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 9
  • 4
  • 4
  • 4
  • 6
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 4
  • 18
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 8
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 4
  • 9
  • 3
  • 3
  • 5
  • 17
  • 3
  • 4
  • 4
  • 11
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 13
  • 3
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 3
  • 4
  • 9
  • 4
  • 3
  • 10
  • 17
  • 4
  • 5
  • 17
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 11
  • 7
  • 6
  • 4
  • 12
  • 4
  • 3
  • 4
  • 13
  • 7
  • 4
  • 4
  • 4
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 17
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 4
  • 4
  • 5
  • 32
  • 4
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 7
  • 6
  • 4
  • 5
  • 3
  • 4
  • 7
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 6
  • 8
  • 6
  • 10
  • 3
  • 3
  • 4
  • 4
  • 12
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 4
  • 9
  • 5
  • 3
  • 3
  • 8
  • 8
  • 3
  • 3
  • 12
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 10
  • 4
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 5
  • 5
  • 4
  • 4
  • 4
  • 3
  • 4
  • 8
  • 6
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 14
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 13
  • 4
  • 6
  • 9
  • 6
  • 3
  • 8
  • 10
  • 6
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 12
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 6
  • 3
  • 3
  • 5
  • 8
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 27
  • 19
  • 3
  • 4
  • 4
  • 4
  • 8
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 10
  • 3
  • 5
  • 3
  • 9
  • 4
  • 13
  • 5
  • 3
  • 3
  • 4
  • 3
  • 16
  • 6
  • 5
  • 5
  • 3
  • 4
  • 18
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 20
  • 5
  • 11
  • 3
  • 4
  • 4
  • 6
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 6
  • 3
  • 13
  • 3
  • 6
  • 7
  • 4
  • 3
  • 6
  • 24
  • 6
  • 6
  • 3
  • 11
  • 5
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 5
  • 5
  • 3
  • 5
  • 6
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 11
  • 3
  • 7
  • 3
  • 36
  • 3
  • 4
  • 9
  • 5
  • 3
  • 3
  • 8
  • 3
  • 11
  • 3
  • 3
  • 4
  • 3
  • 6
  • 10
  • 4
  • 4
  • 12
  • 5
  • 5
  • 4
  • 3
  • 3
  • 4
  • 5
  • 7
  • 12
  • 6
  • 5
  • 16
  • 4
  • 4
  • 4
  • 8
  • 4
  • 3
  • 10
  • 6
  • 6
  • 8
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 6
  • 4
  • 8
  • 3
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 9
  • 8
  • 5
  • 3
  • 7
  • 10
  • 3
  • 3
  • 4
  • 3
  • 8
  • 6
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 18
  • 4
  • 4
  • 4
  • 11
  • 5
  • 4
  • 3
  • 5
  • 5
  • 5
  • 6
  • 3
  • 4
  • 4
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 8
  • 7
  • 8
  • 12
  • 5
  • 10
  • 3
  • 8
  • 6
  • 10
  • 4
  • 8
  • 6
  • 7
  • 4
  • 10
  • 3
  • 3
  • 3
  • 4
  • 11
  • 5
  • 57
  • 3
  • 4
  • 14
  • 4
  • 7
  • 3
  • 5
  • 8
  • 3
  • 3
  • 9
  • 3
  • 3
  • 4
  • 3
  • 7
  • 7
  • 14
  • 6
  • 14
  • 4
  • 6
  • 3
  • 3
  • 4
  • 24
  • 6
  • 7
  • 4
  • 3
  • 7
  • 3
  • 12
  • 32
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 7
  • 9
  • 5
  • 4
  • 15
  • 7
  • 4
  • 5
  • 6
  • 4
  • 3
  • 5
  • 5
  • 3
  • 19
  • 26
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 18
  • 11
  • 6
  • 4
  • 8
  • 3
  • 7
  • 3
  • 7
  • 3
  • 4
  • 14
  • 3
  • 7
  • 12
  • 8
  • 25
  • 3
  • 8
  • 6
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 5
  • 4
  • 3
  • 6
  • 7
  • 4
  • 12
  • 3
  • 4
  • 6
  • 8
  • 5
  • 5
  • 11
  • 6
  • 4
  • 7
  • 4
  • 6
  • 6
  • 4
  • 9
  • 4
  • 4
  • 7
  • 5
  • 3
  • 3
  • 3
  • 4
  • 18
  • 10
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 7
  • 6
  • 3
  • 9
  • 3
  • 5
  • 5
  • 5
  • 10
  • 10
  • 4
  • 8
  • 5
  • 5
  • 13
  • 3
  • 7
  • 4
  • 3
  • 11
  • 7
  • 3
  • 9
  • 16
  • 11
  • 5
  • 3
  • 4
  • 9
  • 5
  • 8
  • 7
  • 4
  • 4
  • 6
  • 10
  • 3
  • 5
  • 7
  • 3
  • 7
  • 8
  • 4
  • 4
  • 3
  • 7
  • 22
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 3
  • 3
  • 16
  • 5
  • 4
  • 4
  • 4
  • 22
  • 5
  • 3
  • 3
  • 8
  • 4
  • 5
  • 4
  • 5
  • 4
  • 3
  • 7
  • 6
  • 10
  • 9
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 9
  • 5
  • 7
  • 5
  • 4
  • 4
  • 3
  • 3
  • 15
  • 6
  • 4
  • 3
  • 22
  • 31
  • 12
  • 7
  • 9
  • 12
  • 23
  • 6
  • 6
  • 9
  • 17
  • 3
  • 6
  • 3
  • 4
  • 3
  • 5
  • 7
  • 8
  • 7
  • 37
  • 5
  • 4
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 9
  • 20
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 8
  • 31
  • 4
  • 7
  • 7
  • 4
  • 8
  • 10
  • 4
  • 8
  • 3
  • 4
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 11
  • 5
  • 8
  • 3
  • 6
  • 10
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 14
  • 8
  • 9
  • 13
  • 4
  • 7
  • 3
  • 9
  • 7
  • 7
  • 7
  • 4
  • 5
  • 3
  • 5
  • 11
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 5
  • 13
  • 14
  • 5
  • 9
  • 4
  • 8
  • 19
  • 4
  • 4
  • 12
  • 18
  • 5
  • 9
  • 6
  • 7
  • 4
  • 9
  • 7
  • 8
  • 18
  • 6
  • 7
  • 4
  • 12
  • 5
  • 7
  • 4
  • 4
  • 11
  • 4
  • 7
  • 4
  • 7
  • 4
  • 4
  • 6
  • 7
  • 9
  • 5
Verlag
  • 2
  • 8
  • 5
  • 1
  • 33
  • 11
  • 383
  • 5
  • 1
  • 18
  • 1
  • 6
  • 4
  • 4
  • 107
  • 2
  • 1
  • 1
  • 12
  • 3
  • 3
  • 3
  • 42
  • 1
  • 1
  • 81
  • 58
  • 4
  • 373
  • 727
  • 15
  • 1
  • 7
  • 1
  • 16
  • 95
  • 3
  • 3
  • 5
  • 46
  • 30
  • 5
  • 1
  • 25
  • 1
  • 1
  • 4
  • 3
  • 13
  • 5
  • 43
  • 4
  • 1
  • 1
  • 3
  • 27
  • 1
  • 4
  • 1
  • 27
  • 1
  • 1
  • 1
  • 5
  • 28
  • 2
  • 1
  • 3
  • 3
  • 25
  • 7
  • 3
  • 2
  • 1
  • 2
  • 26
  • 5
  • 1
  • 2
  • 2
  • 1
  • 3
  • 3
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 8
  • 1
  • 4
  • 24
  • 17
  • 23
  • 1
  • 1
  • 1
  • 2
  • 2
  • 15
  • 2
  • 2070
  • 1467
  • 12
  • 1396
  • 5
  • 2
  • 1
  • 125
  • 399
  • 109
  • 1
  • 85
  • 355
  • 22
  • 1
  • 30
  • 1
  • 1
  • 1
  • 235
  • 39
  • 205
  • 257
  • 1
  • 1
  • 3
  • 24
  • 2
  • 1
  • 5
  • 1
  • 86
  • 1
  • 2
  • 1
  • 161
  • 2
  • 11
  • 1
  • 1
  • 21
  • 33
  • 1
  • 1
  • 2
  • 2
Preis
  • 256
  • 1427
  • 4871
  • 3173
Sprachen
  • 8874
  • 860
  • 2
Verfügbarkeit
  • 9563
  • 164
Eigenschaften
  • 6
Katalog
  • 9727
  • 1582
9.727  Titel
    Boursas / Carlson / Wold | Systems and Virtualization Management | Buch | Sack Fachmedien

    Boursas / Carlson / Wold Systems and Virtualization Management

    Standards and New Technologies
    2009
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-88707-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tauber / Gorny | Visualization in Programming | Buch | Sack Fachmedien

    Tauber / Gorny Visualization in Programming

    5th Interdisciplinary Workshop in Informatics and Psychology Schärding, Austria, May 20-23, 1986
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18507-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bozanis / Houstis | Advances in Informatics | Buch | Sack Fachmedien

    Bozanis / Houstis Advances in Informatics

    10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-29673-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bensalem / Legay / Lakhnech | From Programs to Systems - The Systems Perspective in Computing | Buch | Sack Fachmedien

    Bensalem / Legay / Lakhnech From Programs to Systems - The Systems Perspective in Computing

    ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-642-54847-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmaranz | Softwareentwicklung in C++ | Buch | Sack Fachmedien

    Schmaranz Softwareentwicklung in C++

    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-62932-7
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilmore / Calder | Computational Methods in Systems Biology | Buch | Sack Fachmedien

    Gilmore / Calder Computational Methods in Systems Biology

    International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75139-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wilhelm | Compiler Construction | Buch | Sack Fachmedien

    Wilhelm Compiler Construction

    10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41861-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voss / Eigenmann | OpenMP Shared Memory Parallel Programming | Buch | Sack Fachmedien

    Voss / Eigenmann OpenMP Shared Memory Parallel Programming

    International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42346-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tschudin / Vitek | Mobile Object Systems Towards the Programmable Internet | Buch | Sack Fachmedien

    Tschudin / Vitek Mobile Object Systems Towards the Programmable Internet

    Second International Workshop, MOS'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62852-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mueller | High-Level Parallel Programming Models and Supportive Environments | Buch | Sack Fachmedien

    Mueller High-Level Parallel Programming Models and Supportive Environments

    6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41944-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grandinetti / Kowalik | Software for Parallel Computation | Buch | Sack Fachmedien

    Grandinetti / Kowalik Software for Parallel Computation

    Softcover Nachdruck of the original 1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-642-63453-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zimányi / Vaisman | Data Warehouse Systems | Buch | Sack Fachmedien

    Zimányi / Vaisman Data Warehouse Systems

    Design and Implementation
    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer
    ISBN: 978-3-662-51350-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim | Information Science and Applications | Buch | Sack Fachmedien

    Kim Information Science and Applications

    2015
    Verlag: Springer
    ISBN: 978-3-662-46577-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prechelt | Kontrollierte Experimente in der Softwaretechnik | Buch | Sack Fachmedien

    Prechelt Kontrollierte Experimente in der Softwaretechnik

    Potenzial und Methodik
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-642-63985-2
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | Buch | Sack Fachmedien

    Lee Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-19606-5
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bettini / Wang / Jajodia | Time Granularities in Databases, Data Mining, and Temporal Reasoning | Buch | Sack Fachmedien

    Bettini / Wang / Jajodia Time Granularities in Databases, Data Mining, and Temporal Reasoning

    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-642-08634-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tambe / Meyer | Intelligent Agents VIII | Buch | Sack Fachmedien

    Tambe / Meyer Intelligent Agents VIII

    8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43858-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma / Cleaveland / Steffen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

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

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

    Unger / Halang Internet der Dinge

    Echtzeit 2016
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-53442-7
    Medium: Buch
    39,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piguet / Soudris / Reis | VLSI-SoC: Design Methodologies for SoC and SiP | Buch | Sack Fachmedien

    Piguet / Soudris / Reis VLSI-SoC: Design Methodologies for SoC and SiP

    16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers
    2010
    Verlag: Springer
    ISBN: 978-3-642-42241-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rybalchenko / Cohen | Verified Software: Theorie, Tools, Experiments | Buch | Sack Fachmedien

    Rybalchenko / Cohen Verified Software: Theorie, Tools, Experiments

    5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
    2014
    Verlag: Springer
    ISBN: 978-3-642-54107-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murgante / Gervasi / Misra | Computational Science and Its Applications -- ICCSA 2012 | Buch | Sack Fachmedien

    Murgante / Gervasi / Misra Computational Science and Its Applications -- ICCSA 2012

    12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III
    2012
    Verlag: Springer
    ISBN: 978-3-642-31136-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Robinson / Bowen | ZB 2002: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bert / Robinson / Bowen ZB 2002: Formal Specification and Development in Z and B

    2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43166-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sametinger | Software Engineering with Reusable Components | Buch | Sack Fachmedien

    Sametinger Software Engineering with Reusable Components

    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62695-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pnueli / Voronkov | Perspectives of Systems Informatics | Buch | Sack Fachmedien

    Pnueli / Voronkov Perspectives of Systems Informatics

    7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11485-4
    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