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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Proof Theory in Computer Science

International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Proof Theory in Computer Science Reinhard Kahle
Libristo kód: 01563873
Nakladatelství Springer, Berlin, listopad 2000
This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Compu... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Fastentücher Peter Knüvener / Kniha Brožovaná
common.buy 913 Kč
Luminos / Hra/Hračka Hra
common.buy 664 Kč
L’interruption de la prescription en matière civile Béridot / Kniha Brožovaná
common.buy 2 141 Kč
Windows 11 Karel Klatovský / Kniha Brožovaná
common.buy 297 Kč
La bulle de Tiepolo Delerm / Kniha Brožovaná
common.buy 355 Kč
Dieta alcalina: Las Mejores Recetas Alcalinas Javier Cruz / Kniha Brožovaná
common.buy 176 Kč
Catalogue Des Plantes Cultivees En 1868-1869 Au Nouveau Jardin Botanique de Metz A Frescatelly GEHIN-J / Kniha Brožovaná
common.buy 402 Kč
El verb hebreu : conjugació i petit diccionari Joan Ferrer i Costa / Kniha Brožovaná
common.buy 331 Kč
Catoblepas Christian Mauck / Se-Laika / Kniha Brožovaná
common.buy 206 Kč

This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001.The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, induction-recursion, post-Turing analysis, natural deduction, implicit characterization, iterate logic, and Java programming.

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 Proof Theory in Computer Science
Autor Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2001
Počet stran 246
EAN 9783540427520
ISBN 354042752X
Libristo kód 01563873
Nakladatelství Springer, Berlin
Váha 363
Rozměry 155 x 235 x 13

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Umělá inteligence > Strojní učení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
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

Looking for Lost Bird Yvette D. Melanson / Kniha Brožovaná
common.buy 300 Kč
My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 8 Hidaka Nami / Kniha Brožovaná
common.buy 269 Kč
Shakespearean Playhouses: A History of English Theatres From the Beginnings to the Restoration Joseph Quincy Adams / Kniha Pevná
common.buy 903 Kč
Uptet RPH EDITORIAL BOARD / Kniha Brožovaná
common.buy 925 Kč
Notes from the Underground Fyodor Dostoyevsky / Kniha Brožovaná
common.buy 171 Kč
Collected Poems of Rupert Brooke, with an Introd. by George Edward Woodberry, and a Biographical Note by Margaret Lavington RUPERT BROOKE / Kniha Pevná
common.buy 876 Kč
The Atonement of Jesus Christ Is for Me Sierra Wilson / Kniha Pevná
common.buy 361 Kč
Feminist Advocacy, Family Law and Violence Against Women Mahnaz Akhami / Kniha Brožovaná
common.buy 1 619 Kč
Engaging Theories in Family Communication Dawn O. Braithwaite / Kniha Brožovaná
common.buy 2 819 Kč
Top
COME TOGETHER NAGOSKI EMILY / Kniha Brožovaná
common.buy 350 Kč
Precalculus CLEP Test Study Guide PassYourClass / Kniha Pevná
common.buy 1 338 Kč
The History Of Coursing - The Waterloo Cup Harding Cox / Kniha Brožovaná
common.buy 316 Kč
Sae Transactions, Volume 11, Part 2 Society of Automotive Engineers / Kniha Pevná
common.buy 924 Kč
Ant Dens Mary Coley / Kniha Brožovaná
common.buy 336 Kč
Logistic Regression Using SAS D. Allison Paul / Kniha Brožovaná
common.buy 1 578 Kč
Books of James C. Patch Gary D Henry / Kniha Brožovaná
common.buy 441 Kč
Regional Orders at Century's Dawn Etel Solingen / Kniha Brožovaná
common.buy 2 121 Kč
Laser Plasma Theory and Simulation Chiyoe Yamanaka / Kniha Brožovaná
common.buy 5 349 Kč
Trouble-Free Transitions for New Teachers Kimberly T. Strike / Kniha Brožovaná
common.buy 820 Kč
Language and Its Normal Processing V.C. Tartter / Kniha Pevná
common.buy 4 502 Kč
Greek Historiography Simon Hornblower / Kniha Brožovaná
common.buy 1 918 Kč
Mathematical Statistical Mechanics Colin J. Thompson / Kniha Pevná
common.buy 4 431 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