Zum Hauptinhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Haben Sie Fragen? Einfach anrufen, wir helfen gerne:
Tel. 089/210233-0
oder besuchen Sie
unser Ladengeschäft in der Pacellistraße 5
(Maxburg) 80333 München
+++
Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen?
Tel. 089/210233-0
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
Kreditkarten
0,00 €*
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN
Wichtige Studienliteratur
Prüfungszugelassene Titel
AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service
Menü schließen
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN
Zu "completeness" wurden 12 Produkte gefunden
Produkte filtern
Produkte filtern
Nur Neuerscheinungen
Verlag
Georg Olms Verlag (1)
Springer Berlin (7)
Springer International Publishing (2)
Springer Singapore (2)
Produktart
Gebunden (2)
Kartoniert / Broschiert (9)
Unbekannt (1)
Herausgeber
Andree, Christian (1)
Beklemishev, Lev D. de Queiroz, Ruy (1)
Blanchette, Jasmin Christian Merz, Stephan (1)
Curien, Pierre-Louis (1)
Dwyer, Tim Purchase, Helen Delaney, Aidan (1)
Hawblitzel, Chris Miller, Dale (1)
Jamnik, Mateja Uesaka, Yuri Elzer Schwartz, Stephanie (1)
Pasareanu, Corina S (1)
van Breugel, Franck Chechik, Marsha (1)
van der Pol, Jaco Weber, Michael (1)
Autor
Paul, Subhajit (2)
Themengebiete
19. Jahrhundert (1)
19th century (1)
3D visualization (1)
abstraction (2)
acyclic models (1)
Adele (1)
algorithm analysis and problem complexity (1)
algorithms (1)
automatic testing (2)
Bisimulation (1)
bisimulation (2)
Boolean algebra (1)
bounded linear logic (1)
Briefe (1)
Briefkorrespondenz (1)
bug finding (2)
children (1)
children's letters (1)
cognition (1)
cognitive science (2)
compactness (2)
completeness (12)
complexity (1)
computational security (1)
computer graphics (1)
concurrency (1)
concurrency verification (1)
connectedness (2)
continuity (2)
correspondence (1)
cultural schemas (1)
Cut-elimination theorem (1)
decidability (1)
deduction systems (1)
Deutschland (1)
diagram design (1)
diagrammatic patterns (1)
distributed model checking (1)
distributed processes (1)
distributed systems (2)
first-order logic (1)
formal language (1)
formal languages (1)
formal methods (1)
formal modeling (1)
formal security models (1)
formal verification (1)
formalized mathematics (1)
Fourier transform (1)
games (1)
graph drawing (1)
graph transformation (1)
Heyting arithmetic (1)
human-computer interaction (1)
hypergraphs (1)
information visualization (2)
lambda calculus (1)
logic and verification (1)
mechanized proofs (1)
metric spaces (2)
modal logic (1)
model checking (2)
monadic logic (1)
nash equilibrium (1)
nondeterminism (1)
object recognition (1)
omega categories (1)
ontologies (1)
partial order (1)
probabilistic models (1)
problem solving (1)
program analysis (1)
program verification (1)
real-time systems (1)
satisfiability (1)
set theory (2)
theorem proving (1)
topology (2)
verification (1)
verified software (1)
Veröffentlichungsdatum
2008 (1)
2009 (1)
2010 (1)
2011 (1)
2012 (1)
2014 (1)
2016 (1)
2023 (1)
2025 (2)
Sprache
Deutsch (1)
Englisch (11)
HOME
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Rudolf Virchow: Sämtliche Werke
269,00 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Diagrammatic Representation and Inference
59,92 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Model Checking Software
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
CONCUR 2008 - Concurrency Theory
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Model Checking Software
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Certified Programs and Proofs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Interactive Theorem Proving
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Diagrammatic Representation and Inference
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Metric Spaces
74,89 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Logic, Language, Information, and Computation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Metric Spaces
74,89 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Typed Lambda Calculi and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Zurück