Ergebnisse filtern
Fachgebiet
Medium
  • 337
  • 16
Erscheinungsjahr
  • 6
  • 6
  • 4
  • 5
  • 13
  • 4
  • 8
  • 22
  • 10
  • 40
  • 32
  • 55
  • 53
  • 30
  • 5
  • 13
  • 1
  • 6
  • 5
  • 1
  • 5
  • 4
  • 6
  • 2
  • 5
  • 3
  • 1
  • 4
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 9
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 9
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 5
  • 2
  • 1
  • 2
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
Verlag
  • 1
  • 15
  • 3
  • 1
  • 5
  • 3
  • 12
  • 2
  • 2
  • 6
  • 2
  • 1
  • 6
  • 5
  • 1
  • 2
  • 2
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 176
  • 4
  • 38
  • 1
  • 1
  • 3
  • 5
  • 4
  • 1
  • 1
  • 3
  • 1
  • 4
  • 21
  • 1
  • 1
  • 2
  • 1
Preis
  • 5
  • 51
  • 176
  • 121
Sprachen
  • 317
  • 36
Verfügbarkeit
  • 348
  • 5
Katalog
  • 353
  • 29
353  Treffer  für „Design“
    Gallardo / Merino | Model Checking Software | Buch | Sack Fachmedien

    Gallardo / Merino Model Checking Software

    25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94110-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kucera / Henzinger / Nešetril | Mathematical and Engineering Methods in Computer Science | Buch | Sack Fachmedien

    Kucera / Henzinger / Nešetril Mathematical and Engineering Methods in Computer Science

    8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36044-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atilgan / Straub | Entwurfsmuster in ABAP | Buch | Sack Fachmedien

    Atilgan / Straub Entwurfsmuster in ABAP

    2. Auflage 2015
    Verlag: Rheinwerk Verlag
    ISBN: 978-3-8362-3810-6
    Medium: Buch
    69,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doursat / Sayama / Michel | Morphogenetic Engineering | Buch | Sack Fachmedien

    Doursat / Sayama / Michel Morphogenetic Engineering

    Toward Programmable Complex Systems
    Softcover Nachdruck of the original 1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-662-50564-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doursat / Sayama / Michel | Morphogenetic Engineering | Buch | Sack Fachmedien

    Doursat / Sayama / Michel Morphogenetic Engineering

    Toward Programmable Complex Systems
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33901-1
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gheorghe / Katina | Gamification for Resilience | Buch | Sack Fachmedien

    Gheorghe / Katina Gamification for Resilience

    Resilient Informed Decision Making
    1. Auflage 2023
    Verlag: Wiley
    ISBN: 978-1-394-15774-7
    Medium: Buch
    120,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anthony | Iterating Infusion | Buch | Sack Fachmedien

    Anthony Iterating Infusion

    Clearer Views of Objects, Classes, and Systems
    1. Auflage 2012
    Verlag: Apress
    ISBN: 978-1-4302-5104-0
    Medium: Buch
    44,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Mishra / Qin | System-Level Validation | Buch | Sack Fachmedien

    Chen / Mishra / Qin System-Level Validation

    High-Level Modeling and Directed Test Generation Techniques
    2013
    Verlag: Springer
    ISBN: 978-1-4614-1358-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Mishra / Qin | System-Level Validation | Buch | Sack Fachmedien

    Chen / Mishra / Qin System-Level Validation

    High-Level Modeling and Directed Test Generation Techniques
    2013
    Verlag: Springer
    ISBN: 978-1-4899-8629-0
    Medium: Buch
    109,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / Dobbie / Jarke | Conceptual Modeling | Buch | Sack Fachmedien

    Yu / Dobbie / Jarke Conceptual Modeling

    33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29,2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12205-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Issa / Isaias | High Level Models and Methodologies for Information Systems | Buch | Sack Fachmedien

    Issa / Isaias High Level Models and Methodologies for Information Systems

    2015
    Verlag: Springer
    ISBN: 978-1-4614-9253-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drechsler / Soeken | Formal Specification Level | Buch | Sack Fachmedien

    Drechsler / Soeken Formal Specification Level

    Concepts, Methods, and Algorithms
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-37882-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerny / Korchemny / Dudani | SVA: The Power of Assertions in SystemVerilog | Buch | Sack Fachmedien

    Cerny / Korchemny / Dudani SVA: The Power of Assertions in SystemVerilog

    Softcover Nachdruck of the original 2. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-33109-6
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Issa / Isaias | High Level Models and Methodologies for Information Systems | Buch | Sack Fachmedien

    Issa / Isaias High Level Models and Methodologies for Information Systems

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-1-4939-5397-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drechsler / Soeken | Formal Specification Level | Buch | Sack Fachmedien

    Drechsler / Soeken Formal Specification Level

    Concepts, Methods, and Algorithms
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08698-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mehta | SystemVerilog Assertions and Functional Coverage | Buch | Sack Fachmedien

    Mehta SystemVerilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications
    Softcover Nachdruck of the original 2. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-80833-8
    Medium: Buch
    160,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
    Cerny / Korchemny / Dudani | SVA: The Power of Assertions in SystemVerilog | Buch | Sack Fachmedien

    Cerny / Korchemny / Dudani SVA: The Power of Assertions in SystemVerilog

    2. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07138-1
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koudri | Model Based System Engineering | Buch | Sack Fachmedien

    Koudri Model Based System Engineering

    Theoretical Foundations
    1. Auflage 2025
    Verlag: Wiley
    ISBN: 978-1-394-34507-6
    Medium: Buch
    118,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dudin / De Turck | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    Dudin / De Turck Analytical and Stochastic Modeling Techniques and Applications

    20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39407-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Liu / Woodcock | Formal Methods and Hybrid Real-Time Systems | Buch | Sack Fachmedien

    Jones / Liu / Woodcock Formal Methods and Hybrid Real-Time Systems

    Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75220-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oussalah | Software Architecture 1 | Buch | Sack Fachmedien

    Oussalah Software Architecture 1

    1. Auflage 2014
    Verlag: Wiley
    ISBN: 978-1-84821-600-6
    Medium: Buch
    161,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezivin / Muller | The Unified Modeling Language. <<UML>>'98: Beyond the Notation | Buch | Sack Fachmedien

    Bezivin / Muller The Unified Modeling Language. <<UML>>'98: Beyond the Notation

    First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66252-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mehta | System Verilog Assertions and Functional Coverage | Buch | Sack Fachmedien

    Mehta System Verilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications
    Third Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-24739-3
    Medium: Buch
    106,99 € (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
    Softcover Nachdruck of the original 2. Auflage 2014
    Verlag: Springer
    ISBN: 978-1-4899-7903-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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