Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Logic and Computer Science Steven Homer
Libristo kód: 01565309
Nakladatelství Springer, Berlin, listopad 2007
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl... Celý popis
? points 59 b
594 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Journal of Approximation Theory and Applied Mathematics - 2014 Vol. 3 Marco Schuchmann / Kniha Brožovaná
common.buy 188 Kč
VOYAGE Daniele Steel / Kniha Brožovaná
common.buy 304 Kč
Китайская мифология: обитатели небес, духи местности и демоны Анна Старостина / Kniha Pevná
common.buy 799 Kč
El Arte de Saludar y Presentar. El Telefono y las Redes Sociales - Guia Practica para la Gente de Hoy Eduardo Algimantas / E-kniha Adobe ePub DRM
common.buy 93 Kč
Saint Grégoire de Nazianze Alain Durel / Kniha Brožovaná
common.buy 330 Kč
Lehr- und Handbuch der politischen OEkonomie in einzelnen selbstandigen Abteilungen Adolph Wagner / Kniha Brožovaná
common.buy 813 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Logic and Computer Science
Autor Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2008
Počet stran 170
EAN 9783540527343
ISBN 3540527346
Libristo kód 01565309
Nakladatelství Springer, Berlin
Váha 275
Rozměry 157 x 237 x 10

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Aquaculture Science and Engineering Balamuralikrishnan Balasubramanian / Kniha Brožovaná
common.buy 5 178 Kč
Changing Minds Guy Newland / Kniha Brožovaná
common.buy 755 Kč
Punch, or the London Charivari Owen Seaman / Kniha Brožovaná
common.buy 380 Kč
Thirsty Crow Jim Chansler / Kniha Brožovaná
common.buy 264 Kč
New Hemi Engine Swaps: Joe Hinds / Kniha Brožovaná
common.buy 762 Kč
The Paperboys Club (A Paranormal Thriller of Crime and Suspense) Thomas Fincham / Kniha Brožovaná
common.buy 326 Kč
Survivors Alex Schulman / Kniha Brožovaná
common.buy 427 Kč
Mystic Test Book, or the Magic of the Cards Olney H. Richmond / Kniha Brožovaná
common.buy 359 Kč
The Progress of Marine Engineering Thomas Main / Kniha Brožovaná
common.buy 469 Kč
Rainbow Valley Lucy Maud Montgomery / Kniha Brožovaná
common.buy 362 Kč
Unionists in the Heart of Dixie GLENDA MCWHIRT TODD / Kniha Brožovaná
common.buy 686 Kč
Those Who Call Themselves Jews Philip L Mayo / Kniha Pevná
common.buy 1 010 Kč
God's Boundary Sunday Okoh / Kniha Brožovaná
common.buy 353 Kč
The Claims Of Labor: An Essay On The Duties Of The Employers To The Employed (1845) Arthur Helps / Kniha Brožovaná
common.buy 707 Kč
Pediatric and Adolescent Gynecology, An Issue of Obstetrics and Gynecology Clinics S. Paige Hertweck / Kniha Pevná
common.buy 2 268 Kč
Wolverhampton and Dudley, Stourbridge and Kidderminster Ordnance Survey / Tiskovina Mapa
common.buy 314 Kč
Phonons: Theory and Experiments II Peter Brüesch / Kniha Brožovaná
common.buy 1 182 Kč
Introduction to Quantitative Finance Stephen Blyth / Kniha Brožovaná
common.buy 1 404 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?