Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569227
Price: 107.29 EUR
Availability: InStock
Author: Jacques Duparc
ISBN: 9783540749141

21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Jacques Duparc

Thomas A. Henzinger

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01569227

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

La caida Dan Simmons

Broschur

19.39 €

Come funziona il caos. Dal moto dei pianeti all'effetto farfalla Ivar Ekeland

Broschur

13.59 €

Legie plamenů Anthony Ryan

Hardcover

16.79 €

Pokrytie dlya giperzvukovyh samoletov Mariya Alexandrovna Miller

Broschur

37.29 €

C'est l'heure du bain, petit lion Gomi

Broschur

17.09 €

MAQUINAS O ABOGADOS CONFLICTOS EN LA FRONTERA TECNOLOGICA ADOLFO MENENDEZ

Broschur

28.29 €

Полезные машины Елена Хомич

Hardcover

34.49 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

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