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

Fr CHF

€ EUR

Ihr Konto

Anmelden

oder registrieren

Übersicht Persönliches Profil Adressen Zahlungsarten Bestellungen

JURISTISCHE LITERATUR

STUDIENLITERATUR

INFORMATIONEN

Zur Kategorie STUDIENLITERATUR

Wichtige Studienliteratur

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN

Zu "formal languages and automata theory" wurden 35 Produkte gefunden

Filter

Nur Neuerscheinungen

Springer Berlin (5)
Springer International Publishing (30)

Gebunden (1)
Kartoniert / Broschiert (29)
Unbekannt (5)

Biere, Armin Bloem, Roderick (1)
Bowles, Juliana Broccia, Giovanna Nanni, Mirco (2)
Calude, Cristian S. Freivalds, Rusinš Kazuo, Iwama (1)
Catania, Barbara Královic, Rastislav Nawrocki, Jerzy Pighizzini, Giovanni (1)
Chechik, Marsha Katoen, Joost-Pieter Leucker, Martin (1)
Ciobanu, Gabriel Méry, Dominique (1)
Dediu, Adrian-Horia Martín-Vide, Carlos Sierra-Rodríguez, José-Luis Truthe, Bianca (1)
Diaz, Josep Lanese, Ivan Sangiorgi, Davide (1)
Ermolayev, Vadim Mayr, Heinrich C. Nikitchenko, Mykola Spivakovsky, Aleksander Zholtkevych, Grygoriy (1)
Feng, Lu Fisman, Dana (1)
Fernau, Henning Gaspers, Serge Klasing, Ralf (1)
Fisman, Dana Rosu, Grigore (2)
Gadducci, Fabio Kehrer, Timo (1)
Gopal, T.V. Jäger, Gerhard Steila, Silvia (1)
Graf, Susanne Viswanathan, Mahesh (1)
Han, Yo-Sub Salomaa, Kai (1)
Kari, Jarkko Manea, Florin Petre, Ion (1)
Královic, Rastislav Kurková, Vera (4)
Legay, Axel Bozga, Marius (1)
Lintas, Alessandra Rovetta, Stefano Verschure, Paul F.M.J. Villa, Alessandro E.P. (2)
Norman, Gethin Sanders, William (1)
Petrenko, Alexander K. Voronkov, Andrei (1)
Platzer, André Rozier, Kristin Yvonne Pradella, Matteo Rossi, Matteo (2)
Shur, Arseny M. Volkov, Mikhail V. (1)
Ábrahám, Erika Palamidessi, Catuscia (1)

Bernardi, Simona Merseguer, José Petriu, Dorina Corina (3)

algebraic complexity theory (1)
algebraic language theory (2)
algorithmics (1)
algorithms (4)
approximation algorithms (1)
approximation theory (1)
architecture verification and validation (3)
artificial intelligence (7)
automata (4)
automata over infinite objects (1)
automata theory (1)
automated theorem proving (1)
Bayesian networks (1)
bio-embedded electronics (2)
cellular automata (2)
cellular automation (1)
characterization of automata (1)
circuit complexity (1)
classical computation (1)
classification and regression trees (2)
combinatorics on words (1)
complexity analysis (1)
computability (1)
computational complexity (4)
Computational complexity and cryptography (5)
computational complexity and cryptography (7)
computer networks (1)
computer programming (1)
computer software selection and evaluation (1)
computer systems (1)
computer vision (2)
computing methodologies (3)
concurrency (6)
context-free languages (1)
cryptography and information theory (1)
data analysis (2)
data mining (2)
data structures design and analysis (1)
databases (1)
decidability (1)
decidability and complexity in language theory (1)
descriptional complexity (1)
design and analysis of algorithms (12)
discrete mathematics (2)
distributed algorithms (1)
distributed computer systems (1)
distributed computing methodologies (1)
distributed systems (2)
DNA computing (1)
education (1)
embedded systems (4)
enhanced regular expressions (1)
finite automata (2)
formal languages (1)
formal languages and automata theory (35)
formal logic (4)
formal methods (14)
Formal methods and theory of security (2)
formal methods and theory of security (2)
formal software verification (1)
formal verification (2)
game theory (1)
geometric computation (1)
graph theory (2)
graphic methods (2)
ICT-based learning environments (1)
information theory (2)
kernel methods (2)
learning algorithms (2)
learning in probabilistic graphical models (2)
logic (14)
Machine learning (2)
machine learning (5)
Markov processes (1)
MARTE (3)
model checking (6)
model transformation (3)
Modeling and simulation (2)
modeling and simulation (3)
models of computation (13)
natural language processing (2)
Petri nets (1)
quantum computing (2)
randomness, geometry and discrete structures (6)
regular languages (2)
safety critical systems (2)
Semantics and reasoning (2)
semantics and reasoning (9)
software and hardware verification (2)
software dependability (3)
software extra-functional properties (3)
software verification and validation (3)
specification and verification techniques (2)
Symbolic and algebraic manipulation (2)
system description languages (3)
theory and algorithms for application domains (6)
Theory of computation (1)
theory of computation (3)
transducers (2)
UML (3)

2013 (1)
2014 (1)
2015 (1)
2016 (1)
2017 (1)
2018 (1)
2019 (1)
2021 (1)
2022 (2)
2023 (1)
2024 (1)
2025 (1)

Englisch (35)

HOME

1
2

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Theoretical Computer Science

Theoretical Computer Science

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Model-Driven Dependability Assessment of Software Systems

Model-Driven Dependability Assessment of Software Systems

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Model-Driven Dependability Assessment of Software Systems

Model-Driven Dependability Assessment of Software Systems

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Graph Transformation

Graph Transformation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Artificial Neural Networks and Machine Learning – ICANN 2017

Artificial Neural Networks and Machine Learning – ICANN 2017

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Theoretical Aspects of Computing – ICTAC 2014

Theoretical Aspects of Computing – ICTAC 2014

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

42,79 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computing with New Resources

Computing with New Resources

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computer Aided Verification

Computer Aided Verification

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Quantitative Evaluation of Systems

Quantitative Evaluation of Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Unveiling Dynamics and Complexity

Unveiling Dynamics and Complexity

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Artificial Neural Networks and Machine Learning – ICANN 2017

Artificial Neural Networks and Machine Learning – ICANN 2017

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Developments in Language Theory

Developments in Language Theory

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

51,36 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

SOFSEM 2024: Theory and Practice of Computer Science

SOFSEM 2024: Theory and Practice of Computer Science

85,59 €*

Preise inkl. MwSt. zzgl. Versandkosten

Runtime Verification

Runtime Verification

80,24 €*

Preise inkl. MwSt. zzgl. Versandkosten

Perspectives of System Informatics

Perspectives of System Informatics

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

SOFSEM 2019: Theory and Practice of Computer Science

SOFSEM 2019: Theory and Practice of Computer Science

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

From Data to Models and Back

From Data to Models and Back

64,19 €*

Preise inkl. MwSt. zzgl. Versandkosten

Language and Automata Theory and Applications

Language and Automata Theory and Applications

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

42,79 €*

Preise inkl. MwSt. zzgl. Versandkosten

Implementation and Application of Automata

Implementation and Application of Automata

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

1
2

Buchhandlung Georg Blendl GmbH & Co KG
Buchhandlung und Antiquariat für Rechts- und Staatswissenschaften
Pacellistraße 5 (Maxburg)
80333 München
+049 89 210 233-0
+049 89 210 233-44
info@BGB-Online.de
ww.BGB-Online.de

Öffnungszeiten:
Montag bis Freitag
8:15 bis 18:00 Uhr

Samstag geschlossen

Online 24/7

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE

AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...