Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic and Computer Science Steven Homer
Libristo kod: 01565309
Nakladnici Springer, Berlin, studeni 2007
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl... Cijeli opis
? points 63 b
25.93 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Journal of Approximation Theory and Applied Mathematics - 2014 Vol. 3 Marco Schuchmann / Knjiga Meki uvez
common.buy 8.30 €
Там, где цветет полынь Ольга Птицева / Knjiga Meki uvez
common.buy 15.70 €
El Arte de Saludar y Presentar. El Telefono y las Redes Sociales - Guia Practica para la Gente de Hoy Eduardo Algimantas / E-knjiga Adobe ePub DRM
common.buy 3.64 €
Saint Grégoire de Nazianze Alain Durel / Knjiga Meki uvez
common.buy 12.76 €
Китайская мифология: обитатели небес, духи местности и демоны Анна Старостина / Knjiga Tvrdi uvez
common.buy 31.20 €
ジェンダー平等の加速 主流化、実施、リ&#125 Oecd / Knjiga Meki uvez
common.buy 75.09 €
Dipterologiae Italicae Camillo Rondani / Knjiga Meki uvez
common.buy 23.10 €
Catalogue de Livres d'Art, de Gravures d'Ornement, Composant La Bibliotheque de M. E. C. / Knjiga Meki uvez
common.buy 12.76 €
Organisation des Musikwesens durch den Staat Franz Brendel / Knjiga Meki uvez
common.buy 12.66 €
En pareja : los secretos del amor y el desamor Paulino Castells Cuixart / Knjiga Meki uvez
common.buy 8.71 €
deutsch ideen SI - Ausgabe 2016 Baden-Württemberg Mareike Hümmer-Fuhr / Knjiga List
common.buy 13.57 €
Wertkarten Zahlungsverkehr Stephan Klein / Knjiga Meki uvez
common.buy 53.20 €
Lehr- und Handbuch der politischen OEkonomie in einzelnen selbstandigen Abteilungen Adolph Wagner / Knjiga Meki uvez
common.buy 35.76 €
VOYAGE Daniele Steel / Knjiga Meki uvez
common.buy 11.75 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Logic and Computer Science
Autor Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2008
Broj stranica 170
EAN 9783540527343
ISBN 3540527346
Libristo kod 01565309
Nakladnici Springer, Berlin
Težina 275
Dimenzije 157 x 237 x 10

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Aquaculture Science and Engineering Balamuralikrishnan Balasubramanian / Knjiga Meki uvez
common.buy 226.60 €
Wolverhampton and Dudley, Stourbridge and Kidderminster Ordnance Survey / Tiskanica Mapa
common.buy 13.87 €
Survivors Alex Schulman / Knjiga Meki uvez
common.buy 16.71 €
At The Sign Of The Red Swan (1919) Ambrose Elwell / Knjiga Meki uvez
common.buy 27.86 €
Mystic Test Book, or the Magic of the Cards Olney H. Richmond / Knjiga Meki uvez
common.buy 15.60 €
Post-growth Economics and Society Isabelle Cassiers / Knjiga Meki uvez
common.buy 61.81 €
The Progress of Marine Engineering Thomas Main / Knjiga Meki uvez
common.buy 20.56 €
Lord's Work in the Lord's Way and No Little People Ray Ortlund / Knjiga Meki uvez
common.buy 7.69 €
Rainbow Valley Lucy Maud Montgomery / Knjiga Meki uvez
common.buy 15.80 €
Changing Minds Guy Newland / Knjiga Meki uvez
common.buy 33.13 €
The Paperboys Club (A Paranormal Thriller of Crime and Suspense) Thomas Fincham / Knjiga Meki uvez
common.buy 14.18 €
New Hemi Engine Swaps: Joe Hinds / Knjiga Meki uvez
common.buy 33.74 €
Men of One Book Ian J. Maddock / Knjiga Meki uvez
common.buy 35.56 €
It's Raining Clients Howard Wolkowitz / Knjiga Meki uvez
common.buy 12.96 €
Those Who Call Themselves Jews Philip L Mayo / Knjiga Tvrdi uvez
common.buy 44.58 €
Thirsty Crow Jim Chansler / Knjiga Meki uvez
common.buy 11.54 €
God's Boundary Sunday Okoh / Knjiga Meki uvez
common.buy 14.08 €
The Claims Of Labor: An Essay On The Duties Of The Employers To The Employed (1845) Arthur Helps / Knjiga Meki uvez
common.buy 30.80 €
Out of the Box and Over the Barriers Donna Strugar-Fritsch / Knjiga Meki uvez
common.buy 14.68 €
Doctor Scandalous Julie Saman / Knjiga Meki uvez
common.buy 13.57 €
Pediatric and Adolescent Gynecology, An Issue of Obstetrics and Gynecology Clinics S. Paige Hertweck / Knjiga Tvrdi uvez
common.buy 86.44 €
Phonons: Theory and Experiments II Peter Brüesch / Knjiga Meki uvez
common.buy 51.78 €
Introduction to Quantitative Finance Stephen Blyth / Knjiga Meki uvez
common.buy 66.78 €
Punch, or the London Charivari Owen Seaman / Knjiga Meki uvez
common.buy 16.51 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun