Ergebnisse filtern
Fachgebiet
Medium
  • 1311
  • 29
Erscheinungsjahr
  • 1
  • 10
  • 4
  • 1
  • 6
  • 13
  • 6
  • 6
  • 6
  • 9
  • 16
  • 19
  • 13
  • 19
  • 15
  • 65
  • 27
  • 41
  • 86
  • 72
  • 99
  • 118
  • 81
  • 62
  • 74
  • 56
  • 58
  • 29
  • 32
  • 42
  • 37
  • 37
  • 26
  • 20
  • 39
  • 21
  • 22
  • 12
  • 9
  • 6
  • 5
  • 5
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
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
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 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
  • 2
  • 9
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 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
  • 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
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 3
  • 2
  • 4
  • 2
  • 1
  • 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
  • 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
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 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
  • 3
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 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
  • 3
  • 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
  • 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
  • 3
  • 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
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 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
  • 10
  • 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
  • 4
  • 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
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 3
  • 5
  • 2
  • 3
Verlag
  • 136
  • 1
  • 13
  • 1
  • 1
  • 4
  • 47
  • 4
  • 2
  • 2
  • 8
  • 7
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 6
  • 1
  • 1
  • 1
  • 873
  • 31
  • 7
  • 2
  • 21
  • 34
  • 44
  • 5
  • 1
  • 6
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 4
  • 34
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
Preis
  • 12
  • 199
  • 800
  • 329
Sprachen
  • 1181
  • 157
  • 2
Verfügbarkeit
  • 1335
  • 5
Eigenschaften
  • 1
Katalog
  • 1340
  • 51

Prozedurale Programmierung

1.340  Titel
    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
    Pollakowski | Grundkurs Socketprogrammierung mit C unter Linux | Buch | Sack Fachmedien

    Pollakowski Grundkurs Socketprogrammierung mit C unter Linux

    Das Einsteigerbuch
    3. Auflage 2030
    Verlag: Springer
    ISBN: 978-3-8348-1693-1
    Medium: Buch
    34,95 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Wolf / Krooß | Grundkurs C | Buch | Sack Fachmedien

    Wolf / Krooß Grundkurs C

    C-Programmierung verständlich erklärt. Aktuell zum Standard C23. Ideal fürs Studium
    4. aktualisierte und erweiterte Auflage 2024
    Verlag: Rheinwerk Verlag GmbH
    ISBN: 978-3-367-10440-6
    Medium: Buch
    16,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 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
    Pyeatt | Modern Assembly Language Programming with the Arm Processor | Buch | Sack Fachmedien

    Pyeatt Modern Assembly Language Programming with the Arm Processor

    2. Auflage 2024
    Verlag: Elsevier Science
    ISBN: 978-0-443-14114-0
    Medium: Buch
    84,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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-155-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    36,90 € (inkl. MwSt.)
    sofort verfügbar
    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
    Stamm / Goll | C als erste Programmiersprache | Buch | Sack Fachmedien

    Stamm / Goll C als erste Programmiersprache

    Nach den Standards C11 und C23
    9. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-658-45208-7
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stevenson | Einführung in die moderne Assembler-Programmierung | Buch | Sack Fachmedien

    Stevenson Einführung in die moderne Assembler-Programmierung

    RISC-V spielerisch und fundiert lernen
    1. Auflage 2024
    Verlag: dpunkt.Verlag
    ISBN: 978-3-98889-007-8
    Medium: Buch
    36,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 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
    Varma | Pro Bash | Buch | Sack Fachmedien

    Varma Pro Bash

    Learn to Script and Program the GNU/Linux Shell
    Third Auflage
    Verlag: Apress
    ISBN: 978-1-4842-9587-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kusswurm | Modern X86 Assembly Language Programming | Buch | Sack Fachmedien

    Kusswurm Modern X86 Assembly Language Programming

    Covers X86 64-bit, AVX, AVX2, and AVX-512
    Third Auflage
    Verlag: Apress
    ISBN: 978-1-4842-9602-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolf / Krooß | C von A bis Z | Buch | Sack Fachmedien

    Wolf / Krooß C von A bis Z

    Das umfassende Handbuch für die Programmierung mit C. Zum Lernen und Nachschlagen. Aktuell zum Standard C23
    5. aktualisierte Auflage 2023
    Verlag: Rheinwerk Verlag GmbH
    ISBN: 978-3-8362-9504-8
    Medium: Buch
    49,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Pergande | Digitalisierung und Legal Tech in Wirtschaftskanzleien | Buch | Sack Fachmedien

    Pergande Digitalisierung und Legal Tech in Wirtschaftskanzleien

    Methoden der Strategieentwicklung und Projektauswahl
    1. Auflage 2024
    Verlag: Tectum
    ISBN: 978-3-8288-5163-4
    Medium: Buch
    54,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolf / Krooß | Systemnahe Programmierung mit C und Linux | Buch | Sack Fachmedien

    Wolf / Krooß Systemnahe Programmierung mit C und Linux

    Das umfassende Handbuch zur Linux-Anwendungsprogrammierung
    5. aktualisierte Auflage 2024
    Verlag: Rheinwerk Verlag GmbH
    ISBN: 978-3-8362-9748-6
    Medium: Buch
    59,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Duntemann | x64 Assembly Language Step-by-Step | Buch | Sack Fachmedien

    Duntemann x64 Assembly Language Step-by-Step

    Programming with Linux
    4. Auflage 2023
    Verlag: Wiley John + Sons
    ISBN: 978-1-394-15524-8
    Medium: Buch
    62,50 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Appel | Modern Compiler Implementation in C | Buch | Sack Fachmedien

    Appel Modern Compiler Implementation in C

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-60765-0
    Medium: Buch
    100,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bai | Practical Microcontroller Engineering with Arm- Technology | Buch | Sack Fachmedien

    Bai Practical Microcontroller Engineering with Arm- Technology

    1. Auflage 2015
    Verlag: Wiley
    ISBN: 978-1-119-05237-1
    Medium: Buch
    110,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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
    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
    Iannucci | Parallel Machines: Parallel Machine Languages | Buch | Sack Fachmedien

    Iannucci Parallel Machines: Parallel Machine Languages

    The Emergence of Hybrid Dataflow Computer Architectures
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-0-7923-9101-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leermakers | The Functional Treatment of Parsing | Buch | Sack Fachmedien

    Leermakers The Functional Treatment of Parsing

    1993. Auflage 1993
    Verlag: Springer Us
    ISBN: 978-0-7923-9376-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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
    van Tilborg / Koob | Foundations of Real-Time Computing: Formal Specifications and Methods | Buch | Sack Fachmedien

    van Tilborg / Koob Foundations of Real-Time Computing: Formal Specifications and Methods

    1991. Auflage 1991
    Verlag: Springer Us
    ISBN: 978-0-7923-9167-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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
    Jacobs / Rensink | Formal Methods for Open Object-Based Distributed Systems V | Buch | Sack Fachmedien

    Jacobs / Rensink Formal Methods for Open Object-Based Distributed Systems V

    IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-0-7923-7683-5
    Medium: Buch
    106,99 € (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
    Britton / Doake | A Student Guide to Object-Oriented Development | Buch | Sack Fachmedien

    Britton / Doake A Student Guide to Object-Oriented Development

    Erscheinungsjahr 2004
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-7506-6123-2
    Medium: Buch
    Lieferzeit ca. 10 Werktage
    Zur Detailseite
    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
    150,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Grossetie / Gassilloud | Computing with Parallel Architecture: T.Node | Buch | Sack Fachmedien

    Grossetie / Gassilloud Computing with Parallel Architecture: T.Node

    1991
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-1225-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Du Boulay / Thornton | Artificial Intelligence Through Search | Buch | Sack Fachmedien

    Du Boulay / Thornton Artificial Intelligence Through Search

    1992
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-1868-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pollicini | Using Toolpack Software Tools | Buch | Sack Fachmedien

    Pollicini Using Toolpack Software Tools

    Proceedings of the Ispra-Course Held at the Joint Research Centre, Ispra, Italy, 17-21 November 1986
    1989. Auflage 1988
    Verlag: Springer
    ISBN: 978-0-7923-0033-5
    Medium: Buch
    95,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Mermet | Fundamentals and Standards in Hardware Description Languages | Buch | Sack Fachmedien

    Mermet Fundamentals and Standards in Hardware Description Languages

    1993
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-2513-0
    Medium: Buch
    353,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurian John / Maynard | Workload Characterization of Emerging Computer Applications | Buch | Sack Fachmedien

    Kurian John / Maynard Workload Characterization of Emerging Computer Applications

    2001. Auflage 2001
    Verlag: Springer Us
    ISBN: 978-0-7923-7315-5
    Medium: Buch
    215,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Baeumle-Courth / Schmidt | Praktische Einführung in C | eBook | Sack Fachmedien
    E-Book

    Baeumle-Courth / Schmidt Praktische Einführung in C

    1. Auflage 2012
    Verlag: De Gruyter
    ISBN: 978-3-486-71709-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    34,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ronchi Della Rocca / Paolini | The Parametric Lambda Calculus | Buch | Sack Fachmedien

    Ronchi Della Rocca / Paolini The Parametric Lambda Calculus

    A Metamodel for Computation
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05746-5
    Medium: Buch
    53,49 € (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
    Mosses | CASL Reference Manual | Buch | Sack Fachmedien

    Mosses CASL Reference Manual

    The Complete Documentation of the Common Algebraic Specification Language
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21301-7
    Medium: Buch
    106,99 € (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
    Kameyama / Stuckey | Functional and Logic Programming | Buch | Sack Fachmedien

    Kameyama / Stuckey Functional and Logic Programming

    7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21402-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melnik | Generic Model Management | Buch | Sack Fachmedien

    Melnik Generic Model Management

    Concepts and Algorithms
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21980-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dong / Woodcock | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Dong / Woodcock Formal Methods and Software Engineering

    5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20461-9
    Medium: Buch
    106,99 € (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
    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
    Krall | Software and Compilers for Embedded Systems | Buch | Sack Fachmedien

    Krall Software and Compilers for Embedded Systems

    7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20145-8
    Medium: Buch
    53,49 € (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
    Businger | PORTAL Language Description | Buch | Sack Fachmedien

    Businger PORTAL Language Description

    2. extended Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18960-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atkinson / Morrison / Buneman | Data Types and Persistence | Buch | Sack Fachmedien

    Atkinson / Morrison / Buneman 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
    de Alfaro | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    de Alfaro Foundations of Software Science and Computational Structures

    12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00595-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Moor / Schwartzbach | Compiler Construction | Buch | Sack Fachmedien

    de Moor / Schwartzbach Compiler Construction

    18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00721-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caires / Vasconcelos | CONCUR 2007 - Concurrency Theory | Buch | Sack Fachmedien

    Caires / Vasconcelos CONCUR 2007 - Concurrency Theory

    18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74406-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 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
    de Boer / Bonsangue / Graf | Formal Methods for Components and Objects | Buch | Sack Fachmedien

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

    5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74791-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Magnusson | ECOOP 2002 - Object-Oriented Programming | Buch | Sack Fachmedien

    Magnusson ECOOP 2002 - Object-Oriented Programming

    16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43759-8
    Medium: Buch
    106,99 € (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
    Zwiers | Compositionality, Concurrency, and Partial Correctness | Buch | Sack Fachmedien

    Zwiers Compositionality, Concurrency, and Partial Correctness

    Proof Theories for Networks of Processes, and Their Relationship
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50845-8
    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
    Theoharis | Algorithms for Parallel Polygon Rendering | Buch | Sack Fachmedien

    Theoharis Algorithms for Parallel Polygon Rendering

    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51394-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tofte | Compiler Generators | Buch | Sack Fachmedien

    Tofte Compiler Generators

    What They Can Do, What They Might Do, and What They Will Probably Never Do
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-51471-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davenport | EUROCAL '87 | Buch | Sack Fachmedien

    Davenport EUROCAL '87

    European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51517-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Herrlich / Kreowski | Categorical Methods in Computer Science | Buch | Sack Fachmedien

    Ehrig / Herrlich / Kreowski Categorical Methods in Computer Science

    With Aspects from Topology
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51722-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sippu / Soisalon-Soininen | Parsing Theory | Buch | Sack Fachmedien

    Sippu / Soisalon-Soininen Parsing Theory

    Volume II LR(k) and LL(k) Parsing
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-51732-0
    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
    Hölldobler | Logik und Logikprogrammierung | Buch | Sack Fachmedien

    Hölldobler Logik und Logikprogrammierung

    Band 1: Grundlagen
    erweiterte Neuausgabe 2009
    Verlag: SYNCHRON - Wissenschaftsverlag der Autoren
    ISBN: 978-3-935025-84-3
    Medium: Buch
    29,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Altenburg | Embedded Systems Engineering | Buch | Sack Fachmedien

    Altenburg Embedded Systems Engineering

    Grundlagen - Technik - Anwendungen
    1. Auflage 2021
    Verlag: Hanser Fachbuchverlag
    ISBN: 978-3-446-46735-4
    Medium: Buch
    39,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Kernighan / Ritchie | Programmieren in C. ANSI C (2. A.) | Buch | Sack Fachmedien

    Kernighan / Ritchie Programmieren in C. ANSI C (2. A.)

    Mit dem C-Reference Manual
    1. Auflage 1990
    Verlag: Hanser Fachbuchverlag
    ISBN: 978-3-446-15497-1
    Medium: Buch
    32,90 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    FORTRAN-Programme zur Methode der finiten Elemente | Buch | Sack Fachmedien

    FORTRAN-Programme zur Methode der finiten Elemente

    3., neubearbeitete und erweiterte Auflage 1991
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-22064-0
    Medium: Buch
    44,99 € (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
    Weber | Praktische Systemprogrammierung | Buch | Sack Fachmedien

    Weber Praktische Systemprogrammierung

    Grundlagen und Realisierung unter UNIX und verwandten Systemen
    1998
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-05658-2
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mathes / Heinzl | Middleware in Java | Buch | Sack Fachmedien

    Mathes / Heinzl Middleware in Java

    Leitfaden zum Entwurf verteilter Anwendungen - Implementierung von verteilten Systemen über JMS - Verteilte Objekte über RMI und CORBA
    2005
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-05912-5
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamprecht | Einführung in die Programmiersprache FORTRAN 77 | Buch | Sack Fachmedien

    Lamprecht Einführung in die Programmiersprache FORTRAN 77

    Skriptum für Hörer aller Fachrichtungen ab 1. Semester
    1981
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-03345-3
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamprecht | Einführung in die Programmiersprache FORTRAN 77 | Buch | Sack Fachmedien

    Lamprecht Einführung in die Programmiersprache FORTRAN 77

    Anleitung zum Selbststudium
    2. Auflage 1985
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-13345-0
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miola | Design and Implementation of Symbolic Computation Systems | Buch | Sack Fachmedien

    Miola Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57235-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot / Falaschi / File | Static Analysis | Buch | Sack Fachmedien

    Cousot / Falaschi / File Static Analysis

    Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57264-0
    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
    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
    Bjørner / Broy / Pottosin | Formal Methods in Programming and Their Applications | Buch | Sack Fachmedien

    Bjørner / Broy / Pottosin Formal Methods in Programming and Their Applications

    International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57316-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shyamasundar | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Shyamasundar Foundations of Software Technology and Theoretical Computer Science

    13th Conference, Bombay, India, December 15-17, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57529-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gogolla | An Extended Entity-Relationship Model | Buch | Sack Fachmedien

    Gogolla An Extended Entity-Relationship Model

    Fundamentals and Pragmatics
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57648-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jarke / Bubenko / Jeffery | Advances in Database Technology - EDBT '94 | Buch | Sack Fachmedien

    Jarke / Bubenko / Jeffery Advances in Database Technology - EDBT '94

    4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57818-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fritzson | Compiler Construction | Buch | Sack Fachmedien

    Fritzson Compiler Construction

    5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57877-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Hagiya / Sato | Logic, Language and Computation | Buch | Sack Fachmedien

    Jones / Hagiya / Sato Logic, Language and Computation

    Festschrift in Honor of Satoru Takasu
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57935-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langmaack / Roever / Vytopil | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Langmaack / Roever / Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems

    Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58468-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hierons / Bowen / Harman | Formal Methods and Testing | Buch | Sack Fachmedien

    Hierons / Bowen / Harman Formal Methods and Testing

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

    Seidl Foundations of Software Science and Computational Structures

    10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71388-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Meuter | Advances in Smalltalk | Buch | Sack Fachmedien

    De Meuter Advances in Smalltalk

    14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71835-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Indulska / Raymond | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Indulska / Raymond Distributed Applications and Interoperable Systems

    7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72881-8
    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
    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
    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
    Dietz | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Dietz Languages and Compilers for Parallel Computing

    14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-04029-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zimmermann / Peuser / Tomlinson | Perspectives on Web Services | Buch | Sack Fachmedien

    Zimmermann / Peuser / Tomlinson Perspectives on Web Services

    Applying SOAP, WSDL and UDDI to Real-World Projects
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00914-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Sullivan | Recent Advances in Constraints | Buch | Sack Fachmedien

    O'Sullivan Recent Advances in Constraints

    Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00986-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fahringer / Scholz | Advanced Symbolic Analysis for Compilers | Buch | Sack Fachmedien

    Fahringer / Scholz Advanced Symbolic Analysis for Compilers

    New Techniques and Algorithms for Symbolic Program Analysis and Optimization
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-01185-9
    Medium: Buch
    53,49 € (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
    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
    Meinel / Tison | STACS 99 | Buch | Sack Fachmedien

    Meinel / Tison STACS 99

    16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65691-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Swierstra | Programming Languages and Systems | Buch | Sack Fachmedien

    Swierstra Programming Languages and Systems

    8th European Symposium on Programming, ESOP'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
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65699-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jähnichen | Compiler Construction | Buch | Sack Fachmedien

    Jähnichen Compiler Construction

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

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