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 "theory of computation" wurden 40 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Springer Berlin (6)
Springer International Publishing (27)
Springer Singapore (1)
Springer US (6)
Produktart
Gebunden (5)
Kartoniert / Broschiert (35)
Herausgeber
Adamatzky, Andrew (1)
Bajo, Javier Hallenborg, Kasper Pawlewski, Pawel Botti, Vicente Sánchez-Pi, Nayat Duque Méndez, Nestor Darío Lopes, Fernando Julian, Vicente (1)
Caires, Luís (1)
Ciardo, Gianfranco Kindler, Ekkart (1)
Day, Joel D. Manea, Florin (1)
Diaz, Josep Lanese, Ivan Sangiorgi, Davide (1)
Dongol, Brijesh Troubitsyna, Elena (1)
Drewes, Frank Volkov, Mikhail (1)
Ermolayev, Vadim Mayr, Heinrich C. Nikitchenko, Mykola Spivakovsky, Aleksander Zholtkevych, Grygoriy (1)
Ferrández Vicente, José Manuel Val Calvo, Mikel Adeli, Hojjat (2)
Figueroa-García, Juan Carlos Hernández, German Suero Pérez, Diego Fernando Gaona García, Elvis Eduardo (2)
Hashagen, Ulf Keil-Slawik, Reinhard Norberg, Arthur L. (2)
Hinchey, Mike Bowen, Jonathan P. Olderog, Ernst-Rüdiger (2)
Hirsch, Edward Kuznetsov, Sergei O. Pin, Jean-Éric Vereshchagin, Nikolay (1)
Horváth, András Wolter, Katinka (1)
Kohayakawa, Yoshiharu Miyazawa, Flávio Keidi (1)
Kotulski, Zbigniew Ksiezopolski, Bogdan Mazur, Katarzyna (1)
Koutny, Maciej Haddad, Serge Yakovlev, Alex (1)
Legay, Axel Bozga, Marius (1)
Manea, Florin Nowotka, Dirk (1)
Müller-Olm, Markus Seidl, Helmut (1)
Perakovic, Dragan Knapcikova, Lucia (1)
Poon, Sheung-Hung Rahman, Md. Saidur Yen, Hsu-Chun (1)
Raschke, Alexander Riccobene, Elvinia Schewe, Klaus-Dieter (1)
Rondelez, Yannick Woods, Damien (1)
Selman, Alan L. (2)
Tiwari, Sanju Ortiz-Rodríguez, Fernando Mishra, Sashikala Vakaj, Edlira Kotecha, Ketan (1)
van Eekelen, Marko Dal Lago, Ugo (1)
Väänänen, Jouko Hirvonen, Åsa de Queiroz, Ruy (1)
Yang, Haiqin Pasupa, Kitsuchart Leung, Andrew Chi-Sing Kwok, James T. Chan, Jonathan H. King, Irwin (2)
Zhang, Songmao Zhang, Yonggang (1)
Autor
Kozen, Dexter C. (2)
Syropoulos, Apostolos (1)
Schlagworte
Abstract State Machines (1)
algebraic graph theory (1)
algorithm (4)
algorithm analysis and problem complexity (7)
algorithms (5)
ambiguity of morphisms (1)
analog computation (1)
analytic combinatorics and analysis of algorithms (1)
applied computing (2)
approximation algorithms (2)
architecting (1)
architecture verification and validation (1)
arithmetic complexity (1)
arithmetic progression (1)
artificial intelligence (9)
automata (4)
automata theory (4)
biocomputing (1)
bioengineering (1)
business processes (1)
chemical computation (1)
Church-Turing Thesis (1)
clustering (1)
combinatorial optimization (1)
combinatorics and graph theory (1)
combinatorics on words (1)
communication (1)
complexity (5)
complexity theory (2)
computability (1)
computational and cognitive neurosciences (1)
computational complexity (4)
computational control theory (2)
computational geometry (2)
computer (1)
computer algebra systems (1)
Computer and Information Science Education (2)
computer hardware (2)
Computer Industry (2)
computer networks (4)
computer programming (1)
computer science (2)
computer science logic (1)
computer systems (1)
computing methodologies (6)
concurrency (2)
concurrent computing methodologies (2)
concurrent systems (1)
Counting (2)
cryptographic protocols (1)
cybercrime (1)
data protection (1)
data structures (2)
deep learning (1)
dependence logic (1)
descriptive complexity (1)
design and analysis of algorithms (4)
education (2)
Event-B (1)
finite automata (2)
formal languages (3)
formal languages and automata theory (3)
formal methods (9)
grammars (2)
graph algorithms (2)
graph theory (3)
history of computing (2)
History of Software (2)
human computer interaction (HCI) (2)
human-centered computing (2)
human-computer interaction (2)
ICT-based learning environments (1)
linguistics (2)
logic (8)
machine learning (2)
mathematical optimization (2)
model checking (4)
models of computation (6)
molecular computing (2)
NC (2)
neural networks (2)
NP-completeness (2)
operational semantics (2)
operations research (2)
Petri nets (3)
Philosophical logic (1)
Provably correct systems (2)
quantum computing (2)
security and privacy (2)
semantics and reasoning (5)
software (2)
software and its engineering (2)
Software correctness (2)
software engineering (5)
software functional properties (2)
software system models (3)
theory and algorithms for application domains (4)
theory of computation (40)
Turing machine (1)
user interfaces (2)
Veröffentlicht
1990 (1)
1991 (1)
2002 (1)
2010 (1)
2011 (1)
2014 (1)
2015 (1)
2016 (1)
2017 (1)
2018 (1)
2019 (1)
2020 (1)
2021 (1)
2023 (1)
2024 (2)
Sprache
Englisch (40)
Programming Languages and Systems
53,50 CHF*
In den Warenkorb
Provably Correct Systems
107,00 CHF*
In den Warenkorb
Provably Correct Systems
107,00 CHF*
In den Warenkorb
Complexity Theory Retrospective
107,00 CHF*
In den Warenkorb
The Design and Analysis of Algorithms
107,00 CHF*
In den Warenkorb
The Design and Analysis of Algorithms
85,60 CHF*
In den Warenkorb
Complexity Theory Retrospective
107,00 CHF*
In den Warenkorb
WALCOM: Algorithms and Computation
53,50 CHF*
In den Warenkorb
Computer Science - Theory and Applications
53,50 CHF*
In den Warenkorb
Formal Modeling and Analysis of Timed Systems
51,35 CHF*
In den Warenkorb
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection
53,50 CHF*
In den Warenkorb
Application and Theory of Petri Nets and Concurrency
53,50 CHF*
In den Warenkorb
Transactions on Petri Nets and Other Models of Concurrency IX
53,50 CHF*
In den Warenkorb
Developments in Language Theory
69,55 CHF*
In den Warenkorb
Combinatorics on Words
53,50 CHF*
In den Warenkorb
Logic, Language, Information, and Computation
53,50 CHF*
In den Warenkorb
Static Analysis
53,50 CHF*
In den Warenkorb
Integrated Formal Methods
53,50 CHF*
In den Warenkorb
Neural Information Processing
107,00 CHF*
In den Warenkorb
Cryptography and Security Systems
53,50 CHF*
In den Warenkorb
Foundational and Practical Aspects of Resource Analysis
53,50 CHF*
In den Warenkorb
History of Computing: Software Issues
53,50 CHF*
In den Warenkorb
Hypercomputation
85,60 CHF*
In den Warenkorb
History of Computing: Software Issues
53,50 CHF*
In den Warenkorb
1
2
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
