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 "Formal Languages and Automata Theory" wurden 487 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Spektrum (1)
Springer (3)
Springer International Publishing (18)
Springer Nature EN (462)
Vieweg + Teubner (3)
Produktart
Gebunden (28)
Kartoniert / Broschiert (452)
Kassette / Medienmix z.B. Audio und Buch (7)
Herausgeber
?u?u, Ionu? (1)
Aagaard, Mark D. O'Leary, John W. (1)
Abate, Alessandro Boldo, Sylvie (1)
Ablaev, Farid M. Mayr, Ernst W. (1)
Adorni, Giovanni Cagnoni, Stefano Gori, Marco Maratea, Marco (1)
Aha, David W. Watson, Ian (1)
Aichernig, Bernhard K. Furia, Carlo A. (1)
Aiswarya, C Sen, Prabal Kumar Srivastava, Shashi Mohan (1)
Akman, Varol Bouquet, Paolo Thomason, Richmond Young, Roger A. (1)
Alam, Mehwish Rospocher, Marco van Erp, Marieke Hollink, Laura Gesese, Genet Asefa (1)
Alferes, Jose Julio Bertossi, Leopoldo Governatori, Guido Fodor, Paul Roman, Dumitru (1)
Alferes, Jose, Julio Leite, Joao (1)
Alferes, José Júlio Bailey, James May, Wolfgang Schwertel, Uta (1)
Alur, Rajeev Peled, Doron A. (1)
Amadio, Roberto (1)
Amblard, Maxime de Groote, Philippe Pogodalla, Sylvain Retoré, Christian (1)
An, Bo Bazzan, Ana Leite, João Villata, Serena van der Torre, Leendert (1)
Andersson, Birger Bergholtz, Maria Johannesson, P. (1)
André, Étienne Stoelinga, Mariëlle (1)
Antonucci, Alessandro Cholvy, Laurence Papini, Odile (1)
Anutariya, Chutiporn Bonsangue, Marcello M. (1)
Arló-Costa, Horacio Hendricks, Vincent F. van Benthem, Johan (2)
Artemov, Sergei Nerode, Anil (3)
Artho, Cyrille Legay, Axel Peled, Doron (1)
Ashley, Kevin D. Bridge, Derek (1)
Asperti, Andrea Buchberger, Bruno Davenport, James Harold (1)
Auer, Peter Meir, Ron (1)
Avigad, Jeremy Mahboubi, Assia (1)
Ayala-Rincón, Mauricio Muñoz, César A. (1)
Baader, Franz (1)
Baader, Franz Voronkov, Andrei (1)
Baaz, Matthias Makowsky, Johann M. (1)
Bacchus, Fahiem Walsh, Toby (1)
Backhouse, Roland Crole, Roy Gibbons, Jeremy (1)
Baetens, Jan M. Kutrib, Martin (1)
Balcázar, José L. Long, Philip M. Stephan, Frank (1)
Ball, Thomas Jones, Robert B. (1)
Baltag, Alexandru Seligman, Jeremy Yamada, Tomoyuki (1)
Baral, Chitta Greco, Gianluigi Leone, Nicola Terracina, Giorgio (1)
Baratgin, Jean Jacquet, Baptiste Brochier, Emmanuel Yama, Hiroshi (1)
Basin, David Rusinowitch, Michael (1)
Basin, David Wolff, Burkhart (1)
Baskent, Can Ferguson, Thomas Macaulay (1)
Baskent, Can Moss, Lawrence S. Ramanujam, Ramaswamy (1)
Bazzan, Ana L. C. Labidi, Sofiane (1)
Beckert, Bernhard (1)
Beckert, Bernhard Hähnle, Reiner Schmitt, Peter H. (1)
Beckmann, Arnold Bienvenu, Laurent Jonoska, Nataša (1)
Belardinelli, Francesco Argente, Estefanía (1)
Ben David, Shai Case, John Maruoka, Akira (1)
Benferhat, Salem Besnard, Philippe (1)
Benslimane, Djamal Damiani, Ernesto Grosky, William I. Hameurlain, Abdelkader Sheth, Amit Wagner, Roland R. (1)
Benzmüller, Christoph Heule, Marijn J.H. Schmidt, Renate A. (1)
Benzmüller, Christoph Ricca, Francesco Parent, Xavier Roman, Dumitru (1)
Berardi, Stefano Coppo, Mario Damiani, Ferruccio (1)
Berry, Gerard Comon, Hubert Finkel, Alain (1)
Bert, Didier Bowen, Jonathan P. Henson, Martin C. Robinson, Ken (1)
Bert, Didier Bowen, Jonathan P. King, Steve Waldén, Marina (1)
Berthé, Valerie Ferenczi, Sebastien Mauduit, Christian Siegel, Anne (1)
Bessiere, Christian (1)
Bezhanishvili, Guram (1)
Biere, Armin Bloem, Roderick (1)
Biere, Armin Gomes, Carla P. (1)
Bilgic, Taner Baets, Bernard De Kaynak, Okays (1)
Bittencourt, Guilherme Ramalho, Geber L. (1)
Blache, Philippe Stabler, Edward Busquets, Joan Moot, Richard (1)
Blackburn, Patrick Ghidini, Chiara Turner, Roy M. Giunchiglia, Fausto (1)
Blackwell, Clive Zhu, Hong (1)
Blesa, Maria J. Blum, Christian Cangelosi, Angelo Cutello, Vincenzo Di Nuovo, Alessandro Pavone, Mario Talbi, El-Ghazali (1)
Blume, Matthias Kobayashi, Naoki Vidal-Oriola, Germán (1)
Blundo, Carlo Laneve, Cosimo (1)
Boer, Frank S. de Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul (1)
Bogomolov, Sergiy Martel, Matthieu Prabhakar, Pavithra (1)
Bojanczyk, Mikolaj Simpson, Alex (1)
Bouajjani, Ahmed Monniaux, David (1)
Boulicaut, Jean-Francois Esposito, Floriana Giannotti, Fosca Pedreschi, Dino (1)
Bouzeghoub, Mokrane Kedad, Zoubida Metais, Elisabeth (1)
Bošnacki, Dragan Wijs, Anton (1)
Bradfield, Julian (1)
Brinksma, Ed Larsen, Kim G. (1)
Brooks, Mike Corbett, Dan Stumptner, Markus (1)
Bruynooghe, Maurice Lau, Kung-Kiu (1)
Buchberger, Bruno Campbell, John A. (1)
Börger, Egon Gargantini, Angelo Riccobene, Elvinia (1)
Cagnoni, Stefano Mordonini, Monica Pecori, Riccardo Roli, Andrea Villani, Marco (1)
Cai, Zhipeng Skums, Pavel Li, Min (1)
Carvalho, Joao Paulo Lesot, Marie-Jeanne Kaymak, Uzay Vieira, Susana Bouchon-Meunier, Bernadette Yager, Ronald R. (2)
Chomicki, Jan Meyden, Ron van der Saake, Gunter (2)
Croitoru, Madalina Marquis, Pierre Rudolph, Sebastian Stapleton, Gem (2)
Czelakowski, Janusz (2)
Gelbukh, Alexander (6)
Ibarra, Oscar H. Dang, Zhe (2)
Královic, Rastislav Kurková, Vera (2)
Laurent, Anne Strauss, Olivier Bouchon-Meunier, Bernadette Yager, Ronald R. (3)
Medina, Jesús Ojeda-Aciego, Manuel Verdegay, José Luis Pelta, David A. Cabrera, Inma P. Bouchon-Meunier, Bernadette Yager, Ronald R. (2)
Meroño Peñuela, Albert Corcho, Oscar Groth, Paul Simperl, Elena Tamma, Valentina Nuzzolese, Andrea Giovanni Poveda-Villalón, Maria Sabou, Marta Presutti, Valentina Celino, Irene Revenko, Artem Raad, Joe Sartini, Bruno Lisena, Pasquale (2)
Rojas, Ignacio Valenzuela, Olga Rojas, Fernando Ortuño, Francisco (2)
Romanovsky, Alexander Thomas, Martyn (2)
Shi, Zhongzhi Wu, Zhaohui Leake, David Sattler, Uli (2)
Swart, Harrie de Orlowska, Ewa Schmidt, Gunther Roubens, Marc (2)
Autor
Baaz, Matthias Leitsch, Alexander (1)
Berard, B. Bidoit, M. Finkel, A. Laroussinie, F. Petit, A. Petrucci, L. Schnoebelen, P. (1)
Bochman, Alexander (1)
Bollig, Benedikt (2)
Broy, Manfred Stølen, Ketil (2)
Cantone, Domenico Omodeo, Eugenio Policriti, Alberto (2)
Cantone, Domenico Ursino, Pietro (1)
D'Avila Garcez, Artur S. Lamb, Luís C. Gabbay, Dov M. (1)
Deng, Yuxin (1)
Derrick, John Boiten, Eerke A. (1)
Diaconescu, Razvan (1)
Ebbinghaus, Heinz Dieter Peckhaus, Volker (2)
Fenstad, Jens Erik (1)
Ferguson, Thomas Macaulay (2)
Gabbay, Dov M. Schlechta, Karl (2)
Hansson, Sven Ove (1)
Heinemann, Bernhard WEHIRAUCH, KLAUS (1)
Hoffmann, Dirk W. (2)
Iacona, Andrea (1)
Jech, Thomas (2)
Junker, Markus (1)
Jureta, Ivan (1)
Kaci, Souhila (2)
Kohlhase, Michael (1)
Konrad, Karsten (1)
Krantz, Steven G. (1)
Küsters, Ralf (1)
Lee, Raymond S.T. (1)
Lewis, Clayton (1)
Liu, Shaoying (1)
Martino, Enrico (1)
Mazzola, Guerino Milmeister, Gérard Weissmann, Jody (1)
Müller, Andreas (1)
Newborn, Monty (1)
Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus (1)
Ogihara, Mitsunori (1)
Ognjanovic, Zoran Raškovic, Miodrag Markovic, Zoran (1)
Otto, Friedrich (1)
Paun, Gheorghe (2)
Pytheas Fogg, N. (1)
Rust, Heinrich (1)
Singh, Neeraj Kumar (1)
Smialek, Michal Nowakowski, Wiktor (1)
Stirling, Colin (2)
Studer, Thomas (1)
Sturmfels, Bernd (1)
Tarski, Alfred (2)
Usman, Muhammad Muthukkumarasamy, Vallipuram Wu, Xin-Wen Khanum, Surraya (1)
Wilhelm, Reinhard (1)
Wolf, Karsten (1)
Zadeh, Lotfi A. (1)
Zermelo, Ernst (1)
Zhou, Chaochen Hansen, Michael R. (1)
Schlagworte
Algorithm Analysis and Problem Complexity (89)
Algorithmen und Datenstrukturen (70)
Algorithms (92)
Algorithms & data structures (88)
angewandte informatik (41)
Application software (69)
Artificial Intelligence (302)
Automated Pattern Recognition (21)
B (67)
C (395)
Compiler und Übersetzer (65)
Compilers & interpreters (117)
Compilers and Interpreters (116)
Computation by Abstract Devices (96)
Computer and Information Systems Applications (55)
Computer Appl. in Administrative Data Processing (17)
Computer Application in Administrative Data Processing (17)
Computer architecture & logic design (209)
Computer Communication Networks (27)
Computer communication systems (20)
Computer logic (207)
Computer Modelling (26)
Computer modelling & simulation (24)
Computer programming (77)
Computer programming / software engineering (204)
computer science (440)
Computer Science Logic and Foundations of Programming (208)
Computer science—Mathematics (68)
Computer simulation (26)
Computer Vision (22)
Computermodellierung und -simulation (13)
Computerprogrammierung und Softwareentwicklung (52)
Computers (143)
Data Mining (44)
Data Mining and Knowledge Discovery (43)
Data Science (14)
Data Structures (13)
Data structures (Computer science) (20)
Data Warehousing (72)
Database Management (74)
database programming (70)
Databases (61)
Datenbanken (63)
Discrete Mathematics (35)
Discrete Mathematics in Computer Science (36)
Diskrete Mathematik (30)
Expert systems / knowledge-based systems (53)
Formal Languages and Automata Theory (487)
Image processing (21)
Image Processing and Computer Vision (20)
Information Retrieval (88)
Information Storage and Retrieval (72)
Information Systems Applications (incl. Internet) (49)
Information technology: general issues (29)
Informationsrückgewinnung, Information Retrieval (50)
Internet searching (49)
Künstliche Intelligenz (122)
Logic (32)
Logics and Meanings of Programs (206)
Maschinelles Sehen, Bildverstehen (16)
Mathematical & statistical software (17)
Mathematical foundations (41)
Mathematical logic (467)
Mathematical Logic and Formal Languages (466)
Mathematical Logic and Foundations (83)
Mathematical theory of computation (434)
Mathematics and Statistics (13)
Mathematics of Computing (16)
Mathematik für Informatiker (55)
Mathematik: Logik (36)
mathematische Grundlagen (43)
Maths for computer scientists (75)
Models of Computation (12)
Mustererkennung (16)
Natural language & machine translation (31)
Natural language processing (Computer science) (37)
Natural Language Processing (NLP) (39)
Natürliche Sprachen und maschinelle Übersetzung (24)
Network hardware (19)
Netzwerk-Hardware (20)
Numeric Computing (13)
Numerical analysis (14)
Numerische Mathematik (12)
Operating systems (66)
Optical data processing (23)
pattern recognition (21)
Programming & scripting languages: general (100)
Programming languages (Electronic computers) (117)
Programming Languages, Compilers, Interpreters (117)
Programming Techniques (79)
Public Administration (17)
Religion and Philosophy (13)
Semantics (14)
Simulation and Modeling (26)
Software Engineering (187)
Software Engineering/Programming and Operating Systems (60)
Symbolic and Algebraic Manipulation (25)
Theoretische Informatik (286)
Theory of Computation (149)
Wissensbasierte Systeme, Expertensysteme (49)
Veröffentlicht
1992 (1)
2000 (1)
2001 (1)
2002 (1)
2003 (2)
2004 (2)
2005 (2)
2006 (2)
2007 (2)
2012 (2)
2014 (4)
2016 (2)
2017 (2)
2018 (3)
2019 (2)
2024 (2)
2025 (2)
Sprache
Deutsch (6)
Englisch (481)
Application and Theory of Petri Nets and Concurrency
128,40 CHF*
In den Warenkorb
Learning Theory
0,00 CHF*
Details
Algebra, Meaning, and Computation
0,00 CHF*
Details
Automated Theorem Proving
0,00 CHF*
Details
Modal and Temporal Properties of Processes
0,00 CHF*
Details
Modal and Temporal Properties of Processes
0,00 CHF*
Details
Computational Intelligence
0,00 CHF*
Details
AI 2006: Advances in Artificial Intelligence
0,00 CHF*
Details
Developments in Applied Artificial Intelligence
0,00 CHF*
Details
Logics in Artificial Intelligence
0,00 CHF*
Details
MICAI 2007: Advances in Artificial Intelligence
0,00 CHF*
Details
Specification and Development of Interactive Systems
0,00 CHF*
Details
Set Theory for Computing
0,00 CHF*
Details
Computational Linguistics and Intelligent Text Processing
0,00 CHF*
Details
Rewriting Techniques and Applications
0,00 CHF*
Details
Advances in Natural Language Processing
0,00 CHF*
Details
Functional and Logic Programming
0,00 CHF*
Details
Theory and Applications of Relational Structures as Knowledge Instruments II
0,00 CHF*
Details
Developments in Language Theory
0,00 CHF*
Details
Advances in Case-Based Reasoning
0,00 CHF*
Details
Logic for Programming, Artificial Intelligence, and Reasoning
0,00 CHF*
Details
Computer Aided Verification
0,00 CHF*
Details
Set Theory for Computing
0,00 CHF*
Details
Specification and Development of Interactive Systems
0,00 CHF*
Details
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
