Ergebnisse filtern
Fachgebiet
Medium
  • 2589
  • 87
  • 8
  • 1
Erscheinungsjahr
  • 4
  • 54
  • 108
  • 123
  • 126
  • 141
  • 152
  • 221
  • 95
  • 158
  • 89
  • 129
  • 75
  • 68
  • 76
  • 189
  • 85
  • 44
  • 29
  • 26
  • 29
  • 25
  • 49
  • 61
  • 51
  • 47
  • 52
  • 42
  • 38
  • 43
  • 40
  • 26
  • 24
  • 13
  • 13
  • 12
  • 9
  • 6
  • 8
  • 8
  • 9
  • 1
  • 5
  • 1
  • 4
  • 3
  • 1
  • 5
  • 3
  • 7
  • 6
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 2
  • 4
  • 5
  • 3
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 14
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 12
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 35
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 16
  • 2
  • 10
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 11
  • 3
  • 9
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 8
  • 3
  • 6
  • 4
  • 3
  • 8
  • 10
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 5
  • 9
  • 4
  • 5
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 6
  • 3
  • 3
  • 4
  • 6
  • 5
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 12
  • 4
  • 5
  • 4
  • 6
  • 6
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 6
  • 35
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 4
  • 6
  • 4
  • 8
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
Verlag
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 6
  • 4
  • 3
  • 4
  • 2
  • 1
  • 9
  • 2
  • 2
  • 2
  • 2
  • 1
  • 14
  • 1
  • 2
  • 9
  • 1
  • 2
  • 5
  • 36
  • 51
  • 3
  • 1
  • 2
  • 1
  • 1
  • 12
  • 6
  • 3
  • 1
  • 3
  • 2
  • 1
  • 12
  • 47
  • 3
  • 1
  • 1
  • 2
  • 4
  • 5
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 8
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 9
  • 3
  • 1
  • 1
  • 2
  • 2
  • 7
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 437
  • 197
  • 4
  • 823
  • 15
  • 4
  • 2
  • 268
  • 16
  • 91
  • 1
  • 214
  • 24
  • 1
  • 13
  • 1
  • 13
  • 29
  • 10
  • 11
  • 10
  • 1
  • 1
  • 19
  • 9
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 2
  • 2
  • 1
  • 15
  • 7
  • 1
  • 38
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
Preis
  • 71
  • 162
  • 647
  • 1805
Sprachen
  • 2417
  • 270
  • 3
Verfügbarkeit
  • 2654
  • 31
Katalog
  • 2685
  • 298
2.685  Titel
    Sastry / Henzinger | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Sastry / Henzinger Hybrid Systems: Computation and Control

    First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64358-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scheideler | Universal Routing Strategies for Interconnection Networks | Buch | Sack Fachmedien

    Scheideler Universal Routing Strategies for Interconnection Networks

    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64505-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fisher | Formal Methods in Systems Biology | Buch | Sack Fachmedien

    Fisher Formal Methods in Systems Biology

    First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68410-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middelburg / Baeten | Process Algebra with Timing | Buch | Sack Fachmedien

    Middelburg / Baeten Process Algebra with Timing

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-07788-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slezak / Kim / Kang | Grid and Distributed Computing | Buch | Sack Fachmedien

    Slezak / Kim / Kang Grid and Distributed Computing

    International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-10548-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Lemos / Fabre / ter Beek | Architecting Dependable Systems VI | Buch | Sack Fachmedien

    de Lemos / Fabre / ter Beek Architecting Dependable Systems VI

    2009
    Verlag: Springer
    ISBN: 978-3-642-10247-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Limbourg | Dependability Modelling under Uncertainty | Buch | Sack Fachmedien

    Limbourg Dependability Modelling under Uncertainty

    An Imprecise Probabilistic Approach
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-08880-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haken | Information and Self-Organization | Buch | Sack Fachmedien

    Haken Information and Self-Organization

    A Macroscopic Approach to Complex Systems
    3rd enlarged Auflage 2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-33021-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Tronci / Geist | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Tronci / Geist Correct Hardware Design and Verification Methods

    12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20363-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 2 | Buch | Sack Fachmedien

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21150-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bravetti / Zavattaro / Kloul | Formal Techniques for Computer Systems and Business Processes | Buch | Sack Fachmedien

    Bravetti / Zavattaro / Kloul 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
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28701-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gordon | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Gordon Foundations of Software Science and Computational Structures

    6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00897-2
    Medium: Buch
    53,49 € (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
    Berard / Bidoit / Finkel | Systems and Software Verification | Buch | Sack Fachmedien

    Berard / Bidoit / Finkel Systems and Software Verification

    Model-Checking Techniques and Tools
    2001
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-41523-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Banatre | Hardware and Software Architectures for Fault Tolerance | Buch | Sack Fachmedien

    Lee / Banatre Hardware and Software Architectures for Fault Tolerance

    Experiences and Perspectives
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57767-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zabczyk | Stochastic Systems and Optimization | Buch | Sack Fachmedien

    Zabczyk Stochastic Systems and Optimization

    Proceedings of the 6th IFIP WG 7.1. Working Conference, Warsaw, Poland, September 12¿16, 1988
    1. Auflage 1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51619-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt / Cousot | Static Analysis | Buch | Sack Fachmedien

    Schmidt / Cousot Static Analysis

    Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61739-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Palma | Vector and Parallel Processing - VECPAR'96 | Buch | Sack Fachmedien

    Dongarra / Palma Vector and Parallel Processing - VECPAR'96

    Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25 - 27, 1996, Selected Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62828-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Loucopoulos | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Loucopoulos Advanced Information Systems Engineering

    4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55481-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malkhi | Distributed Computing | Buch | Sack Fachmedien

    Malkhi Distributed Computing

    16th International Conference, DISC 2002. Toulouse, France, October 28-30, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00073-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ottmann | Automata, Languages and Programming | Buch | Sack Fachmedien

    Ottmann Automata, Languages and Programming

    14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18088-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Treharne / Schneider / King | ZB 2005: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Treharne / Schneider / King ZB 2005: Formal Specification and Development in Z and B

    4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25559-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Byrnes / Rantzer | Directions in Mathematical Systems Theory and Optimization | Buch | Sack Fachmedien

    Byrnes / Rantzer Directions in Mathematical Systems Theory and Optimization

    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00065-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plasil / Grosky | SOFSEM 2002: Theory and Practice of Informatics | Buch | Sack Fachmedien

    Plasil / Grosky SOFSEM 2002: Theory and Practice of Informatics

    29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00145-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaudron / Reussner / Szyperski | Component-Based Software Engineering | Buch | Sack Fachmedien

    Chaudron / Reussner / Szyperski Component-Based Software Engineering

    11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-87890-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