• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Naturvetenskap och teknik
      2. Matematik och naturvetenskap
      3. Matematik
      4. Tillämpad matematik

      Berechenbarkeit, Komplexität, Logik

      Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

      AvEgon Börger

      Häftad, Tyska, 1986

      580 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Fler format och utgåvor

      Häftad

      528 kr

      Produktinformation

      • Utgivningsdatum:1986-01-01
      • Mått:155 x 235 x 27 mm
      • Vikt:739 g
      • Format:Häftad
      • Språk:Tyska
      • Antal sidor:470
      • Upplaga:2
      • Förlag:Springer Fachmedien Wiesbaden
      • ISBN:9783528189280

      Utforska kategorier

      • Tillämpad matematik inom Naturvetenskap och teknik
      • Teknik: allmänt inom Naturvetenskap och teknik
      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • Inhaltsübersicht.- Erstes Buch: Elementare Berechnungstheorie.- A: Mathematischer Algorithmusbegriff.- B: Komplexität Algorithmischer Unlösbarkeit.- C: Rekursivität Und Komplexität.- Zweites Buch: Elementare Prädikatenlogik.- D: Logische Analyse des Wahrheitsbegriffs.- E: Logische Analyse des Beweisbegriffs.- F: Komplexität Logischer Entscheidungsprobleme.- Bibliographie.- Symbolverzeichnis.
      Hoppa över listan

      Mer från samma författare

      Egon Börger, Vincenzo Gervasi - Structures of Computing, Häftad

      Structures of Computing

      Egon Börger, Vincenzo Gervasi

      Häftad, 2024

      639 kr

      Egon Börger, Angelo Gargantini, Elvinia Riccobene - Abstract State Machines 2003: Advances in Theory and Practice, Häftad

      Abstract State Machines 2003: Advances in Theory and Practice

      Egon Börger, Angelo Gargantini, Elvinia Riccobene

      Häftad, 2003

      581 kr

      Egon Börger, Robert Stärk - Abstract State Machines, Inbunden

      Abstract State Machines

      Egon Börger, Robert Stärk

      Inbunden, 2003

      581 kr

      Egon Börger - Computation Theory and Logic, Häftad

      Computation Theory and Logic

      Egon Börger

      Häftad, 1987

      581 kr

      Robert F. Stärk, Joachim Schmid, Egon Börger - Java and the Java Virtual Machine, Inbunden

      Java and the Java Virtual Machine

      Robert F. Stärk, Joachim Schmid, Egon Börger

      Inbunden, 2001

      581 kr

      Egon Börger, Erich Grädel, Yuri Gurevich - Classical Decision Problem, Häftad

      Classical Decision Problem

      Egon Börger, Erich Grädel, Yuri Gurevich

      Häftad, 2001

      2 014 kr

      Egon Börger, Hans Kleine Büning, Michael M. Richter - CSL '87, Häftad

      CSL '87

      Egon Börger, Hans Kleine Büning, Michael M. Richter

      Häftad, 1988

      581 kr

      Egon Börger, Hans Kleine Büning, Michael M. Richter - CSL'88, Häftad

      CSL'88

      Egon Börger, Hans Kleine Büning, Michael M. Richter

      Häftad, 1989

      564 kr

      Egon Börger, Hans Kleine Büning, Michael M. Richter - CSL '89, Häftad

      CSL '89

      Egon Börger, Hans Kleine Büning, Michael M. Richter

      Häftad, 1990

      581 kr

      Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld - Computer Science Logic, Häftad

      Computer Science Logic

      Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld

      Häftad, 1991

      564 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Egon Börger - Berechenbarkeit Komplexität Logik, Häftad

      Berechenbarkeit Komplexität Logik

      Egon Börger

      Häftad, 1992

      528 kr

      Egon Börger - Architecture Design and Validation Methods, Inbunden

      Architecture Design and Validation Methods

      Egon Börger

      Inbunden, 2000

      581 kr

      Egon Börger, Yuri Gurevich, Karl Meinke - Computer Science Logic, Häftad

      Computer Science Logic

      Egon Börger, Yuri Gurevich, Karl Meinke

      Häftad, 1994

      581 kr

      Egon Börger, Robert Stärk - Abstract State Machines, Häftad

      Abstract State Machines

      Egon Börger, Robert Stärk

      Häftad, 2013

      581 kr

      Egon Börger, Hans Kleine Büning, Michael M. Richter - CSL '87, Häftad

      CSL '87

      Egon Börger, Hans Kleine Büning, Michael M. Richter

      Häftad, 1988

      581 kr

      Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger - Subject-Oriented Business Process Management, Inbunden

      Subject-Oriented Business Process Management

      Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger

      Inbunden, 2012

      581 kr

      Egon Börger, Antonio Cisternino - Advances in Software Engineering, Häftad

      Advances in Software Engineering

      Egon Börger, Antonio Cisternino

      Häftad, 2008

      581 kr

      Egon Börger, Angelo Gargantini, Elvinia Riccobene - Abstract State Machines 2003: Advances in Theory and Practice, Häftad

      Abstract State Machines 2003: Advances in Theory and Practice

      Egon Börger, Angelo Gargantini, Elvinia Riccobene

      Häftad, 2003

      581 kr

      Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter - Computer Science Logic, Häftad

      Computer Science Logic

      Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter

      Häftad, 1993

      564 kr

      Egon Börger, Alexander Raschke - Modeling Companion for Software Practitioners, Häftad

      Modeling Companion for Software Practitioners

      Egon Börger, Alexander Raschke

      Häftad, 2018

      753 kr