Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274587
Price: 51.63 EUR
Availability: InStock
Author: Hans Kleine Buening
ISBN: 9783540613770

9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers

Hans Kleine Buening

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 05274587

ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 1995

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference... Πλήρης περιγραφή

Κωδικός Libristo: 05274587

125 b

51.63 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες

Παράδοση στην Ελλάδα

30 ημέρες για την επιστροφή των προϊόντων

Οι πελάτες αγόρασαν επίσης

1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen Mark Twain

Χαρτόδετο

11.71 €

Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD Klaus-P. Weigand

Audio CD

10.90 €

Asphalt Tribe Morton Rhue

Χαρτόδετο

8.28 €

Lexikon der Sprichwoerter und Redensarten Band 13 (Es - Er) René Dick

Χαρτόδετο

39.20 €

besten und verrucktesten Kneipen-Namen Dieter Auer

Χαρτόδετο

9.89 €

Wichtel Nick Admar Kwant

Leporelo

10.50 €

Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil. Karl-Dieter Müller

Χαρτόδετο

63.96 €

Erfolgreich verhandeln Jörg Kupjetz

Χαρτόδετο

29.40 €

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Computer Science Logic

Συγγραφέας Hans Kleine Buening

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 1996

Αριθμός σελίδων 492

EAN 9783540613770

ISBN 3540613773

Κωδικός Libristo 05274587

ΕΕκδοτικός οίκος Springer, Berlin

Βάρος 659

Διαστάσεις 156 x 234 x 25

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Systems analysis & design

Computing & Information Technology > Computer science > Computer architecture & logic design

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη