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

Ihr Konto

Anmelden

oder registrieren

Übersicht Persönliches Profil Adressen Zahlungsarten Bestellungen Kreditkarten

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 logic" wurden 429 Produkte gefunden

Filter

Nur Neuerscheinungen

Birkhäuser Boston (3)
Palgrave Macmillan UK (2)
Physica (2)
Springer Basel (2)
Springer Berlin (42)
Springer International Publishing (286)
Springer London (2)
Springer Netherland (78)
Springer Singapore (4)
Springer US (7)
Vieweg & Teubner (1)

Gebunden (49)
Kartoniert / Broschiert (379)
Unbekannt (1)

Abate, Alessandro Petrov, Tatjana Wolf, Verena (1)
Abdelwahed, El Hassan Bellatreche, Ladjel Benslimane, Djamal Golfarelli, Matteo Jean, Stéphane Mery, Dominique Nakamatsu, Kazumi Ordonez, Carlos (1)
Agazzi, E. (2)
Ahmed, Amal (1)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Ulbrich, Mattias (1)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Johnsen, Einar Broch (1)
Ahrendt, Wolfgang Tapia Tarifa, Silvia Lizeth (1)
Ahrendt, Wolfgang Wehrheim, Heike (1)
Ait-Ameur, Yamine Qin, Shengchao (1)
Alechina, Natasha Baldoni, Matteo Logan, Brian (1)
Althoff, Klaus-Dieter Bergmann, Ralph Branting, L. Karl (1)
Alvim, Mário S. Chatzikokolakis, Kostas Olarte, Carlos Valencia, Frank (1)
Arbab, Farhad Jongmans, Sung-Shik (1)
Areces, Carlos Costa, Diana (1)
Arikawa, Setsuo Motoda, Hiroshi (1)
Artale, Alessandro Cortellessa, Gabriella Montali, Marco (1)
Artemov, Sergei Nerode, Anil (1)
Artho, Cyrille Ölveczky, Peter Csaba (1)
Asperti, Andrea Bancerek, Grzegorz Trybulec, Andrzej (1)
Atig, Mohamed Faouzi Bensalem, Saddek Bliudze, Simon Monsuez, Bruno (1)
Attiogbé, Christian Ferrarotti, Flavio Maabout, Sofian (1)
Audi, Robert (2)
Avigad, Jeremy Mahboubi, Assia (1)
Aït-Ameur, Yamine Craciun, Florin (1)
Bae, Kyungmin (1)
Bae, Kyungmin Ölveczky, Peter Csaba (1)
Baier, Christel Dal Lago, Ugo (1)
Baldoni, Matteo Dastani, Mehdi Liao, Beishui Sakurai, Yuko Zalila Wenkstern, Rym (1)
Baltag, Alexandru Seligman, Jeremy Yamada, Tomoyuki (1)
Baroni, Pietro Benzmüller, Christoph Wáng, Y? N. (1)
Barrett, Clark Waldmann, Uwe (2)
Bartocci, Ezio Cleaveland, Rance Grosu, Radu Sokolsky, Oleg (1)
Bartocci, Ezio Falcone, Yliès Leucker, Martin (1)
Basili, Roberto Lembo, Domenico Limongelli, Carla Orlandini, Andrea (1)
Basin, David Rusinowitch, Michael (1)
Bassiliades, Nick Chalkiadakis, Georgios de Jonge, Dave (1)
Basu, Amrita Stapleton, Gem Linker, Sven Legg, Catherine Manalo, Emmanuel Viana, Petrucio (1)
Bauer, Lujo Küsters, Ralf (1)
Belardinelli, Francesco Argente, Estefanía (1)
Bell, Paul C. Totzke, Patrick Potapov, Igor (1)
Ben Amor, Nahla Quost, Benjamin Theobald, Martin (1)
Benzmüller, Christoph Miller, Bruce (1)
Bergmann, Ralph Malburg, Lukas Rodermund, Stephanie C. Timm, Ingo J. (1)
Bernardi, Raffaella Kobele, Greg Pogodalla, Sylvain (1)
Beyer, Dirk Huisman, Marieke (2)
Beyer, Dirk Huisman, Marieke Kordon, Fabrice Steffen, Bernhard (1)
Beyer, Dirk Keller, Chantal (1)
Beyer, Dirk Zufferey, Damien (1)
Beyersdorff, Olaf Wintersteiger, Christoph M. (1)
Bi, Yuanguo Chen, Gang Deng, Qingxu Wang, Yi (1)
Bjørner, Nikolaj Virbitskaite, Irina Voronkov, Andrei (1)
Blackburn, Patrick Ghidini, Chiara Turner, Roy M. Giunchiglia, Fausto (1)
Blackburn, Patrick Lorini, Emiliano Guo, Meiyun (1)
Blackburn, Patrick van Ditmarsch, Hans Manzano, Maria Soler-Toscano, Fernando (1)
Blanchette, Jasmin Kovács, Laura Pattinson, Dirk (1)
Blömer, Johannes Kotsireas, Ilias S. Kutsia, Temur Simos, Dimitris E. (1)
Bochenski, J.M. (2)
Bojanczyk, Mikolaj Simpson, Alex (1)
Bortolussi, Luca Sanguinetti, Guido (1)
Borwein, Jonathan Farmer, William M. (1)
Bouquet, Paolo Serafini, Luciano Brézillon, Patrick Benerecetti, Massimo Castellani, Francesca (1)
Bouraoui, Zied Vesic, Srdjan (1)
Bournez, Olivier Formenti, Enrico Potapov, Igor (1)
Bowen, Jonathan P. Li, Qin Xu, Qiwen (1)
Bowles, Juliana Broccia, Giovanna Pellungrini, Roberto (1)
Buchs, Didier Carmona, Josep (1)
Byrski, Aleksander Hughes, John (1)
Cagnoni, Stefano Mordonini, Monica Pecori, Riccardo Roli, Andrea Villani, Marco (1)
Caires, Luís (1)
Calinescu, Radu Pasareanu, Corina S. (1)
Calvaresi, Davide Najjar, Amro Winikoff, Michael Främling, Kary (1)
Carvalho, Gustavo Stolz, Volker (1)
Cerone, Antonio Roggenbach, Markus (1)
Chockler, Hana Weissenbacher, Georg (2)
Cook, Roy T. (2)
Dillig, Isil Tasiran, Serdar (2)
Dimitrova, Rayna Lahav, Ori Wolff, Sebastian (2)
Enea, Constantin Lal, Akash (3)
Følstad, Asbjørn Araujo, Theo Papadopoulos, Symeon Law, Effie L.-C. Luger, Ewa Goodwin, Morten Brandtzaeg, Petter Bae (3)
Grattan-Guinness, Ivor Bornet, Gerard (2)
Groote, Jan Friso Larsen, Kim Guldstrand (2)
Hitchcock, David Verheij, Bart (2)
Hojjat, Hossein Massink, Mieke (2)
Lahiri, Shuvendu K. Wang, Chao (3)
Legay, Axel Margaria, Tiziana (2)
MacCrimmon, Marilyn Tillers, Peter (2)
Margaria, Tiziana Steffen, Bernhard (17)
Meyer, Michel (2)
Morscher, E. Hieke, A. (2)
Peltier, Nicolas Sofronie-Stokkermans, Viorica (2)
Ramacher, Ulrich von der Malsburg, Christoph (2)
Reed, C. Norman, T.J. (2)
Sarker, Ruhul Mohammadian, Masoud Xin Yao (2)
Savitch, W.J. Bach, E. Marsh, W.E. Safran-Naveh, Gila (2)
Sergey, Ilya (2)
Silva, Alexandra Leino, K. Rustan M. (2)
van Eemeren, F.H. Blair, J. Anthony Willard, Charles A. Snoeck Henkemans, A. Francisca (2)
Vojnar, Tomáš Zhang, Lijun (2)
Wolenski, Jan (2)
Yrjönsuuri, Mikko (2)

Englisch (429)

HOME

1
2
3
4
5

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

96,29 €*

Preise inkl. MwSt. zzgl. Versandkosten

Runtime Verification

Runtime Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Introduction to Languages, Machines and Logic

Introduction to Languages, Machines and Logic

74,85 €*

Preise inkl. MwSt. zzgl. Versandkosten

Fuzzy Logic

Fuzzy Logic

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Scalable Uncertainty Management

Scalable Uncertainty Management

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logic, Language, and Security

Logic, Language, and Security

64,19 €*

Preise inkl. MwSt. zzgl. Versandkosten

Business Process Management

Business Process Management

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

80,24 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logic as Universal Science

Logic as Universal Science

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Reversible Computation

Reversible Computation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

80,24 €*

Preise inkl. MwSt. zzgl. Versandkosten

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

58,84 €*

Preise inkl. MwSt. zzgl. Versandkosten

Language and Logic in the Post-Medieval Period

Language and Logic in the Post-Medieval Period

213,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Rules and Reasoning

Rules and Reasoning

69,54 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logical Foundations of Computer Science

Logical Foundations of Computer Science

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Multi-Agent Systems and Agreement Technologies

Multi-Agent Systems and Agreement Technologies

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

From Reactive Systems to Cyber-Physical Systems

From Reactive Systems to Cyber-Physical Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Aspects of Component Software

Formal Aspects of Component Software

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Programming Languages and Systems

Programming Languages and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Fundamentals of Software Engineering

Fundamentals of Software Engineering

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

Software Engineering and Formal Methods

Software Engineering and Formal Methods

69,54 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logic in Law

Logic in Law

353,09 €*

Preise inkl. MwSt. zzgl. Versandkosten

1
2
3
4
5

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 ...