Ergebnisse filtern
Fachgebiet
Medium
  • 3726
  • 1258
  • 7
  • 5
Erscheinungsjahr
  • 71
  • 183
  • 1104
  • 239
  • 211
  • 198
  • 233
  • 231
  • 221
  • 201
  • 186
  • 123
  • 133
  • 74
  • 73
  • 54
  • 188
  • 114
  • 118
  • 74
  • 69
  • 55
  • 69
  • 87
  • 76
  • 70
  • 68
  • 48
  • 36
  • 61
  • 40
  • 22
  • 30
  • 16
  • 20
  • 17
  • 19
  • 17
  • 20
  • 15
  • 13
  • 12
  • 15
  • 6
  • 8
  • 9
  • 9
  • 6
  • 4
  • 4
  • 3
  • 1
  • 3
  • 4
  • 3
  • 2
  • 2
  • 1
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 8
  • 2
  • 6
  • 9
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 4
  • 11
  • 85
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 6
  • 6
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 10
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 15
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 12
  • 9
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 10
  • 3
  • 3
  • 6
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 8
  • 3
  • 8
  • 6
  • 3
  • 5
  • 3
  • 5
  • 9
  • 13
  • 3
  • 10
  • 10
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 12
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 8
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 5
  • 6
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 10
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 7
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 8
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 16
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 4
  • 11
  • 3
  • 4
  • 9
  • 4
  • 8
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 3
  • 5
Verlag
  • 7
  • 1
  • 1
  • 1
  • 988
  • 7
  • 4
  • 1
  • 1
  • 38
  • 1
  • 6
  • 8
  • 1
  • 2
  • 99
  • 73
  • 168
  • 1
  • 2
  • 125
  • 1211
  • 1
  • 1
  • 1
  • 3
  • 1
  • 23
  • 49
  • 2
  • 2
  • 2
  • 15
  • 17
  • 2
  • 3
  • 1
  • 4
  • 1
  • 3
  • 2
  • 1
  • 2
  • 33
  • 1
  • 2
  • 16
  • 6
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 3
  • 5
  • 19
  • 5
  • 1
  • 43
  • 8
  • 3
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 4
  • 15
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 6
  • 21
  • 97
  • 5
  • 13
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1084
  • 17
  • 45
  • 3
  • 8
  • 3
  • 9
  • 23
  • 40
  • 4
  • 2
  • 9
  • 1
  • 1
  • 1
  • 1
  • 1
  • 97
  • 16
  • 88
  • 5
  • 1
  • 11
  • 1
  • 9
  • 2
  • 1
  • 1
  • 4
  • 2
  • 2
  • 114
  • 3
  • 9
  • 1
  • 86
  • 7
  • 9
  • 2
  • 1
  • 20
  • 12
  • 1
  • 2
  • 3
Preis
  • 340
  • 1852
  • 1964
  • 840
Sprachen
  • 4306
  • 690
  • 4
  • 1
Verfügbarkeit
  • 4891
  • 105
Eigenschaften
  • 4
Katalog
  • 4996
  • 180
4.996  Titel
    Hölldobler / Lutz / Wansing | Logics in Artificial Intelligence | Buch | Sack Fachmedien

    Hölldobler / Lutz / Wansing Logics in Artificial Intelligence

    11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-87802-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Spaccapietra / Yu | Conceptual Modeling - ER 2008 | Buch | Sack Fachmedien

    Li / Spaccapietra / Yu Conceptual Modeling - ER 2008

    27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87876-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Becker / Plasil / Reussner | Quality of Software Architectures Models and Architectures | Buch | Sack Fachmedien

    Becker / Plasil / Reussner Quality of Software Architectures Models and Architectures

    4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87878-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zaverucha / da Costa | Advances in Artificial Intelligence - SBIA 2008 | Buch | Sack Fachmedien

    Zaverucha / da Costa Advances in Artificial Intelligence - SBIA 2008

    19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-88189-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cha / Choi / Kim | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Cha / Choi / Kim Automated Technology for Verification and Analysis

    6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88386-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chan / Grzymala-Busse / Ziarko | Rough Sets and Current Trends in Computing | Buch | Sack Fachmedien

    Chan / Grzymala-Busse / Ziarko Rough Sets and Current Trends in Computing

    6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88423-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horimoto / Regensburger / Rosenkranz | Algebraic Biology | Buch | Sack Fachmedien

    Horimoto / Regensburger / Rosenkranz Algebraic Biology

    Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85100-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Butler / Bowen | Abstract State Machines, B and Z | Buch | Sack Fachmedien

    Börger / Butler / Bowen Abstract State Machines, B and Z

    First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87602-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Myler | Fundamentals of Engineering Programming with C and FORTRAN | Buch | Sack Fachmedien

    Myler Fundamentals of Engineering Programming with C and FORTRAN

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-62950-8
    Medium: Buch
    72,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schürr / Nagl / Zündorf | Applications of Graph Transformations with Industrial Relevance | Buch | Sack Fachmedien

    Schürr / Nagl / Zündorf Applications of Graph Transformations with Industrial Relevance

    Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89019-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramalingam | Programming Languages and Systems | Buch | Sack Fachmedien

    Ramalingam Programming Languages and Systems

    6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89329-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paech / Martell | Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs | Buch | Sack Fachmedien

    Paech / Martell Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs

    14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89777-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hu | Programming Languages and Systems | Buch | Sack Fachmedien

    Hu Programming Languages and Systems

    7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10671-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carro / Peña | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Carro / Peña Practical Aspects of Declarative Languages

    12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11502-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosenblum / Taentzer | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Rosenblum / Taentzer Fundamental Approaches to Software Engineering

    13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12028-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller | Advanced Lectures on Software Engineering | Buch | Sack Fachmedien

    Müller Advanced Lectures on Software Engineering

    LASER Summer School 2007/2008
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13009-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van den Herik / Spronck | Advances in Computer Games | Buch | Sack Fachmedien

    van den Herik / Spronck Advances in Computer Games

    12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12992-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta | Compiler Construction | Buch | Sack Fachmedien

    Gupta Compiler Construction

    19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11969-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Müller-Olm | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Jones / Müller-Olm Verification, Model Checking, and Abstract Interpretation

    10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-93899-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dawar / de Queiroz | Logic, Language, Information and Computation | Buch | Sack Fachmedien

    Dawar / de Queiroz Logic, Language, Information and Computation

    17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13823-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaufmann / Paulson | Interactive Theorem Proving | Buch | Sack Fachmedien

    Kaufmann / Paulson Interactive Theorem Proving

    First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14051-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abramsky / Gavoille / Kirchner | Automata, Languages and Programming | Buch | Sack Fachmedien

    Abramsky / Gavoille / Kirchner Automata, Languages and Programming

    37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14164-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Münch / Yang / Schäfer | New Modeling Concepts for Today's Software Processes | Buch | Sack Fachmedien

    Münch / Yang / Schäfer New Modeling Concepts for Today's Software Processes

    International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14346-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butterfield | Unifying Theories of Programming | Buch | Sack Fachmedien

    Butterfield Unifying Theories of Programming

    Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14520-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dix / Leite / Governatori | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Dix / Leite / Governatori Computational Logic in Multi-Agent Systems

    11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-14976-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular