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
Mein Bibliothekar
INFORMATIONEN
Prüfungszugelassene Titel
AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service
Menü schließen
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
Mein Bibliothekar
INFORMATIONEN
Zu "computability and decidability" wurden 9 Produkte gefunden
Produkte filtern
Produkte filtern
Nur Neuerscheinungen
Verlag
Springer International Publishing (9)
Produktart
Kartoniert / Broschiert (9)
Herausgeber
Artemov, Sergei Nerode, Anil (1)
Berger, Ulrich Franklin, Johanna N. Y. Manea, Florin Pauly, Arno (1)
De Mol, Liesbeth Weiermann, Andreas Manea, Florin Fernández-Duque, David (1)
Escobar, Santiago Martí-Oliet, Narciso (1)
Fontaine, Pascal (1)
Gerdt, Vladimir P. Koepf, Wolfram Seiler, Werner M. Vorozhtsov, Evgenii V. (1)
Herzig, Andreas Popescu, Andrei (1)
Manea, Florin Martin, Barnaby Paulusma, Daniël Primiero, Giuseppe (1)
Rusu, Vlad (1)
Themengebiete
approximation algorithms (2)
architecting (1)
architecture verification and validation (1)
artificial intelligence (6)
automata theory (6)
automated reasoning (1)
boolean functions (2)
classification (1)
comprehension (1)
computability and decidability (9)
computational complexity (1)
computer architecture (1)
computer hardware (2)
computer metatheory (1)
computer networks (1)
computer programming (3)
computer science (3)
computer systems (3)
computer systems, digital (1)
databases (3)
decision procedure (3)
description logic (1)
differential equations (1)
dynamic logic (1)
embedded systems (1)
equivalence classes (1)
finite automata (2)
finite element method (1)
finite state machines (1)
first order logic (2)
formal languages (1)
formal logic (6)
formal methods (1)
graph theory (2)
image processing (1)
linear matrix inequalities (1)
logic programming (1)
matrix algebra (1)
model checking (2)
parallel processing systems (1)
problem solving (1)
programming languages (2)
satisfiability (1)
semantics (1)
software engineering (1)
specifications (1)
Veröffentlichungsdatum
2018 (1)
2019 (1)
2020 (1)
2021 (1)
2022 (1)
Sprache
Englisch (9)
HOME
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Rewriting Logic and Its Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Rewriting Logic and Its Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Frontiers of Combining Systems
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Computing with Foresight and Industry
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Computer Algebra in Scientific Computing
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Logical Foundations of Computer Science
80,24 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Revolutions and Revelations in Computability
69,54 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Connecting with Computability
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Automated Deduction – CADE 27
85,59 €*
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