Fachgebiet
Medium
  • 3732
  • 1258
  • 5
  • 4
Erscheinungsjahr
  • 1
  • 84
  • 177
  • 1105
  • 232
  • 210
  • 198
  • 234
  • 229
  • 222
  • 202
  • 184
  • 122
  • 135
  • 74
  • 75
  • 54
  • 188
  • 114
  • 119
  • 74
  • 70
  • 54
  • 68
  • 81
  • 80
  • 71
  • 69
  • 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
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 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
  • 9
  • 2
  • 2
  • 5
  • 5
  • 3
  • 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
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 4
  • 7
  • 85
  • 4
  • 2
  • 6
  • 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
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 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
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 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
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 9
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 3
  • 4
  • 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
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 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
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 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
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 15
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 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
  • 4
  • 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
  • 6
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 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
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 12
  • 10
  • 4
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 3
  • 2
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 8
  • 3
  • 7
  • 6
  • 3
  • 5
  • 3
  • 5
  • 4
  • 6
  • 13
  • 10
  • 10
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 12
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 4
  • 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
  • 9
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 4
  • 6
  • 4
  • 9
  • 3
  • 3
  • 4
  • 5
  • 10
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 7
  • 4
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 16
  • 3
  • 3
  • 3
  • 7
  • 5
  • 7
  • 3
  • 3
  • 11
  • 3
  • 4
  • 9
  • 4
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
Verlag
  • 6
  • 1
  • 1
  • 1
  • 985
  • 11
  • 4
  • 1
  • 1
  • 38
  • 1
  • 8
  • 6
  • 1
  • 2
  • 100
  • 80
  • 173
  • 1
  • 2
  • 125
  • 1208
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 23
  • 49
  • 2
  • 2
  • 1
  • 12
  • 2
  • 16
  • 14
  • 2
  • 3
  • 1
  • 4
  • 1
  • 3
  • 2
  • 1
  • 2
  • 33
  • 1
  • 1
  • 2
  • 26
  • 14
  • 1
  • 4
  • 2
  • 1
  • 1
  • 3
  • 5
  • 19
  • 5
  • 1
  • 43
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 4
  • 14
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 8
  • 21
  • 96
  • 5
  • 13
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1156
  • 11
  • 5
  • 3
  • 3
  • 8
  • 23
  • 25
  • 3
  • 3
  • 8
  • 1
  • 1
  • 1
  • 2
  • 1
  • 86
  • 16
  • 88
  • 5
  • 11
  • 1
  • 9
  • 2
  • 1
  • 1
  • 3
  • 2
  • 2
  • 114
  • 3
  • 9
  • 1
  • 70
  • 10
  • 9
  • 2
  • 1
  • 20
  • 9
  • 1
  • 3
  • 1
  • 3
Preis
  • 337
  • 1851
  • 1971
  • 840
Sprachen
  • 4303
  • 696
  • 4
  • 1
Verfügbarkeit
  • 4906
  • 93
Eigenschaften
  • 4
Katalog
  • 4999
  • 179
4.999  Titel


    Lee / Lopes / Poetzsch-Heffter Formal Techniques for Distributed Systems

    Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02137-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cheng Build Mobile Apps with Ionic 4 and Firebase

    Hybrid Mobile App Development
    2. Auflage 2018
    Verlag: Apress
    ISBN: 978-1-4842-3774-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tong Beginning JSF(TM) 2 APIs and JBoss® Seam

    1. Auflage 2009
    Verlag: Apress
    ISBN: 978-1-4302-1922-4
    Medium: Buch
    36,33 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Transactions on Rough Sets VIII

    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85063-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gottlob / Grandjean / Seyr Computer Science Logic

    12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65922-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pickering Beginning F

    1. Auflage 2009
    Verlag: Apress
    ISBN: 978-1-4302-2389-4
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bezivin / Hullot / Cointe ECOOP '87. European Conference on Object-Oriented Programming

    Paris, France, June 15-17, 1987. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18353-2
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kaplan Algorithm Theory - SWAT 2010

    12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13730-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bergeron Writing Testbenches Using Systemverilog

    2006. Auflage 2006
    Verlag: Springer Us
    ISBN: 978-0-387-29221-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Wobcke / Zhang AI 2008: Advances in Artificial Intelligence

    21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89377-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liu / Maibaum / Araki Formal Methods and Software Engineering

    10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88193-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Black / Donovan / Bunton SystemC: From the Ground Up, Second Edition

    2. Auflage 2010
    Verlag: Springer
    ISBN: 978-0-387-69957-8
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cervesato / Veith / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89438-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jayaraman Practical Aspects of Declarative Languages

    6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22253-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dyckhoff Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67697-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kumar / Chaudhary Practical jQuery

    1. Auflage 2015
    Verlag: Apress
    ISBN: 978-1-4842-0788-8
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ölveczky Rewriting Logic and Its Applications

    8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16309-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sileika Pro Python System Administration

    1. Auflage 2010
    Verlag: Apress
    ISBN: 978-1-4302-2605-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Havelund / Penix / Visser SPIN Model Checking and Software Verification

    7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41030-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    McBurney / Rahwan / Parsons Argumentation in Multi-Agent Systems

    6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12804-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dembinski Mathematical Foundations of Computer Science 1980

    9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10027-0
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Krusenotto Funktionale Programmierung und Metaprogrammierung

    Interaktiv in Common Lisp
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-658-13743-4
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Petazzoni Seize problèmes d'informatique

    Avec corrigés détaillés et programmes en Caml
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67387-3
    Medium: Buch
    29,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ésik / Martin-Vide / Mitrana Recent Advances in Formal Languages and Applications

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33460-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lischner Exploring C++20

    The Programmer's Introduction to C++
    3rd Auflage
    Verlag: Apress
    ISBN: 978-1-4842-5960-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb



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