Ergebnisse filtern
Fachgebiet
Medium
  • 10062
  • 1628
  • 32
  • 11
Erscheinungsjahr
  • 1
  • 161
  • 552
  • 1205
  • 1212
  • 560
  • 411
  • 347
  • 374
  • 359
  • 412
  • 320
  • 431
  • 296
  • 442
  • 408
  • 513
  • 248
  • 518
  • 236
  • 254
  • 262
  • 224
  • 257
  • 223
  • 222
  • 178
  • 162
  • 119
  • 107
  • 94
  • 84
  • 80
  • 72
  • 60
  • 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
  • 10
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 9
  • 4
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 11
  • 5
  • 10
  • 4
  • 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
  • 23
  • 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
  • 3
  • 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
  • 6
  • 3
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 10
  • 4
  • 4
  • 10
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 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
  • 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
  • 8
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 9
  • 3
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 6
  • 6
  • 4
  • 4
  • 4
  • 5
  • 15
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 13
  • 6
  • 7
  • 10
  • 7
  • 4
  • 8
  • 10
  • 6
  • 4
  • 7
  • 4
  • 9
  • 5
  • 7
  • 22
  • 6
  • 4
  • 17
  • 4
  • 5
  • 4
  • 5
  • 6
  • 5
  • 5
  • 12
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 6
  • 5
  • 9
  • 4
  • 4
  • 7
  • 29
  • 25
  • 4
  • 4
  • 8
  • 5
  • 9
  • 8
  • 12
  • 5
  • 19
  • 5
  • 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
  • 4
  • 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
  • 6
  • 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
  • 5
  • 7
  • 8
  • 12
  • 9
  • 7
  • 67
  • 4
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 10
  • 7
  • 5
  • 7
  • 6
  • 4
  • 12
  • 14
  • 18
  • 6
  • 16
  • 4
  • 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
  • 4
  • 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
  • 8
  • 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
  • 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
  • 4
  • 21
  • 15
  • 5
  • 6
  • 4
  • 9
  • 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
  • 5
  • 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
  • 6
  • 14
  • 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
  • 503
  • 1
  • 44
  • 18
  • 3
  • 8
  • 4
  • 287
  • 1
  • 21
  • 1
  • 1
  • 3
  • 4
  • 3
  • 69
  • 1
  • 94
  • 1
  • 226
  • 1
  • 525
  • 1325
  • 15
  • 1
  • 1
  • 2
  • 59
  • 98
  • 2
  • 6
  • 1
  • 1
  • 4
  • 2
  • 1
  • 54
  • 35
  • 1
  • 25
  • 1
  • 4
  • 3
  • 12
  • 5
  • 26
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 25
  • 1
  • 2
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 2
  • 1
  • 9
  • 48
  • 4
  • 4
  • 5
  • 17
  • 2
  • 6
  • 1
  • 1
  • 18
  • 2
  • 1
  • 11
  • 2
  • 1
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 17
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 16
  • 1
  • 7
  • 28
  • 22
  • 3
  • 38
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6491
  • 30
  • 7
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 22
  • 35
  • 1
  • 124
  • 90
  • 3
  • 2
  • 21
  • 1
  • 1
  • 290
  • 28
  • 108
  • 41
  • 1
  • 24
  • 6
  • 1
  • 3
  • 1
  • 86
  • 1
  • 5
  • 2
  • 183
  • 3
  • 9
  • 1
  • 24
  • 55
  • 1
  • 1
  • 2
  • 2
Preis
  • 377
  • 2038
  • 5573
  • 3745
Sprachen
  • 10779
  • 964
  • 2
Verfügbarkeit
  • 11436
  • 297
Eigenschaften
  • 5
  • 2
Katalog
  • 11733
  • 1829
11.733  Titel
    Aalst / Best | Applications and Theory of Petri Nets 2003 | Buch | Sack Fachmedien

    Aalst / Best Applications and Theory of Petri Nets 2003

    24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40334-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Herman | Self-Stabilizing Systems | Buch | Sack Fachmedien

    Huang / Herman Self-Stabilizing Systems

    6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40453-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt, Jr. / Somenzi | Computer Aided Verification | Buch | Sack Fachmedien

    Hunt, Jr. / Somenzi Computer Aided Verification

    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40524-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Bowen / King | ZB 2003: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bert / Bowen / King ZB 2003: Formal Specification and Development in Z and B

    Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40253-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Lenstra / Parrow | Automata, Languages and Programming | Buch | Sack Fachmedien

    Baeten / Lenstra / Parrow Automata, Languages and Programming

    30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40493-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / Wolff | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Basin / Wolff Theorem Proving in Higher Order Logics

    16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40664-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitzgerald / Hayes | FM 2005: Formal Methods | Buch | Sack Fachmedien

    Fitzgerald / Hayes FM 2005: Formal Methods

    International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27882-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saraswat | Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation | Buch | Sack Fachmedien

    Saraswat Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation

    8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20632-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guelfi / Astesiano / Reggio | Scientific Engineering of Distributed Java Applications. | Buch | Sack Fachmedien

    Guelfi / Astesiano / Reggio Scientific Engineering of Distributed Java Applications.

    Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21091-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boiten / Derrick / Smith | Integrated Formal Methods | Buch | Sack Fachmedien

    Boiten / Derrick / Smith Integrated Formal Methods

    4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21377-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karl / Willig / Wolisz | Wireless Sensor Networks | Buch | Sack Fachmedien

    Karl / Willig / Wolisz Wireless Sensor Networks

    First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20825-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stevens / Whittle / Booch | UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications | Buch | Sack Fachmedien

    Stevens / Whittle / Booch UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications

    6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-20243-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krall | Software and Compilers for Embedded Systems | Buch | Sack Fachmedien

    Krall Software and Compilers for Embedded Systems

    7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20145-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Roy | Multiparadigm Programming in Mozart/Oz | Buch | Sack Fachmedien

    Van Roy Multiparadigm Programming in Mozart/Oz

    Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25079-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Franch / Port | COTS-Based Software Systems | Buch | Sack Fachmedien

    Franch / Port COTS-Based Software Systems

    4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24548-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerioli | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Cerioli Fundamental Approaches to Software Engineering

    8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25420-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Barley | Intelligent Agents and Multi-Agent Systems | Buch | Sack Fachmedien

    Lee / Barley Intelligent Agents and Multi-Agent Systems

    6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings
    1990
    Verlag: Springer
    ISBN: 978-3-540-20460-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernández Rivera / Bubak / Gómez Tato | Grid Computing | Buch | Sack Fachmedien

    Fernández Rivera / Bubak / Gómez Tato Grid Computing

    First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21048-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Briand / Williams | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Briand / Williams Model Driven Engineering Languages and Systems

    8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29010-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaubey / Thampi / Jhanjhi | Computing Science, Communication and Security | Buch | Sack Fachmedien

    Chaubey / Thampi / Jhanjhi Computing Science, Communication and Security

    4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6-7, 2023, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-40563-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castro / van Renesse | Peer-to-Peer Systems IV | Buch | Sack Fachmedien

    Castro / van Renesse Peer-to-Peer Systems IV

    4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29068-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter / Stephan | Mechanizing Mathematical Reasoning | Buch | Sack Fachmedien

    Hutter / Stephan Mechanizing Mathematical Reasoning

    Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
    Erscheinungsjahr 2005
    Verlag: Springer
    ISBN: 978-3-540-25051-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Mosses / Orejas | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro / Mosses / Orejas Recent Trends in Algebraic Development Techniques

    17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25327-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gschwind / Mascolo | Software Engineering and Middleware | Buch | Sack Fachmedien

    Gschwind / Mascolo Software Engineering and Middleware

    4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25328-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rust | Operational Semantics for Timed Systems | Buch | Sack Fachmedien

    Rust Operational Semantics for Timed Systems

    A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25576-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