Ergebnisse filtern
Fachgebiet
Medium
  • 6
Erscheinungsjahr
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
Verlag
  • 6
Preis
  • 3
  • 3
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6

Computerkommunikation & -vernetzung

6  Treffer  für „Cambridge Tracts in Theoretical Computer Science“
    Barwise / Seligman / Rijsbergen | Information Flow | Buch | Sack Fachmedien

    Barwise / Seligman / Rijsbergen Information Flow

    The Logic of Distributed Systems
    Erscheinungsjahr 2007
    Verlag: Cambridge University Press
    ISBN: 978-0-521-58386-2
    Medium: Buch
    89,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barwise / Seligman | Information Flow | Buch | Sack Fachmedien

    Barwise / Seligman Information Flow

    The Logic of Distributed Systems
    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-07099-7
    Medium: Buch
    72,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mauw / Veltink | Algebraic Specification of Communication Protocols | Buch | Sack Fachmedien

    Mauw / Veltink Algebraic Specification of Communication Protocols

    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-08812-1
    Medium: Buch
    56,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Novak / Gibbons | Hybrid Graph Theory and Network Analysis | Buch | Sack Fachmedien

    Novak / Gibbons Hybrid Graph Theory and Network Analysis

    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-46117-7
    Medium: Buch
    134,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Roever / de Boer / Hanneman | Concurrency Verification | Buch | Sack Fachmedien

    de Roever / de Boer / Hanneman Concurrency Verification

    Introduction to Compositional and Non-Compositional Methods
    Erscheinungsjahr 2010
    Verlag: Cambridge University Press
    ISBN: 978-0-521-16932-5
    Medium: Buch
    101,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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

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