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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.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: 01656468
Price: 60.49 EUR
Availability: InStock
Author: Anuj Dawar
ISBN: 9783642152047

24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Anuj Dawar

Helmut Veith

Sprache

Englisch

Buch Broschur

Libristo-Code: 01656468

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

This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Scie... Vollständige Beschreibung

Libristo-Code: 01656468

148 b

60.49 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Romancero General O Coleccion De Romances Castellanos Anteriores Al Siglo Xviii... Duran

Broschur

33.69 €

Entwicklung und Einreichung von Orphan-/Generika-Medikamenten und APIs: Regulatorische Erfordernisse Surabhi Shrivastav

Broschur

60.90 €

Entwicklung des Angebots von Sendungen über die Geschichte des 20. Jahrhunderts Sigrun Lehnert

Broschur

62.29 €

Pietr-Le-Letton Georges Simenon

Broschur

7.19 €

Ich habe deine Tranen gesehen Frank Feldhusen

Broschur

13.80 €

New York City-Kalender 2020: Manhattan Terminkalender-Jahresplaner-A5 Format New York Publishing

Broschur

11.09 €

Die Regenbogenkinder von Fabelhausen Markus Sharanius Etter

Broschur

24.99 €

Der Bergbau im Bayerischen Wald Fritz Pfaffl

Broschur

15.90 €

Emmanuel Levinas zur Einführung Bernhard H. F. Taureck

Broschur

15.90 €

Cours de Versions Compose de Traits d'Histoire, Fables, Descriptions (Ed.1868) Sans Auteur

Broschur

20.99 €

Betania : una casa para el amigo : pilares de espiritualidad familiar José Granados García

Broschur

20.59 €

La gota de lluvia, Educación Primaria, 1 ciclo Alfredo Gómez Cerdá

Broschur

11.89 €

Demenz und Demografischer Wandel - Herausforderungen fur den Gesundheitssektor Valerie Grimm

Broschur

39.99 €

This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010.§The 33 full papers presented together with 7 invited talks, were carefully reviewed and selected from 103 submissions. Topics covered include automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, modal and temporal logic, model checking, decision procedures, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, and nonmonotonic reasoning.

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 Anuj Dawar, Helmut Veith

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 548

EAN 9783642152047

ISBN 364215204X

Libristo-Code 01656468

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

Gewicht 845

Abmessungen 158 x 240 x 33

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Betriebssysteme

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