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
€
Euro
Fr CHF
€ EUR
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
Zur Kategorie STUDIENLITERATUR
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 10 Produkte gefunden
Filter
Filter
Nur Neuerscheinungen
Verlag
Georg Olms Verlag (1)
Springer Berlin (7)
Springer International Publishing (2)
Produktart
Gebunden (1)
Kartoniert / Broschiert (9)
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)
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)
completeness (10)
complexity (1)
computational security (1)
computer graphics (1)
concurrency (1)
concurrency verification (1)
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)
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)
theorem proving (1)
verification (1)
verified software (1)
Veröffentlichungsdatum
2008 (1)
2009 (1)
2010 (1)
2011 (1)
2012 (1)
2014 (1)
2016 (1)
2023 (1)
Sprache
Deutsch (1)
Englisch (9)
HOME
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Certified Programs and Proofs
53,49 €*
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
Diagrammatic Representation and Inference
59,92 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Diagrammatic Representation and Inference
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Interactive Theorem Proving
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Logic, Language, Information, and Computation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Typed Lambda Calculi and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Rudolf Virchow: Sämtliche Werke
269,00 €*
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