Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με 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 Επικοινωνία phoneΠώς να κάνετε αγορές;

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Computer Science Logic Zoltán Ésik
Κωδικός Libristo: 01564793
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Σεπτέμβριος 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Πλήρης περιγραφή
? points 249 b
102.86 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Mapa Oceanía físico edigol ediciones / Βιβλίο Χαρτόδετο
common.buy 15.86 €
morte di Cicerone (libro CXX). Testo latino a fronte Tito Livio / Βιβλίο Χαρτόδετο
common.buy 15.45 €
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Βιβλίο Χαρτόδετο
common.buy 17.88 €
Microsoft Office 365 Karel Klatovský / Βιβλίο Χαρτόδετο
common.buy 11.00 €
Insolvenzrecht Michael App / Βιβλίο Χαρτόδετο
common.buy 51.73 €
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Video Blu-ray
common.buy 36.77 €
Gangland Chuck Hogan / Βιβλίο Χαρτόδετο
common.buy 30.00 €
Aprende a tocar la batería Peter Gelling / Βιβλίο Χαρτόδετο
common.buy 33.24 €
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Βιβλίο Χαρτόδετο
common.buy 21.82 €
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Βιβλίο Χαρτόδετο
common.buy 68.00 €
Un árbol caído Rafael Reig / Βιβλίο Χαρτόδετο
common.buy 11.21 €
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Βιβλίο Χαρτόδετο
common.buy 15.15 €
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Βιβλίο Χαρτόδετο
common.buy 51.53 €
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Βιβλίο Χαρτόδετο
common.buy 31.22 €
Conjuguez sans faute / Βιβλίο Χαρτόδετο
common.buy 6.66 €
Τοπ
Tajomstvo úspechu troch majstrov Napoleon Hill / Βιβλίο Σκληρόδετο
common.buy 15.25 €

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα Computer Science Logic
Συγγραφέας Zoltán Ésik
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2006
Αριθμός σελίδων 627
EAN 9783540454588
ISBN 3540454586
Κωδικός Libristo 01564793
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 961
Διαστάσεις 155 x 235 x 35

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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 > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

For Sinners Only A J Russell / Βιβλίο Χαρτόδετο
common.buy 17.37 €
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Βιβλίο Χαρτόδετο
common.buy 17.27 €
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Βιβλίο Χαρτόδετο
common.buy 20.20 €
Chauffeur and the Chaperon C. N. WILLIAMSON / Βιβλίο Σκληρόδετο
common.buy 38.09 €
Mecca F. E. Peters / Βιβλίο Χαρτόδετο
common.buy 79.52 €
The Law of Executors and Administrators. Samuel Toller / Βιβλίο Χαρτόδετο
common.buy 33.14 €
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Βιβλίο Σκληρόδετο
common.buy 32.33 €
Craven Street Yuri Rasovsky / Ακουστικό βιβλίο MP3
common.buy 12.02 €
Mastering Bread Marc Vetri / ebook Adobe ePub DRM
common.buy 16.16 €
Islam Lovat / Βιβλίο Χαρτόδετο
common.buy 28.89 €
International Who's Who in Classical Music 2010 Europa Publications / Βιβλίο Σκληρόδετο
common.buy 392.08 €
Liber Costumarum Christopher Markham / Βιβλίο Χαρτόδετο
common.buy 18.08 €
Play or Pay. a Novelette. Hawley Smart / Βιβλίο Χαρτόδετο
common.buy 22.83 €
An Appendix To The History Of Scotland Containing: A Detection Of The Actions Of Mary Queen Of Scots, Concerning The Murder Of Her Husband And Her Mar George Buchanan / Βιβλίο Σκληρόδετο
common.buy 47.48 €
Chora 5 Alberto Perez-Gomez / Βιβλίο Χαρτόδετο
common.buy 43.34 €
Questions about God Steven M. Cahn / Βιβλίο Σκληρόδετο
common.buy 106.80 €
Deleuze's Cinema Books David Deamer / Βιβλίο Σκληρόδετο
common.buy 118.52 €
Logic Programming with Prolog Beverley Ford / Βιβλίο Χαρτόδετο
common.buy 53.24 €
Cosmic B1+ Test Book Katerina Mestheneou / Βιβλίο Χαρτόδετο
common.buy 27.07 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo