fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

 Seite 3 von 10
Anzahl pro Seite
Sortiert nach
Produkte: 101 Seite 3 von 10 Filter
Anzahl Produkte: 101 Lecture Notes in Computer Science Grundlagen der Mathematik
Coquand / Dybjer / Nordström

Types for Proofs and Programs  

Types for Proofs and Programs
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Coquand / Dybjer / Nordström

Types for Proofs and Programs

  • Verlag: Springer
  • ISBN: 978-3-540-41517-6 (Buch)
  • Erscheinungstermin: 13.12.2000
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Nielsen / Thomas

Computer Science Logic  

Computer Science Logic
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Nielsen / Thomas

Computer Science Logic

  • Verlag: Springer
  • ISBN: 978-3-540-64570-2 (Buch)
  • Erscheinungstermin: 20.05.1998
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Groote / Hindley

Typed Lambda Calculi and Applications  

Typed Lambda Calculi and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Groote / Hindley

Typed Lambda Calculi and Applications

  • Verlag: Springer
  • ISBN: 978-3-540-62688-6 (Buch)
  • Erscheinungstermin: 12.03.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Schulz

Word Equations and Related Topics  

Word Equations and Related Topics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Schulz

Word Equations and Related Topics

  • Verlag: Springer
  • ISBN: 978-3-540-55124-9 (Buch)
  • Erscheinungstermin: 29.01.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Szepietowski

Turing Machines with Sublogarithmic Space  

Turing Machines with Sublogarithmic Space
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Szepietowski

Turing Machines with Sublogarithmic Space

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58355-4 (Buch)
  • Erscheinungstermin: 29.08.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Sekerinski / Ribeiro

Formal Methods Teaching  

Formal Methods Teaching
40,65 € (inkl. MwSt.) 37,99 € (zzgl. MwSt.)
Sekerinski / Ribeiro

Formal Methods Teaching

  • Verlag: Springer
  • ISBN: 978-3-031-71378-1 (Buch)
  • Erscheinungstermin: 05.09.2024
  • Lieferzeit ca. 10 Werktage
40,65 € (inkl. MwSt.) 37,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Pacholski / Tiuryn

Computer Science Logic  

Computer Science Logic
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Pacholski / Tiuryn

Computer Science Logic

  • Verlag: Springer
  • ISBN: 978-3-540-60017-6 (Buch)
  • Erscheinungstermin: 18.07.1995
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Börger / Hasenjaeger / Rödding

Logic and Machines: Decision Problems and Complexity  

Logic and Machines: Decision Problems and Complexity
37,44 € (inkl. MwSt.) 34,99 € (zzgl. MwSt.)
Börger / Hasenjaeger / Rödding

Logic and Machines: Decision Problems and Complexity

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-13331-5 (Buch)
  • Erscheinungstermin: 01.05.1984
  • Lieferzeit ca. 10 Werktage
37,44 € (inkl. MwSt.) 34,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Moller / Birtwistle

Logics for Concurrency  

Logics for Concurrency
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Moller / Birtwistle

Logics for Concurrency

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-60915-5 (Buch)
  • Erscheinungstermin: 06.03.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Blanck / Brattka / Hertling

Computability and Complexity in Analysis  

Computability and Complexity in Analysis
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Blanck / Brattka / Hertling

Computability and Complexity in Analysis

  • Verlag: Springer
  • ISBN: 978-3-540-42197-9 (Buch)
  • Erscheinungstermin: 23.05.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Zur Detailansicht Auf die Merkliste
Filter
Anzahl pro Seite
Sortiert nach

Unterthema 3