Fachgebiet
Medium
  • 3170
  • 315
  • 3
  • 1
Erscheinungsjahr
  • 1
  • 17
  • 46
  • 242
  • 98
  • 71
  • 70
  • 86
  • 98
  • 62
  • 25
  • 37
  • 31
  • 32
  • 20
  • 24
  • 21
  • 123
  • 77
  • 148
  • 302
  • 301
  • 210
  • 105
  • 142
  • 108
  • 113
  • 84
  • 86
  • 82
  • 76
  • 78
  • 68
  • 65
  • 60
  • 40
  • 65
  • 33
  • 34
  • 26
  • 21
  • 16
  • 7
  • 4
  • 1
  • 5
  • 11
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
Autoren
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 17
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 10
  • 22
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 24
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 13
  • 6
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 4
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 7
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 4
  • 10
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 6
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 4
  • 5
  • 5
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 4
  • 9
  • 8
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 8
  • 4
  • 6
  • 6
  • 3
  • 4
  • 28
  • 11
  • 3
  • 4
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 6
  • 5
  • 7
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 13
  • 4
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 5
  • 15
  • 5
  • 4
  • 3
  • 3
  • 4
  • 10
  • 3
  • 3
  • 5
  • 8
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 6
  • 4
  • 6
  • 4
  • 6
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
Verlag
  • 3
  • 2
  • 1
  • 1
  • 307
  • 2
  • 1
  • 1
  • 7
  • 2
  • 4
  • 21
  • 16
  • 65
  • 1
  • 28
  • 328
  • 1
  • 6
  • 5
  • 1
  • 1
  • 3
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 1
  • 2
  • 6
  • 1
  • 15
  • 2
  • 1
  • 1
  • 24
  • 3
  • 1
  • 2
  • 1
  • 1
  • 4
  • 4
  • 1
  • 12
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 6
  • 2
  • 6
  • 2
  • 1
  • 2246
  • 78
  • 10
  • 2
  • 14
  • 3
  • 12
  • 16
  • 26
  • 6
  • 19
  • 2
  • 23
  • 1
  • 31
  • 2
  • 2
  • 1
  • 21
  • 30
  • 3
  • 3
  • 1
  • 1
  • 1
Preis
  • 130
  • 494
  • 2033
  • 832
Sprachen
  • 3249
  • 237
  • 7
  • 1
Verfügbarkeit
  • 3421
  • 68
Eigenschaften
  • 2
Katalog
  • 3489
  • 184
3.489  Titel


    Leue / Merino Formal Methods for Industrial Critical Systems

    12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79706-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hirsch / Razborov / Semenov Computer Science - Theory and Applications

    Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79708-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Barnes Ada 2005 Rationale

    The Language, The Standard Libraries
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79700-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Asada / Hallam / Meyer From Animals to Animats 10

    10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69133-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nikoletseas / Chlebus / Johnson Distributed Computing in Sensor Systems

    4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69169-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rausch / Reussner / Mirandola The Common Component Modeling Example

    Comparing Software Component Models
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85288-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ait Mohamed / Munoz / Tahar Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-71065-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Armando / Baumgartner / Dowek Automated Reasoning

    4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-71069-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Meseguer / Rosu Algebraic Methodology and Software Technology

    12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79979-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dastani / El Fallah Seghrouchni / Leite Languages, Methodologies and Development Tools for Multi-Agent Systems

    First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85057-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wang / Garousi / Madachy Trustworthy Software Development Processes

    International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01679-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Reingold Theory of Cryptography

    Sixth Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00456-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Transactions on Computational Science IV

    Special Issue on Security in Computing
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01003-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jarecki / Tsudik Public Key Cryptography - PKC 2009

    12th International Conference on Practice and Theory in Public Key Cryptography Irvine, CA, USA, March 18-20, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00467-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Adali / Jutten / Romano Independent Component Analysis and Signal Separation

    8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00598-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Butler / Jones / Romanovsky Methods, Models and Tools for Fault Tolerance

    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00866-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rosen / Strohmeier Reliable Software Technologies -- Ada-Europe 2003

    8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40376-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cardelli ECOOP 2003 - Object-Oriented Programming

    17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40531-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dietzfelbinger Primality Testing in Polynomial Time

    From Randomized Algorithms to "PRIMES Is in P"
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-40344-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kramer / Pfahringer Inductive Logic Programming

    15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28177-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hurd / Melham Theorem Proving in Higher Order Logics

    18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28372-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kropatsch / Sablatnig / Hanbury Pattern Recognition

    27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28703-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Moreno / Madrenas / Cosp Evolvable Systems: From Biology to Hardware

    6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28736-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gschwind / Assmann / Nierstrasz Software Composition

    4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28748-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vene / Uustalu Advanced Functional Programming

    5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28540-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bravetti / Kloul / Zavattaro Formal Techniques for Computer Systems and Business Processes

    European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28701-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Di Martino / Kranzlmüller / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface

    12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29009-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Coppo / Lodi / Pinna Theoretical Computer Science

    9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29106-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jin / Reed / Jiang Network and Parallel Computing

    IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29810-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Leue / Systä Scenarios: Models, Transformations and Tools

    International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26189-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kock Wiil Metainformatics

    International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27328-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Adi / Stoutenburg / Tabet Rules and Rule Markup Languages for the Semantic Web

    First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29922-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rangarajan / Vemuri / Yuille Energy Minimization Methods in Computer Vision and Pattern Recognition

    5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30287-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Maitra / Madhavan / Venkatesan Progress in Cryptology - INDOCRYPT 2005

    6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30805-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Desmedt / Wang / Mu Cryptology and Network Security

    4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30849-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Molva / Tsudik / Westhoff Security and Privacy in Ad-hoc and Sensor Networks

    Second European Workshop, ESAS 2005, Visegrad, Hungary, July 13-14, 2005. Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30912-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mao / Wang Information and Communications Security

    7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30934-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kratsch Graph-Theoretic Concepts in Computer Science

    31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-31000-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Broy / Krüger / Meisinger Automotive Software-Connected Services in Mobile Networks

    First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37677-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mizoguchi / Giunchiglia The Semantic Web - ASWC 2006

    First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38329-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Transactions on Rough Sets V

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

    Fokkink Modelling Distributed Systems

    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73937-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hromkovic / Hromkovic / Královiç Stochastic Algorithms: Foundations and Applications

    4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74870-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bonnans / Gilbert / Lemarechal Numerical Optimization

    Theoretical and Practical Aspects
    2. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35445-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zuckarelli Learn coding with Python and JavaScript

    A practical introduction for beginners
    2024
    Verlag: Springer
    ISBN: 978-3-658-42911-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fill / van Sinderen / Maciaszek Software Technologies

    17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37230-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Koz¿owski / Filipuk / Kozlowski Multi-variable Calculus

    Multi-variable calculus
    Verlag: De Gruyter
    ISBN: 978-3-11-066038-8
    Medium: Buch
    79,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gorlatch / Dünnweber Higher-Order Components for Grid Programming

    Making Grids More Usable
    2009
    Verlag: Springer
    ISBN: 978-3-642-42501-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    bin Uzayr Scala

    The Ultimate Guide
    1. Auflage 2023
    Verlag: Taylor & Francis
    ISBN: 978-1-032-41424-9
    Medium: Buch
    vorbestellbar

    bin Uzayr R

    The Ultimate Guide
    1. Auflage 2023
    Verlag: Taylor & Francis
    ISBN: 978-1-032-41333-4
    Medium: Buch
    vorbestellbar

    Wendt COBOL

    Einführung mit PC-Spracherweiterungen und Übungen
    2. Auflage 1994
    Verlag: Gabler Verlag
    ISBN: 978-3-322-82910-8
    Medium: Buch
    74,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ishida Immunity-Based Systems

    A Design Perspective
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05661-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aßmann Invasive Software Composition

    Softcover Nachdruck of hardcover 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-07937-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lemut / Dettori / DuBoulay Cognitive Models and Intelligent Environments for Learning Programming

    1. Auflage. Softcover version of original hardcover Auflage 1993
    Verlag: Springer
    ISBN: 978-3-642-08156-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Michalewicz / Dasgupta Evolutionary Algorithms in Engineering Applications

    1. Auflage. Softcover version of original hardcover Auflage 1997
    Verlag: Springer
    ISBN: 978-3-642-08282-5
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kröger / Merz Temporal Logic and State Systems

    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-67401-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cosmi / Peirano / Raffaele Operations Research and Data Science in Public Services

    6th AIROYoung Workshop, Rome, Italy, February 23-25, 2022
    2023
    Verlag: Springer
    ISBN: 978-3-031-34545-6
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Große-Rhode Semantic Integration of Heterogeneous Software Specifications

    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-07306-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjørner Software Engineering 1

    Abstraction and Modelling
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-21149-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-21150-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bertot / Castéran Interactive Theorem Proving and Program Development

    Coq'Art: The Calculus of Inductive Constructions
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20854-9
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Möller / Partsch / Schuman Formal Program Development

    IFIP TC2/WG 2.1 State-of-the-Art Report
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57499-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bertot / Castéran Interactive Theorem Proving and Program Development

    Coq'Art: The Calculus of Inductive Constructions
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05880-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Langille A Gamer's Introduction to Programming with MonoGame

    Welcome Brave Adventurer!
    1. Auflage 2025
    Verlag: Chapman and Hall/CRC
    ISBN: 978-1-032-74538-1
    Medium: Buch
    186,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Summers Effective Methods for Software Engineering

    1. Auflage 2023
    Verlag: Auerbach Publications
    ISBN: 978-1-032-47435-9
    Medium: Buch
    64,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gagniuc Coding Examples from Simple to Complex

    Applications in JavaScript(TM)
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-53822-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mix / Niethammer / Zhou Tools for High Performance Computing 2018 / 2019

    Proceedings of the 12th and of the 13th International Workshop on Parallel Tools for High Performance Computing, Stuttgart, Germany, September 2018, and Dresden, Germany, September 2019
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-66056-7
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rawal / Manogaran / Poongodi Implementing and Leveraging Blockchain Programming

    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-981-16-3411-6
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rawal / Manogaran / Poongodi Implementing and Leveraging Blockchain Programming

    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-981-16-3414-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Xu / Zhang Computational Thinking: A Perspective on Computer Science

    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-981-16-3847-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gabbar Modern Formal Methods and Applications

    Softcover Nachdruck of hardcover 1. Auflage 2006
    Verlag: Springer Netherlands
    ISBN: 978-90-481-7079-1
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jecan Die Modularität von Java 9

    Projekt Jigsaw und skalierbare Java-Anwendungen
    2024
    Verlag: Springer
    ISBN: 978-3-662-68876-2
    Medium: Buch
    27,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schmitz Die Wirksamkeit von Programmiersprachen

    Ergebnisse eines Studienkreises des Betriebswirtschaftlichen Instituts für Organisation und Automation an der Universität zu Köln
    Softcover Nachdruck of the original 1. Auflage 1972
    Verlag: Gabler Verlag
    ISBN: 978-3-409-31232-5
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wang Systems Programming in Unix/Linux

    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92428-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cornell Azerbaijan Since Independence

    1. Auflage 2011
    Verlag: Taylor & Francis Ltd
    ISBN: 978-0-7656-3002-5
    Medium: Buch
    132,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Deransart / Ed-Dbali / Cervoni Prolog: The Standard

    Reference Manual
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-59304-1
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ekert Java unter Lotus Domino

    Know-how für die Anwendungsentwicklung
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22176-0
    Medium: Buch
    29,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mössenböck Objektorientierte Programmierung in Oberon-2

    3. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64649-5
    Medium: Buch
    74,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Thorn How to Cheat in Unity 5

    Tips and Tricks for Game Development
    Erscheinungsjahr 2015
    Verlag: CRC Press
    ISBN: 978-1-317-62271-0
    Medium: eBook
    Format: EPUB
    Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    62,49 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb

    Mezei Introduction to the Development of Web Applications Using ASP .Net (Core) MVC

    2024
    Verlag: Springer
    ISBN: 978-3-031-30628-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Börger / Stärk Abstract State Machines

    A Method for High-Level System Design and Analysis
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00702-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ching / Poon / Mc Naught Elearning and Digital Publishing

    2006. Auflage 2006
    Verlag: Springer
    ISBN: 978-1-4020-3640-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Beckerman / Childs / Petchey Getting Started with R

    An Introduction for Biologists
    2. Auflage 2017
    Verlag: Oxford University Press
    ISBN: 978-0-19-878783-9
    Medium: Buch
    Lieferzeit ca. 10 Werktage

    Hector The New Statistics with R: An Introduction for Biologists

    Erscheinungsjahr 2015
    Verlag: OXFORD UNIV PR
    ISBN: 978-0-19-872905-1
    Medium: Buch
    112,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Walton Agency and the Semantic Web

    Erscheinungsjahr 2006
    Verlag: OUP Oxford
    ISBN: 978-0-19-929248-6
    Medium: Buch
    99,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Carstensen Epidemiology with R

    Erscheinungsjahr 2021
    Verlag: Oxford University Press
    ISBN: 978-0-19-884132-6
    Medium: Buch
    107,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Barney / Kreutzer / Garrett Managing A Nation

    The Microcomputer Software Catalog--second Edition
    1. Auflage 2021
    Verlag: Taylor & Francis Ltd
    ISBN: 978-0-367-16225-2
    Medium: Buch
    44,50 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Saygili The Introduction to Private Cloud using Oracle Exadata and Oracle Database

    1. Auflage 2019
    Verlag: CRC Press
    ISBN: 978-0-367-07462-3
    Medium: Buch
    81,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Plotkin / Stirling / Tofte Proof, Language, and Interaction: Essays in Honour of Robin Milner

    Neuausgabe 2000
    Verlag: MIT PR
    ISBN: 978-0-262-16188-6
    Medium: Buch
    74,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Braz / Seffah / Naqvi Integrating a Usable Security Protocol into User Authentication Services Design Process

    1. Auflage 2020
    Verlag: Auerbach Publications
    ISBN: 978-0-367-65692-8
    Medium: Buch
    66,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Saygili The Introduction to Private Cloud using Oracle Exadata and Oracle Database

    1. Auflage 2020
    Verlag: Taylor & Francis
    ISBN: 978-0-367-67034-4
    Medium: Buch
    Lieferzeit ca. 10 Werktage

    Irving / Hertweck / Johnston Research Software Engineering with Python

    Building software that makes research possible
    1. Auflage 2021
    Verlag: Chapman and Hall/CRC
    ISBN: 978-0-367-69832-4
    Medium: Buch
    126,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bowman How Things Work

    The Technology Edition
    1. Auflage 2022
    Verlag: Taylor & Francis
    ISBN: 978-0-367-69827-0
    Medium: Buch
    Lieferzeit ca. 10 Werktage

    Chakraborty Computer Organisation and Architecture

    Evolutionary Concepts, Principles, and Designs
    1. Auflage 2020
    Verlag: Chapman and Hall/CRC
    ISBN: 978-0-367-25573-2
    Medium: Buch
    306,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zomaya Handbook of Nature-Inspired and Innovative Computing

    Integrating Classical Models with Emerging Technologies
    Erscheinungsjahr 2006
    Verlag: Springer Us
    ISBN: 978-0-387-40532-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Schellekens A Modular Calculus for the Average Cost of Data Structuring

    2008
    Verlag: Springer US
    ISBN: 978-0-387-73383-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Long ITIL Version 3 at a Glance

    Information Quick Reference
    2008
    Verlag: Springer US
    ISBN: 978-0-387-77392-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Williams / Clearwater Ultimate Zero and One

    Computing at the Edge of Nature
    2000. Auflage 1999
    Verlag: Springer
    ISBN: 978-0-387-94769-3
    Medium: Buch
    36,33 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb

    Pnueli / Manna The Temporal Logic of Reactive and Concurrent Systems

    Specification
    1992
    Verlag: Springer US
    ISBN: 978-0-387-97664-8
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Feijen / Gasteren / Gries Beauty Is Our Business

    A Birthday Salute to Edsger W. Dijkstra
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-0-387-97299-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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