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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560983
Price: 45.49 EUR
Availability: InStock
Author: Luke Ong
ISBN: 9783540282310

19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Luke Ong

Sprache

Englisch

Buch Broschur

Libristo-Code: 01560983

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2005

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Scienc... Vollständige Beschreibung

Libristo-Code: 01560983

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Unicorni Libro da Colorare Mantovani Carolina Mantovani

Broschur

7.39 €

Шанхайская головоломка Ши Чэнь

Hardcover

19.49 €

Friedrich Vollborn - Erlebtes (IV) Jörg Titze

Broschur

9.90 €

Die Europaische Union im 21. Jahrhundert Hans-Georg Ehrhart

Broschur

67.99 €

Chémia pre 8. ročník ZŠ a 3. ročník gymnázia s osemročným štúdiom s VJM Helena Vincenová Buch

Broschur

20.99 €

Jej spowiedź Katrina Missrose

Broschur

7.89 €

PRIMERA CUARENTENA Y TRATADO GEN. RICO

Buch

7.29 €

Chemins Axel Kahn

Broschur

28.89 €

Diagnostico Greg Viehman

Broschur

13.09 €

Traite de l'Or, Monographie Landrin-H

Broschur

24.79 €

Computer in der Schule 3 Klaus-D. Graf

Broschur

49.99 €

Každý průšvih nemusí být krize Michal Vaněček

Broschur

4.69 €

What's Missing? Puzzles for Educational Testing: Kannada M Schottenbauer

Broschur

23.69 €

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005.§The 33 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 108 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts. The volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, constraints, finite models, decidability and complexity, verification and model checking, constructive reasoning and computational mathematics, and implicit computational complexity and rewriting.

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 Luke Ong

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2005

Anzahl der Seiten 567

EAN 9783540282310

ISBN 3540282319

Libristo-Code 01560983

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1780

Abmessungen 155 x 235 x 32

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