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:
Deutschland
Vereinigtes Königreich
Griechenland
Irland
Island
Italien
Japan
Kanada
Luxemburg
Namibia
Niederlande
Norwegen
Österreich
Portugal
Schweden
Schweiz
Spanien
Vereinigte Staaten von Amerika
Liechtenstein
Arabische Emirate
Polen
Ungarn
Türkei
Tschechische Republik
Slowakei
Rumänien
Brasilien
Israel
Australien
Belgien
Dänemark
Finnland
Frankreich
Bulgarien
Estland
Kroatien
Lettland
Litauen
Malta
Slowenien
Zypern
Afghanistan
Åland
Albanien
Algerien
Amerikanisch-Samoa
Andorra
Angola
Anguilla
Antarktika
Antigua und Barbuda
Argentinien
Armenien
Aruba
Aserbaidschan
Bahamas
Bahrain
Bangladesch
Barbados
Weißrussland
Belize
Benin
Bermuda
Bhutan
Bolivien
Bonaire, Sint Eustatius und Saba
Bosnien und Herzegowina
Botswana
Bouvetinsel
Britisches Territorium im Indischen Ozean
Kleinere Inselbesitzungen der Vereinigten Staaten
Britische Jungferninseln
Amerikanische Jungferninseln
Brunei
Burkina Faso
Burundi
Kambodscha
Kamerun
Kap Verde
Kaimaninseln
Zentralafrikanische Republik
Tschad
Chile
China
Weihnachtsinsel
Kokosinseln
Kolumbien
Union der Komoren
Kongo
Kongo (Dem. Rep.)
Cookinseln
Costa Rica
Kuba
Curaçao
Dschibuti
Dominica
Dominikanische Republik
Ecuador
Ägypten
El Salvador
Äquatorial-Guinea
Eritrea
Äthiopien
Falklandinseln
Färöer-Inseln
Fidschi
Französisch Guyana
Französisch-Polynesien
Französische Süd- und Antarktisgebiete
Gabun
Gambia
Georgien
Ghana
Gibraltar
Grönland
Grenada
Guadeloupe
Guam
Guatemala
Guernsey
Guinea
Guinea-Bissau
Guyana
Haiti
Heard und die McDonaldinseln
Staat Vatikanstadt
Honduras
Hong Kong
Indien
Indonesien
Elfenbeinküste
Iran
Irak
Insel Man
Jamaika
Jersey
Jordanien
Kasachstan
Kenia
Kiribati
Kuwait
Kirgisistan
Laos
Libanon
Lesotho
Liberia
Libyen
Macao
Mazedonien
Madagaskar
Malawi
Malaysia
Malediven
Mali
Marshallinseln
Martinique
Mauretanien
Mauritius
Mayotte
Mexiko
Mikronesien
Moldawie
Monaco
Mongolei
Montenegro
Montserrat
Marokko
Mosambik
Myanmar
Nauru
Népal
Neukaledonien
Neuseeland
Nicaragua
Niger
Nigeria
Niue
Norfolkinsel
Nordkorea
Nördliche Marianen
Oman
Pakistan
Palau
Palästina
Panama
Papua-Neuguinea
Paraguay
Peru
Philippinen
Pitcairn
Puerto Rico
Katar
Republik Kosovo
Réunion
Russland
Ruanda
Saint-Barthélemy
Sankt Helena
St. Kitts und Nevis
Saint Lucia
Saint Martin
Saint-Pierre und Miquelon
Saint Vincent und die Grenadinen
Samoa
San Marino
São Tomé und Príncipe
Saudi-Arabien
Senegal
Serbien
Seychellen
Sierra Leone
Singapur
Sint Maarten (niederl. Teil)
Salomonen
Somalia
Republik Südafrika
Südgeorgien und die Südlichen Sandwichinseln
Südkorea
Südsudan
Sri Lanka
Sudan
Suriname
Svalbard und Jan Mayen
Swasiland
Syrien
Taiwan
Tadschikistan
Tansania
Thailand
Timor-Leste
Togo
Tokelau
Tonga
Trinidad und Tobago
Tunesien
Turkmenistan
Turks- und Caicosinseln
Tuvalu
Uganda
Ukraine
Uruguay
Usbekistan
Vanuatu
Venezuela
Vietnam
Wallis und Futuna
Westsahara
Jemen
Sambia
Simbabwe
Auswahl bestätigen
Mehr Infos: Haupt Newsletter
Mehr Bücher: Haupt Buchhandlung
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 CHF*
Natur
Geschichte
Gestalten
Fachbuch
Aktuell
Service
TEMP für Test APPS
TEMP für Tests Events
Zur Kategorie Natur
Neuerscheinungen
Garten
Pflanzen & Pilze
Flora Helvetica
Tiere
Natur- und Wanderführer
Natur entdecken mit Kindern
Erde / Klima / Wasser
Astronomie
Umwelt / Ökologie
Spiele / Puzzles
Apps
Zur Kategorie Geschichte
Neuerscheinungen
Wissenschaftsgeschichte
Kulturgeschichte
Naturgeschichte
Zur Kategorie Gestalten
Neuerscheinungen
Gestalten mit Kindern
Druck / Papier
Schrift / Kunst / Zeichnen
Holz
Keramik / Glas
Metall / Stein
Schmuck
Färben
Mode / Textildesign
Textile Techniken
Wohnen / DIY
Zur Kategorie Fachbuch
Neuerscheinungen
Umwelt / Ökologie
Land- und Forstwirtschaft
NPO-Management
Management
Soziale Arbeit
Pädagogik
Haupt bei UTB
Zur Kategorie Aktuell
Magazin
Veranstaltungen
Newsletter
Zur Kategorie Service
Über uns
Team
Für den Handel
Für Presse / Medien
Für Autor:innen
Rights
Haupt Buchhandlung
Kontakt
Menü schließen
Fr
Schweizer Franken
Fr CHF
€ EUR
Kategorien
Natur
Geschichte
Gestalten
Fachbuch
Aktuell
Service
TEMP für Test APPS
TEMP für Tests Events
Zu "automata" wurden 750 Produkte gefunden
Suchergebnis | hauptverlag
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Birkhäuser Boston (14)
Logos Berlin (1)
Palgrave Macmillan UK (2)
Physica (3)
Springer Berlin (523)
Springer International Publishing (32)
Springer London (22)
Springer Netherland (54)
Springer Singapore (2)
Springer Tokyo (2)
Springer US (90)
Springer Wien (4)
Staatliche Kunstsammlungen Dresden (1)
Produktart
Gebunden (100)
Kartoniert / Broschiert (644)
Kassette / Medienmix z.B. Audio und Buch (6)
Herausgeber
Abdulla, Parosh Aziz Potapov, Igor (1)
Abiteboul, Serge Shamir, Eli (1)
Ablaev, Farid M. Mayr, Ernst W. (1)
Abraham, Ajith Goldberg, Robert (2)
Abraham, Ajith Grosan, Crina Ramos, Vitorino (2)
Abramsky, Samson Gavoille, Cyril Kirchner, Claude Meyer auf der Heide, Friedhelm Spirakis, Paul (1)
Aceto, Luca Ingólfsdóttir, Anna (1)
Adamatzky, Andrew (3)
Adriaans, Pieter Fernau, Henning Zaanen, Menno van (1)
Agrawal, Manindra Du, Ding-Zhu Duan, Zhenhua Li, Angsheng (1)
Aichernig, Bernhard K. Maibaum, Tom (1)
Albrecht, Andreas Jung, Hermann Mehlhorn, Kurt (1)
Albrecht, Andreas Steinhöfel, Kathleen (1)
Alexandrov, Vassil N. van Albada, G. Dick Sloot, Peter M.A. Dongarra, J. J. (2)
Almeida e Costa, Fernando (1)
Alpuente, María Vidal-Oriola, Germán (1)
Alt, Helmut Ferreira, Afonso (1)
Alt, Helmut Habib, Michel (1)
Alur, Rajeev Henzinger, Thomas A. Sontag, Eduardo D. (1)
Alur, Rajeev Peled, Doron A. (1)
Amadio, Roberto (1)
Anai, Hirokazu Horimoto, Katsuhisa Kutsia, Temur (1)
Antoniou, I. Calude, C.S. Dinneen, M.J. (1)
Antsaklis, Panos J. Kohn, Wolf Lemmon, Michael Nerode, Anil Sastry, Shankar (1)
Antsaklis, Panos Kohn, Wolf Nerode, Anil Sastry, Shankar (1)
Arge, Lars Cachin, Christian Jurdzinski, Tomasz (1)
Armando, Alessandro Baumgartner, Peter Dowek, Gilles (1)
Arun-Kumar, S. Garg, Naveen (1)
Arvind, V. Prasad, Sanjiva (1)
Asano, Takao Imai, Hiroshi Lee, D.T. Nakano, Shin-ichi Tokuyama, Takeshi (1)
Asano, Tetsuo Igarashi, Yoshihide Nagamochi, Hiroshi Miyano, Satoru Suri, Subhash (1)
Asarin, Eugene Bouyer, Patricia (1)
Astesiano, E. Böhm, C. (1)
Astesiano, Egidio (1)
Ausiello, G. Böhm, C. (1)
Ausiello, G. Protasi, M. (1)
Ausiello, Giorgio Dezani-Ciancaglini, Mariangiola Ronchi Della Rocca, Simonetta (1)
Avron, Arnon Dershowitz, Nachum Rabinovich, Alexander (1)
Baeza-Yates, Ricardo Montanari, Ugo Santoro, Nicola (2)
Bayoumi, Magdy A. (2)
Becvar, J. (2)
Bel-Enguix, Gemma Jiménez-López, M Dolores Martin-Vide, Carlos (2)
Bendsoe, Martin Philip Olhoff, Niels Sigmund, Ole (2)
Bibel, Wolfgang Schmitt, P.H. (2)
Boccara, N. Goles, E. Martínez, Servet Picco, Pierre (2)
Boel, R. Stremersch, Geert (2)
Bolognesi, Tommaso Latella, Diego (2)
Bosma, Wieb van der Poorten, Alf (2)
Bugliesi, Michele Preneel, Bart Sassone, Vladimiro Wegener, Ingo (2)
Caillaud, Benoît Darondeau, Philippe Lavagno, Luciano Xie, Xiaolan (2)
Castillo, Oscar Huang, He (2)
Chaudhuri, Swarat Farzan, Azadeh (2)
Chomicki, Jan Meyden, Ron van der Saake, Gunter (2)
Ciobanu, Gabriel Pérez-Jiménez, Mario J. Paun, Gheorghe (2)
Crossley, John N. Remmel, Jeffrey B. Shore, Richard Sweedler, Moss E. (2)
Csuhaj-Varjú, Ersébet Dietzfelbinger, Martin Ésik, Zoltán (2)
Danvy, Olivier Henglein, Fritz Mairson, Harry Pettorossi, Alberto (2)
Dassow, Jürgen Kelemen, Jozef (2)
Delorme, M. Mazoyer, J. (2)
Denis, Brigitte (2)
Dimitrakos, Theo Martinelli, Fabio (2)
Ding-Zhu Du Ker-I Ko (2)
Droste, Manfred Kuich, Werner Vogler, Heiko (2)
Farach-Colton, Martin (2)
Feijen, W.H.J. Gasteren, A.J.M. van Gries, David Misra, J. (2)
Gabbar, Hossam A. (2)
Gadow, Klaus Pukkala, Timo (2)
Goberstein, Simon M. Higgins, Peter M. (2)
Goles, E. Martínez, Servet (8)
Guo, Minyi Yang, Laurence Tianruo (2)
Hoekstra, Alfons G. Kroc, Jiri Sloot, Peter M.A. (2)
Hoogendoorn, Serge P. Luding, Stefan Bovy, Piet H.L. Schreckenberg, Michael Wolf, Dietrich E. (2)
Ibarra, Oscar H. Dang, Zhe (2)
Karhumäki, Juhani Maurer, Hermann Paun, Gheorghe Rozenberg, Grzegorz (2)
Kroening, Daniel Pasareanu, Corina S. (2)
Královic, Rastislav Kurková, Vera (2)
Kurshan, Robert (2)
Leeuwen, van, Jos P. Timmermans, Harry J.P. (2)
Leporati, Alberto Martín-Vide, Carlos Shapira, Dana Zandron, Claudio (2)
Levitin, Gregory (2)
Malyshkin, Victor (2)
Margaria, Tiziana Steffen, Bernhard (4)
Martin-Vide, Carlos Mitrana, Victor Paun, Gheorghe (2)
Martín-Vide, Carlos Mitrana, V. (2)
Menon, Anil (2)
Minati, Gianfranco Pessa, Eliano (2)
Navarro, Gonzalo Bertossi, Leopoldo Kohayakawa, Yoshiharu (2)
Parker, Lynne E. Schneider, Frank E. Schultz, Alan C. (2)
Prinz, Wolfgang Jarke, Matthias Rogers, Yvonne Schmidt, K. Wulf, Volker (2)
Ray, Asok Phoha, Vir V. Phoha, Shashi (2)
Romeo, P. G. Volkov, Mikhail V. Rajan, A. R. (2)
Romero, Juan J. Machado, Penousal (2)
Rozenberg, G. Salomaa, A. (2)
Rozenberg, Grzegorz Salomaa, Arto (5)
Schultz, Alan C. Parker, Lynne E. (2)
Stewart, William J. (2)
Touretzky, David (2)
Voronkov, Andrei (2)
Yuen Fong Bell, Howard E. Wen-Fong Ke Mason, Gordon Pilz, G.F. (2)
Ésik, Zoltán Martin-Vide, Carlos Mitrana, Victor (2)
Autor
Aramayona, Javier Diekert, Volker Leininger, Christopher J. Silva, Pedro V. Weiß, Armin (1)
Arbib, M.A. Kfoury, A.J. Moll, R.N. (1)
Arbib, Michael A. (1)
Ashar, Pranav Devadas, S. Newton, A. Richard (2)
Baba, Norio (1)
Baranov, Samary (2)
Baxter, Nancy Dubinsky, Edward Levin, Gary (1)
Bekic, H. (1)
Ben-Ari, Mordechai (1)
Ben-Yami, H. (2)
Benninghofen, Benjamin Kemmerich, Susanne Richter, Michael M. (1)
Berard, B. Bidoit, M. Finkel, A. Laroussinie, F. Petit, A. Petrucci, L. Schnoebelen, P. (2)
Bloom, Stephen L. Esik, Zoltan (1)
Book, Ronald V. Otto, Friedrich (1)
Boulé, Marc Zilic, Zeljko (2)
Bowman, Howard Gomez, Rodolfo (2)
Bringsjord, Selmer (2)
Brookes, S.D. Donner, M. Driscoll, J. Mauldin, M. Pausch, R. Scherlis, W.L. Shaw, Mary Spector, A.Z. (1)
Brzozowski, Janusz A. Seger, Carl-Johan H. (2)
Burgin, Mark (2)
Büchi, J. Richard (1)
Cassandras, Christos G. Lafortune, Stéphane (1)
Ceccherini-Silberstein, Tullio Coornaert, Michel (2)
Chiswell, Ian M. (1)
Corsini, P. Leoreanu, V. (2)
Cortadella, J. Kishinevsky, M. Kondratyev, A. Lavagno, Luciano Yakovlev, Alex (2)
Crespi Reghizzi, Stefano (1)
Diekert, Volker (1)
Dogaru, Radu (2)
Downey, Rodney G. Fellows, M.R. (2)
Elgot, Calvin C. (1)
Enns, Richard H. McGuire, George C. (2)
Fejer, Peter A. Simovici, Dan A. (1)
Fernandez, Maribel (1)
Flum, J. Grohe, M. (2)
Garzon, Max (1)
Gavrilov, G.P. Sapozhenko, A.A. (2)
Gaylord, Richard J. Nishidate, Kazume (1)
Gecseg, Ferenc (1)
Golan, Jonathan S. (2)
Goles, E. Martínez, Servet (2)
Gopalakrishnan, Ganesh (2)
Gross, Maurice Lentin, Andre (1)
Grune, Dick Jacobs, Ceriel J.H. (2)
Gössel, M. (1)
Hachtel, Gary D. Somenzi, Fabio (2)
Hausser, Roland (1)
Hofbaur, Michael W. (1)
Hussmann (1)
Janicki, Ryszard Lauer, Peter E. (1)
Jervell, Herman Ruge (1)
Jost, Jürgen (1)
Jovic, Fran. (1)
Khoussainov, Bakhadyr Nerode, Anil (2)
Kimms, Alf (1)
Kitchens, Bruce P. (1)
Klüver, Jürgen Klüver, Christina (2)
Korey, Michael Gessner, Samuel (1)
Kozen, Dexter C. (6)
Kuich, W. Salomaa, A. (1)
Lafe, Olurinde (2)
Libkin, Leonid (2)
Luccio, Fabrizio (1)
Manes, E.G. (1)
Matveev, Alexey S. Savkin, Andrey V. (2)
Mazzola, Guerino Milmeister, Gérard Weissmann, Jody (1)
Meduna, Alexander (1)
Meinel, Christoph Theobald, Thorsten (1)
Moll, Robert N. Arbib, Michael A. Kfoury, A.J. (1)
Mordeson, John N. Malik, Davender S. Kuroki, Nobuaki (2)
Mordeson, John N. Nair, Premchand S. (2)
Mortveit, Henning Reidys, Christian (1)
Moyne, John A. (1)
Nierhaus, Gerhard (2)
Parkes, Alan P. (2)
Paun, Gheorghe (2)
Paun, Gheorghe Rozenberg, Grzegorz Salomaa, Arto (2)
Peitgen, Heinz-Otto Jürgens, Hartmut Saupe, Dietmar (2)
Peitgen, Heinz-Otto Jürgens, Hartmut Saupe, Dietmar Maletsky, Evan Perciante, Terry Yunker, Lee (1)
Peled, Doron A. (2)
Poznyak, A.S. Najim, K. (1)
Preston Jr., Kendall Duff, Michael J.B. (2)
Pytheas Fogg, N. (1)
Revesz, Peter (2)
Rosenberg, Arnold L. (1)
Royer, James S. Case, John (2)
Rudeanu, Sergiu (1)
Salomaa, Arto Soittola, Matti (1)
Sampson, Jeffrey R. (1)
Schneider, Klaus (2)
Schröder, Jochen (1)
Sekanina, Lukas (2)
Serra, Roberto Zanarini, Gianni (1)
Shields, Michael W. (1)
Singh, Arindama (2)
Sippu, Seppo Soisalon-Soininen, Eljas (2)
Skowron, Andrzej (1)
Skrzypczak, Michal (1)
Straubing, Howard (2)
Sun-Chong Wang (2)
Schlagworte
algebra (29)
algorithm (120)
algorithm analysis and problem complexity (42)
Algorithms (49)
algorithms (347)
Alphabet (16)
Analysis (26)
approximation (11)
architecture (17)
artificial intelligence (52)
Automat (191)
automata (750)
automata theory (81)
automated deduction (14)
automated reasoning (13)
Automatentheorie (9)
automation (13)
behavior (12)
bioinformatics (20)
Bisimulation (20)
Boolean algebra (10)
Boolean function (18)
calculus (57)
cellular automata (19)
cellular automaton (10)
coding theory (11)
cognition (19)
combinatorial optimization (17)
combinatorics (35)
communication (34)
Compiler (9)
complexity (274)
complexity theory (65)
computability (26)
computational complexity (16)
computational geometry (32)
computational linguistics (18)
Computer (42)
computer (105)
computer science (129)
concurrency (25)
control (21)
cryptography (18)
data mining (10)
data structure (40)
data structures (49)
database (16)
databases (16)
design (18)
distributed computing (30)
distributed systems (35)
DNA computing (13)
dynamical systems (17)
dynamische Systeme (12)
embedded systems (12)
Erfüllbarkeitsproblem der Aussagenlogik (20)
evolution (12)
evolutionary algorithm (13)
finite automata (24)
formal language (109)
formal languages (54)
formal method (29)
formal methods (61)
formal specification (28)
formal verification (33)
game theory (10)
grammars (19)
Graph (15)
Hardware (28)
hybrid systems (13)
image processing (15)
Informatik (11)
integrated circuit (10)
intelligence (16)
Java (16)
lambda calculus (12)
learning (31)
linear optimization (14)
logic (151)
model checking (65)
modeling (84)
Monoid (21)
optimization (42)
petri net (18)
Processing (20)
program analysis (10)
programming (66)
programming language (21)
real-time (11)
Routing (12)
semantics (18)
Simulation (30)
SPIN (11)
Syntax (12)
theoretical computer science (15)
Turing (10)
Unified Modeling Language (UML) (14)
Variable (29)
verification (40)
XML (14)
Veröffentlicht
1973 (1)
1979 (2)
1981 (2)
1984 (2)
1985 (2)
1987 (2)
1988 (2)
1989 (3)
1994 (2)
1996 (2)
1997 (2)
1998 (2)
1999 (2)
2000 (4)
2001 (2)
2002 (3)
2003 (2)
2004 (3)
2005 (2)
2006 (2)
2007 (2)
2008 (2)
2009 (2)
2010 (2)
2011 (3)
2012 (2)
2013 (2)
2014 (2)
2016 (2)
Sprache
Englisch (750)
Natural Computing
107,00 CHF*
In den Warenkorb
Generating Hardware Assertion Checkers
107,00 CHF*
In den Warenkorb
IUTAM Symposium on Topological Design Optimization of Structures, Machines and Materials
214,00 CHF*
In den Warenkorb
Algorithms and Data Structures in VLSI Design
53,50 CHF*
In den Warenkorb
Cellular Automata
160,50 CHF*
In den Warenkorb
Modern Formal Methods and Applications
107,00 CHF*
In den Warenkorb
Cellular Automata, Dynamical Systems and Neural Networks
107,00 CHF*
In den Warenkorb
Semirings and Affine Equations over Them
107,00 CHF*
In den Warenkorb
Collision-Based Computing
107,00 CHF*
In den Warenkorb
Algorithmic Composition
149,80 CHF*
In den Warenkorb
Traffic and Granular Flow ' 03
214,00 CHF*
In den Warenkorb
Natural Computing
107,00 CHF*
In den Warenkorb
Systems and Software Verification
149,80 CHF*
In den Warenkorb
Concurrency Theory
160,50 CHF*
In den Warenkorb
Algorithmic and Geometric Topics Around Free Groups and Automorphisms
26,75 CHF*
In den Warenkorb
Near-Rings and Near-Fields
53,50 CHF*
In den Warenkorb
Adaptive Information Processing
107,00 CHF*
In den Warenkorb
Nonlinear Physics with Maple for Scientists and Engineers
80,25 CHF*
In den Warenkorb
Concurrency Theory
160,50 CHF*
In den Warenkorb
An Introduction to Formal Language Theory
53,50 CHF*
In den Warenkorb
Algorithmic Composition
149,80 CHF*
In den Warenkorb
New Horizons of Parallel and Distributed Computing
160,50 CHF*
In den Warenkorb
Process Control Systems
53,50 CHF*
In den Warenkorb
Quantitative Measure for Discrete Event Supervisory Control
107,00 CHF*
In den Warenkorb
1
2
3
4
5
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
