Ergebnisse filtern
Fachgebiet
Medium
  • 7716
Erscheinungsjahr
  • 76
  • 696
  • 725
  • 431
  • 287
  • 172
  • 185
  • 233
  • 205
  • 190
  • 211
  • 205
  • 193
  • 174
  • 201
  • 197
  • 179
  • 191
  • 171
  • 228
  • 196
  • 178
  • 277
  • 236
  • 202
  • 196
  • 133
  • 125
  • 107
  • 116
  • 110
  • 101
  • 88
  • 75
  • 59
  • 70
  • 48
  • 46
  • 30
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 5
  • 6
  • 4
  • 5
  • 4
  • 7
  • 5
  • 4
  • 9
  • 4
  • 4
  • 9
  • 4
  • 6
  • 7
  • 4
  • 4
  • 5
  • 7
  • 6
  • 4
  • 17
  • 19
  • 7
  • 4
  • 4
  • 6
  • 8
  • 4
  • 5
  • 4
  • 9
  • 14
  • 23
  • 36
  • 6
  • 26
  • 7
  • 5
  • 4
  • 4
  • 5
  • 8
  • 4
  • 8
  • 5
  • 15
  • 4
  • 5
  • 11
  • 4
  • 4
  • 39
  • 5
  • 4
  • 6
  • 5
  • 4
  • 4
  • 8
  • 4
  • 7
  • 5
  • 5
  • 4
  • 13
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 5
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 9
  • 6
  • 11
  • 8
  • 5
  • 22
  • 6
  • 7
  • 5
  • 5
  • 4
  • 5
  • 4
  • 7
  • 5
  • 4
  • 6
  • 4
  • 5
  • 9
  • 6
  • 5
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 4
  • 19
  • 10
  • 5
  • 5
  • 4
  • 7
  • 7
  • 4
  • 4
  • 10
  • 6
  • 4
  • 10
  • 5
  • 4
  • 5
  • 4
  • 14
  • 4
  • 10
  • 5
  • 4
  • 13
  • 14
  • 7
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 10
  • 4
  • 5
  • 4
  • 39
  • 16
  • 7
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 4
  • 16
  • 4
  • 7
  • 10
  • 4
  • 10
  • 5
  • 6
  • 11
  • 6
  • 8
  • 24
  • 4
  • 5
  • 13
  • 4
  • 5
  • 13
  • 4
  • 9
  • 5
  • 4
  • 6
  • 7
  • 4
  • 6
  • 7
  • 4
  • 6
  • 4
  • 6
  • 4
  • 4
  • 34
  • 4
  • 5
  • 41
  • 12
  • 9
  • 6
  • 4
  • 19
  • 5
  • 5
  • 19
  • 7
  • 37
  • 4
  • 4
  • 5
  • 10
  • 15
  • 10
  • 4
  • 6
  • 7
  • 5
  • 12
  • 4
  • 4
  • 7
  • 5
  • 4
  • 7
  • 4
  • 4
  • 4
  • 39
  • 4
  • 7
  • 4
  • 10
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 6
  • 5
  • 4
  • 4
  • 8
  • 4
  • 5
  • 7
  • 5
  • 10
  • 4
  • 6
  • 4
  • 8
  • 4
  • 6
  • 4
  • 8
  • 4
  • 4
  • 4
  • 6
  • 5
  • 8
  • 7
  • 4
  • 4
  • 4
  • 6
  • 15
  • 22
  • 5
  • 9
  • 10
  • 4
  • 6
  • 6
  • 4
  • 4
  • 11
  • 9
  • 4
  • 24
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 8
  • 4
  • 5
  • 6
  • 4
  • 4
  • 8
  • 7
  • 4
  • 5
  • 16
  • 11
  • 6
  • 6
  • 4
  • 8
  • 33
  • 41
  • 4
  • 7
  • 23
  • 7
  • 13
  • 5
  • 11
  • 4
  • 6
  • 26
  • 13
  • 6
  • 16
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 13
  • 4
  • 4
  • 8
  • 4
  • 9
  • 5
  • 27
  • 13
  • 43
  • 8
  • 4
  • 15
  • 9
  • 6
  • 4
  • 11
  • 5
  • 15
  • 4
  • 5
  • 4
  • 7
  • 8
  • 4
  • 5
  • 4
  • 17
  • 13
  • 5
  • 4
  • 5
  • 4
  • 5
  • 4
  • 7
  • 9
  • 4
  • 7
  • 15
  • 33
  • 6
  • 4
  • 4
  • 16
  • 9
  • 15
  • 20
  • 64
  • 11
  • 5
  • 18
  • 7
  • 4
  • 19
  • 4
  • 10
  • 5
  • 9
  • 16
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 22
  • 4
  • 6
  • 7
  • 5
  • 4
  • 22
  • 7
  • 5
  • 19
  • 39
  • 10
  • 18
  • 4
  • 9
  • 4
  • 4
  • 4
  • 10
  • 4
  • 4
  • 4
  • 12
  • 15
  • 6
  • 5
  • 4
  • 4
  • 4
  • 69
  • 4
  • 8
  • 5
  • 4
  • 4
  • 15
  • 5
  • 14
  • 4
  • 4
  • 4
  • 22
  • 6
  • 8
  • 4
  • 5
  • 6
  • 4
  • 15
  • 4
  • 10
  • 13
  • 4
  • 4
  • 13
  • 4
  • 5
  • 4
  • 5
  • 4
  • 16
  • 6
  • 4
  • 7
  • 6
  • 6
  • 8
  • 6
  • 4
  • 20
  • 4
  • 4
  • 5
  • 5
  • 8
  • 5
  • 6
  • 6
  • 15
  • 20
  • 4
  • 7
  • 15
  • 5
  • 6
  • 27
  • 4
  • 9
  • 4
  • 11
  • 4
  • 5
  • 11
  • 6
  • 4
  • 8
  • 12
  • 4
  • 13
  • 18
  • 5
  • 4
  • 8
  • 4
  • 15
  • 5
  • 5
  • 12
  • 7
  • 4
  • 4
  • 27
  • 15
  • 23
  • 41
  • 4
  • 5
  • 6
  • 12
  • 5
  • 4
  • 4
  • 6
  • 7
  • 4
  • 9
  • 7
  • 4
  • 13
  • 88
  • 13
  • 17
  • 4
  • 4
  • 11
  • 6
  • 14
  • 12
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 15
  • 21
  • 25
  • 7
  • 4
  • 63
  • 5
  • 21
  • 11
  • 20
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 13
  • 6
  • 4
  • 9
  • 21
  • 6
  • 4
  • 4
  • 11
  • 14
  • 13
  • 16
  • 8
  • 15
  • 6
  • 16
  • 4
  • 7
  • 4
  • 11
  • 4
  • 6
  • 5
  • 7
  • 4
  • 4
  • 15
  • 5
  • 4
  • 4
  • 29
  • 14
  • 6
  • 4
  • 7
  • 4
  • 8
  • 4
  • 5
  • 14
  • 5
  • 6
  • 5
  • 4
  • 4
  • 8
  • 4
  • 4
  • 8
  • 4
  • 7
  • 4
  • 8
  • 13
  • 4
  • 4
  • 6
  • 7
  • 22
  • 12
  • 5
  • 6
  • 4
  • 19
  • 4
  • 4
  • 6
  • 9
  • 6
  • 5
  • 56
  • 6
  • 7
  • 9
  • 7
  • 7
  • 9
  • 35
  • 9
  • 5
  • 9
  • 10
  • 5
  • 5
  • 11
  • 4
  • 5
  • 4
  • 9
  • 7
  • 4
  • 4
  • 7
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 11
  • 5
  • 4
  • 5
  • 44
  • 9
  • 4
  • 4
  • 17
  • 5
  • 5
  • 4
  • 19
  • 7
  • 4
  • 5
  • 4
  • 4
  • 13
  • 5
  • 6
  • 13
  • 15
  • 12
  • 6
  • 5
  • 4
  • 24
  • 10
  • 4
  • 8
  • 7
  • 4
  • 6
  • 4
  • 13
  • 5
  • 9
  • 4
  • 12
  • 5
  • 12
  • 5
  • 8
  • 5
  • 4
  • 4
  • 8
  • 24
  • 4
  • 10
  • 7
  • 4
  • 5
  • 10
  • 14
  • 5
  • 8
  • 4
  • 4
  • 6
  • 4
  • 6
  • 5
  • 4
  • 10
  • 26
  • 14
  • 5
  • 17
  • 4
  • 7
  • 90
  • 7
  • 6
  • 6
  • 5
  • 9
  • 7
  • 6
  • 11
  • 10
  • 8
  • 4
  • 6
  • 4
  • 8
  • 19
  • 7
  • 92
  • 4
  • 42
  • 4
  • 4
  • 9
  • 8
  • 89
  • 16
  • 14
  • 6
  • 4
  • 5
  • 4
  • 9
  • 11
  • 13
  • 4
  • 4
  • 5
  • 5
  • 9
  • 89
  • 4
  • 5
  • 9
  • 16
  • 6
  • 11
  • 5
  • 11
  • 4
  • 18
  • 12
  • 11
  • 4
  • 5
  • 4
  • 12
  • 4
  • 9
  • 7
  • 15
  • 9
  • 4
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 8
  • 4
  • 9
  • 4
  • 22
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 14
  • 8
  • 5
  • 11
  • 12
  • 45
  • 4
  • 5
  • 6
  • 4
  • 19
  • 12
  • 5
  • 4
  • 12
  • 10
  • 13
  • 11
  • 6
  • 4
  • 12
  • 4
  • 7
  • 23
  • 41
  • 4
  • 13
  • 4
  • 7
  • 21
  • 4
  • 5
  • 4
  • 7
  • 16
  • 19
  • 5
  • 4
  • 19
  • 9
  • 13
  • 22
  • 42
  • 10
  • 4
  • 18
  • 9
  • 5
  • 9
  • 21
  • 10
  • 7
  • 4
  • 5
  • 4
  • 9
  • 18
  • 4
  • 24
  • 12
  • 6
  • 6
  • 7
  • 10
  • 6
  • 12
  • 4
  • 5
  • 11
  • 14
  • 4
  • 4
  • 8
  • 6
  • 4
  • 14
  • 4
  • 7
  • 6
  • 9
  • 89
  • 10
  • 13
  • 16
  • 4
  • 4
  • 5
  • 4
  • 14
  • 4
  • 5
  • 23
  • 5
  • 4
  • 11
  • 6
  • 5
  • 5
  • 13
  • 5
  • 6
  • 21
  • 6
  • 4
  • 4
  • 5
  • 5
  • 17
  • 9
  • 6
  • 4
  • 12
  • 6
  • 5
  • 23
  • 5
  • 10
  • 10
  • 4
  • 6
  • 6
  • 4
  • 5
  • 4
  • 4
  • 5
  • 9
  • 5
  • 4
  • 15
  • 7
  • 5
  • 4
  • 4
  • 13
  • 6
  • 5
  • 5
  • 25
  • 6
  • 14
  • 4
  • 4
  • 4
  • 17
  • 4
  • 12
  • 6
  • 15
  • 5
  • 6
  • 18
  • 4
  • 8
  • 6
  • 5
  • 24
  • 7
  • 46
  • 4
  • 13
  • 19
  • 5
  • 17
  • 4
  • 4
  • 5
  • 6
  • 4
  • 5
  • 6
  • 6
  • 4
  • 30
  • 4
  • 7
  • 4
  • 20
  • 5
  • 20
  • 6
  • 5
  • 10
  • 4
  • 7
  • 5
  • 4
  • 8
  • 7
  • 5
  • 5
  • 4
  • 17
Verlag
  • 6
  • 7664
  • 3
  • 9
  • 2
  • 2
  • 1
  • 29
Preis
  • 27
  • 222
  • 5803
  • 1664
Sprachen
  • 7711
  • 16
  • 12
  • 1
Verfügbarkeit
  • 7712
  • 4
Katalog
  • 7716
  • 352
7.716  Treffer  für „Lecture Notes in Computer Science“
    Modgil / Oren / Toni | Theory and Applications of Formal Argumentation | Buch | Sack Fachmedien

    Modgil / Oren / Toni Theory and Applications of Formal Argumentation

    First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29183-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / Zhang / Xia | Artificial Intelligence and Security | Buch | Sack Fachmedien

    Sun / Zhang / Xia Artificial Intelligence and Security

    8th International Conference, ICAIS 2022, Qinghai, China, July 15-20, 2022, Proceedings, Part III
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-06790-7
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fritzson | Compiler Construction | Buch | Sack Fachmedien

    Fritzson Compiler Construction

    5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57877-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / Litsyn / Lobstein | Algebraic Coding | Buch | Sack Fachmedien

    Cohen / Litsyn / Lobstein Algebraic Coding

    First French-Israeli Workshop, Paris, France, July 19 - 21, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57843-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Pfenning Logic Programming and Automated Reasoning

    5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58216-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Lukose | Distributed Artificial Intelligence: Architecture and Modelling | Buch | Sack Fachmedien

    Zhang / Lukose Distributed Artificial Intelligence: Architecture and Modelling

    First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61314-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Billington / Reisig | Application and Theory of Petri Nets 1996 | Buch | Sack Fachmedien

    Billington / Reisig Application and Theory of Petri Nets 1996

    17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61363-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karlsson / Lingas | Algorithm Theory - SWAT '96 | Buch | Sack Fachmedien

    Karlsson / Lingas Algorithm Theory - SWAT '96

    5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61422-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donatelli / Kleijn | Application and Theory of Petri Nets 1999 | Buch | Sack Fachmedien

    Donatelli / Kleijn Application and Theory of Petri Nets 1999

    20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66132-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amestoy / Berger / Dayde | Euro-Par' 99 Parallel Processing | Buch | Sack Fachmedien

    Amestoy / Berger / Dayde Euro-Par' 99 Parallel Processing

    5th International Euro-Par Conference Toulouse, France, August 31-September 3, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66443-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asada / Kitano | RoboCup-98: Robot Soccer World Cup II | Buch | Sack Fachmedien

    Asada / Kitano RoboCup-98: Robot Soccer World Cup II

    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66320-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palamidessi | CONCUR 2000 - Concurrency Theory | Buch | Sack Fachmedien

    Palamidessi CONCUR 2000 - Concurrency Theory

    11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67897-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Triggs / Zisserman / Szeliski | Vision Algorithms: Theory and Practice | Buch | Sack Fachmedien

    Triggs / Zisserman / Szeliski Vision Algorithms: Theory and Practice

    International Workshop on Vision Algorithms Corfu, Greece, September 21-22, 1999 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67973-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robert / Parashar / Badrinath | High Performance Computing - HiPC 2006 | Buch | Sack Fachmedien

    Robert / Parashar / Badrinath High Performance Computing - HiPC 2006

    13th International Conference Bangalore, India, December 18-21, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68039-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koc / Paar | Cryptographic Hardware and Embedded Systems | Buch | Sack Fachmedien

    Koc / Paar Cryptographic Hardware and Embedded Systems

    First International Workshop, CHES'99 Worcester, MA, USA, August 12-13, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66646-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Hee / Valk | Applications and Theory of Petri Nets | Buch | Sack Fachmedien

    van Hee / Valk Applications and Theory of Petri Nets

    29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68745-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jähnichen | Compiler Construction | Buch | Sack Fachmedien

    Jähnichen Compiler Construction

    8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65717-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Backhouse / Nuno Oliveira | Mathematics of Program Construction | Buch | Sack Fachmedien

    Backhouse / Nuno Oliveira Mathematics of Program Construction

    5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67727-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antunes / Takadama | Multi-Agent-Based Simulation VII | Buch | Sack Fachmedien

    Antunes / Takadama Multi-Agent-Based Simulation VII

    International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76536-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tokuyama | Algorithms and Computation | Buch | Sack Fachmedien

    Tokuyama Algorithms and Computation

    18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77118-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boztas / Lu | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Boztas / Lu Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-77223-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Winter / Duckham / Kulik | Spatial Information Theory | Buch | Sack Fachmedien

    Winter / Duckham / Kulik Spatial Information Theory

    8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74786-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shepherd / Blair / Coulson | Network and Operating System Support for Digital Audio and Video | Buch | Sack Fachmedien

    Shepherd / Blair / Coulson Network and Operating System Support for Digital Audio and Video

    4th International Workshop NOSSDAV '93, Lancaster, UK, November 3-5, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58404-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Echtle / Hammer / Powell | Dependable Computing - EDCC-1 | Buch | Sack Fachmedien

    Echtle / Hammer / Powell Dependable Computing - EDCC-1

    First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58426-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andersson | Analysis of Dynamical and Cognitive Systems | Buch | Sack Fachmedien

    Andersson Analysis of Dynamical and Cognitive Systems

    Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-58843-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dezani-Ciancaglini / Plotkin | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Dezani-Ciancaglini / Plotkin Typed Lambda Calculi and Applications

    Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59048-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    DeMichelis / Diaz | Application and Theory of Petri Nets 1995 | Buch | Sack Fachmedien

    DeMichelis / Diaz Application and Theory of Petri Nets 1995

    16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60029-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dörr | Efficient Graph Rewriting and Its Implementation | Buch | Sack Fachmedien

    Dörr Efficient Graph Rewriting and Its Implementation

    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60055-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alagar / Nivat | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Alagar / Nivat Algebraic Methodology and Software Technology

    4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60043-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lomet | Foundations of Data Organization and Algorithms | Buch | Sack Fachmedien

    Lomet Foundations of Data Organization and Algorithms

    4th International Conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57301-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Verdone | Wireless Sensor Networks | Buch | Sack Fachmedien

    Verdone Wireless Sensor Networks

    5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77689-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yorav | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Yorav Hardware and Software: Verification and Testing

    Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77964-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rome / Hertzberg / Dorffner | Towards Affordance-Based Robot Control | Buch | Sack Fachmedien

    Rome / Hertzberg / Dorffner Towards Affordance-Based Robot Control

    International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77914-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Corne / Shapiro | Evolutionary Computing | Buch | Sack Fachmedien

    Corne / Shapiro Evolutionary Computing

    AISB International Workshop, Manchester, UK, April 7-8, 1997. Selected Papers.
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63476-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luk / Cheung / Glesner | Field Programmable Logic and Applications | Buch | Sack Fachmedien

    Luk / Cheung / Glesner Field Programmable Logic and Applications

    7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63465-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arnborg / Ivansson | Algorithm Theory - SWAT'98 | Buch | Sack Fachmedien

    Arnborg / Ivansson Algorithm Theory - SWAT'98

    6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64682-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Astesiano | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Astesiano Fundamental Approaches to Software Engineering

    First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64303-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jiang / Lee | Computing and Combinatorics | Buch | Sack Fachmedien

    Jiang / Lee Computing and Combinatorics

    Third Annual International Conference, COCOON '97, Shanghai, China, August 20-22, 1997. Proceedings.
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63357-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malek / Reitenspieß / Moorsel | Service Availability | Buch | Sack Fachmedien

    Malek / Reitenspieß / Moorsel Service Availability

    4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72735-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dillenbourg / Specht | Times of Convergence. Technologies Across Learning Contexts | Buch | Sack Fachmedien

    Dillenbourg / Specht Times of Convergence. Technologies Across Learning Contexts

    Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87604-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bacardit / Bernadó-Mansilla / Butz | Learning Classifier Systems | Buch | Sack Fachmedien

    Bacardit / Bernadó-Mansilla / Butz Learning Classifier Systems

    10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88137-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baek / Bao / Chen | Provable Security | Buch | Sack Fachmedien

    Baek / Bao / Chen Provable Security

    Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88732-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Wooldridge | Model Checking and Artificial Intelligence | Buch | Sack Fachmedien

    Peled / Wooldridge Model Checking and Artificial Intelligence

    5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00430-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kern-Isberner / Rödder / Kulmann | Conditionals, Information, and Inference | Buch | Sack Fachmedien

    Kern-Isberner / Rödder / Kulmann Conditionals, Information, and Inference

    International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25332-7
    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
    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
    Hartenstein / Glesner | Field-Programmable Logic, Smart Applications, New Paradigms and Compilers | Buch | Sack Fachmedien

    Hartenstein / Glesner Field-Programmable Logic, Smart Applications, New Paradigms and Compilers

    6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 - 25, Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61730-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bode / Dongarra / Ludwig | Parallel Virtual Machine - EuroPVM'96 | Buch | Sack Fachmedien

    Bode / Dongarra / Ludwig Parallel Virtual Machine - EuroPVM'96

    Third European PVM Conference, Munich, Germany, October, 7 - 9, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61779-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Rudolph | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Rudolph Job Scheduling Strategies for Parallel Processing

    IPPS '96 Workshop, Honolulu, Hawaii, April 16, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61864-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nwana / Azarmi | Software Agents and Soft Computing: Towards Enhancing Machine Intelligence | Buch | Sack Fachmedien

    Nwana / Azarmi Software Agents and Soft Computing: Towards Enhancing Machine Intelligence

    Concepts and Applications
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62560-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dam | Analysis and Verification of Multiple-Agent Languages | Buch | Sack Fachmedien

    Dam Analysis and Verification of Multiple-Agent Languages

    5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62503-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciancarini / Hankin | Coordination Languages and Models | Buch | Sack Fachmedien

    Ciancarini / Hankin Coordination Languages and Models

    First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61052-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwentick / Suciu | Database Theory – ICDT 2007 | Buch | Sack Fachmedien

    Schwentick / Suciu Database Theory – ICDT 2007

    11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-69269-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stiefelhagen / Garofolo | Multimodal Technologies for Perception of Humans | Buch | Sack Fachmedien

    Stiefelhagen / Garofolo Multimodal Technologies for Perception of Humans

    First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-69567-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Spaccapietra / Atzeni / Fages | Journal on Data Semantics VIII | Buch | Sack Fachmedien

    Spaccapietra / Atzeni / Fages Journal on Data Semantics VIII

    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70663-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antonucci / Cholvy / Papini | Symbolic and Quantitative Approaches to Reasoning with Uncertainty | Buch | Sack Fachmedien

    Antonucci / Cholvy / Papini Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-61580-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thomas / Forshaw | Analytical and Stochastic Modelling Techniques and Applications | Buch | Sack Fachmedien

    Thomas / Forshaw Analytical and Stochastic Modelling Techniques and Applications

    24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-61427-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baker | Memory Management | Buch | Sack Fachmedien

    Baker Memory Management

    International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60368-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dalkilic / Kim / Yang | Data Mining and Bioinformatics | Buch | Sack Fachmedien

    Dalkilic / Kim / Yang Data Mining and Bioinformatics

    First International Workshop, VDMB 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68970-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banda / Pontelli | Logic Programming | Buch | Sack Fachmedien

    Banda / Pontelli Logic Programming

    24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89981-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Moor / Schwartzbach | Compiler Construction | Buch | Sack Fachmedien

    de Moor / Schwartzbach Compiler Construction

    18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00721-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhou / Yokota / Deng | Database Systems for Advanced Applications | Buch | Sack Fachmedien

    Zhou / Yokota / Deng Database Systems for Advanced Applications

    14th International Conference, DASFAA 2009, Brisbane, Australia, April 21-23, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00886-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aroyo / Traverso / Ciravegna | The Semantic Web: Research and Applications | Buch | Sack Fachmedien

    Aroyo / Traverso / Ciravegna The Semantic Web: Research and Applications

    6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31– June 4, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02120-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ur / Bin / Wolfsthal | Hardware and Software, Verification and Testing | Buch | Sack Fachmedien

    Ur / Bin / Wolfsthal Hardware and Software, Verification and Testing

    First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32604-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weyns / Parunak / Michel | Environments for Multi-Agent Systems II | Buch | Sack Fachmedien

    Weyns / Parunak / Michel Environments for Multi-Agent Systems II

    Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32614-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Healy / Nikolov | Graph Drawing | Buch | Sack Fachmedien

    Healy / Nikolov Graph Drawing

    13 th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31425-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Lladós | Graphics Recognition. Ten Years Review and Future Perspectives | Buch | Sack Fachmedien

    Liu / Lladós Graphics Recognition. Ten Years Review and Future Perspectives

    6th International Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34711-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peters / Yao | Rough Sets and Knowledge Technology | Buch | Sack Fachmedien

    Peters / Yao Rough Sets and Knowledge Technology

    First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36297-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnson / Vene | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Johnson / Vene Algebraic Methodology and Software Technology

    11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35633-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Savaci | Artificial Intelligence and Neural Networks | Buch | Sack Fachmedien

    Savaci Artificial Intelligence and Neural Networks

    14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36713-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graf / Zhang | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Graf / Zhang Automated Technology for Verification and Analysis

    4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47237-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dolev | Distributed Computing | Buch | Sack Fachmedien

    Dolev Distributed Computing

    20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-44624-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beskow / Peters / Castellano | Intelligent Virtual Agents | Buch | Sack Fachmedien

    Beskow / Peters / Castellano Intelligent Virtual Agents

    17th International Conference, IVA 2017, Stockholm, Sweden, August 27-30, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67400-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ayala-Rincón / Muñoz | Interactive Theorem Proving | Buch | Sack Fachmedien

    Ayala-Rincón / Muñoz Interactive Theorem Proving

    8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66106-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hsu / Wang / Zhou | Internet of Vehicles - Technologies and Services | Buch | Sack Fachmedien

    Hsu / Wang / Zhou Internet of Vehicles - Technologies and Services

    Third International Conference, IOV 2016, Nadi, Fiji, December 7-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-51968-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kouchnarenko / Khosravi | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Kouchnarenko / Khosravi Formal Aspects of Component Software

    13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-57665-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blanc-Talon / Philips / Popescu | Advanced Concepts for Intelligent Vision Systems | Buch | Sack Fachmedien

    Blanc-Talon / Philips / Popescu Advanced Concepts for Intelligent Vision Systems

    13th International Conference, ACIVS 2011, Ghent, Belgium, August 22-25, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23686-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dediu / Martín-Vide / Truthe | Theory and Practice of Natural Computing | Buch | Sack Fachmedien

    Dediu / Martín-Vide / Truthe Theory and Practice of Natural Computing

    First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33859-5
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salah / Ruiz-del-Solar / Mericli | Human Behavior Understanding | Buch | Sack Fachmedien

    Salah / Ruiz-del-Solar / Mericli Human Behavior Understanding

    Third Workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34013-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brisaboa / Pedreira / Zezula | Similarity Search and Applications | Buch | Sack Fachmedien

    Brisaboa / Pedreira / Zezula Similarity Search and Applications

    6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41061-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cabalar / Son | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Cabalar / Son Logic Programming and Nonmonotonic Reasoning

    12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40563-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Whittle / Clark / Kühne | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Whittle / Clark / Kühne Model Driven Engineering Languages and Systems

    14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24484-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Pardo / Schneider | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Barthe / Pardo / Schneider Software Engineering and Formal Methods

    9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24689-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganesalingam | The Language of Mathematics | Buch | Sack Fachmedien

    Ganesalingam The Language of Mathematics

    A Linguistic and Philosophical Investigation
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37011-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnsen / Petre | Integrated Formal Methods | Buch | Sack Fachmedien

    Johnsen / Petre Integrated Formal Methods

    10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38612-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Colom / Desel | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Colom / Desel Application and Theory of Petri Nets and Concurrency

    34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38696-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Takeda / Qu / Mizoguchi | Semantic Technology | Buch | Sack Fachmedien

    Takeda / Qu / Mizoguchi Semantic Technology

    Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37995-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Constable / Silva | Logic and Program Semantics | Buch | Sack Fachmedien

    Constable / Silva Logic and Program Semantics

    Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29484-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ardissono / Brna / Mitrovic | User Modeling 2005 | Buch | Sack Fachmedien

    Ardissono / Brna / Mitrovic User Modeling 2005

    10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27885-6
    Medium: Buch
    106,99 € (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
    Cousot | Static Analysis | Buch | Sack Fachmedien

    Cousot Static Analysis

    10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40325-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    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
    Warnow / Zhu | Computing and Combinatorics | Buch | Sack Fachmedien

    Warnow / Zhu Computing and Combinatorics

    9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40534-4
    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
    Roli / Kittler | Multiple Classifier Systems | Buch | Sack Fachmedien

    Roli / Kittler Multiple Classifier Systems

    Third International Workshop, MCS 2002, Cagliari, Italy, June 24-26, 2002. Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43818-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bader / Parashar / Sridhar | High Performance Computing - HiPC 2005 | Buch | Sack Fachmedien

    Bader / Parashar / Sridhar High Performance Computing - HiPC 2005

    12th International Conference, Goa, India, December 18-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30936-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Druschel / Kaashoek / Rowstron | Peer-to-Peer Systems | Buch | Sack Fachmedien

    Druschel / Kaashoek / Rowstron Peer-to-Peer Systems

    First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44179-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Pan / Guo | Parallel and Distributed Processing and Applications - ISPA 2005 Workshops | Buch | Sack Fachmedien

    Chen / Pan / Guo Parallel and Distributed Processing and Applications - ISPA 2005 Workshops

    ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29770-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tomlin / Greenstreet | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Tomlin / Greenstreet Hybrid Systems: Computation and Control

    5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43321-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