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

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

Δωρεάν αποστολή με 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: 05274407
Price: 51.63 EUR
Availability: InStock
Author: Egon Börger
ISBN: 9783540582779

7th Workshop, CSL '93, Swansea, UK, September 13-17, 1993. Selected Papers

Egon Börger

Yuri Gurevich

Karl Meinke

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 05274407

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

This volume contains the final versions of a collection of papers presented at the Annual Conference... Πλήρης περιγραφή

Κωδικός Libristo: 05274407

125 b

51.63 €

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

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

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

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

One Piece 109 Eiichiro Oda

Χαρτόδετο

7.57 €

Gouverner le social par le religieux Faure

Χαρτόδετο

34.45 €

Tiamatin hněv James S. A. Corey

Χαρτόδετο

16.26 €

Kabala Pro Zacatecniky Michael Laitman

Χαρτόδετο

20.71 €

Le journal de ma vie Kate Clayborn

Χαρτόδετο

25.25 €

Harakiri - The Masters of Cinema Series Masaki Kobayashi

Blu-ray

15.15 €

Programació lineal

Χαρτόδετο

15.75 €

Agenda Mindenensis dioecesis Carl von Reifitz

Χαρτόδετο

59.21 €

Ein europäischer Jurist des 19. Jahrhunderts. Tanja Guddat

Χαρτόδετο

105.89 €

Spuk Ernst Kallmeyer

Χαρτόδετο

22.32 €

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

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

EWA KASP για

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

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

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

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

Συγγραφέας Egon Börger, Yuri Gurevich, Karl Meinke

Γλώσσα

Αγγλική

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

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

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

EAN 9783540582779

ISBN 3540582770

Κωδικός Libristo 05274407

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

Βάρος 466

Διαστάσεις 216 x 279 x 18

Κατηγορία

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

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability

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

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

Computing & Information Technology > Computer science > Artificial intelligence

Computing & Information Technology > Computer programming / software engineering

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

Είναι εύκολο

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