Ergebnisse filtern
-
- 73
- 6
-
- 1
- 78
-
- 6
- 48
- 25
-
- 79
-
- 71
- 8
-
- 79
-
Demri Temporal Logics in Computer Science
Finite-State SystemsErscheinungsjahr 2016Verlag: Cambridge University PressISBN: 978-1-316-72716-4Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)89,99 € (inkl. MwSt.)
sofort verfügbar -
Demri / Goranko / Lange Temporal Logics in Computer Science
Finite-State SystemsErscheinungsjahr 2016Verlag: Cambridge University PressISBN: 978-1-107-02836-4Medium: Buch135,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Dasgupta Design Theory and Computer Science
Erscheinungsjahr 2015Verlag: Cambridge University PressISBN: 978-0-521-39021-7Medium: Buch189,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dasgupta Design Theory and Computer Science
Processes and Methodology of Computer Systems DesignErscheinungsjahr 2009Verlag: Cambridge University PressISBN: 978-0-521-11815-6Medium: Buch90,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meyer / Hoek Epistemic Logic for AI and Computer Science
Erscheinungsjahr 2004Verlag: Cambridge University PressISBN: 978-0-521-60280-8Medium: Buch80,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McEvoy / Tucker Theoretical Foundations of VLSI Design
Erscheinungsjahr 2003Verlag: Cambridge University PressISBN: 978-0-521-54565-5Medium: Buch65,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pitts Nominal Sets
Names and Symmetry in Computer ScienceErscheinungsjahr 2013Verlag: Cambridge University PressISBN: 978-1-107-24131-2Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)48,99 € (inkl. MwSt.)
sofort verfügbar -
Paulson / Rijsbergen / Abramsky Logic and Computation
Interactive Proof with Cambridge LcfErscheinungsjahr 2003Verlag: Cambridge University PressISBN: 978-0-521-39560-1Medium: Buch69,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sangiorgi / Rutten Advanced Topics in Bisimulation and Coinduction
Erscheinungsjahr 2011Verlag: Cambridge University PressISBN: 978-1-107-00497-9Medium: Buch143,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ramsay / Rijsbergen / Abramsky Formal Methods in Artificial Intelligence
Erscheinungsjahr 2009Verlag: Cambridge University PressISBN: 978-0-521-42421-9Medium: Buch53,30 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barwise / Seligman / Rijsbergen Information Flow
The Logic of Distributed SystemsErscheinungsjahr 2007Verlag: Cambridge University PressISBN: 978-0-521-58386-2Medium: Buch89,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vickers Topology Via Logic
Erscheinungsjahr 2003Verlag: Cambridge University PressISBN: 978-0-521-57651-2Medium: Buch73,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gehrke / van Gool Topological Duality for Distributive Lattices
Theory and ApplicationsErscheinungsjahr 2024Verlag: Cambridge University PressISBN: 978-1-009-34969-7Medium: Buch82,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Barwise / Seligman Information Flow
The Logic of Distributed SystemsErscheinungsjahr 2008Verlag: Cambridge University PressISBN: 978-0-521-07099-7Medium: Buch72,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Griffor / Stoltenberg-Hansen / Lindström Mathematical Theory of Domains
Erscheinungsjahr 1994Verlag: Cambridge University PressISBN: 978-0-521-38344-8Medium: Buch89,00 € (inkl. MwSt.)
Kurzfristig nicht lieferbar -
Stoltenberg-Hansen / Lindstrom / Lindström Mathematical Theory of Domains
Erscheinungsjahr 2008Verlag: Cambridge University PressISBN: 978-0-521-06479-8Medium: Buch83,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Revesz Lambda-Calculus, Combinators and Functional Programming
Erscheinungsjahr 2009Verlag: Cambridge University PressISBN: 978-0-521-11429-5Medium: Buch68,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Manes / Rijsbergen Predicate Transformer Semantics
Erscheinungsjahr 2004Verlag: Cambridge University PressISBN: 978-0-521-61610-2Medium: Buch71,20 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chaitin / Rijsbergen / Abramsky Algorithmic Information Theory
Erscheinungsjahr 2004Verlag: Cambridge University PressISBN: 978-0-521-61604-1Medium: Buch67,20 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shankar / Rijsbergen Metamathematics, Machines and Godel's Proof
Erscheinungsjahr 2002Verlag: Cambridge University PressISBN: 978-0-521-58533-0Medium: Buch60,20 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Klop / Terese / de Vrijer Term Rewriting Systems
Erscheinungsjahr 2011Verlag: Cambridge University PressISBN: 978-0-521-39115-3Medium: Buch258,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jacobs Introduction to Coalgebra
Erscheinungsjahr 2017Verlag: Cambridge University PressISBN: 978-1-107-17789-5Medium: Buch186,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blackburn / de Rijke / Venema Modal Logic
Erscheinungsjahr 2011Verlag: Cambridge University PressISBN: 978-0-521-52714-9Medium: Buch120,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jacobs Introduction to Coalgebra
Towards Mathematics of States and ObservationErscheinungsjahr 2016Verlag: Cambridge University PressISBN: 978-1-316-83601-9Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)133,99 € (inkl. MwSt.)
sofort verfügbar -
Hesselink Programs, Recursion and Unbounded Choice
Erscheinungsjahr 1992Verlag: Cambridge University PressISBN: 978-0-521-40436-5Medium: Buch66,00 € (inkl. MwSt.)
Kurzfristig nicht lieferbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort