Ergebnisse filtern
Fachgebiet
Medium
  • 591
  • 27
  • 4
  • 1
Erscheinungsjahr
  • 2
  • 9
  • 6
  • 10
  • 20
  • 10
  • 16
  • 39
  • 18
  • 72
  • 66
  • 94
  • 91
  • 63
  • 12
  • 25
  • 8
  • 8
  • 5
  • 4
  • 5
  • 5
  • 5
  • 3
  • 5
  • 2
  • 2
  • 6
  • 1
  • 1
  • 3
  • 1
  • 1
Autoren
  • 1
  • 2
  • 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
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 9
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 4
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 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
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 5
  • 2
  • 2
  • 3
  • 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
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 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
  • 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
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 8
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 10
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 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
  • 1
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
Verlag
  • 1
  • 17
  • 1
  • 2
  • 1
  • 13
  • 6
  • 16
  • 3
  • 2
  • 10
  • 2
  • 3
  • 8
  • 5
  • 2
  • 2
  • 2
  • 6
  • 7
  • 1
  • 6
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 209
  • 14
  • 2
  • 186
  • 1
  • 2
  • 9
  • 1
  • 4
  • 14
  • 4
  • 2
  • 1
  • 4
  • 3
  • 1
  • 1
  • 13
  • 21
  • 1
  • 1
  • 2
  • 2
Preis
  • 12
  • 100
  • 334
  • 177
Sprachen
  • 539
  • 87
Verfügbarkeit
  • 615
  • 8
Katalog
  • 623
  • 75
623  Titel
    Singh | Using Event-B for Critical Device Software Systems | Buch | Sack Fachmedien

    Singh Using Event-B for Critical Device Software Systems

    2013
    Verlag: Springer
    ISBN: 978-1-4471-5259-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rumpe | Agile Modellierung mit UML | Buch | Sack Fachmedien

    Rumpe Agile Modellierung mit UML

    Codegenerierung, Testfälle, Refactoring
    2. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-22429-4
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rumpe | Modellierung mit UML | Buch | Sack Fachmedien

    Rumpe Modellierung mit UML

    Sprache, Konzepte und Methodik
    2. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22412-6
    Medium: Buch
    59,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fricker / Gavras / Thümmler | Requirements Engineering for Digital Health | Buch | Sack Fachmedien

    Fricker / Gavras / Thümmler Requirements Engineering for Digital Health

    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-09797-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhu / Blackwell | Cyberpatterns | Buch | Sack Fachmedien

    Zhu / Blackwell Cyberpatterns

    Unifying Design Patterns with Security and Attack Patterns
    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-35218-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    González Harbour / Pinho | Reliable Software Technologies -- Ada-Europe 2006 | Buch | Sack Fachmedien

    González Harbour / Pinho Reliable Software Technologies -- Ada-Europe 2006

    11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34663-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fischer / Reed / Scheidgen | SDL 2015: Model-Driven Engineering for Smart Cities | Buch | Sack Fachmedien

    Fischer / Reed / Scheidgen SDL 2015: Model-Driven Engineering for Smart Cities

    17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24911-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutrib / Holzer | Implementation and Application of Automata | Buch | Sack Fachmedien

    Kutrib / Holzer Implementation and Application of Automata

    19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08845-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sekerinski / Albert | Integrated Formal Methods | Buch | Sack Fachmedien

    Sekerinski / Albert Integrated Formal Methods

    11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10180-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salaün / Giannakopoulou | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Salaün / Giannakopoulou Software Engineering and Formal Methods

    12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10430-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozier / Badger | NASA Formal Methods | Buch | Sack Fachmedien

    Rozier / Badger NASA Formal Methods

    6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-06199-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications | Buch | Sack Fachmedien

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

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-47168-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Lemos / Lopes | Software Architecture | Buch | Sack Fachmedien

    de Lemos / Lopes Software Architecture

    11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-65830-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Noda / Kuffner / Ando | Simulation, Modeling, and Programming for Autonomous Robots | Buch | Sack Fachmedien

    Noda / Kuffner / Ando Simulation, Modeling, and Programming for Autonomous Robots

    Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-34326-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation | Buch | Sack Fachmedien

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

    5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
    2012
    Verlag: Springer
    ISBN: 978-3-642-34031-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vallecillo / Tolvanen / Kolovos | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Vallecillo / Tolvanen / Kolovos Modelling Foundations and Applications

    8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31490-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Transactions on Petri Nets and Other Models of Concurrency V | Buch | Sack Fachmedien

    Transactions on Petri Nets and Other Models of Concurrency V

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29071-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pomello / Haddad | Application and Theory of Petri Nets | Buch | Sack Fachmedien

    Pomello / Haddad Application and Theory of Petri Nets

    33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31130-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haugen / Gotzhein / Reed | System Analysis and Modeling: Theory and Practice | Buch | Sack Fachmedien

    Haugen / Gotzhein / Reed System Analysis and Modeling: Theory and Practice

    7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-36756-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brisk / Diniz / de Figueiredo Coutinho | Reconfigurable Computing: Architectures, Tools and Applications | Buch | Sack Fachmedien

    Brisk / Diniz / de Figueiredo Coutinho Reconfigurable Computing: Architectures, Tools and Applications

    9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-36811-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drira | Software Architecture | Buch | Sack Fachmedien

    Drira Software Architecture

    7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39030-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albert | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Albert Logic-Based Program Synthesis and Transformation

    22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-38196-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Bonsangue / Damiani | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Beckert / Bonsangue / Damiani Formal Methods for Components and Objects

    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-35886-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Zhu / Woodcock | Unifying Theories of Programming and Formal Engineering Methods | Buch | Sack Fachmedien

    Liu / Zhu / Woodcock Unifying Theories of Programming and Formal Engineering Methods

    International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
    2013
    Verlag: Springer
    ISBN: 978-3-642-39720-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ayala / Yakovlev / Shang | Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    Ayala / Yakovlev / Shang Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

    22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-36156-2
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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