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.
Herzlich Willkommen!
Bitte wählen Sie Ihr Versandland aus:
Schweiz
Liechtenstein
Auswahl bestätigen
Mehr Infos: Haupt Newsletter
Mehr Bücher: Hauptverlag
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 CHF*
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zur Kategorie Bücher
Belletristik
Kinder- & Jugendbuch
Kochen
Natur & Garten
Gestalten & Textiles
Architektur & Design
Bücher-Abos
Bücher-Gutscheine
Restexemplare Haupt Verlag
Haupt Verlag
Neuerscheinungen
Natur & Garten
Geschichte & Kultur
Gestalten & Design
Fachbuch
Zur Kategorie Geschenke
Bücher-Abos
Kalender
Schreibwaren
Spiele
Puzzles
Kleinigkeiten
Zur Kategorie Kurse & Events
Kurse Atelier 14B
Events
Haupt auswärts
Zur Kategorie Service
Erweiterte Suche
Bestellservice
Geschäftskunden
Bibliotheken
Atelier 14B mieten
Kontakt
Zur Kategorie Über uns
Unser Laden
Team
Firmenportrait
Menü schließen
Fr
Schweizer Franken
Fr
CHF
€
EUR
Kategorien
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zu "modal and temporal logics" wurden 6 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Springer International Publishing (6)
Produktart
Kartoniert / Broschiert (6)
Herausgeber
Badger, Julia M. Rozier, Kristin Yvonne (1)
Cîrstea, Corina (1)
D'Souza, Deepak Narayan Kumar, K. (1)
Gopal, T V Agrawal, Manindra Li, Angsheng Cooper, S. Barry (1)
Höfner, Peter Jipsen, Peter Kahl, Wolfram Müller, Martin Eric (1)
Likas, Aristidis Blekas, Konstantinos Kalles, Dimitris (1)
Schlagworte
algebraic topology (1)
algorithmic game theory (1)
answer set programming (1)
artificial intelligence (1)
augmented reality (1)
automated reasoning (1)
automated static analysis (1)
bioinformatics (1)
coalgebra (1)
coalgebraic specification and verification (1)
combinatorial optimization (1)
complexity (1)
computer architecture (1)
concurrent algorithms (1)
data analytics (1)
data types (1)
database theory (1)
formal methods (2)
functional constructs (1)
game theory (1)
Hoare logic (1)
human-computer interaction (HCI) (1)
hybrid systems (1)
intelligent agents (1)
logic and verification (2)
modal and temporal logics (6)
modal logic (1)
model checking (2)
model checking and theorem proving (1)
models of computation (1)
optimization (1)
optimization algorithms (1)
oracles and decision trees (1)
programming languages (2)
relational database model (1)
security and privacy (1)
semantics (1)
semantics and reasoning (1)
social networks (1)
software engineering (1)
software fault tolerance (1)
software verification and validation (2)
stochastic games (1)
theorem proving and SAT solving (2)
verification by model checking (1)
verification via model checking (1)
Web mining (1)
Web searching and information discovery (1)
Veröffentlicht
2014 (1)
2017 (1)
2018 (1)
2019 (1)
Sprache
Englisch (6)
Coalgebraic Methods in Computer Science
53,50 CHF*
In den Warenkorb
NASA Formal Methods
70,60 CHF*
In den Warenkorb
Automated Technology for Verification and Analysis
53,50 CHF*
In den Warenkorb
Relational and Algebraic Methods in Computer Science
53,50 CHF*
In den Warenkorb
Artificial Intelligence: Methods and Applications
107,00 CHF*
In den Warenkorb
Theory and Applications of Models of Computation
53,50 CHF*
In den Warenkorb
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
