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

    Korakis / Ott / Zink Testbeds and Research Infrastructure: Development of Networks and Communities

    8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-35575-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Richardson / Abrahamsson / Messnarz | Software Process Improvement | Buch | Sack Fachmedien

    Richardson / Abrahamsson / Messnarz Software Process Improvement

    12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-30286-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zuck / Halbwachs | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Zuck / Halbwachs Tools and Algorithms for the Construction and Analysis of Systems

    11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25333-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zimányi / Vaisman | Data Warehouse Systems | Buch | Sack Fachmedien

    Zimányi / Vaisman Data Warehouse Systems

    Design and Implementation
    2. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-662-65169-8
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krueger / Bosch | Software Reuse: Methods, Techniques, and Tools | Buch | Sack Fachmedien

    Krueger / Bosch Software Reuse: Methods, Techniques, and Tools

    8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22335-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Obiedkov / Medina | Formal Concept Analysis | Buch | Sack Fachmedien

    Obiedkov / Medina Formal Concept Analysis

    6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78136-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maibaum / Aichernig | Formal Methods at the Crossroads. From Panacea to Foundational Support | Buch | Sack Fachmedien

    Maibaum / Aichernig Formal Methods at the Crossroads. From Panacea to Foundational Support

    10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20527-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhao / Guibas | Information Processing in Sensor Networks | Buch | Sack Fachmedien

    Zhao / Guibas Information Processing in Sensor Networks

    Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings
    2003
    Verlag: Springer
    ISBN: 978-3-540-02111-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sachs / Petrov / Guerrero | From Active Data Management to Event-Based Systems and More | Buch | Sack Fachmedien

    Sachs / Petrov / Guerrero From Active Data Management to Event-Based Systems and More

    Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday
    2010
    Verlag: Springer
    ISBN: 978-3-642-17225-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Yu / Ludwig | Service-Oriented Computing | Buch | Sack Fachmedien

    Liu / Yu / Ludwig Service-Oriented Computing

    10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-34320-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolter / van Moorsel / Avritzer | Resilience Assessment and Evaluation of Computing Systems | Buch | Sack Fachmedien

    Wolter / van Moorsel / Avritzer Resilience Assessment and Evaluation of Computing Systems

    2012
    Verlag: Springer
    ISBN: 978-3-642-29031-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Langmaack / Hoare | VDM '90. VDM and Z - Formal Methods in Software Development | Buch | Sack Fachmedien

    Bjørner / Langmaack / Hoare VDM '90. VDM and Z - Formal Methods in Software Development

    Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52513-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dams / Massinek / Gerth | Theoretical and Practical Aspects of SPIN Model Checking | Buch | Sack Fachmedien

    Dams / Massinek / Gerth Theoretical and Practical Aspects of SPIN Model Checking

    5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66499-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zima / Joe / Shimasaki | High Performance Computing | Buch | Sack Fachmedien

    Zima / Joe / Shimasaki High Performance Computing

    4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43674-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vigano / Veanes | Tests and Proofs | Buch | Sack Fachmedien

    Vigano / Veanes Tests and Proofs

    7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38915-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nieuwenhuis | Automated Deduction ¿ CADE-20 | Buch | Sack Fachmedien

    Nieuwenhuis Automated Deduction ¿ CADE-20

    20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28005-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sakallah / Simon | Theory and Application of Satisfiability Testing | Buch | Sack Fachmedien

    Sakallah / Simon Theory and Application of Satisfiability Testing

    14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-21580-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gramlich | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Gramlich Frontiers of Combining Systems

    5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29051-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiedijk | The Seventeen Provers of the World | Buch | Sack Fachmedien

    Wiedijk The Seventeen Provers of the World

    Foreword by Dana S. Scott
    2006
    Verlag: Springer
    ISBN: 978-3-540-30704-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Maluszynski | Programming Language Implementation and Logic Programming | Buch | Sack Fachmedien

    Wirsing / Maluszynski Programming Language Implementation and Logic Programming

    3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54444-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vardi / Hu | Computer Aided Verification | Buch | Sack Fachmedien

    Vardi / Hu Computer Aided Verification

    10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64608-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frasson / Lesgold / Gauthier | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Frasson / Lesgold / Gauthier Intelligent Tutoring Systems

    Third International Conference, ITS'96, Montreal, Canada, June 12-14, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61327-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilroy / Harrison | Interactive Systems. Design Specification, and Verification | Buch | Sack Fachmedien

    Gilroy / Harrison Interactive Systems. Design Specification, and Verification

    12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
    2006
    Verlag: Springer
    ISBN: 978-3-540-34145-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmitz / Schiffmann | Technische Informatik 1 | Buch | Sack Fachmedien

    Schmitz / Schiffmann Technische Informatik 1

    Grundlagen der digitalen Elektronik
    5., neu bearbeitete und ergänzte Auflage 2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40418-7
    Medium: Buch
    59,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Claussen | Objektorientiertes Programmieren | Buch | Sack Fachmedien

    Claussen Objektorientiertes Programmieren

    2., überarbeitete und erweiterte Auflage 1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57937-3
    Medium: Buch
    32,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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