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 "theorem proving and SAT solving" wurden 7 Produkte gefunden
Filter
Filter
Nur Neuerscheinungen
Verlag
Springer International Publishing (7)
Produktart
Kartoniert / Broschiert (6)
Unbekannt (1)
Herausgeber
Badger, Julia M. Rozier, Kristin Yvonne (1)
Gopal, T V Agrawal, Manindra Li, Angsheng Cooper, S. Barry (1)
Klein, Gerwin Gamboa, Ruben (1)
Rozier, Kristin Yvonne Chaudhuri, Swarat (2)
Watt, Stephen M. Sexton, Alan Davenport, James H. Sojka, Petr Urban, Josef (1)
Yevtushenko, Nina Cavalli, Ana Rosa Yenigün, Hüsnü (1)
Themengebiete
algorithmic game theory (1)
automated reasoning (1)
automated static analysis (1)
cloud computing (1)
complexity (1)
coverage metrics (2)
design rule checking (2)
embedded systems (1)
equivalence checking (2)
fault models and test metrics (1)
formal methods (4)
formal specifications (1)
functional languages (1)
logic and verification (1)
machine learning (1)
modal and temporal logics (2)
model checking (4)
model checking and theorem proving (1)
natural language processing (1)
network protocols (1)
optimization (1)
oracles and decision trees (1)
program verification (1)
protocol testing and verification (1)
real-time system specification (1)
real-time systems (1)
reliability (2)
rewriting (1)
search interface (1)
security and privacy (1)
semi-formal verification (2)
smilarity measures (1)
social networks (1)
software functional properties (1)
software system models (1)
software verification and validation (1)
stochastic games (1)
support vector machine (1)
testing with distributed and oarallel systems (1)
theorem proving and SAT solving (7)
transaction-level verification (2)
turing machine (1)
validation (2)
verification (2)
verification via model checking (1)
virtual machines (1)
Veröffentlichungsdatum
2014 (1)
2017 (1)
2019 (1)
2023 (1)
Sprache
Englisch (7)
HOME
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Theory and Applications of Models of Computation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Testing Software and Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Interactive Theorem Proving
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Intelligent Computer Mathematics
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
70,61 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
NASA Formal Methods
96,29 €*
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