Ergebnisse filtern
Fachgebiet
Medium
  • 27
  • 6
Erscheinungsjahr
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 5
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 1
  • 32
Preis
  • 3
  • 18
  • 12
Sprachen
  • 33
Verfügbarkeit
  • 25
  • 8
Katalog
  • 33
33  Treffer  für „Cambridge Tracts in Theoretical Computer Science“
    Wolfram | The Clausal Theory of Types | Buch | Sack Fachmedien

    Wolfram The Clausal Theory of Types

    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-39538-0
    Medium: Buch
    75,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padawitz | Deductive and Declarative Programming | Buch | Sack Fachmedien

    Padawitz Deductive and Declarative Programming

    Erscheinungsjahr 1992
    Verlag: Cambridge University Press
    ISBN: 978-0-521-41723-5
    Medium: Buch
    77,50 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Blackburn | Modal Logic | eBook | Sack Fachmedien
    E-Book

    Blackburn Modal Logic

    Erscheinungsjahr 2002
    Verlag: Cambridge University Press
    ISBN: 978-1-316-09907-0
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    72,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Roever / Boer / Hooman | Concurrency Verification | Buch | Sack Fachmedien

    Roever / Boer / Hooman Concurrency Verification

    Introduction to Compositional and Non-Compositional Methods
    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-80608-4
    Medium: Buch
    273,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mihov | Finite-State Techniques | eBook | Sack Fachmedien
    E-Book

    Mihov Finite-State Techniques

    Automata, Transducers and Bimachines
    Erscheinungsjahr 2019
    Verlag: Cambridge University Press
    ISBN: 978-1-108-62113-7
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    65,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Melham | Higher Order Logic and Hardware Verification | Buch | Sack Fachmedien

    Melham Higher Order Logic and Hardware Verification

    Erscheinungsjahr 2012
    Verlag: Cambridge University Press
    ISBN: 978-0-521-41718-1
    Medium: Buch
    134,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gu / Purdom / Franco | Algorithms for the Satisfiability Problem | Buch | Sack Fachmedien

    Gu / Purdom / Franco Algorithms for the Satisfiability Problem

    Erscheinungsjahr 2020
    Verlag: Cambridge University Press
    ISBN: 978-0-521-64041-1
    Medium: Buch
    35,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Winslett | Updating Logical Databases | Buch | Sack Fachmedien

    Winslett Updating Logical Databases

    Erscheinungsjahr 1990
    Verlag: Camb.U.P.
    ISBN: 978-0-521-37371-5
    Medium: Buch
    66,00 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb

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