Ergebnisse filtern
Fachgebiet
Medium
  • 2259
  • 5
Erscheinungsjahr
  • 1
  • 2
  • 3
  • 3
  • 8
  • 1
  • 1
  • 3
  • 2
  • 5
  • 8
  • 23
  • 8
  • 13
  • 12
  • 172
  • 60
  • 118
  • 207
  • 171
  • 200
  • 176
  • 171
  • 139
  • 120
  • 98
  • 80
  • 73
  • 50
  • 65
  • 49
  • 41
  • 44
  • 20
  • 39
  • 25
  • 18
  • 9
  • 9
  • 4
  • 2
  • 3
  • 3
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 9
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 14
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 18
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 9
  • 3
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 9
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 5
  • 4
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 6
  • 3
  • 5
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 5
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 7
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 6
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 6
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
Verlag
  • 2
  • 100
  • 1
  • 2
  • 7
  • 2
  • 2
  • 4
  • 7
  • 3
  • 1
  • 5
  • 4
  • 1
  • 2
  • 2
  • 10
  • 1
  • 1
  • 1
  • 2
  • 3
  • 4
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1666
  • 125
  • 2
  • 1
  • 41
  • 86
  • 76
  • 5
  • 19
  • 3
  • 1
  • 18
  • 1
  • 33
  • 1
  • 4
  • 1
  • 1
  • 2
Preis
  • 17
  • 146
  • 1369
  • 732
Sprachen
  • 2127
  • 137
  • 1
Verfügbarkeit
  • 2255
  • 9
Katalog
  • 2264
  • 274
2.264  Titel
    Kotonya / Sommerville | Requirements Engineering | Buch | Sack Fachmedien

    Kotonya / Sommerville Requirements Engineering

    Processes and Techniques
    1. Auflage 1998
    Verlag: Wiley
    ISBN: 978-0-471-97208-2
    Medium: Buch
    86,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jürjens | Secure Systems Development with UML | Buch | Sack Fachmedien

    Jürjens Secure Systems Development with UML

    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00701-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horspool | Systems Implementation 2000 | Buch | Sack Fachmedien

    Horspool Systems Implementation 2000

    1998. Auflage 1998
    Verlag: Springer Us
    ISBN: 978-0-412-83530-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lanza / Marinescu | Object-Oriented Metrics in Practice | Buch | Sack Fachmedien

    Lanza / Marinescu Object-Oriented Metrics in Practice

    Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
    Softcover Nachdruck of hardcover 1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-06374-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Szederkényi / Lakner / Gerzson | Intelligent Control Systems | Buch | Sack Fachmedien

    Szederkényi / Lakner / Gerzson Intelligent Control Systems

    An Introduction with Examples
    2001. Auflage 2002
    Verlag: Springer Us
    ISBN: 978-1-4020-0134-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poernomo / Crossley / Wirsing | Adapting Proofs-As-Programs | Buch | Sack Fachmedien

    Poernomo / Crossley / Wirsing Adapting Proofs-As-Programs

    The Curry--Howard Protocol
    2005. Auflage 2005
    Verlag: Springer
    ISBN: 978-0-387-23759-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeller | Why Programs Fail | eBook | Sack Fachmedien
    E-Book

    Zeller Why Programs Fail

    A Guide to Systematic Debugging
    2. Auflage 2009
    Verlag: Morgan Kaufmann
    ISBN: 978-0-08-092300-0
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    48,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kitchenham | Software Engineering for Large Software Systems | Buch | Sack Fachmedien

    Kitchenham Software Engineering for Large Software Systems

    1990. Auflage 1990
    Verlag: Springer
    ISBN: 978-1-85166-504-4
    Medium: Buch
    95,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutscha | Informatik im Maschinenbau | Buch | Sack Fachmedien

    Kutscha Informatik im Maschinenbau

    4. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57508-5
    Medium: Buch
    19,96 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aldemir / Siu / Mosleh | Reliability and Safety Assessment of Dynamic Process Systems | Buch | Sack Fachmedien

    Aldemir / Siu / Mosleh Reliability and Safety Assessment of Dynamic Process Systems

    1. Auflage. Softcover version of original hardcover Auflage 1994
    Verlag: Springer
    ISBN: 978-3-642-08178-1
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kak | Designing with Objects | Buch | Sack Fachmedien

    Kak Designing with Objects

    Object-Oriented Design Patterns Explained with Stories from Harry Potter
    1. Auflage 2015
    Verlag: Wiley
    ISBN: 978-1-118-58120-9
    Medium: Buch
    88,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Leeuwen / Italiano / van der Hoek | SOFSEM 2007: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    van Leeuwen / Italiano / van der Hoek SOFSEM 2007: Theory and Practice of Computer Science

    33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69506-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veanes / Tretmans / Grieskamp | Testing of Software and Communicating Systems | Buch | Sack Fachmedien

    Veanes / Tretmans / Grieskamp Testing of Software and Communicating Systems

    19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73065-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dori | Object-Process Methodology | Buch | Sack Fachmedien

    Dori Object-Process Methodology

    A Holistic Systems Paradigm
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-65471-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahson / Ilyas | Cloud Computing and Software Services | Buch | Sack Fachmedien

    Ahson / Ilyas Cloud Computing and Software Services

    1. Auflage 2010
    Verlag: CRC Press
    ISBN: 978-1-4398-0315-8
    Medium: Buch
    194,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klingspor / Morik | Informatik kompakt | Buch | Sack Fachmedien

    Klingspor / Morik Informatik kompakt

    Eine grundlegende Einführung mit Java
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24304-5
    Medium: Buch
    32,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rzehak | Echtzeitsysteme und objektorientierter Entwurf | Buch | Sack Fachmedien

    Rzehak Echtzeitsysteme und objektorientierter Entwurf

    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-05542-4
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyerhoff / Wallet / Laibarra | Software Quality and Software Testing in Internet Times | Buch | Sack Fachmedien

    Meyerhoff / Wallet / Laibarra Software Quality and Software Testing in Internet Times

    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42632-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vetter | Objektmodellierung | Buch | Sack Fachmedien

    Vetter Objektmodellierung

    Eine Einführung in die objektorientierte Analyse und das objektorientierte Design
    2., neubearbeitete und erweiterte Auflage 1998
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-12143-5
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Gruenbauer / Harel | Engineering Theories of Software Intensive Systems | Buch | Sack Fachmedien

    Broy / Gruenbauer / Harel Engineering Theories of Software Intensive Systems

    Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
    2005. Auflage 2005
    Verlag: Springer
    ISBN: 978-1-4020-3530-2
    Medium: Buch
    209,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caplinskas / Barzdins | Databases and Information Systems | Buch | Sack Fachmedien

    Caplinskas / Barzdins Databases and Information Systems

    Fourth International Baltic Workshop, Baltic DB&IS 2000 Vilnius, Lithuania, May 1-5, 2000 Selected Papers
    2001
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6823-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sloot / Hoekstra / Priol | Advances in Grid Computing - EGC 2005 | Buch | Sack Fachmedien

    Sloot / Hoekstra / Priol Advances in Grid Computing - EGC 2005

    European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-26918-2
    Medium: Buch
    124,12 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Shen | Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing | Buch | Sack Fachmedien

    Shen Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing

    1. Auflage 2000
    Verlag: CRC Press
    ISBN: 978-0-7484-0882-5
    Medium: Buch
    224,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ben-Ari | Principles of the Spin Model Checker | Buch | Sack Fachmedien

    Ben-Ari Principles of the Spin Model Checker

    2008. Auflage 2008
    Verlag: Springer
    ISBN: 978-1-84628-769-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kastens / Kleine Büning | Modellierung | Buch | Sack Fachmedien

    Kastens / Kleine Büning Modellierung

    Grundlagen und formale Methoden
    4. überarbeitete Auflage 2018
    Verlag: Carl Hanser
    ISBN: 978-3-446-45539-9
    Medium: Buch
    33,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Craig | Formal Refinement for Operating System Kernels | Buch | Sack Fachmedien

    Craig Formal Refinement for Operating System Kernels

    2007. Auflage 2007
    Verlag: Springer
    ISBN: 978-1-84628-966-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Lemoine | Formal Methods for Embedded Distributed Systems | Buch | Sack Fachmedien

    Kordon / Lemoine Formal Methods for Embedded Distributed Systems

    How to Master the Complexity
    2004. Auflage 1991
    Verlag: Springer Us
    ISBN: 978-1-4020-7996-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Elleithy | Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering | Buch | Sack Fachmedien

    Elleithy Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering

    2008. Auflage 2008
    Verlag: Springer
    ISBN: 978-1-4020-8734-9
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Newton | The Definitive Guide to the Microsoft Enterprise Library | Buch | Sack Fachmedien

    Newton The Definitive Guide to the Microsoft Enterprise Library

    1. Auflage 2007
    Verlag: Apress
    ISBN: 978-1-59059-655-5
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dillon | Debugging Strategies for .Net Developers | Buch | Sack Fachmedien

    Dillon Debugging Strategies for .Net Developers

    Softcover Nachdruck of the Original 1. Auflage 2003
    Verlag: Apress
    ISBN: 978-1-59059-059-1
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castaneda / Peters / Denninger | Enterprise Java Beans 2.1 | Buch | Sack Fachmedien

    Castaneda / Peters / Denninger Enterprise Java Beans 2.1

    Softcover Nachdruck of the Original 1. Auflage 2003
    Verlag: Apress
    ISBN: 978-1-59059-088-1
    Medium: Buch
    46,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Appleman | Moving to VB .Net | Buch | Sack Fachmedien

    Appleman Moving to VB .Net

    Strategies, Concepts, and Code
    2. Softcover Nachdruck of the Original 2. Auflage 2003
    Verlag: Apress
    ISBN: 978-1-59059-102-4
    Medium: Buch
    41,72 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mukhar / Weaver / Crume | Beginning Java Ee 5 | Buch | Sack Fachmedien

    Mukhar / Weaver / Crume Beginning Java Ee 5

    From Novice to Professional
    Corrected , Corr. 3rd Printing Auflage
    Verlag: Apress
    ISBN: 978-1-59059-470-4
    Medium: Buch
    46,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim | Designing Virtual Reality Systems | Buch | Sack Fachmedien

    Kim Designing Virtual Reality Systems

    The Structured Approach
    2005. Auflage 2005
    Verlag: Springer
    ISBN: 978-1-85233-958-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Virkus | Pro J2me Polish | Buch | Sack Fachmedien

    Virkus Pro J2me Polish

    Open Source Wireless Java Tools Suite
    1. Auflage 2005
    Verlag: Apress
    ISBN: 978-1-59059-503-9
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moore | Karl Moore's Visual Basic .Net | Buch | Sack Fachmedien

    Moore Karl Moore's Visual Basic .Net

    The Tutorials
    Softcover Nachdruck of the Original 1. Auflage 2002
    Verlag: Apress
    ISBN: 978-1-59059-021-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seffah / Metzker | Adoption-Centric Usability Engineering | Buch | Sack Fachmedien

    Seffah / Metzker Adoption-Centric Usability Engineering

    Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering
    Softcover Nachdruck of hardcover 1. Auflage 2009
    Verlag: Springer
    ISBN: 978-1-84996-703-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dandamudi | Guide to RISC Processors | Buch | Sack Fachmedien

    Dandamudi Guide to RISC Processors

    For Programmers and Engineers
    Softcover Nachdruck of hardcover 1. Auflage 2005
    Verlag: Springer
    ISBN: 978-1-4419-1935-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reussner / Mayer / Stafford | Quality of Software Architectures and Software Quality | Buch | Sack Fachmedien

    Reussner / Mayer / Stafford Quality of Software Architectures and Software Quality

    First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29033-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sampaio do Prado Leite / Doorn | Perspectives on Software Requirements | Buch | Sack Fachmedien

    Sampaio do Prado Leite / Doorn Perspectives on Software Requirements

    2004. Auflage 2003
    Verlag: Springer Us
    ISBN: 978-1-4020-7625-1
    Medium: Buch
    104,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahng | Information Networking. Networking Technologies for Broadband and Mobile Networks | Buch | Sack Fachmedien

    Kahng Information Networking. Networking Technologies for Broadband and Mobile Networks

    International Conference ICOIN 2004, Busan, Korea, February 18-20, 2004, Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23034-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wing / Woodcook / Davies | FM'99 - Formal Methods | Buch | Sack Fachmedien

    Wing / Woodcook / Davies FM'99 - Formal Methods

    World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66588-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergenti / Zambonelli / Gleizes | Methodologies and Software Engineering for Agent Systems | Buch | Sack Fachmedien

    Bergenti / Zambonelli / Gleizes Methodologies and Software Engineering for Agent Systems

    The Agent-Oriented Software Engineering Handbook
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer US
    ISBN: 978-1-4419-5465-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malcolm / Goguen | Software Engineering with OBJ | Buch | Sack Fachmedien

    Malcolm / Goguen Software Engineering with OBJ

    Algebraic Specification in Action
    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer US
    ISBN: 978-1-4419-4965-3
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schryen | Anti-Spam Measures | Buch | Sack Fachmedien

    Schryen Anti-Spam Measures

    Analysis and Design
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71748-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krogstie / Brinkkemper / Opdahl | Conceptual Modelling in Information Systems Engineering | Buch | Sack Fachmedien

    Krogstie / Brinkkemper / Opdahl Conceptual Modelling in Information Systems Engineering

    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-72676-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stockebrand | IPv6 in Practice | Buch | Sack Fachmedien

    Stockebrand IPv6 in Practice

    A Unixer's Guide to the Next Generation Internet
    Softcover Nachdruck of hardcover 1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-642-06388-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Setliff / Reubenstein | Knowledge-Based Software Engineering | Buch | Sack Fachmedien

    Setliff / Reubenstein Knowledge-Based Software Engineering

    1997. Auflage 1996
    Verlag: Springer Us
    ISBN: 978-0-7923-9789-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scerri / Vincent / Mailler | Coordination of Large-Scale Multiagent Systems | Buch | Sack Fachmedien

    Scerri / Vincent / Mailler Coordination of Large-Scale Multiagent Systems

    2006. Auflage 2005
    Verlag: Springer Us
    ISBN: 978-0-387-26193-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pollicini | Using Toolpack Software Tools | Buch | Sack Fachmedien

    Pollicini Using Toolpack Software Tools

    Proceedings of the Ispra-Course Held at the Joint Research Centre, Ispra, Italy, 17-21 November 1986
    1989. Auflage 1988
    Verlag: Springer
    ISBN: 978-0-7923-0033-5
    Medium: Buch
    95,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rasmussen / Zunde | Empirical Foundations of Information and Software Science III | Buch | Sack Fachmedien

    Rasmussen / Zunde Empirical Foundations of Information and Software Science III

    1987. Auflage 1987
    Verlag: Springer Us
    ISBN: 978-0-306-42585-1
    Medium: Buch
    94,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snelting / Mehlhorn | Informatik 2000 | Buch | Sack Fachmedien

    Snelting / Mehlhorn Informatik 2000

    Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67880-9
    Medium: Buch
    84,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Misra | A Discipline of Multiprogramming | Buch | Sack Fachmedien

    Misra A Discipline of Multiprogramming

    Programming Theory for Distributed Applications
    2001. Auflage 2001
    Verlag: Springer
    ISBN: 978-0-387-95206-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zachary | Introduction to Scientific Programming | Buch | Sack Fachmedien

    Zachary Introduction to Scientific Programming

    Computational Problem Solving Using Mathematica(r) and C
    1998. Auflage 1997
    Verlag: Springer
    ISBN: 978-0-387-98250-2
    Medium: Buch
    95,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fritzson | Compiler Construction | Buch | Sack Fachmedien

    Fritzson Compiler Construction

    5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57877-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Penczek / Szalas | Mathematical Foundations of Computer Science 1996 | Buch | Sack Fachmedien

    Penczek / Szalas Mathematical Foundations of Computer Science 1996

    21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61550-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donatelli / Kleijn | Application and Theory of Petri Nets 1999 | Buch | Sack Fachmedien

    Donatelli / Kleijn Application and Theory of Petri Nets 1999

    20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66132-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amestoy / Berger / Dayde | Euro-Par' 99 Parallel Processing | Buch | Sack Fachmedien

    Amestoy / Berger / Dayde Euro-Par' 99 Parallel Processing

    5th International Euro-Par Conference Toulouse, France, August 31-September 3, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66443-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asada / Kitano | RoboCup-98: Robot Soccer World Cup II | Buch | Sack Fachmedien

    Asada / Kitano RoboCup-98: Robot Soccer World Cup II

    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66320-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robert / Parashar / Badrinath | High Performance Computing - HiPC 2006 | Buch | Sack Fachmedien

    Robert / Parashar / Badrinath High Performance Computing - HiPC 2006

    13th International Conference Bangalore, India, December 18-21, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68039-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuellar / Maibaum | FM 2008: Formal Methods | Buch | Sack Fachmedien

    Cuellar / Maibaum FM 2008: Formal Methods

    15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68235-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nierstrasz / Lemoine | Software Engineering - ESEC/FSE '99 | Buch | Sack Fachmedien

    Nierstrasz / Lemoine Software Engineering - ESEC/FSE '99

    7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66538-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Madria / Claypool / Kannan | Distributed Computing and Internet Technology | Buch | Sack Fachmedien

    Madria / Claypool / Kannan Distributed Computing and Internet Technology

    Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68379-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pandu Rangan / Raman / Ramanujam | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Pandu Rangan / Raman / Ramanujam Foundations of Software Technology and Theoretical Computer Science

    19th Conference, Chennai, India, December 13-15, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66836-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Hee / Valk | Applications and Theory of Petri Nets | Buch | Sack Fachmedien

    van Hee / Valk Applications and Theory of Petri Nets

    29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68745-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jähnichen | Compiler Construction | Buch | Sack Fachmedien

    Jähnichen Compiler Construction

    8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65717-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Backhouse / Nuno Oliveira | Mathematics of Program Construction | Buch | Sack Fachmedien

    Backhouse / Nuno Oliveira Mathematics of Program Construction

    5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67727-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rolim | Parallel and Distributed Processing | Buch | Sack Fachmedien

    Rolim Parallel and Distributed Processing

    15 IPDPS 2000 Workshops Cancun, Mexico, May 1-5, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67442-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guelfi / Buchs | Rapid Integration of Software Engineering Techniques | Buch | Sack Fachmedien

    Guelfi / Buchs Rapid Integration of Software Engineering Techniques

    Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-71875-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sokolsky / Tasiran | Runtime Verification | Buch | Sack Fachmedien

    Sokolsky / Tasiran Runtime Verification

    7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77394-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gervasi | Computational Science and Its Applications - ICCSA 2007 | Buch | Sack Fachmedien

    Gervasi Computational Science and Its Applications - ICCSA 2007

    International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part III
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74482-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gervasi | Computational Science and Its Applications - ICCSA 2007 | Buch | Sack Fachmedien

    Gervasi Computational Science and Its Applications - ICCSA 2007

    International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74468-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Bonsangue / Graf | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    de Boer / Bonsangue / Graf Formal Methods for Components and Objects

    5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74791-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dershowitz / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Dershowitz / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75558-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coudert / Simplot-Ryl / Stojmenovic | Ad-hoc, Mobile and Wireless Networks | Buch | Sack Fachmedien

    Coudert / Simplot-Ryl / Stojmenovic Ad-hoc, Mobile and Wireless Networks

    7th International Conference, ADHOC-NOW 2008, Sophia Antipolis, France, September 10-12, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85208-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luque / Margalef / Benítez | Euro-Par 2008 Parallel Processing | Buch | Sack Fachmedien

    Luque / Margalef / Benítez Euro-Par 2008 Parallel Processing

    14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-85450-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolper | Computer Aided Verification | Buch | Sack Fachmedien

    Wolper Computer Aided Verification

    7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60045-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dörr | Efficient Graph Rewriting and Its Implementation | Buch | Sack Fachmedien

    Dörr Efficient Graph Rewriting and Its Implementation

    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60055-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alagar / Nivat | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Alagar / Nivat Algebraic Methodology and Software Technology

    4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60043-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Möller | Mathematics of Program Construction | Buch | Sack Fachmedien

    Möller Mathematics of Program Construction

    Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60117-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Verdone | Wireless Sensor Networks | Buch | Sack Fachmedien

    Verdone Wireless Sensor Networks

    5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77689-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yorav | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Yorav Hardware and Software: Verification and Testing

    Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77964-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hierons / Bowen / Harman | Formal Methods and Testing | Buch | Sack Fachmedien

    Hierons / Bowen / Harman Formal Methods and Testing

    An Outcome of the FORTEST Network. Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78916-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Volkert | Parallel Computation | Buch | Sack Fachmedien

    Volkert Parallel Computation

    Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57314-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roberto | Intelligent Perceptual Systems | Buch | Sack Fachmedien

    Roberto Intelligent Perceptual Systems

    New Directions in Computational Perception
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57379-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diaz-Herrera | Software Engineering Education | Buch | Sack Fachmedien

    Diaz-Herrera Software Engineering Education

    7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57461-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mundy / Zisserman / Forsyth | Applications of Invariance in Computer Vision | Buch | Sack Fachmedien

    Mundy / Zisserman / Forsyth Applications of Invariance in Computer Vision

    Second Joint European - US Workshop, Ponta Delgada, Azores, Portugal, October 9 - 14, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58240-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parisi-Presicce | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Parisi-Presicce Recent Trends in Algebraic Development Techniques

    12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64299-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Astesiano | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Astesiano Fundamental Approaches to Software Engineering

    First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64303-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cérin / Li | Advances in Grid and Pervasive Computing | Buch | Sack Fachmedien

    Cérin / Li Advances in Grid and Pervasive Computing

    Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72359-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi / Albada / Dongarra | Computational Science - ICCS 2007 | Buch | Sack Fachmedien

    Shi / Albada / Dongarra Computational Science - ICCS 2007

    7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72589-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malek / Reitenspieß / Moorsel | Service Availability | Buch | Sack Fachmedien

    Malek / Reitenspieß / Moorsel Service Availability

    4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72735-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Wooldridge | Model Checking and Artificial Intelligence | Buch | Sack Fachmedien

    Peled / Wooldridge Model Checking and Artificial Intelligence

    5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00430-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Mosses / Orejas | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro / Mosses / Orejas Recent Trends in Algebraic Development Techniques

    17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25327-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gschwind / Mascolo | Software Engineering and Middleware | Buch | Sack Fachmedien

    Gschwind / Mascolo Software Engineering and Middleware

    4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25328-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerioli | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Cerioli Fundamental Approaches to Software Engineering

    8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25420-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rust | Operational Semantics for Timed Systems | Buch | Sack Fachmedien

    Rust Operational Semantics for Timed Systems

    A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25576-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malek / Reitenspieß / Kaiser | Service Availability | Buch | Sack Fachmedien

    Malek / Reitenspieß / Kaiser Service Availability

    First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24420-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Franch / Port | COTS-Based Software Systems | Buch | Sack Fachmedien

    Franch / Port COTS-Based Software Systems

    4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24548-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter / Stephan | Mechanizing Mathematical Reasoning | Buch | Sack Fachmedien

    Hutter / Stephan Mechanizing Mathematical Reasoning

    Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
    Erscheinungsjahr 2005
    Verlag: Springer
    ISBN: 978-3-540-25051-7
    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