Ergebnisse filtern
Fachgebiet
Medium
  • 1316
  • 30
Erscheinungsjahr
  • 3
  • 10
  • 4
  • 1
  • 8
  • 13
  • 5
  • 6
  • 6
  • 9
  • 17
  • 18
  • 12
  • 18
  • 16
  • 64
  • 27
  • 41
  • 85
  • 72
  • 99
  • 118
  • 81
  • 62
  • 74
  • 56
  • 60
  • 29
  • 32
  • 42
  • 39
  • 37
  • 26
  • 20
  • 39
  • 21
  • 22
  • 12
  • 9
  • 6
  • 5
  • 5
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 7
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 4
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 6
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 3
  • 2
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 10
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 2
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 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
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 3
  • 5
  • 2
  • 3
Verlag
  • 135
  • 1
  • 13
  • 1
  • 1
  • 52
  • 4
  • 2
  • 6
  • 1
  • 7
  • 6
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 6
  • 1
  • 1
  • 1
  • 908
  • 11
  • 2
  • 47
  • 15
  • 4
  • 29
  • 3
  • 1
  • 6
  • 2
  • 4
  • 4
  • 1
  • 1
  • 4
  • 34
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
Preis
  • 12
  • 190
  • 806
  • 338
Sprachen
  • 1186
  • 158
  • 2
Verfügbarkeit
  • 1335
  • 11
Eigenschaften
  • 1
Katalog
  • 1346
  • 51
1.346  Titel
    Romijn / Smith / van de Pol | Integrated Formal Methods | Buch | Sack Fachmedien

    Romijn / Smith / van de Pol Integrated Formal Methods

    5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30492-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biswas / Nori | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Biswas / Nori Foundations of Software Technology and Theoretical Computer Science

    11th Conference, New Delhi, India, December 17-19, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54967-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Löwe / Südholt | Software Composition | Buch | Sack Fachmedien

    Löwe / Südholt Software Composition

    5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37657-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiedermann / Hajek | Mathematical Foundations of Computer Science 1995 | Buch | Sack Fachmedien

    Wiedermann / Hajek Mathematical Foundations of Computer Science 1995

    20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60246-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schellong | Moderne C-Programmierung | Buch | Sack Fachmedien

    Schellong Moderne C-Programmierung

    Kompendium und Referenz
    3., vollständig überarbeitete und erweiterte Auflage 2014
    Verlag: Springer
    ISBN: 978-3-642-54436-1
    Medium: Buch
    69,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kröger / Merz | Temporal Logic and State Systems | Buch | Sack Fachmedien

    Kröger / Merz Temporal Logic and State Systems

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-08680-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stevens / Whittle / Booch | UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications | Buch | Sack Fachmedien

    Stevens / Whittle / Booch UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications

    6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-20243-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finance | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Finance Fundamental Approaches to Software Engineering

    Second International Conference, FASE'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-65718-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Elahi / Arjeski | ARM Assembly Language with Hardware Experiments | Buch | Sack Fachmedien

    Elahi / Arjeski ARM Assembly Language with Hardware Experiments

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-37954-8
    Medium: Buch
    89,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antoniou / Boley | Rules and Rule Markup Languages for the Semantic Web | Buch | Sack Fachmedien

    Antoniou / Boley Rules and Rule Markup Languages for the Semantic Web

    Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23842-3
    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
    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
    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
    Dony / Knudsen / Romanovsky | Advanced Topics in Exception Handling Techniques | Buch | Sack Fachmedien

    Dony / Knudsen / Romanovsky Advanced Topics in Exception Handling Techniques

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37443-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cleaveland | CONCUR '92 | Buch | Sack Fachmedien

    Cleaveland CONCUR '92

    Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55822-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 3 | Buch | Sack Fachmedien

    Bjørner Software Engineering 3

    Domains, Requirements, and Software Design
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-21151-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graf / Zhang | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Graf / Zhang Automated Technology for Verification and Analysis

    4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47237-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Groote | CONCUR '91 | Buch | Sack Fachmedien

    Baeten / Groote CONCUR '91

    2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54430-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atkinson / Buneman / Morrison | Data Types and Persistence | Buch | Sack Fachmedien

    Atkinson / Buneman / Morrison Data Types and Persistence

    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18785-1
    Medium: Buch
    106,99 € (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
    Katupitiya / Bentley | Interfacing with C++ | Buch | Sack Fachmedien

    Katupitiya / Bentley Interfacing with C++

    Programming Real-World Applications
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25378-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lau / Banach | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Lau / Banach Formal Methods and Software Engineering

    7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29797-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dittrich / Guerrini / Merlo | Objects and Databases | Buch | Sack Fachmedien

    Dittrich / Guerrini / Merlo Objects and Databases

    International Symposium, Sophia Antipolis, France, June 13, 2000. Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41664-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schäfer / Botella | Software Engineering - ESEC '95 | Buch | Sack Fachmedien

    Schäfer / Botella Software Engineering - ESEC '95

    5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60406-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boiten / Derrick / Smith | Integrated Formal Methods | Buch | Sack Fachmedien

    Boiten / Derrick / Smith Integrated Formal Methods

    4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21377-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boulé / Zilic | Generating Hardware Assertion Checkers | Buch | Sack Fachmedien

    Boulé / Zilic Generating Hardware Assertion Checkers

    For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
    2008. Auflage 2008
    Verlag: Springer
    ISBN: 978-1-4020-8585-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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
    Scholze | Einführung in die Mikrocomputertechnik | Buch | Sack Fachmedien

    Scholze Einführung in die Mikrocomputertechnik

    8-Bit- und 16-Bit-Systeme
    4., überarbeitete erweitert Auflage 1993
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-30104-2
    Medium: Buch
    49,99 € (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
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Gander / Hrebicek | Solving Problems in Scientific Computing Using Maple and MATLAB® | Buch | Sack Fachmedien

    Gander / Hrebicek Solving Problems in Scientific Computing Using Maple and MATLAB®

    Fourth Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21127-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitch | Design and Implementation of Symbolic Computation Systems | Buch | Sack Fachmedien

    Fitch Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57272-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Static Analysis | Buch | Sack Fachmedien

    Cousot Static Analysis

    10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40325-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olderog / Steffen | Correct System Design | Buch | Sack Fachmedien

    Olderog / Steffen Correct System Design

    Recent Insights and Advances
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66624-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Almási / Cascaval / Wu | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Almási / Cascaval / Wu Languages and Compilers for Parallel Computing

    19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-72520-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cointe | Meta-Level Architectures and Reflection | Buch | Sack Fachmedien

    Cointe Meta-Level Architectures and Reflection

    Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66280-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saraswat | Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation | Buch | Sack Fachmedien

    Saraswat Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation

    8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20632-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rashid / Aksit | Transactions on Aspect-Oriented Software Development II | Buch | Sack Fachmedien

    Rashid / Aksit Transactions on Aspect-Oriented Software Development II

    Focus: AOP Systems, Software and Middleware
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48890-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    America | ECOOP '91 European Conference on Object-Oriented Programming | Buch | Sack Fachmedien

    America ECOOP '91 European Conference on Object-Oriented Programming

    Geneva, Switzerland, July 15-19, 1991. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54262-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Roy | Multiparadigm Programming in Mozart/Oz | Buch | Sack Fachmedien

    Van Roy Multiparadigm Programming in Mozart/Oz

    Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25079-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Breu | Objektorientierter Softwareentwurf | Buch | Sack Fachmedien

    Breu Objektorientierter Softwareentwurf

    Integration mit UML
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41286-1
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aldini / Gorrieri | Foundations of Security Analysis and Design | Buch | Sack Fachmedien

    Aldini / Gorrieri Foundations of Security Analysis and Design

    FOSAD 2006/2007 Turtorial Lectures
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74809-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmid / Kitzelmann | Approaches and Applications of Inductive Programming | Buch | Sack Fachmedien

    Schmid / Kitzelmann Approaches and Applications of Inductive Programming

    Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11930-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dam | Analysis and Verification of Multiple-Agent Languages | Buch | Sack Fachmedien

    Dam Analysis and Verification of Multiple-Agent Languages

    5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62503-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davies / Gibbons | Integrated Formal Methods | Buch | Sack Fachmedien

    Davies / Gibbons Integrated Formal Methods

    6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73209-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gonzalez-Morris / Horton | Beginning C | Buch | Sack Fachmedien

    Gonzalez-Morris / Horton Beginning C

    From Beginner to Pro
    Seventh Auflage
    Verlag: Apress
    ISBN: 979-8-8688-0148-8
    Medium: Buch
    69,54 € (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
    Abramsky / Maibaum | TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 | Buch | Sack Fachmedien

    Abramsky / Maibaum TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

    Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-53982-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beer | Concepts, Design, and Performance Analysis of a Parallel Prolog Machine | Buch | Sack Fachmedien

    Beer Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-52053-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bauer / Höllerer | Übersetzung objektorientierter Programmiersprachen | Buch | Sack Fachmedien

    Bauer / Höllerer Übersetzung objektorientierter Programmiersprachen

    Konzepte, abstrakte Maschinen und Praktikum "Java-Compiler"
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64256-5
    Medium: Buch
    32,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horváth | Central European Functional Programming School | Buch | Sack Fachmedien

    Horváth Central European Functional Programming School

    First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46843-1
    Medium: Buch
    53,49 € (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
    Ehrig / Jantke / Orejas | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Ehrig / Jantke / Orejas Recent Trends in Data Type Specification

    7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54496-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iovine | PIC Projects for Non-Programmers | Buch | Sack Fachmedien

    Iovine PIC Projects for Non-Programmers

    Erscheinungsjahr 2011
    Verlag: Elsevier Science
    ISBN: 978-1-85617-603-3
    Medium: Buch
    40,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Logofatu | Einführung in C | Buch | Sack Fachmedien

    Logofatu Einführung in C

    Praktisches Lern- und Arbeitsbuch für Programmieranfänger
    2., überarbeitete Auflage 2016
    Verlag: Springer
    ISBN: 978-3-658-12921-7
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoffmann | Einführung in systemnahe Programmierung | Buch | Sack Fachmedien

    Hoffmann Einführung in systemnahe Programmierung

    Anwenderprogramme und Datenstrukturen
    Nachdruck 2011
    Verlag: De Gruyter
    ISBN: 978-3-11-012466-8
    Medium: Buch
    119,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diks / Rytter | Mathematical Foundations of Computer Science 2002 | Buch | Sack Fachmedien

    Diks / Rytter Mathematical Foundations of Computer Science 2002

    27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44040-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stevenson | Einführung in die moderne Assembler-Programmierung | eBook | Sack Fachmedien
    E-Book

    Stevenson Einführung in die moderne Assembler-Programmierung

    RISC-V spielerisch und fundiert lernen
    1. Auflage 2024
    Verlag: dpunkt.verlag
    ISBN: 978-3-98890-156-9
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    36,90 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Broy / Jonsson / Katoen | Model-Based Testing of Reactive Systems | Buch | Sack Fachmedien

    Broy / Jonsson / Katoen Model-Based Testing of Reactive Systems

    Advanced Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26278-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Schmidt / Crnkovic / Heineman | Component-Based Software Engineering | Buch | Sack Fachmedien

    Schmidt / Crnkovic / Heineman Component-Based Software Engineering

    10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73550-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gries / de Roever | Programming Concepts and Methods PROCOMET '98 | Buch | Sack Fachmedien

    Gries / de Roever Programming Concepts and Methods PROCOMET '98

    IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-0-412-83760-9
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Paulson / Wenzel | Isabelle/HOL | Buch | Sack Fachmedien

    Nipkow / Paulson / Wenzel Isabelle/HOL

    A Proof Assistant for Higher-Order Logic
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43376-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herrmann | Grundkurs C++ in Beispielen | Buch | Sack Fachmedien

    Herrmann Grundkurs C++ in Beispielen

    Eine Einführung in das Programmieren - Beispiele aus Mathematik und Technik - Objektorientierung anschaulich mit UML
    6., überarbeitete und erweitert Auflage 2004
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-54655-7
    Medium: Buch
    32,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paddock / Goff | Pro VS 2005 Reporting using SQL Server and Crystal Reports | Buch | Sack Fachmedien

    Paddock / Goff Pro VS 2005 Reporting using SQL Server and Crystal Reports

    1. Auflage 2006
    Verlag: Apress
    ISBN: 978-1-59059-688-3
    Medium: Buch
    49,83 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt | Guide to the Unified Process featuring UML, Java and Design Patterns | Buch | Sack Fachmedien

    Hunt Guide to the Unified Process featuring UML, Java and Design Patterns

    2. Auflage 2003
    Verlag: Springer
    ISBN: 978-1-85233-721-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pym | The Semantics and Proof Theory of the Logic of Bunched Implications | Buch | Sack Fachmedien

    Pym The Semantics and Proof Theory of the Logic of Bunched Implications

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer
    ISBN: 978-90-481-6072-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Csendes | Developments in Reliable Computing | Buch | Sack Fachmedien

    Csendes Developments in Reliable Computing

    1999
    Verlag: Springer
    ISBN: 978-90-481-5350-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eisenstadt / Brayshaw / Paine | The Transparent PROLOG Machine: Visualizing Logic Programs | Buch | Sack Fachmedien

    Eisenstadt / Brayshaw / Paine The Transparent PROLOG Machine: Visualizing Logic Programs

    1991. Auflage 1991
    Verlag: Springer
    ISBN: 978-0-7923-1447-9
    Medium: Buch
    152,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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
    Erscheinungsjahr 1988
    Verlag: Springer US
    ISBN: 978-0-7923-0033-5
    Medium: Buch
    93,08 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Spiess / Rheingans | Einführung in das Programmieren in FORTRAN | Buch | Sack Fachmedien

    Spiess / Rheingans Einführung in das Programmieren in FORTRAN

    14 Tab.
    Erscheinungsjahr 1970
    Verlag: De Gruyter
    ISBN: 978-3-11-129572-5
    Medium: Buch
    109,95 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Kaufmann / Manolios / Moore | Computer-Aided Reasoning | Buch | Sack Fachmedien

    Kaufmann / Manolios / Moore Computer-Aided Reasoning

    ACL2 Case Studies
    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer US
    ISBN: 978-1-4419-4981-3
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grimm | Languages for System Specification | Buch | Sack Fachmedien

    Grimm Languages for System Specification

    Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL'03
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer US
    ISBN: 978-1-4419-5457-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goguen / Malcolm | Software Engineering with OBJ | Buch | Sack Fachmedien

    Goguen / Malcolm 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
    Liu / Araki | Theoretical Aspects of Computing - ICTAC 2004 | Buch | Sack Fachmedien

    Liu / Araki Theoretical Aspects of Computing - ICTAC 2004

    First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25304-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kranzlmüller / Kacsuk / Dongarra | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Kranzlmüller / Kacsuk / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface

    11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23163-9
    Medium: Buch
    53,49 € (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
    Gotzhein / Reed | System Analysis and Modeling: Language Profiles | Buch | Sack Fachmedien

    Gotzhein / Reed System Analysis and Modeling: Language Profiles

    5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68371-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padgham / Zambonelli | Agent-Oriented Software Engineering VII | Buch | Sack Fachmedien

    Padgham / Zambonelli Agent-Oriented Software Engineering VII

    7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70944-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dershowitz | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Dershowitz Rewriting Techniques and Applications

    3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51081-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bode / Dongarra / Ludwig | Parallel Virtual Machine - EuroPVM'96 | Buch | Sack Fachmedien

    Bode / Dongarra / Ludwig Parallel Virtual Machine - EuroPVM'96

    Third European PVM Conference, Munich, Germany, October, 7 - 9, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61779-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dershowitz | Verification: Theory and Practice | Buch | Sack Fachmedien

    Dershowitz Verification: Theory and Practice

    Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
    2003
    Verlag: Springer
    ISBN: 978-3-540-21002-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Kacsuk / Podhorszki | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Dongarra / Kacsuk / Podhorszki Recent Advances in Parallel Virtual Machine and Message Passing Interface

    7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41010-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henz | Objects for Concurrent Constraint Programming | Buch | Sack Fachmedien

    Henz Objects for Concurrent Constraint Programming

    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-0-7923-8038-2
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kacsuk / Kotsis | Distributed and Parallel Systems | Buch | Sack Fachmedien

    Kacsuk / Kotsis Distributed and Parallel Systems

    From Instruction Parallelism to Cluster Computing
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-0-7923-7892-1
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adamo | Multi-Threaded Object-Oriented MPI-Based Message Passing Interface | Buch | Sack Fachmedien

    Adamo Multi-Threaded Object-Oriented MPI-Based Message Passing Interface

    The ARCH Library
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-0-7923-8165-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Hondt | Technology of Object-Oriented Languages, Systems and Architectures | Buch | Sack Fachmedien

    D'Hondt Technology of Object-Oriented Languages, Systems and Architectures

    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-1-4020-7428-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halbwachs | Synchronous Programming of Reactive Systems | Buch | Sack Fachmedien

    Halbwachs Synchronous Programming of Reactive Systems

    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-0-7923-9311-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goos / Zimmermann | Vorlesungen über Informatik | Buch | Sack Fachmedien

    Goos / Zimmermann Vorlesungen über Informatik

    Band 1: Grundlagen und funktionales Programmieren
    4., überarbeitete Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-24405-9
    Medium: Buch
    24,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kofler | Linux Command Reference | Buch | Sack Fachmedien

    Kofler Linux Command Reference

    Shell Commands from A to Z
    1. Auflage 2025
    Verlag: Rheinwerk Verlag GmbH
    ISBN: 978-1-4932-2749-5
    Medium: Buch
    39,95 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Dieterich | Assembler | Buch | Sack Fachmedien

    Dieterich Assembler

    Grundlagen der PC-Programmierung
    5. überarbeitete Auflage 2005
    Verlag: De Gruyter
    ISBN: 978-3-486-20001-0
    Medium: Buch
    64,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gehrke / Köberle / Tenten | C-Programmieren in 10 Tagen | Buch | Sack Fachmedien

    Gehrke / Köberle / Tenten C-Programmieren in 10 Tagen

    Eine Einführung für Naturwissenschaftler und Ingenieure
    1. Auflage 2020
    Verlag: De Gruyter
    ISBN: 978-3-11-048512-7
    Medium: Buch
    54,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biethahn | Einführung in die EDV für Wirtschaftswissenschaftler | Buch | Sack Fachmedien

    Biethahn Einführung in die EDV für Wirtschaftswissenschaftler

    Auf der Basis von PASCAL und C
    10., überarbeitete und erweiterte Auflage. Nachdruck 2018
    Verlag: De Gruyter
    ISBN: 978-3-486-25994-0
    Medium: Buch
    119,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voros / Masselos | System Level Design of Reconfigurable Systems-on-Chip | Buch | Sack Fachmedien

    Voros / Masselos System Level Design of Reconfigurable Systems-on-Chip

    Softcover Nachdruck of hardcover 1. Auflage 2005
    Verlag: Springer
    ISBN: 978-1-4419-3864-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Detienne | Software Design - Cognitive Aspect | Buch | Sack Fachmedien

    Detienne Software Design - Cognitive Aspect

    1. Auflage. 2001
    Verlag: Springer
    ISBN: 978-1-85233-253-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holub | Taming Java Threads | Buch | Sack Fachmedien

    Holub Taming Java Threads

    1. Auflage 2000
    Verlag: Apress
    ISBN: 978-1-893115-10-1
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Sztipanovits | Reliable Systems on Unreliable Networked Platforms | Buch | Sack Fachmedien

    Kordon / Sztipanovits Reliable Systems on Unreliable Networked Platforms

    12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71155-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Misra / Nipkow / Sekerinski | FM 2006: Formal Methods | Buch | Sack Fachmedien

    Misra / Nipkow / Sekerinski FM 2006: Formal Methods

    14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37215-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuper / Libkin / Paredaens | Constraint Databases | Buch | Sack Fachmedien

    Kuper / Libkin / Paredaens Constraint Databases

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-66151-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorton / Heinemann / Crnkovic | Component-Based Software Engineering | Buch | Sack Fachmedien

    Gorton / Heinemann / Crnkovic Component-Based Software Engineering

    9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35628-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramanujam / Sen | FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Ramanujam / Sen FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

    25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30495-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Briand / Williams | Model Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Briand / Williams Model Driven Engineering Languages and Systems

    8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29010-0
    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