Έλεγχος κατάστασης παραγγελίας
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Πώς να κάνετε αγορές;

Logic and Computer Science

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Logic and Computer Science Steven Homer
Κωδικός Libristo: 01565309
ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2007
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl... Πλήρης περιγραφή
? points 63 b
25.96 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Journal of Approximation Theory and Applied Mathematics - 2014 Vol. 3 Marco Schuchmann / Βιβλίο Χαρτόδετο
common.buy 8.27 €
VOYAGE Daniele Steel / Βιβλίο Χαρτόδετο
common.buy 12.52 €
Китайская мифология: обитатели небес, духи местности и демоны Анна Старостина / Βιβλίο Σκληρόδετο
common.buy 32.93 €
El Arte de Saludar y Presentar. El Telefono y las Redes Sociales - Guia Practica para la Gente de Hoy Eduardo Algimantas / ebook Adobe ePub DRM
common.buy 3.83 €
Saint Grégoire de Nazianze Alain Durel / Βιβλίο Χαρτόδετο
common.buy 13.63 €
Lehr- und Handbuch der politischen OEkonomie in einzelnen selbstandigen Abteilungen Adolph Wagner / Βιβλίο Χαρτόδετο
common.buy 35.65 €

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.

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

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

Πλήρες όνομα Logic and Computer Science
Συγγραφέας Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2008
Αριθμός σελίδων 170
EAN 9783540527343
ISBN 3540527346
Κωδικός Libristo 01565309
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 275
Διαστάσεις 157 x 237 x 10

Κατηγορία

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Aquaculture Science and Engineering Balamuralikrishnan Balasubramanian / Βιβλίο Χαρτόδετο
common.buy 225.90 €
Changing Minds Guy Newland / Βιβλίο Χαρτόδετο
common.buy 34.95 €
Punch, or the London Charivari Owen Seaman / Βιβλίο Χαρτόδετο
common.buy 17.27 €
Thirsty Crow Jim Chansler / Βιβλίο Χαρτόδετο
common.buy 12.21 €
New Hemi Engine Swaps: Joe Hinds / Βιβλίο Χαρτόδετο
common.buy 35.86 €
The Paperboys Club (A Paranormal Thriller of Crime and Suspense) Thomas Fincham / Βιβλίο Χαρτόδετο
common.buy 14.84 €
Survivors Alex Schulman / Βιβλίο Χαρτόδετο
common.buy 17.57 €
Mystic Test Book, or the Magic of the Cards Olney H. Richmond / Βιβλίο Χαρτόδετο
common.buy 16.26 €
The Progress of Marine Engineering Thomas Main / Βιβλίο Χαρτόδετο
common.buy 20.50 €
Rainbow Valley Lucy Maud Montgomery / Βιβλίο Χαρτόδετο
common.buy 16.56 €
Unionists in the Heart of Dixie GLENDA MCWHIRT TODD / Βιβλίο Χαρτόδετο
common.buy 31.21 €
Those Who Call Themselves Jews Philip L Mayo / Βιβλίο Σκληρόδετο
common.buy 50.00 €
God's Boundary Sunday Okoh / Βιβλίο Χαρτόδετο
common.buy 15.45 €
The Claims Of Labor: An Essay On The Duties Of The Employers To The Employed (1845) Arthur Helps / Βιβλίο Χαρτόδετο
common.buy 32.12 €
Pediatric and Adolescent Gynecology, An Issue of Obstetrics and Gynecology Clinics S. Paige Hertweck / Βιβλίο Σκληρόδετο
common.buy 93.65 €
Wolverhampton and Dudley, Stourbridge and Kidderminster Ordnance Survey / Έντυπα Χάρτης
common.buy 13.93 €
Phonons: Theory and Experiments II Peter Brüesch / Βιβλίο Χαρτόδετο
common.buy 51.62 €
Introduction to Quantitative Finance Stephen Blyth / Βιβλίο Χαρτόδετο
common.buy 69.30 €

Είσοδος

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

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

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

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

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;