Ergebnisse filtern
Fachgebiet
Medium
  • 3092
  • 318
  • 3
  • 1
Erscheinungsjahr
  • 5
  • 13
  • 106
  • 127
  • 107
  • 83
  • 83
  • 108
  • 124
  • 26
  • 38
  • 29
  • 34
  • 19
  • 23
  • 19
  • 122
  • 75
  • 146
  • 301
  • 297
  • 211
  • 104
  • 133
  • 84
  • 112
  • 85
  • 85
  • 84
  • 79
  • 80
  • 68
  • 65
  • 59
  • 41
  • 65
  • 33
  • 34
  • 26
  • 20
  • 16
  • 7
  • 4
  • 1
  • 5
  • 11
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 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
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 43
  • 13
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 3
  • 6
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 17
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 10
  • 13
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 5
  • 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
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 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
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 13
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 4
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 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
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 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
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 4
  • 5
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 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
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 6
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 3
  • 3
  • 7
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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
  • 3
  • 8
  • 4
  • 6
  • 6
  • 3
  • 4
  • 29
  • 11
  • 3
  • 4
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 6
  • 5
  • 7
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 16
  • 3
  • 4
  • 4
  • 3
  • 13
  • 4
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 4
  • 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
  • 2
  • 1
  • 1
  • 267
  • 4
  • 1
  • 1
  • 4
  • 1
  • 5
  • 10
  • 17
  • 21
  • 1
  • 25
  • 338
  • 1
  • 4
  • 1
  • 1
  • 3
  • 2
  • 10
  • 1
  • 1
  • 4
  • 5
  • 1
  • 7
  • 2
  • 5
  • 1
  • 13
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 3
  • 3
  • 2
  • 613
  • 1584
  • 79
  • 3
  • 1
  • 2
  • 30
  • 25
  • 15
  • 14
  • 47
  • 10
  • 22
  • 2
  • 5
  • 1
  • 84
  • 26
  • 2
  • 1
  • 21
  • 29
  • 4
  • 2
  • 1
  • 1
Preis
  • 99
  • 490
  • 2024
  • 801
Sprachen
  • 3178
  • 233
  • 8
Verfügbarkeit
  • 3370
  • 44
Eigenschaften
  • 3
Katalog
  • 3414
  • 167
3.414  Titel
    Rajput | Hands-On Microservices – Monitoring and Testing | eBook | Sack Fachmedien
    E-Book

    Rajput Hands-On Microservices – Monitoring and Testing

    A performance engineer's guide to the continuous testing and monitoring of microservices
    1. Auflage 2018
    Verlag: De Gruyter
    ISBN: 978-1-78913-840-5
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    28,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Reingold | Theory of Cryptography | Buch | Sack Fachmedien

    Reingold Theory of Cryptography

    Sixth Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-00456-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ibarra / Yen | Implementation and Application of Automata | Buch | Sack Fachmedien

    Ibarra / Yen Implementation and Application of Automata

    11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-37213-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buneman / Beeri | Database Theory - ICDT'99 | Buch | Sack Fachmedien

    Buneman / Beeri Database Theory - ICDT'99

    7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65452-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Sere / Petre | Integrated Formal Methods | Buch | Sack Fachmedien

    Butler / Sere / Petre Integrated Formal Methods

    Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43703-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abe | Topics in Cryptology ¿ CT-RSA 2007 | Buch | Sack Fachmedien

    Abe Topics in Cryptology ¿ CT-RSA 2007

    The Cryptographers' Track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69327-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Schwiegelshohn / Rudolph | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Schwiegelshohn / Rudolph Job Scheduling Strategies for Parallel Processing

    9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20405-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Kano / Tan | Discrete and Computational Geometry | Buch | Sack Fachmedien

    Akiyama / Kano / Tan Discrete and Computational Geometry

    Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004
    2005
    Verlag: Springer
    ISBN: 978-3-540-30467-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Markatos / Leitold | Communications and Multimedia Security | Buch | Sack Fachmedien

    Markatos / Leitold Communications and Multimedia Security

    10th IFIP TC-6 TC 11 International Conference, CMS 2006, Heraklion Crete, Greece, October 19-21, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-47820-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Unger / Böhme | Innovative Internet Computing Systems | Buch | Sack Fachmedien

    Unger / Böhme Innovative Internet Computing Systems

    International Workshop IICS 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42275-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rausch / Plasil / Reussner | The Common Component Modeling Example | Buch | Sack Fachmedien

    Rausch / Plasil / Reussner The Common Component Modeling Example

    Comparing Software Component Models
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85288-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sehr / Banerjee / Padua | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Sehr / Banerjee / Padua Languages and Compilers for Parallel Computing

    9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63091-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sannella | Programming Languages and Systems - ESOP '94 | Buch | Sack Fachmedien

    Sannella Programming Languages and Systems - ESOP '94

    5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57880-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Toetenel / Prehn | VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings | Buch | Sack Fachmedien

    Toetenel / Prehn VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

    Volume 2: Tutorials
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54868-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Becker / Eisele / Mündemann | Parallelism, Learning, Evolution | Buch | Sack Fachmedien

    Becker / Eisele / Mündemann Parallelism, Learning, Evolution

    Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989. Workshop on Parallel Processing: Logic, Organization, and Technology - WOPPLOT 89, Wildbad Kreuth, Germany, July 24-28, 1989. Proceedings
    1991
    Verlag: Springer
    ISBN: 978-3-540-55027-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyerhoff / Wieczorek | Software Quality | Buch | Sack Fachmedien

    Meyerhoff / Wieczorek Software Quality

    State of the Art in Management, Testing, and Tools
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41441-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Möller / Schuman / Partsch | Formal Program Development | Buch | Sack Fachmedien

    Möller / Schuman / Partsch Formal Program Development

    IFIP TC2/WG 2.1 State-of-the-Art Report
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57499-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hirsch / Slissenko / Razborov | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Hirsch / Slissenko / Razborov Computer Science - Theory and Applications

    Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79708-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneider / Göttler | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Schneider / Göttler Graph-Theoretic Concepts in Computer Science

    International Workshop WG '87, Kloster Banz/Staffelstein, FRG, June 29 - July 1, 1987. Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19422-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy | Deductive Program Design | Buch | Sack Fachmedien

    Broy Deductive Program Design

    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60947-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deransart / Ed-Dbali / Cervoni | Prolog: The Standard | Buch | Sack Fachmedien

    Deransart / Ed-Dbali / Cervoni Prolog: The Standard

    Reference Manual
    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59304-1
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bradley / Manna | The Calculus of Computation | Buch | Sack Fachmedien

    Bradley / Manna The Calculus of Computation

    Decision Procedures with Applications to Verification
    2007
    Verlag: Springer
    ISBN: 978-3-540-74112-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aarts / Rem / Leeuwen | PARLE '91. Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Aarts / Rem / Leeuwen PARLE '91. Parallel Architectures and Languages Europe

    Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54152-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Nicola / Meredith / Ferrari | Coordination Models and Languages | Buch | Sack Fachmedien

    De Nicola / Meredith / Ferrari Coordination Models and Languages

    6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21044-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielson / Hankin | Principles of Program Analysis | Buch | Sack Fachmedien

    Nielson / Hankin Principles of Program Analysis

    1999
    Verlag: Springer
    ISBN: 978-3-642-08474-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