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
  • 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
  • 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
  • 1336
  • 10
Eigenschaften
  • 1
Katalog
  • 1346
  • 51
1.346  Titel
    Bausum | TeX Reference Manual | Buch | Sack Fachmedien

    Bausum TeX Reference Manual

    1. Auflage 2002
    Verlag: Springer Nature B.V.
    ISBN: 978-0-7923-7673-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Schellekens | A Modular Calculus for the Average Cost of Data Structuring | Buch | Sack Fachmedien

    Schellekens A Modular Calculus for the Average Cost of Data Structuring

    2008
    Verlag: Springer
    ISBN: 978-0-387-73383-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaufmann / Manolios / Moore | Computer-Aided Reasoning | Buch | Sack Fachmedien

    Kaufmann / Manolios / Moore Computer-Aided Reasoning

    ACL2 Case Studies
    2000
    Verlag: Springer US
    ISBN: 978-0-7923-7849-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morris | Visual Basic 2005 Made Simple | Buch | Sack Fachmedien

    Morris Visual Basic 2005 Made Simple

    1. Auflage 2006
    Verlag: Taylor & Francis Ltd
    ISBN: 978-0-7506-6349-6
    Medium: Buch
    24,00 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Bjørner | Software Engineering 1 | Buch | Sack Fachmedien

    Bjørner Software Engineering 1

    Abstraction and Modelling
    1. Auflage 2005
    Verlag: Springer Netherlands
    ISBN: 978-3-540-21149-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner | Software Engineering 2 | Buch | Sack Fachmedien

    Bjørner Software Engineering 2

    Specification of Systems and Languages
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-21150-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kanngießer | Programmierung mit Strukturierter Text | Buch | Sack Fachmedien

    Kanngießer Programmierung mit Strukturierter Text

    Steuerungs-Funktionsbausteine mit ST oder SCL einfach und schnell erstellen. Für Ein- und AWL-Umsteiger
    2. überarbeitete und erweiterte Auflage 2017
    Verlag: VDE Verlag
    ISBN: 978-3-8007-4409-1
    Medium: Buch
    38,00 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Schmitt | Mikrocomputertechnik mit dem Controller C167 | eBook | Sack Fachmedien
    E-Book

    Schmitt Mikrocomputertechnik mit dem Controller C167

    Programmierung in Assembler und C; Schaltungen und Anwendungen
    1. Auflage 2009
    Verlag: De Gruyter
    ISBN: 978-3-486-59323-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    54,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kusswurm | Modern Arm Assembly Language Programming | Buch | Sack Fachmedien

    Kusswurm Modern Arm Assembly Language Programming

    Covers Armv8-A 32-bit, 64-bit, and SIMD
    1. Auflage 2020
    Verlag: Apress
    ISBN: 978-1-4842-6266-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Damm / Desel | Integration of Software Specification Techniques for Applications in Engineering | Buch | Sack Fachmedien

    Ehrig / Damm / Desel Integration of Software Specification Techniques for Applications in Engineering

    Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23135-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirsten / Ihringer / Kühn | Object-Oriented Application Development Using the Caché Postrelational Database | Buch | Sack Fachmedien

    Kirsten / Ihringer / Kühn Object-Oriented Application Development Using the Caché Postrelational Database

    2. revised and updated Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00960-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergenti / Gleizes / Zambonelli | Methodologies and Software Engineering for Agent Systems | Buch | Sack Fachmedien

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

    The Agent-Oriented Software Engineering Handbook
    Erscheinungsjahr 2004
    Verlag: Springer
    ISBN: 978-1-4020-8057-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosnacki / Leue | Model Checking Software | Buch | Sack Fachmedien

    Bosnacki / Leue Model Checking Software

    9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43477-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Backhouse / Crole / Gibbons | Algebraic and Coalgebraic Methods in the Mathematics of Program Construction | Buch | Sack Fachmedien

    Backhouse / Crole / Gibbons Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

    International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43613-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Astesiano / Reggio | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Astesiano / Reggio Recent Trends in Data Type Specification

    10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59132-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strohmeier | Reliable Software Technologies - Ada Europe 96 | Buch | Sack Fachmedien

    Strohmeier Reliable Software Technologies - Ada Europe 96

    1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61317-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erdweg | Assembler- Programmierung mit dem PC | Buch | Sack Fachmedien

    Erdweg Assembler- Programmierung mit dem PC

    Eine schrittweise und praxisnahe Einführung
    2., verbesserte und erweitert Auflage 1992
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-14791-4
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tarlecki | Mathematical Foundations of Computer Science 1991 | Buch | Sack Fachmedien

    Tarlecki Mathematical Foundations of Computer Science 1991

    16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54345-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosen / Strohmeier | Reliable Software Technologies -- Ada-Europe 2003 | Buch | Sack Fachmedien

    Rosen / Strohmeier Reliable Software Technologies -- Ada-Europe 2003

    8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40376-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dwyer | Model Checking Software | Buch | Sack Fachmedien

    Dwyer Model Checking Software

    8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42124-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cortesi / File | Static Analysis | Buch | Sack Fachmedien

    Cortesi / File Static Analysis

    6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66459-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dahl / Wadler | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Dahl / Wadler Practical Aspects of Declarative Languages

    5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00389-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Elias | FPGAs für Maker | Buch | Sack Fachmedien

    Elias FPGAs für Maker

    Eine praktische Einführung in programmierbare Logik
    2. erweiterte und aktualisierte Auflage 2024
    Verlag: dpunkt.verlag
    ISBN: 978-3-86490-593-3
    Medium: Buch
    39,90 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Halbwachs | Synchronous Programming of Reactive Systems | Buch | Sack Fachmedien

    Halbwachs Synchronous Programming of Reactive Systems

    1. Auflage. Softcover version of original hardcover Auflage 1993
    Verlag: Springer
    ISBN: 978-1-4419-5133-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gordon | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Gordon Foundations of Software Science and Computational Structures

    6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00897-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blackburn / Vaughn | ADO.NET Examples and Best Practices for C# Programmers | Buch | Sack Fachmedien

    Blackburn / Vaughn ADO.NET Examples and Best Practices for C# Programmers

    1. Auflage 2002
    Verlag: Apress
    ISBN: 978-1-59059-012-6
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wada | Logic Programming '85 | Buch | Sack Fachmedien

    Wada Logic Programming '85

    Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16479-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Habermann / Weiß | STEP®5-Crashkurs | Buch | Sack Fachmedien

    Habermann / Weiß STEP®5-Crashkurs

    SPS-Programmierung und -Simulation für Anwender
    5. durchgesehene Auflage 2011
    Verlag: VDE Verlag
    ISBN: 978-3-8007-3315-6
    Medium: Buch
    38,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lauer | Functional Programming, Concurrency, Simulation and Automated Reasoning | Buch | Sack Fachmedien

    Lauer Functional Programming, Concurrency, Simulation and Automated Reasoning

    International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56883-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kudenko / Kazakov / Alonso | Adaptive Agents and Multi-Agent Systems II | Buch | Sack Fachmedien

    Kudenko / Kazakov / Alonso Adaptive Agents and Multi-Agent Systems II

    Adaptation and Multi-Agent Learning
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25260-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Uhl / Schmid | A Systematic Catalogue of Reusable Abstract Data Types | Buch | Sack Fachmedien

    Uhl / Schmid A Systematic Catalogue of Reusable Abstract Data Types

    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53229-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Automated Deduction - CADE-18 | Buch | Sack Fachmedien

    Voronkov Automated Deduction - CADE-18

    18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43931-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gschwind / Assmann / Nierstrasz | Software Composition | Buch | Sack Fachmedien

    Gschwind / Assmann / Nierstrasz Software Composition

    4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28748-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gloistehn | Programmieren von Taschenrechnern | Buch | Sack Fachmedien

    Gloistehn Programmieren von Taschenrechnern

    1 Lehr- und Übungsbuch für den SR-56
    1977
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-04084-0
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stärk / Schmid / Börger | Java and the Java Virtual Machine | Buch | Sack Fachmedien

    Stärk / Schmid / Börger Java and the Java Virtual Machine

    Definition, Verification, Validation
    Erscheinungsjahr 2001
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-42088-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Baar / Strohmeier / Moreira | UML 2004 - The Unified Modeling Language | Buch | Sack Fachmedien

    Baar / Strohmeier / Moreira UML 2004 - The Unified Modeling Language

    Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23307-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Sampaio / Woodcock | Refinement Techniques in Software Engineering | Buch | Sack Fachmedien

    Cavalcanti / Sampaio / Woodcock Refinement Techniques in Software Engineering

    First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46253-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gyimothy | Compiler Construction | Buch | Sack Fachmedien

    Gyimothy Compiler Construction

    6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings.
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61053-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacquet | Conclog: A Methodological Approach to Concurrent Logic Programming | Buch | Sack Fachmedien

    Jacquet Conclog: A Methodological Approach to Concurrent Logic Programming

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54938-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odijk / Rem / Syre | PARLE '89 - Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Odijk / Rem / Syre PARLE '89 - Parallel Architectures and Languages Europe

    Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51285-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butterfield / Grelck / Huch | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Butterfield / Grelck / Huch Implementation and Application of Functional Languages

    17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-69174-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wallace | Principles and Practice of Constraint Programming - CP 2004 | Buch | Sack Fachmedien

    Wallace Principles and Practice of Constraint Programming - CP 2004

    10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23241-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christodoulakis | Ada: The Choice for '92 | Buch | Sack Fachmedien

    Christodoulakis Ada: The Choice for '92

    Ada-Europe International Conference Athens, Greece, May 13-17, 1991
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54092-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kienzle | Open Multithreaded Transactions | Buch | Sack Fachmedien

    Kienzle Open Multithreaded Transactions

    A Transaction Model for Concurrent Object-Oriented Programming
    Softcover Nachdruck of hardcover 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-90-481-6474-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padget | Collaboration between Human and Artificial Societies | Buch | Sack Fachmedien

    Padget Collaboration between Human and Artificial Societies

    Coordination and Agent-Based Distributed Computing
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66930-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barnes | Ada 2005 Rationale | Buch | Sack Fachmedien

    Barnes Ada 2005 Rationale

    The Language, The Standard Libraries
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79700-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banatre / Jones / Le Metayer | Prospects for Functional Programming in Software Engineering | Buch | Sack Fachmedien

    Banatre / Jones / Le Metayer Prospects for Functional Programming in Software Engineering

    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53852-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katoen | Formal Methods for Real-Time and Probabilistic Systems | Buch | Sack Fachmedien

    Katoen Formal Methods for Real-Time and Probabilistic Systems

    5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66010-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bordini / Dastani / Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Bordini / Dastani / Seghrouchni Programming Multi-Agent Systems

    Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24559-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pande / Agrawal | Compiler Optimizations for Scalable Parallel Systems | Buch | Sack Fachmedien

    Pande / Agrawal Compiler Optimizations for Scalable Parallel Systems

    Languages, Compilation Techniques, and Run Time Systems
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41945-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Perrin / Darte | The Data Parallel Programming Model | Buch | Sack Fachmedien

    Perrin / Darte The Data Parallel Programming Model

    Foundations, HPF Realization, and Scientific Applications
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61736-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sgall / Pultr / Kolman | Mathematical Foundations of Computer Science 2001 | Buch | Sack Fachmedien

    Sgall / Pultr / Kolman Mathematical Foundations of Computer Science 2001

    26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42496-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hammer | Compiler Compilers and High Speed Compilation | Buch | Sack Fachmedien

    Hammer Compiler Compilers and High Speed Compilation

    2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51364-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chivers / Sleightholme | Introducing Fortran 95 | Buch | Sack Fachmedien

    Chivers / Sleightholme Introducing Fortran 95

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-1-85233-276-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drossopoulou | Programming Languages and Systems | Buch | Sack Fachmedien

    Drossopoulou Programming Languages and Systems

    17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78738-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deransart / Maluszynski | Programming Language Implementation and Logic Programming | Buch | Sack Fachmedien

    Deransart / Maluszynski Programming Language Implementation and Logic Programming

    International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-53010-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tiuryn | Foundation of Software Science and Computation Structures | Buch | Sack Fachmedien

    Tiuryn Foundation of Software Science and Computation Structures

    Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67257-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith / Talcott | Formal Methods for Open Object-Based Distributed Systems IV | Buch | Sack Fachmedien

    Smith / Talcott Formal Methods for Open Object-Based Distributed Systems IV

    Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based D
    1. Auflage 2000
    Verlag: Springer Nature B.V.
    ISBN: 978-0-7923-7923-2
    Medium: Buch
    224,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Ciancarini / Nierstrasz / Yonezawa | Object-Based Models and Languages for Concurrent Systems | Buch | Sack Fachmedien

    Ciancarini / Nierstrasz / Yonezawa Object-Based Models and Languages for Concurrent Systems

    ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59450-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boer / Bonsangue / Graf | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Boer / Bonsangue / Graf Formal Methods for Components and Objects

    Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22942-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baader | Term Rewriting and Applications | Buch | Sack Fachmedien

    Baader Term Rewriting and Applications

    18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73447-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mueller / Bestavros | Languages, Compilers, and Tools for Embedded Systems | Buch | Sack Fachmedien

    Mueller / Bestavros Languages, Compilers, and Tools for Embedded Systems

    ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65075-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odersky | ECOOP 2004 - Object-Oriented Programming | Buch | Sack Fachmedien

    Odersky ECOOP 2004 - Object-Oriented Programming

    18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22159-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Gelernter / Nicolau | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Banerjee / Gelernter / Nicolau Languages and Compilers for Parallel Computing

    5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57502-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krishnamurthi / Ramakrishnan | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Krishnamurthi / Ramakrishnan Practical Aspects of Declarative Languages

    4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43092-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Große-Rhode | Semantic Integration of Heterogeneous Software Specifications | Buch | Sack Fachmedien

    Große-Rhode Semantic Integration of Heterogeneous Software Specifications

    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-07306-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blieberger / Strohmeier | Reliable Software Technologies - Ada-Europe 2002 | Buch | Sack Fachmedien

    Blieberger / Strohmeier Reliable Software Technologies - Ada-Europe 2002

    7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43784-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frühwirth / Abdennadher | Constraint-Programmierung | Buch | Sack Fachmedien

    Frühwirth / Abdennadher Constraint-Programmierung

    Grundlagen und Anwendungen
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-60670-3
    Medium: Buch
    22,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hansmann / Nicklous / Schäck | Smart Card Application Development Using Java | Buch | Sack Fachmedien

    Hansmann / Nicklous / Schäck Smart Card Application Development Using Java

    2. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43202-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ayesh | Essential UMLTm fast | Buch | Sack Fachmedien

    Ayesh Essential UMLTm fast

    Using SELECT Use Case Tool for Rapid Applications Development
    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer
    ISBN: 978-1-85233-413-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Boer / Bonsangue / Graf | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Boer / Bonsangue / Graf Formal Methods for Components and Objects

    First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20303-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sales Harkins / Reid | SQL | Buch | Sack Fachmedien

    Sales Harkins / Reid SQL

    Access to SQL Server
    1. Auflage 2002
    Verlag: Apress
    ISBN: 978-1-893115-30-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Ito / Halstead / Queinnec | Parallel Symbolic Languages and Systems | Buch | Sack Fachmedien

    Ito / Halstead / Queinnec Parallel Symbolic Languages and Systems

    International Workshop, PSLS '95, Beaune, France, October (2-4), 1995. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61143-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Interaction Between Compilers and Computer Architectures | Buch | Sack Fachmedien

    Interaction Between Compilers and Computer Architectures

    1. Auflage. Softcover version of original hardcover Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4419-4896-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamsweerde / Fuggetta | ESEC '91 | Buch | Sack Fachmedien

    Lamsweerde / Fuggetta ESEC '91

    3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54742-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clack / Hammond / Davie | Implementation of Functional Languages | Buch | Sack Fachmedien

    Clack / Hammond / Davie Implementation of Functional Languages

    9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64849-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mayr / Puech | STACS 95 | Buch | Sack Fachmedien

    Mayr / Puech STACS 95

    12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59042-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kozen / Shankland | Mathematics of Program Construction | Buch | Sack Fachmedien

    Kozen / Shankland Mathematics of Program Construction

    7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22380-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cointe | ECOOP '96 - Object-Oriented Programming | Buch | Sack Fachmedien

    Cointe ECOOP '96 - Object-Oriented Programming

    10th European Conference, Linz, Austria, July 8-12, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61439-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furukawa / Tanaka / Fujisaki | Logic Programming '88 | Buch | Sack Fachmedien

    Furukawa / Tanaka / Fujisaki Logic Programming '88

    Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51564-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diaz / Orejas | TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 | Buch | Sack Fachmedien

    Diaz / Orejas TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989

    Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50940-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Gelernter / Nicolau | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Banerjee / Gelernter / Nicolau Languages and Compilers for Parallel Computing

    Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55422-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adi / Stoutenburg / Tabet | Rules and Rule Markup Languages for the Semantic Web | Buch | Sack Fachmedien

    Adi / Stoutenburg / Tabet Rules and Rule Markup Languages for the Semantic Web

    First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29922-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dastani / Dix / EL Fallah-Seghrouchni | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Dastani / Dix / EL Fallah-Seghrouchni Programming Multi-Agent Systems

    First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22180-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lengauer / Batory / Consel | Domain-Specific Program Generation | Buch | Sack Fachmedien

    Lengauer / Batory / Consel Domain-Specific Program Generation

    International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22119-7
    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
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-90-481-7922-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Branquart / Louis / Wodon | An Analytical Description of CHILL, the CCITT High Level Language | Buch | Sack Fachmedien

    Branquart / Louis / Wodon An Analytical Description of CHILL, the CCITT High Level Language

    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11196-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gloistehn | Programmieren von Taschenrechnern 2 | Buch | Sack Fachmedien

    Gloistehn Programmieren von Taschenrechnern 2

    Lehr- und Übungsbuch für den TI-57
    1978
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-04094-9
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Altenkirch / Naraschewski / Reus | Types for Proofs and Programs | Buch | Sack Fachmedien

    Altenkirch / Naraschewski / Reus Types for Proofs and Programs

    International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66537-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sventek / Coulson | Middleware 2000 | Buch | Sack Fachmedien

    Sventek / Coulson Middleware 2000

    IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67352-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutvonen | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Kutvonen Distributed Applications and Interoperable Systems

    5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26262-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brezany | Input/Output Intensive Massively Parallel Computing | Buch | Sack Fachmedien

    Brezany Input/Output Intensive Massively Parallel Computing

    Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62840-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grelck / Huch / Michaelson | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Grelck / Huch / Michaelson Implementation and Application of Functional Languages

    16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26094-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Núnez / Rosu | Formal Approaches to Software Testing and Runtime Verification | Buch | Sack Fachmedien

    Havelund / Núnez / Rosu Formal Approaches to Software Testing and Runtime Verification

    First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49699-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot / Schmidt | Static Analysis | Buch | Sack Fachmedien

    Cousot / Schmidt Static Analysis

    Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61739-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro Recent Trends in Algebraic Development Techniques

    13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66246-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tick / Succi | Implementations of Logic Programming Systems | Buch | Sack Fachmedien

    Tick / Succi Implementations of Logic Programming Systems

    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-0-7923-9457-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vene / Uustalu | Advanced Functional Programming | Buch | Sack Fachmedien

    Vene / Uustalu Advanced Functional Programming

    5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28540-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goto / Araki / Yuasa | RIMS Symposium on Software Science and Engineering II | Buch | Sack Fachmedien

    Goto / Araki / Yuasa RIMS Symposium on Software Science and Engineering II

    Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16470-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rao | Extensions of the UNITY Methodology | Buch | Sack Fachmedien

    Rao Extensions of the UNITY Methodology

    Compositionality, Fairness and Probability in Parallelism
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59173-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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