Ergebnisse filtern
Fachgebiet
Medium
  • 10040
  • 1634
  • 29
  • 12
Erscheinungsjahr
  • 1
  • 89
  • 593
  • 1205
  • 1216
  • 559
  • 414
  • 349
  • 373
  • 359
  • 411
  • 320
  • 431
  • 297
  • 444
  • 406
  • 513
  • 250
  • 516
  • 239
  • 255
  • 261
  • 225
  • 257
  • 223
  • 222
  • 180
  • 161
  • 120
  • 107
  • 95
  • 84
  • 80
  • 71
  • 63
  • 68
  • 38
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 4
  • 3
  • 4
  • 3
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 7
  • 4
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 11
  • 5
  • 10
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 23
  • 5
  • 6
  • 7
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 7
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 22
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 7
  • 4
  • 3
  • 10
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 10
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 21
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 16
  • 3
  • 4
  • 16
  • 4
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 10
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 10
  • 19
  • 4
  • 9
  • 16
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 11
  • 10
  • 5
  • 3
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 3
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 10
  • 4
  • 4
  • 10
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 20
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 8
  • 4
  • 33
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 5
  • 5
  • 3
  • 6
  • 8
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 8
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 16
  • 3
  • 8
  • 4
  • 4
  • 12
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 8
  • 3
  • 9
  • 3
  • 4
  • 12
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 9
  • 3
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 15
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 13
  • 6
  • 7
  • 10
  • 7
  • 4
  • 8
  • 10
  • 6
  • 7
  • 4
  • 9
  • 5
  • 7
  • 22
  • 6
  • 4
  • 18
  • 4
  • 5
  • 4
  • 5
  • 6
  • 5
  • 5
  • 11
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 5
  • 9
  • 4
  • 8
  • 4
  • 29
  • 25
  • 4
  • 4
  • 8
  • 5
  • 9
  • 8
  • 12
  • 5
  • 19
  • 6
  • 4
  • 16
  • 4
  • 16
  • 4
  • 9
  • 7
  • 5
  • 4
  • 4
  • 7
  • 10
  • 6
  • 7
  • 4
  • 4
  • 7
  • 27
  • 9
  • 5
  • 9
  • 7
  • 4
  • 8
  • 4
  • 4
  • 7
  • 4
  • 9
  • 7
  • 11
  • 8
  • 4
  • 41
  • 9
  • 10
  • 7
  • 12
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 7
  • 9
  • 5
  • 6
  • 5
  • 20
  • 4
  • 5
  • 4
  • 9
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 6
  • 4
  • 6
  • 4
  • 5
  • 6
  • 8
  • 8
  • 11
  • 4
  • 6
  • 4
  • 4
  • 5
  • 10
  • 10
  • 5
  • 6
  • 8
  • 6
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 4
  • 9
  • 5
  • 9
  • 4
  • 7
  • 4
  • 4
  • 19
  • 10
  • 4
  • 4
  • 4
  • 5
  • 11
  • 5
  • 7
  • 8
  • 6
  • 5
  • 8
  • 4
  • 10
  • 4
  • 7
  • 4
  • 4
  • 12
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 7
  • 8
  • 16
  • 7
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 8
  • 13
  • 7
  • 8
  • 12
  • 9
  • 7
  • 66
  • 4
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 10
  • 7
  • 5
  • 7
  • 6
  • 4
  • 12
  • 13
  • 18
  • 6
  • 16
  • 4
  • 6
  • 11
  • 6
  • 4
  • 4
  • 24
  • 6
  • 10
  • 7
  • 5
  • 4
  • 10
  • 10
  • 12
  • 37
  • 4
  • 5
  • 15
  • 5
  • 4
  • 4
  • 6
  • 6
  • 9
  • 4
  • 7
  • 10
  • 15
  • 7
  • 4
  • 7
  • 6
  • 4
  • 6
  • 4
  • 4
  • 23
  • 27
  • 5
  • 4
  • 4
  • 4
  • 20
  • 11
  • 6
  • 6
  • 4
  • 5
  • 8
  • 5
  • 5
  • 8
  • 7
  • 5
  • 13
  • 7
  • 12
  • 11
  • 31
  • 10
  • 6
  • 4
  • 9
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 5
  • 5
  • 9
  • 4
  • 4
  • 4
  • 6
  • 8
  • 7
  • 5
  • 12
  • 6
  • 10
  • 4
  • 7
  • 4
  • 7
  • 7
  • 6
  • 9
  • 4
  • 4
  • 7
  • 9
  • 4
  • 5
  • 5
  • 4
  • 21
  • 21
  • 4
  • 4
  • 12
  • 5
  • 7
  • 5
  • 8
  • 7
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 4
  • 10
  • 5
  • 4
  • 7
  • 5
  • 5
  • 15
  • 4
  • 8
  • 7
  • 4
  • 4
  • 11
  • 10
  • 6
  • 9
  • 4
  • 21
  • 15
  • 5
  • 6
  • 4
  • 10
  • 10
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 7
  • 10
  • 4
  • 4
  • 5
  • 7
  • 4
  • 4
  • 8
  • 8
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 4
  • 7
  • 7
  • 23
  • 5
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 6
  • 4
  • 4
  • 4
  • 4
  • 24
  • 6
  • 4
  • 8
  • 4
  • 7
  • 4
  • 4
  • 5
  • 4
  • 7
  • 7
  • 4
  • 12
  • 10
  • 4
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 10
  • 11
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 9
  • 16
  • 6
  • 4
  • 4
  • 4
  • 47
  • 56
  • 12
  • 4
  • 9
  • 12
  • 12
  • 22
  • 9
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 7
  • 5
  • 11
  • 7
  • 48
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 4
  • 13
  • 35
  • 4
  • 6
  • 5
  • 4
  • 8
  • 10
  • 4
  • 11
  • 10
  • 10
  • 4
  • 6
  • 14
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 6
  • 4
  • 4
  • 15
  • 10
  • 4
  • 4
  • 5
  • 7
  • 4
  • 13
  • 13
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 9
  • 7
  • 12
  • 4
  • 7
  • 4
  • 5
  • 5
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 12
  • 12
  • 4
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 8
  • 13
  • 4
  • 4
  • 12
  • 5
  • 5
  • 6
  • 9
  • 4
  • 6
  • 22
  • 4
  • 7
  • 10
  • 4
  • 10
  • 9
  • 4
  • 4
  • 6
  • 7
  • 8
  • 7
Verlag
  • 2
  • 3
  • 5
  • 4
  • 1
  • 3
  • 1
  • 52
  • 6
  • 494
  • 1
  • 51
  • 18
  • 3
  • 8
  • 4
  • 281
  • 1
  • 22
  • 1
  • 1
  • 3
  • 4
  • 3
  • 73
  • 90
  • 220
  • 1
  • 527
  • 1328
  • 15
  • 1
  • 2
  • 55
  • 102
  • 3
  • 1
  • 3
  • 1
  • 60
  • 2
  • 1
  • 53
  • 28
  • 1
  • 25
  • 1
  • 4
  • 3
  • 12
  • 5
  • 32
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 1
  • 105
  • 52
  • 4
  • 3
  • 6
  • 17
  • 2
  • 6
  • 1
  • 1
  • 18
  • 2
  • 1
  • 11
  • 2
  • 1
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 22
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 15
  • 1
  • 6
  • 30
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6449
  • 30
  • 10
  • 1
  • 1
  • 1
  • 11
  • 4
  • 1
  • 27
  • 34
  • 1
  • 125
  • 86
  • 3
  • 2
  • 22
  • 1
  • 285
  • 28
  • 119
  • 46
  • 1
  • 24
  • 6
  • 1
  • 1
  • 4
  • 1
  • 86
  • 5
  • 2
  • 88
  • 3
  • 9
  • 1
  • 23
  • 10
  • 1
  • 1
  • 2
  • 2
Preis
  • 425
  • 2012
  • 5566
  • 3712
Sprachen
  • 10763
  • 963
  • 2
Verfügbarkeit
  • 11371
  • 344
Eigenschaften
  • 5
  • 4
Katalog
  • 11715
  • 1824
11.715  Titel
    Gao / Wang / Voros | Collaborative Computing: Networking, Applications and Worksharing | Buch | Sack Fachmedien

    Gao / Wang / Voros Collaborative Computing: Networking, Applications and Worksharing

    19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-54530-6
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haridi / Ali / Magnusson | EURO-PAR '95: Parallel Processing | Buch | Sack Fachmedien

    Haridi / Ali / Magnusson EURO-PAR '95: Parallel Processing

    First International EURO-PAR Conference, Stockholm, Sweden, August 29 - 31, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60247-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Puppis | Automata for Branching and Layered Temporal Structures | Buch | Sack Fachmedien

    Puppis Automata for Branching and Layered Temporal Structures

    An Investigation into Regularities of Infinite Transition Systems
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11880-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dwyer | Model Checking Software | Buch | Sack Fachmedien

    Dwyer Model Checking Software

    8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42124-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Kramer / Weiß | Facing the Multicore-Challenge III | Buch | Sack Fachmedien

    Keller / Kramer / Weiß Facing the Multicore-Challenge III

    Aspects of New Paradigms and Technologies in Parallel Computing
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35892-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertran / Rus | Transformation-Based Reactive Systems Development | Buch | Sack Fachmedien

    Bertran / Rus Transformation-Based Reactive Systems Development

    4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63010-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Richter / Flückiger | Usability und UX kompakt | Buch | Sack Fachmedien

    Richter / Flückiger Usability und UX kompakt

    Produkte für Menschen
    4. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49827-9
    Medium: Buch
    19,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosnacki / Leue | Model Checking Software | Buch | Sack Fachmedien

    Bosnacki / Leue Model Checking Software

    9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43477-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cortesi / File | Static Analysis | Buch | Sack Fachmedien

    Cortesi / File Static Analysis

    6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66459-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Zhao / Iqbal | Broadband Communications, Networks, and Systems | Buch | Sack Fachmedien

    Li / Zhao / Iqbal Broadband Communications, Networks, and Systems

    15th EAI International Conference, BROADNETS 2024, Cardiff, UK, December 14-15, 2024, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-14349-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Broy / Pottosin | Perspectives of System Informatics | Buch | Sack Fachmedien

    Bjørner / Broy / Pottosin Perspectives of System Informatics

    Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-62064-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Qin / Koo | System-Level Validation | Buch | Sack Fachmedien

    Chen / Qin / Koo System-Level Validation

    High-Level Modeling and Directed Test Generation Techniques
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-1-4899-8629-0
    Medium: Buch
    109,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ito / Halstead / Queinnec | Parallel Symbolic Languages and Systems | Buch | Sack Fachmedien

    Ito / Halstead / Queinnec Parallel Symbolic Languages and Systems

    International Workshop, PSLS '95, Beaune, France, October (2-4), 1995. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61143-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arvind / Prasad | FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Arvind / Prasad FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

    27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77049-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Yokoo / Ito | Principles of Practice in Multi-Agent Systems | Buch | Sack Fachmedien

    Yang / Yokoo / Ito Principles of Practice in Multi-Agent Systems

    12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-11160-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosnacki / Edelkamp | Model Checking Software | Buch | Sack Fachmedien

    Bosnacki / Edelkamp Model Checking Software

    14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73369-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Lemos / Fabre / Gacek | Architecting Dependable Systems VI | Buch | Sack Fachmedien

    de Lemos / Fabre / Gacek Architecting Dependable Systems VI

    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-10247-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eyers / Schwan | Middleware 2013 | Buch | Sack Fachmedien

    Eyers / Schwan Middleware 2013

    ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45064-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Hinchey / Larrondo-Petrie | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Butler / Hinchey / Larrondo-Petrie Formal Methods and Software Engineering

    9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76648-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fisher / Wandersee / Moody | Mapping Biology Knowledge | Buch | Sack Fachmedien

    Fisher / Wandersee / Moody Mapping Biology Knowledge

    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4020-0273-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baumann | Mobile Agents: Control Algorithms | Buch | Sack Fachmedien

    Baumann Mobile Agents: Control Algorithms

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41192-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mayr / Kop / Liddle | Information Systems: Methods, Models, and Applications | Buch | Sack Fachmedien

    Mayr / Kop / Liddle Information Systems: Methods, Models, and Applications

    4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38369-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe | Programming Languages and Systems | Buch | Sack Fachmedien

    Barthe Programming Languages and Systems

    20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19717-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cellary / Mokbel / Wang | Web Information Systems Engineering - WISE 2016 | Buch | Sack Fachmedien

    Cellary / Mokbel / Wang Web Information Systems Engineering - WISE 2016

    17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48739-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karmouch / Magedanz / Delgado | Mobile Agents for Telecommunication Applications | Buch | Sack Fachmedien

    Karmouch / Magedanz / Delgado Mobile Agents for Telecommunication Applications

    4th International Workshop, MATA 2002 Barcelona, Spain, October 23-24, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00021-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Obermaisser / Nah / Puschner | Software Technologies for Embedded and Ubiquitous Systems | Buch | Sack Fachmedien

    Obermaisser / Nah / Puschner Software Technologies for Embedded and Ubiquitous Systems

    5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75663-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krogstie / Mouratidis / Su | Advanced Information Systems Engineering Workshops | Buch | Sack Fachmedien

    Krogstie / Mouratidis / Su Advanced Information Systems Engineering Workshops

    CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Palgrave Macmillan
    ISBN: 978-3-319-39563-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Billington / Diaz / Rozenberg | Application of Petri Nets to Communication Networks | Buch | Sack Fachmedien

    Billington / Diaz / Rozenberg Application of Petri Nets to Communication Networks

    Advances in Petri Nets
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65870-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Markovski / Gusev | ICT Innovations 2012 | Buch | Sack Fachmedien

    Markovski / Gusev ICT Innovations 2012

    Secure and Intelligent Systems
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37168-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ulrich | Formal Approaches to Software Testing | Buch | Sack Fachmedien

    Ulrich Formal Approaches to Software Testing

    Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20894-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nummenmaa / Pérez-González / Domenech-Lega | Advances and Applications in Computer Science, Electronics and Industrial Engineering | Buch | Sack Fachmedien

    Nummenmaa / Pérez-González / Domenech-Lega Advances and Applications in Computer Science, Electronics and Industrial Engineering

    Proceedings of the Conference on Computer Science, Electronics and Industrial Engineering (CSEI 2019)
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-33613-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemos / Silva Weber / Camargo Jr. | Dependable Computing | Buch | Sack Fachmedien

    Lemos / Silva Weber / Camargo Jr. Dependable Computing

    First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20224-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Astesiano / Reggio | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Astesiano / Reggio Recent Trends in Data Type Specification

    10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59132-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tari | On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops | Buch | Sack Fachmedien

    Tari On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops

    OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76887-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Sokolsky | Composition of Embedded Systems. Scientific and Industrial Issues | Buch | Sack Fachmedien

    Kordon / Sokolsky Composition of Embedded Systems. Scientific and Industrial Issues

    13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77418-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leue / Systä | Scenarios: Models, Transformations and Tools | Buch | Sack Fachmedien

    Leue / Systä Scenarios: Models, Transformations and Tools

    International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26189-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Geist / Tronci | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Geist / Tronci Correct Hardware Design and Verification Methods

    12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20363-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grieskamp / Weise | Formal Approaches to Software Testing | Buch | Sack Fachmedien

    Grieskamp / Weise Formal Approaches to Software Testing

    5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34454-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Still | The Definitive Guide to ImageMagick | Buch | Sack Fachmedien

    Still The Definitive Guide to ImageMagick

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Apress
    ISBN: 978-1-4842-2091-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Contieri | Clean Code Kochbuch | Buch | Sack Fachmedien

    Contieri Clean Code Kochbuch

    Rezepte für gutes Code-Design und bessere Softwarequalität
    Deutsche Ausgabe, 1. Auflage 2024
    Verlag: dpunkt.Verlag
    ISBN: 978-3-96009-243-8
    Medium: Buch
    39,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Hofstedt / Wolf | Einführung in die Constraint-Programmierung | Buch | Sack Fachmedien

    Hofstedt / Wolf Einführung in die Constraint-Programmierung

    Grundlagen, Methoden, Sprachen, Anwendungen
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-23184-4
    Medium: Buch
    32,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beal / Bensing / Cox | Projekt Eureka bei Investments Unlimited | Buch | Sack Fachmedien

    Beal / Bensing / Cox Projekt Eureka bei Investments Unlimited

    Der Roman über DevOps, Sicherheit, Audit, Compliance und Erfolg im digitalen Zeitalter
    1. Auflage 2023
    Verlag: dpunkt.Verlag
    ISBN: 978-3-96009-220-9
    Medium: Buch
    24,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Mitchell / Allison | Real-World Sql-Dmo for SQL Server | Buch | Sack Fachmedien

    Mitchell / Allison Real-World Sql-Dmo for SQL Server

    Softcover Nachdruck of the Original 1. Auflage 2002
    Verlag: Apress
    ISBN: 978-1-59059-040-9
    Medium: Buch
    46,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    ROCK-EVANS | DCOM Explained | Buch | Sack Fachmedien

    ROCK-EVANS DCOM Explained

    Erscheinungsjahr 1998
    Verlag: Elsevier Science
    ISBN: 978-1-55558-216-6
    Medium: Buch
    69,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    ELEKTRONIKPRAXIS | Tagungsband Embedded Software Engineering Kongress 2023 | eBook | Sack Fachmedien
    E-Book

    ELEKTRONIKPRAXIS Tagungsband Embedded Software Engineering Kongress 2023

    Expertenwissen aus rund 95 Fachvorträgen und Anwendungsberichten
    1. Auflage 2024
    Verlag: Vogel Communications Group GmbH & Co. KG
    ISBN: 978-3-8343-6314-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    99,00 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Stober / Hansmann | Agile Software Development | Buch | Sack Fachmedien

    Stober / Hansmann Agile Software Development

    Best Practices for Large Software Development Projects
    2010
    Verlag: Springer
    ISBN: 978-3-642-42557-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holleczek / Vogel-Heuser | Mobilität und Echtzeit | Buch | Sack Fachmedien

    Holleczek / Vogel-Heuser Mobilität und Echtzeit

    Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time) Boppard, 6./7. Dezember 2007
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74836-6
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holleczek | Aktuelle Anwendungen in Technik und Wirtschaft Echtzeit 2008 | Buch | Sack Fachmedien

    Holleczek Aktuelle Anwendungen in Technik und Wirtschaft Echtzeit 2008

    Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 27. und 28. November 2008
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-85323-7
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holleczek / Vogel-Heuser | Verteilte Echtzeitsysteme | Buch | Sack Fachmedien

    Holleczek / Vogel-Heuser Verteilte Echtzeitsysteme

    Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung und PEARL (EP) Boppard, 27./28. November 2003
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20141-0
    Medium: Buch
    39,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bussmann / Jennings / Wooldridge | Multiagent Systems for Manufacturing Control | Buch | Sack Fachmedien

    Bussmann / Jennings / Wooldridge Multiagent Systems for Manufacturing Control

    A Design Methodology
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20924-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holleczek / Vogel-Heuser | Echtzeitaspekte bei der Koordinierung Autonomer Systeme | Buch | Sack Fachmedien

    Holleczek / Vogel-Heuser Echtzeitaspekte bei der Koordinierung Autonomer Systeme

    Fachtagung der GI-Fachgruppe Echtzeitsysteme und PEARL (EP), Boppard, 1./2. Dezember 2005
    Erscheinungsjahr 2005
    Verlag: Springer
    ISBN: 978-3-540-29594-5
    Medium: Buch
    56,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beydeda / Gruhn | Testing Commercial-off-the-Shelf Components and Systems | Buch | Sack Fachmedien

    Beydeda / Gruhn Testing Commercial-off-the-Shelf Components and Systems

    1. Auflage Softcover of orig. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-06009-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen / Rückert | Services and Visualization: Towards User-Friendly Design | Buch | Sack Fachmedien

    Margaria / Steffen / Rückert Services and Visualization: Towards User-Friendly Design

    ACos'98, VISUAL'98, AIN'97, Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64367-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lungarella / Iida / Bongard | 50 Years of Artificial Intelligence | Buch | Sack Fachmedien

    Lungarella / Iida / Bongard 50 Years of Artificial Intelligence

    Essays Dedicated to the 50th Anniversary of Artificial Intelligence
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77295-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cassez / Jard / Rozoy | Modeling and Verification of Parallel Processes | Buch | Sack Fachmedien

    Cassez / Jard / Rozoy Modeling and Verification of Parallel Processes

    4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42787-2
    Medium: Buch
    45,96 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Núnez / Maamar / Pelayo | Applying Formal Methods: Testing, Performance, and M/E-Commerce | Buch | Sack Fachmedien

    Núnez / Maamar / Pelayo Applying Formal Methods: Testing, Performance, and M/E-Commerce

    FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23169-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Fournet | Trustworthy Global Computing | Buch | Sack Fachmedien

    Barthe / Fournet Trustworthy Global Computing

    Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78662-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Liu Structured Object-Oriented Formal Language and Method

    Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39276-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prodan / Fahringer | Grid Computing | Buch | Sack Fachmedien

    Prodan / Fahringer Grid Computing

    Experiment Management, Tool Integration, and Scientific Workflows
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69261-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gulbins / Obermayr / Snoopy | Linux | Buch | Sack Fachmedien

    Gulbins / Obermayr / Snoopy Linux

    Konzepte, Kommandos, Oberflächen
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00815-6
    Medium: Buch
    89,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Dowek / Hirschowitz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Bertot / Dowek / Hirschowitz Theorem Proving in Higher Order Logics

    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66463-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Khurram Khan / Kiumi | Advances in Software Engineering | Buch | Sack Fachmedien

    Kim / Khurram Khan / Kiumi Advances in Software Engineering

    International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17577-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Troyer / Bauzer Medeiros / Billen | Advances in Conceptual Modeling. Recent Developments and New Directions | Buch | Sack Fachmedien

    De Troyer / Bauzer Medeiros / Billen Advances in Conceptual Modeling. Recent Developments and New Directions

    ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24573-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Unger / Boehme / Mikler | Innovative Internet Computing Systems | Buch | Sack Fachmedien

    Unger / Boehme / Mikler Innovative Internet Computing Systems

    Second International Workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43790-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koornneef / Meulen | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Koornneef / Meulen Computer Safety, Reliability, and Security

    19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41186-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buchwald / Fleischmann / Seese | S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management | Buch | Sack Fachmedien

    Buchwald / Fleischmann / Seese S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management

    First International Workshop, Karlsruhe, Germany, October 22, 2009, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15914-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang | C++ and Object-Oriented Numeric Computing for Scientists and Engineers | Buch | Sack Fachmedien

    Yang C++ and Object-Oriented Numeric Computing for Scientists and Engineers

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4612-6566-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lengauer / Batory / Consel | Domain-Specific Program Generation | Buch | Sack Fachmedien

    Lengauer / Batory / Consel Domain-Specific Program Generation

    International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22119-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dastani / Dix / EL Fallah-Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Dastani / Dix / EL Fallah-Seghrouchni Programming Multi-Agent Systems

    First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22180-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wobcke / Pagnucco / Zhang | Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications | Buch | Sack Fachmedien

    Wobcke / Pagnucco / Zhang Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications

    Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997.
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64769-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cabot / Visser | Theory and Practice of Model Transformations | Buch | Sack Fachmedien

    Cabot / Visser Theory and Practice of Model Transformations

    4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21731-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gaudin / Najm / Reed | SDL 2007: Design for Dependable Systems | Buch | Sack Fachmedien

    Gaudin / Najm / Reed SDL 2007: Design for Dependable Systems

    13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74983-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barnes | Ada 2005 Rationale | Buch | Sack Fachmedien

    Barnes Ada 2005 Rationale

    The Language, The Standard Libraries
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79700-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Vardanega | Reliable Software Technologies - Ada-Europe 2008 | Buch | Sack Fachmedien

    Kordon / Vardanega Reliable Software Technologies - Ada-Europe 2008

    13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68621-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciancarini / Nierstrasz / Yonezawa | Object-Based Models and Languages for Concurrent Systems | Buch | Sack Fachmedien

    Ciancarini / Nierstrasz / Yonezawa Object-Based Models and Languages for Concurrent Systems

    ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59450-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Eekelen / Shkaravska | Foundational and Practical Aspects of Resource Analysis | Buch | Sack Fachmedien

    van Eekelen / Shkaravska Foundational and Practical Aspects of Resource Analysis

    First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15330-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Takenaka / Han / Minami | Serviceology for Services | Buch | Sack Fachmedien

    Takenaka / Han / Minami Serviceology for Services

    7th International Conference, ICServ 2020, Osaka, Japan, March 13-15, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-981-15-3117-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sahni / Prasanna / Shukla | High Performance Computing - HiPC 2002 | Buch | Sack Fachmedien

    Sahni / Prasanna / Shukla High Performance Computing - HiPC 2002

    9th International Conference Bangalore, India, December 18-21, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00303-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Essigkrug / Mey | Rational Unified Process kompakt | Buch | Sack Fachmedien

    Essigkrug / Mey Rational Unified Process kompakt

    2. Auflage 2007
    Verlag: Spektrum Akademischer Verlag
    ISBN: 978-3-8274-1836-4
    Medium: Buch
    19,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blieberger / Strohmeier | Reliable Software Technologies - Ada-Europe 2002 | Buch | Sack Fachmedien

    Blieberger / Strohmeier Reliable Software Technologies - Ada-Europe 2002

    7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43784-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zain / Wan Mohd / El-Qawasmeh | Software Engineering and Computer Systems, Part I | Buch | Sack Fachmedien

    Zain / Wan Mohd / El-Qawasmeh Software Engineering and Computer Systems, Part I

    Second International Conference, ICSECS 2011, Kuantan, Malaysia, June 27-29, 2011. Proceedings, Part I
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22169-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bishop | Component Deployment | Buch | Sack Fachmedien

    Bishop Component Deployment

    IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43847-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Botto-Tobar / Barzola-Monteses / Santos-Baquerizo | Computer and Communication Engineering | Buch | Sack Fachmedien

    Botto-Tobar / Barzola-Monteses / Santos-Baquerizo Computer and Communication Engineering

    First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-12017-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Legay / Bensalem | Runtime Verification | Buch | Sack Fachmedien

    Legay / Bensalem Runtime Verification

    4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40786-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rash / Rouff / Truszkowski | Formal Approaches to Agent-Based Systems | Buch | Sack Fachmedien

    Rash / Rouff / Truszkowski Formal Approaches to Agent-Based Systems

    First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42716-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rao | Extensions of the UNITY Methodology | Buch | Sack Fachmedien

    Rao Extensions of the UNITY Methodology

    Compositionality, Fairness and Probability in Parallelism
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59173-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mann / Stolz | Advances in Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    Mann / Stolz Advances in Service-Oriented and Cloud Computing

    Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-79089-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lanciaux | Modern Front-end Architecture | Buch | Sack Fachmedien

    Lanciaux Modern Front-end Architecture

    Optimize Your Front-end Development with Components, Storybook, and Mise en Place Philosophy
    1. Auflage 2021
    Verlag: Apress
    ISBN: 978-1-4842-6624-3
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Das / Thankachan | Computational Intelligence and Information Technology | Buch | Sack Fachmedien

    Das / Thankachan Computational Intelligence and Information Technology

    First International Conference, CIIT 2011, Pune, India, November 7-8, 2011. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-25733-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Schreye | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    De Schreye Logic-Based Program Synthesis and Transformation

    19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12591-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Qin / Koo | System-Level Validation | Buch | Sack Fachmedien

    Chen / Qin / Koo System-Level Validation

    High-Level Modeling and Directed Test Generation Techniques
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4614-1358-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Cheung / Yu | Managing Software Supply Chains | Buch | Sack Fachmedien

    Wang / Cheung / Yu Managing Software Supply Chains

    Theory and Practice
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-961796-8
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Petre / Sere | Integrated Formal Methods | Buch | Sack Fachmedien

    Butler / Petre / Sere Integrated Formal Methods

    Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43703-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Steen / Henning | Middleware 2006 | Buch | Sack Fachmedien

    van Steen / Henning Middleware 2006

    ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49023-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prehn / Toetenel | VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings | Buch | Sack Fachmedien

    Prehn / Toetenel VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

    Volume 2: Tutorials
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54868-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tomar / Chang / Gervasi | Advanced Computer Science and Information Technology | Buch | Sack Fachmedien

    Tomar / Chang / Gervasi Advanced Computer Science and Information Technology

    Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13345-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marino | Functional and Constraint Logic Programming | Buch | Sack Fachmedien

    Marino Functional and Constraint Logic Programming

    19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20774-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaki / Saeed / Choudhury | Applied Computation and Security Systems | Buch | Sack Fachmedien

    Chaki / Saeed / Choudhury Applied Computation and Security Systems

    Volume Two
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-81-322-1987-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heisel | Software Service and Application Engineering | Buch | Sack Fachmedien

    Heisel Software Service and Application Engineering

    Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30834-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hedin | Compiler Construction | Buch | Sack Fachmedien

    Hedin Compiler Construction

    12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00904-7
    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