[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Computer Science Logic

Sprache EnglischEnglisch
Buch Broschur
Buch Computer Science Logic Jacques Duparc
Libristo-Code: 01569227
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2007
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc... Vollständige Beschreibung
? points 349 b
139.23 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Permanent Record KING ARTHUR / Broschur
common.buy 17.34 €
Egyptian Literature Epiphanius Wilson / Broschur
common.buy 30.76 €
Fitting In and Getting Happy Olga Stavrova / Broschur
common.buy 49.23 €
Pokrytie dlya giperzvukovyh samoletov Mariya Alexandrovna Miller / Broschur
common.buy 41.86 €
Hans Christian Andersen Fairy Tales Pat Stewart / Broschur
common.buy 7.36 €
Pathways to Modern Chemical Physics Salvatore Califano / Broschur
common.buy 139.23 €

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.

Informationen zum Buch

Vollständiger Name Computer Science Logic
Autor Jacques Duparc, Thomas A. Henzinger
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2007
Anzahl der Seiten 600
EAN 9783540749141
ISBN 3540749144
Libristo-Code 01569227
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 932
Abmessungen 155 x 235 x 33

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto