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 "Mathematical Logic and Formal Languages" wurden 615 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Metzler-Pöschel (1)
Spektrum (1)
Springer Nature EN (610)
Vieweg + Teubner (3)
Produktart
Gebunden (63)
Kartoniert / Broschiert (543)
Kassette / Medienmix z.B. Audio und Buch (8)
Unbekannt (1)
Herausgeber
Aagaard, Mark D. O'Leary, John W. (1)
Abate, Alessandro Boldo, Sylvie (1)
Aberdein, Andrew Dove, Ian J (1)
Ablaev, Farid M. Mayr, Ernst W. (1)
Abramsky, Samson Kontinen, Juha Väänänen, Jouko Vollmer, Heribert (2)
Adorni, Giovanni Cagnoni, Stefano Gori, Marco Maratea, Marco (1)
Aha, David W. Watson, Ian (1)
Aichernig, Bernhard K. Furia, Carlo A. (1)
Aiello, Marco Pratt-Hartmann, Ian Benthem, Johan van (1)
Akman, Varol Bouquet, Paolo Thomason, Richmond Young, Roger A. (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)
Andréka, Hajnal Ferenczi, Miklós Németi, István (1)
Antonucci, Alessandro Cholvy, Laurence Papini, Odile (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)
Baeten, Jos C.M. Ball, Tom de Boer, Frank S. (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)
Basin, David Rusinowitch, Michael (1)
Basin, David Wolff, Burkhart (1)
Baskent, Can (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)
Bellahsene, Zohra Bonifati, Angela Rahm, Erhard (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 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)
Bimbo, Katalin (1)
Bishop, Judith Vallecillo, Antonio (1)
Bittencourt, Guilherme Ramalho, Geber L. (1)
Bjørner, Dines Henson, Martin C. (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)
Blum, Edward K. Aho, Alfred V (1)
Blume, Matthias Kobayashi, Naoki Vidal-Oriola, Germán (1)
Blundo, Carlo Laneve, Cosimo (1)
Boca, Paul Bowen, Jonathan P. Siddiqi, Jawed (1)
Bodlaender, Hans L. Downey, Rodney Fomin, Fedor V. Marx, Dániel (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)
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)
Ciobanu, Gabriel Pérez-Jiménez, Mario J. Paun, Gheorghe (2)
Croitoru, Madalina Marquis, Pierre Rudolph, Sebastian Stapleton, Gem (2)
Czelakowski, Janusz (2)
Dastani, Mehdi Hindriks, Koen V. Meyer, John-Jules (2)
Gelbukh, Alexander (6)
Hansson, Sven Ove (2)
Hömberg, Dietmar Tröltzsch, Fredi (2)
Ibarra, Oscar H. Dang, Zhe (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)
Peters, James F. Skowron, Andrzej (2)
Rojas, Ignacio Valenzuela, Olga Rojas, Fernando Ortuño, Francisco (2)
Romanovsky, Alexander Thomas, Martyn (2)
Seising, Rudolf Trillas, Enric Moraga, Claudio Termini, Settimo (3)
Shi, Zhongzhi Wu, Zhaohui Leake, David Sattler, Uli (2)
Swart, Harrie de Orlowska, Ewa Schmidt, Gunther Roubens, Marc (2)
Autor
Apt, Krzysztof R. de Boer, Frank S. Olderog, Ernst-Rüdiger (2)
Baaz, Matthias Leitsch, Alexander (1)
Bell, John L. (1)
Berard, B. Bidoit, M. Finkel, A. Laroussinie, F. Petit, A. Petrucci, L. Schnoebelen, P. (1)
Bergstra, Jan A Middelburg, Cornelis A. (1)
Bochman, Alexander (1)
Bolc, Leonard Borowik, Piotr (2)
Bollig, Benedikt (2)
Braüner, Torben (1)
Broy, Manfred Stølen, Ketil (2)
Bultan, Tevfik Yu, Fang Alkhalaf, Muath Aydin, Abdulbaki (2)
Butler, Alastair (1)
Calude, Cristian S. (1)
Cantone, Domenico Omodeo, Eugenio Policriti, Alberto (2)
Cantone, Domenico Ursino, Pietro (1)
Carnielli, Walter Pizzi, Claudio (2)
Cellucci, Carlo (2)
Cheng, Daizhan Qi, Hongsheng Li, Zhiqiang (1)
Chiang, David (1)
Cocchiarella, Nino B. (1)
Crabbe, Stephen (2)
Czelakowski, Janusz (1)
D'Avila Garcez, Artur S. Lamb, Luís C. Gabbay, Dov M. (1)
Dasgupta, Pallab (1)
David, René Alla, Hassane (1)
Demri, Stephane P. Orlowska, Ewa (1)
Deng, Yuxin (1)
Derrick, John Boiten, Eerke A. (1)
Doberkat, Ernst-Erich (2)
Ebbinghaus, Heinz Dieter Peckhaus, Volker (2)
Ehrig, Hartmut Ehrig, Karsten Prange, Ulrike Taentzer, Gabriele (2)
Eklund, Patrik Gutie´rrez Garci´a, Javier Höhle, Ulrich Kortelainen, Jari (1)
Euzenat, Jérôme Shvaiko, Pavel (2)
Fajstrup, Lisbeth Goubault, Eric Haucourt, Emmanuel Mimram, Samuel Raussen, Martin (1)
Fenstad, Jens Erik (1)
Ferguson, Thomas Macaulay (2)
Fey, Görschwin Drechsler, Rolf (2)
Flum, J. Grohe, M. (2)
Fokkink, Wan (1)
Frühwirth, Thom Abdennadher, Slim (1)
Gabbay, Dov M. (2)
Gabbay, Dov M. Schlechta, Karl (3)
Ganesalingam, Mohan (1)
Giustolisi, Rosario (2)
Gokhale, Maya B. Graham, Paul S. (2)
Gopalakrishnan, Ganesh (1)
Hansson, Sven Ove (1)
Heinemann, Bernhard WEHIRAUCH, KLAUS (1)
Hoffmann, Dirk W. (1)
Hromkovic, Juraj (1)
Hudec, Miroslav (2)
Hutter, Marcus (1)
Iacona, Andrea (1)
Indrzejczak, Andrzej (1)
Jay, Barry (1)
Jech, Thomas (2)
Jureta, Ivan (1)
Jøsang, Audun (1)
Kaci, Souhila (2)
Kaufmann, Michael (2)
Kohlhase, Michael (1)
Konrad, Karsten (1)
Koppitz, Jörg Denecke, Klaus (2)
Kourie, Derrick G. Watson, Bruce W. (1)
Kracht, Marcus (1)
Krantz, Steven G. (1)
Küsters, Ralf (1)
Lee, Raymond S.T. (1)
Liu, Shaoying (1)
Losee, Robert M. (1)
Martino, Enrico (1)
Mazzola, Guerino Milmeister, Gérard Weissmann, Jody (1)
McIver, Annabelle Morgan, Charles Carroll (1)
Meduna, Alexander Zemek, Petr (2)
Mogavero, Fabio (1)
Moot, Richard Retore, Christian (1)
Muresan, Marian (2)
Newborn, Monty (1)
Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus (1)
Ognjanovic, Zoran Raškovic, Miodrag Markovic, Zoran (1)
Orlowska, Ewa Golinska Pilarek, Joanna (1)
Ovchinnikova, Ekaterina (1)
Patel, Hiren D. Shukla, Sandeep Kumar (1)
Paun, Gheorghe (2)
Platzer, André (1)
Primiero, Giuseppe (1)
Pytheas Fogg, N. (1)
Rhodes, John Steinberg, Benjamin (1)
Ronchi Della Rocca, Simona Paolini, Luca (1)
Rust, Heinrich (1)
Schneider, Klaus (1)
Sikos, Leslie F. (1)
Singh, Neeraj Kumar (1)
Smialek, Michal Nowakowski, Wiktor (1)
Stirling, Colin (2)
Studer, Thomas (1)
Sturmfels, Bernd (1)
Tarski, Alfred (2)
Zermelo, Ernst (2)
Zhou, Chaochen Hansen, Michael R. (2)
Schlagworte
Algorithm Analysis and Problem Complexity (102)
Algorithmen und Datenstrukturen (72)
Algorithms (106)
Algorithms & data structures (100)
angewandte informatik (40)
Application software (87)
Artificial Intelligence (339)
Automated Pattern Recognition (26)
B (167)
C (443)
Compiler und Übersetzer (69)
Compilers & interpreters (139)
Compilers and Interpreters (115)
Computation by Abstract Devices (112)
Computer and Information Systems Applications (62)
Computer Appl. in Administrative Data Processing (21)
Computer Application in Administrative Data Processing (17)
Computer architecture & logic design (247)
Computer Communication Networks (30)
Computer communication systems (25)
Computer logic (243)
Computer Modelling (26)
Computer modelling & simulation (30)
Computer programming (93)
Computer programming / software engineering (241)
computer science (531)
Computer Science Logic and Foundations of Programming (206)
Computer science—Mathematics (84)
Computer simulation (32)
Computer Vision (25)
Computerprogrammierung und Softwareentwicklung (52)
Computers (179)
Data Mining (50)
Data Mining and Knowledge Discovery (50)
Data structures (Computer science) (23)
Data Warehousing (74)
Database Management (73)
database programming (73)
Databases (63)
Datenbanken (59)
Discrete Mathematics (43)
Discrete Mathematics in Computer Science (39)
Diskrete Mathematik (28)
Expert systems / knowledge-based systems (63)
Formal Languages and Automata Theory (466)
Image processing (25)
Image Processing and Computer Vision (23)
Information Retrieval (98)
Information Storage and Retrieval (74)
Information Systems Applications (incl. Internet) (60)
Information technology: general issues (38)
Information theory (15)
Informationsrückgewinnung, Information Retrieval (50)
Internet searching (60)
Künstliche Intelligenz (125)
Logic (61)
Logics and Meanings of Programs (242)
Maschinelles Sehen, Bildverstehen (16)
Mathematical & statistical software (23)
Mathematical foundations (68)
Mathematical logic (615)
Mathematical Logic and Formal Languages (615)
Mathematical Logic and Foundations (227)
Mathematical statistics (15)
Mathematical theory of computation (568)
Mathematics and Statistics (34)
Mathematics of Computing (25)
Mathematik für Informatiker (56)
Mathematik: Logik (38)
mathematische Grundlagen (49)
Maths for computer scientists (94)
Mustererkennung (16)
Natural language & machine translation (36)
Natural language processing (Computer science) (43)
Natural Language Processing (NLP) (43)
Natürliche Sprachen und maschinelle Übersetzung (22)
Network hardware (24)
Netzwerk-Hardware (20)
Numeric Computing (17)
Numerical analysis (23)
Operating systems (79)
Optical data processing (27)
pattern recognition (26)
Philosophie: Logik (15)
Philosophy: logic (27)
Probability and Statistics in Computer Science (15)
Programming & scripting languages: general (120)
Programming languages (Electronic computers) (139)
Programming Languages, Compilers, Interpreters (139)
Programming Techniques (93)
Public Administration (21)
Religion and Philosophy (32)
Semantics (16)
Simulation and Modeling (32)
Software Engineering (214)
Software Engineering/Programming and Operating Systems (73)
Symbolic and Algebraic Manipulation (26)
Theoretische Informatik (300)
Theory of Computation (197)
Wissensbasierte Systeme, Expertensysteme (50)
Veröffentlicht
1992 (1)
2000 (1)
2001 (1)
2002 (1)
2003 (2)
2004 (2)
2005 (2)
2006 (2)
2007 (2)
2010 (2)
2012 (2)
2013 (3)
2014 (4)
2015 (2)
2016 (2)
2017 (2)
2018 (3)
2019 (3)
Sprache
Deutsch (5)
Englisch (610)
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
Abstraction, Refinement and Proof for Probabilistic Systems
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
