Bokus

Lehrbuch Informatik – serie

Visar alla böcker i serien Lehrbuch Informatik. Handla med fri frakt och snabb leverans.

8 produkter

  1. Eike Best - Semantik, Häftad. Tillgänglighet: Lägg i varukorg

    Semantik

    Theorie sequentieller und paralleler Programmierung

    Av Eike Best

    Häftad, 2012

    619 kr

    Lägg i varukorg

    Ich mochte mit zwei Behauptungen beginnen: Die formale Semantik gehOrt zu den wichtigen Themen der Informatik. Ein wichtiges Thema der Informatik ist die formale Semantik. Anhand dieser beiden Behauptungen mochte ich Ihnen, lieber Leser, den Gegenstand dieses Buches erkIaren: man sagt, daB die …

  2. Ulrich Golze - VLSI-Entwurf eines RISC-Prozessors, Häftad. Tillgänglighet: Lägg i varukorg

    VLSI-Entwurf eines RISC-Prozessors

    Eine Einführung in das Design großer Chips und die Hardware-Beschreibungssprache VERILOG HDL

    Av Ulrich Golze

    Häftad, 2014

    719 kr

    Lägg i varukorg

  3. Dirk Siefkes - Formalisieren und Beweisen, Häftad. Tillgänglighet: Lägg i varukorg

    Formalisieren und Beweisen

    Logik für Informatiker

    Av Dirk Siefkes

    Häftad, 1990

    583 kr

    Lägg i varukorg

  4. Thomas Braunl - Parallele Programmierung, Häftad. Tillgänglighet: Lägg i varukorg

    Parallele Programmierung

    Eine Einführung

    Av Thomas Braunl

    Häftad, 1993

    514 kr

    Lägg i varukorg

  5. John L. Hennessy, David A. Patterson - Rechnerarchitektur, Häftad. Tillgänglighet: Lägg i varukorg

    Rechnerarchitektur

    Analyse, Entwurf, Implementierung, Bewertung

    Av John L. Hennessy, David A. Patterson

    Häftad, 1994

    583 kr

    Lägg i varukorg

  6. Andreas Solymosi - Objektorientiertes Plug and Play, Häftad. Tillgänglighet: Lägg i varukorg

    Objektorientiertes Plug and Play

    Ein Programmierlehrbuch für Wiederverwendbarkeit und Softwarequalität in C++

    Av Andreas Solymosi

    Häftad, 1997

    515 kr

    Lägg i varukorg

  7. Dirk Siefkes - Formalisieren und Beweisen, Häftad. Tillgänglighet: Lägg i varukorg

    Formalisieren und Beweisen

    Logik für Informatiker

    Av Dirk Siefkes

    Häftad, 1992

    719 kr

    Lägg i varukorg

    Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein­ l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach!" Der Computer rechnet und rechnet und gibt …

  8. Klaus Weltner - Mathematik für Physiker, Häftad. Tillgänglighet: Lägg i varukorg

    Mathematik für Physiker

    Basiswissen für das Grundstudium der Experimentalphysik

    Av Klaus Weltner

    Häftad, 1988

    719 kr

    Lägg i varukorg