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 "operational semantics" wurden 16 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Springer Berlin (8)
Springer International Publishing (8)
Produktart
Gebunden (1)
Kartoniert / Broschiert (15)
Herausgeber
?u?u, Ionu? (1)
Barthe, Gilles (1)
Bonsangue, Marcello M. (1)
Caires, Luís (1)
Deng, Dun Liu, Mingming Westerståhl, Dag Xie, Kaibo (1)
Devitt, Simon Lanese, Ivan (1)
Garrigue, Jacques (1)
Krivine, Jean Stefani, Jean-Bernard (1)
Lujak, Marin (1)
Meyer, Bertrand Nordio, Martin (1)
Pattinson, Dirk Schröder, Lutz (1)
Ramalingam, G. (1)
van Eekelen, Marko Dal Lago, Ugo (1)
Autor
Berstel-Da Silva, Bruno (2)
Rust, Heinrich (1)
Schlagworte
abstract interpretation (1)
abstract state machines (1)
agents (1)
AI (2)
algorithm analysis and problem complexity (1)
algorithms (3)
APL (1)
artificial intelligence (4)
automata (2)
automata theory (1)
bisimilarity (1)
bisimulation (2)
business rules (2)
business rules management systems (2)
circuit complexity (2)
circuit optimization (1)
coalgebra functors (2)
common meadows (1)
commutation (1)
complexity (1)
compositionality (1)
computational linguistics (1)
computer programming (1)
computer science (1)
concurrency (2)
concurrent programming (1)
constraints (1)
continuous time systems (1)
correctness (2)
database management systems (2)
databases (1)
dataflow analysis (1)
design (1)
determinization (1)
discourse representation theory (1)
discrete time systems (1)
dynamic checking (1)
dynamic epistemic logic (1)
dynamic language (1)
dynamic programming (1)
embedded systems (1)
equational calculus (1)
experimental replicaction (1)
formal languages (1)
formal learning theory (1)
formal Logic (1)
formal logic (1)
formal methods (3)
formal specification (1)
graph rewriting (1)
hardware description languages (1)
higher order logic (1)
hybrid systems (1)
hypergraphs (1)
information topology (1)
institution theory (1)
intelligent agents (1)
LA (1)
lambda calculus (2)
language-based security (1)
logic design (1)
logic programming (3)
logics (1)
memory leak (1)
modal logics (2)
modal semirings (1)
model checking (1)
model-checking (1)
modeling (1)
Multi-Agent Systems (MAS) (1)
natural language processing (1)
non-standard analysis (1)
non-standard timed abstract state machines (1)
object-orientation (1)
object-oriented programming (1)
operational semantics (16)
packet switching (1)
parallel programming (1)
probabilistic analysis (1)
probabilistic computation (1)
problem solving (1)
process calculi (1)
prog (1)
program analysis (1)
program compilers (1)
program transformation (1)
program verification (2)
programming languages (3)
proof theory (1)
quantum circuits (1)
semantic web (1)
semantics (3)
software engineering (1)
software evaluation (1)
software testing (1)
software validation (2)
temporal logics (2)
theory of computation (2)
type systems (1)
verification (1)
Veröffentlicht
2005 (1)
2008 (1)
2011 (1)
2012 (1)
2014 (1)
2015 (1)
2016 (1)
2019 (1)
2023 (1)
2025 (1)
Sprache
Englisch (16)
Programming Languages and Systems
53,50 CHF*
In den Warenkorb
Dynamics in Logic and Language
58,85 CHF*
In den Warenkorb
Agreement Technologies
53,50 CHF*
In den Warenkorb
Verification of Business Rules Programs
53,50 CHF*
In den Warenkorb
Verification of Business Rules Programs
53,50 CHF*
In den Warenkorb
Empirical Software Engineering and Verification
53,50 CHF*
In den Warenkorb
Programming Languages and Systems
53,50 CHF*
In den Warenkorb
Operational Semantics for Timed Systems
53,50 CHF*
In den Warenkorb
Coalgebraic Methods in Computer Science
53,50 CHF*
In den Warenkorb
Reversible Computation
53,50 CHF*
In den Warenkorb
Programming Languages and Systems
53,50 CHF*
In den Warenkorb
Foundational and Practical Aspects of Resource Analysis
53,50 CHF*
In den Warenkorb
Reversible Computation
51,35 CHF*
In den Warenkorb
Coalgebraic Methods in Computer Science
51,35 CHF*
In den Warenkorb
Programming Languages and Systems
53,50 CHF*
In den Warenkorb
Demnächst
Neu
Recent Trends in Algebraic Development Techniques
117,70 CHF*
Details
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
