Ergebnisse filtern
Fachgebiet
Medium
  • 608
  • 27
  • 4
  • 1
Erscheinungsjahr
  • 1
  • 9
  • 9
  • 6
  • 10
  • 20
  • 11
  • 16
  • 34
  • 19
  • 72
  • 66
  • 95
  • 96
  • 65
  • 12
  • 24
  • 6
  • 7
  • 6
  • 5
  • 5
  • 5
  • 7
  • 4
  • 6
  • 3
  • 2
  • 6
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 9
  • 1
  • 2
  • 4
  • 3
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 7
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 5
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 11
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 6
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 8
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 10
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
Verlag
  • 1
  • 18
  • 3
  • 1
  • 5
  • 14
  • 5
  • 20
  • 3
  • 2
  • 11
  • 3
  • 1
  • 2
  • 10
  • 5
  • 2
  • 2
  • 6
  • 1
  • 1
  • 9
  • 2
  • 4
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 2
  • 1
  • 430
  • 1
  • 4
  • 3
  • 4
  • 2
  • 1
  • 4
  • 3
  • 1
  • 1
  • 13
  • 21
  • 1
  • 1
  • 1
  • 2
  • 2
Preis
  • 12
  • 104
  • 347
  • 177
Sprachen
  • 552
  • 91
Verfügbarkeit
  • 636
  • 4
Eigenschaften
  • 1
Katalog
  • 640
  • 77
640  Titel
    Browning / Eppinger / Schmidt | Modeling and managing complex systems | Buch | Sack Fachmedien

    Browning / Eppinger / Schmidt Modeling and managing complex systems

    Proceedings of the 17th International DSM Conference Fort Worth (Texas, USA), 4-6 November 2015
    1. Auflage 2015
    Verlag: Carl Hanser
    ISBN: 978-3-446-44573-4
    Medium: Buch
    59,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koycheva | Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen | eBook | Sack Fachmedien
    E-Book

    Koycheva Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen

    1. Auflage 2014
    Verlag: De Gruyter
    ISBN: 978-3-486-73077-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Rauh / Auer | Modeling, Design, and Simulation of Systems with Uncertainties | Buch | Sack Fachmedien

    Rauh / Auer Modeling, Design, and Simulation of Systems with Uncertainties

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-15955-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gross | Component-Based Software Testing with UML | Buch | Sack Fachmedien

    Gross Component-Based Software Testing with UML

    Softcover Nachdruck of hardcover 1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-05882-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi / Tan / Tlelo Cuautle | Advanced Symbolic Analysis for VLSI Systems | Buch | Sack Fachmedien

    Shi / Tan / Tlelo Cuautle Advanced Symbolic Analysis for VLSI Systems

    Methods and Applications
    2014
    Verlag: Springer
    ISBN: 978-1-4939-1102-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    vom Brocke / Hekkala / Ram | Design Science at the Intersection of Physical and Virtual Design | Buch | Sack Fachmedien

    vom Brocke / Hekkala / Ram Design Science at the Intersection of Physical and Virtual Design

    8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12,2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38826-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papajorgji / Pardalos | Software Engineering Techniques Applied to Agricultural Systems | Buch | Sack Fachmedien

    Papajorgji / Pardalos Software Engineering Techniques Applied to Agricultural Systems

    An Object-Oriented and UML Approach
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-1-4419-3926-5
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Patel / Sutherland / Miller | Business Object Design and Implementation II | Buch | Sack Fachmedien

    Patel / Sutherland / Miller Business Object Design and Implementation II

    OOPSLA'96, OOPSLA'97 and OOPSLA'98 Workshop Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-1-85233-108-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Lohmann | Web Services and Formal Methods | Buch | Sack Fachmedien

    ter Beek / Lohmann Web Services and Formal Methods

    9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38229-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aoki / Taguchi | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Aoki / Taguchi Formal Methods and Software Engineering

    14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34280-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation

    5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34025-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertacco / Legay | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Bertacco / Legay Hardware and Software: Verification and Testing

    9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03076-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chikhi / Amine / Chaoui | Modelling and Implementation of Complex Systems | Buch | Sack Fachmedien

    Chikhi / Amine / Chaoui Modelling and Implementation of Complex Systems

    Proceedings of the 6th International Symposium, MISC 2020, Batna, Algeria, October 24¿26, 2020
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-58860-1
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Bloem | Computer Aided Verification | Buch | Sack Fachmedien

    Biere / Bloem Computer Aided Verification

    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ogata / Lawford / Liu | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Ogata / Lawford / Liu Formal Methods and Software Engineering

    18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-47845-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hussmann / Meixner / Zuehlke | Model-Driven Development of Advanced User Interfaces | Buch | Sack Fachmedien

    Hussmann / Meixner / Zuehlke Model-Driven Development of Advanced User Interfaces

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-26686-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Objektorientierte Spezifikation von Informationssystemen | Buch | Sack Fachmedien

    Objektorientierte Spezifikation von Informationssystemen

    1. Auflage 1993
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-8154-2054-6
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hildebrandt / Ravara / van der Werf | Web Services, Formal Methods, and Behavioral Types | Buch | Sack Fachmedien

    Hildebrandt / Ravara / van der Werf Web Services, Formal Methods, and Behavioral Types

    11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33611-4
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Souza / Lal / Larsen | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    D'Souza / Lal / Larsen Verification, Model Checking, and Abstract Interpretation

    16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46080-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Durán | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Durán Rewriting Logic and Its Applications

    9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34004-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iyoda / de Moura | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Iyoda / de Moura Formal Methods: Foundations and Applications

    16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41070-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polikarpova / Schneider | Integrated Formal Methods | Buch | Sack Fachmedien

    Polikarpova / Schneider Integrated Formal Methods

    13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66844-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gebali | Analysis of Computer Networks | Buch | Sack Fachmedien

    Gebali Analysis of Computer Networks

    2. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-15656-9
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wasowski / Wasowski / Lönn | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Wasowski / Wasowski / Lönn Modelling Foundations and Applications

    12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42060-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albert / Lanese | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Albert / Lanese Formal Techniques for Distributed Objects, Components, and Systems

    36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39569-2
    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