Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logical Foundations of Computer Science

International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Logical Foundations of Computer Science Sergei Artemov
Codul Libristo: 01568629
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2007
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations... Descrierea completă
? points 125 b
270.95 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Aladdin (Arabe) (Aladdin) DISNEY Carte binding.
common.buy 92.32 lei
LES CINQ DIAMANTS DU DIABLE Caradec / Carte Carte broșată
common.buy 89.51 lei
La fiscalité - repères pratiques N52 2014 Georges Sauvageot / Carte Carte broșată
common.buy 85.87 lei
Féodalités (888-1180) Mazel / Carte Carte broșată
common.buy 186.22 lei
Lire De la démocratie en Amérique d'Alexis de Tocqueville - Pour une sociologie de la démocratie Keslassy / Carte Carte broșată
common.buy 75.04 lei
Le chant de l'éternité - les paroles qui guérissent Aïssel Carte Carte broșată
common.buy 107.52 lei
L'Amour s'En Va En Guerre... Jezabella Michel Severin / Carte Carte broșată
common.buy 81.91 lei
Specjalna gąbka do zmywania tablicy / Carte binding.
common.buy 28.83 lei
Hogyan eljunk ugy, mint a kis herceg Stephane Garnier / E-book Adobe ePub DRM
common.buy 36.01 lei
Amour Intemporel Roberto Mendoza Zepeda / E-book Adobe ePub DRM
common.buy 24.24 lei
Michael Douglas Marc Eliot / Carte Copertă tare
common.buy 37.88 lei
So sexy ist Niedersachsen! Band 1 Alexandra / Carte Carte broșată
common.buy 50.69 lei
BABADADA, Espanol de America Latina - Ikirundi, diccionario visual - kazinduzi y ibicapo Babadada Gmbh / Carte Carte broșată
common.buy 156.24 lei
Contribution A La Chirurgie Oncoplastique Du Sein Nizet Jean-Luc / Carte Carte broșată
common.buy 275.53 lei
Freiheitsrechtliche Grenzen der Steuer- und Sozialabgabenlast Hermann Butzer / Carte Carte broșată
common.buy 445.73 lei
Legislation Complete Des Fabriques Des Eglises, Presentant, Dans l'Ordre Alphabetique LE BESNIER / Carte Carte broșată
common.buy 171.23 lei
Ist das Heil verlierbar? Zur Frage der Heilsgewissheit in den lutherischen und reformierten Bekenntnisschriften René Debus / Carte Carte broșată
common.buy 89.72 lei
Betriebsgeräusch Normalität Sabine Biebl / Carte Carte broșată
common.buy 263.15 lei
Der fünfzehnte November Ludwig Tieck / Carte Carte broșată
common.buy 75.04 lei
Top
Filipika proti redukcionizmu Pavel Holländer / Carte Carte broșată
common.buy 39.86 lei
Histoire Du Gouvernement Parlementaire En France: 1814-1848 T 9 Duvergier De Hauranne-P / Carte Carte broșată
common.buy 187.26 lei
Cando petan na porta pola noite XABIER P. DOCAMPO / Carte Carte broșată
common.buy 73.48 lei
O cultivo da canola no estado do Rio Grande do Sul Fortes Teixeira Carlos Eugenio / Carte Carte broșată
common.buy 233.48 lei

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007.§The volume presents 36 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, logical foundations of programming, logical aspects of computational complexity, logic programming and constraints, automated deduction and interactive theorem proving, logical methods in protocol and program verification and in program specification and extraction, domain theory logics, logical foundations of database theory, equational logic and term rewriting, lambda and combinatory calculi, categorical logic and topological semantics, linear logic, epistemic and temporal logics, intelligent and multiple agent system logics, logics of proof and justification, nonmonotonic reasoning, logic in game theory and social software, logic of hybrid systems, distributed system logics, system design logics, as well as other logics in computer science.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logical Foundations of Computer Science
Autor Sergei Artemov, Anil Nerode
Limba engleză
Legare Carte - Carte broșată
Data publicării 2007
Număr pagini 516
EAN 9783540727323
ISBN 3540727329
Codul Libristo 01568629
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 778
Dimensiuni 155 x 234 x 31

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Ultimate Heresy Rodger L Cragun / Carte Carte broșată
common.buy 120.74 lei
Logic, Theoretical and Practical William Dexter Wilson / Carte Copertă tare
common.buy 179.04 lei
Rachel's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Carte Carte broșată
common.buy 42.88 lei
Best Garden Plants for Colorado Betsy Lehndorff / Carte Carte broșată
common.buy 82.85 lei
Programming Essentials Using Java: A Game Application Approach William McAllister / Carte Carte broșată
common.buy 333.62 lei
Problems And Solutions In University Physics: Optics, Thermal Physics, Modern Physics Fuxiang Han / Carte Carte broșată
common.buy 338.20 lei
A Changed Life Mary a Wasowski / Carte Carte broșată
common.buy 101.69 lei
The Writings of Thomas Jefferson: Vol. VI. Thomas Jefferson / Carte Carte broșată
common.buy 106.38 lei
Tales of Beedle the Bard Joanne Rowling / Carte Copertă tare
common.buy 118.76 lei
Advanced Statistical Methods in Data Science Ding-Geng Chen / Carte Carte broșată
common.buy 540.25 lei
The Dynamics of Suffering for the Christian: God Is Up to Something! Richard L Bresson / Carte Carte broșată
common.buy 86.70 lei
Narrative of Sojourner Truth: A Northern Slave Sojourner Truth / Carte Carte broșată
common.buy 57.03 lei
The Gifts Of Autism: A-Z Katherine Uher / Carte Carte broșată
common.buy 57.87 lei
Autumn Chris Dows / Carte Carte broșată
common.buy 71.71 lei
NKJV, End-of-Verse Reference Bible, Personal Size Large Print, Leathersoft, Purple, Red Letter, Comfort Print THOMAS NELSON / Carte Copertă tare
common.buy 156.97 lei
Journey to the West, Books 1, 2 and 3 Xiao Hui Wang / Carte Carte broșată
common.buy 137.81 lei
Canadian Methodism: Its Epochs And Characteristics Egerton Ryerson / Carte Copertă tare
common.buy 215.68 lei
Happiness and Well-Being in Chinese Societies Cheung / Carte Copertă tare
common.buy 1 145.27 lei
Fuccboi Sean Thor Conroe / Carte Carte broșată
common.buy 156.97 lei
Young Ladies Don't Play Fighting Games Vol. 9 V09 / Carte Carte broșată
common.buy 63.28 lei
Tennessee Tidbits, 1778-1914, Volume I Marjorie Hood Fischer / Carte Carte broșată
common.buy 199.23 lei
Wizard's Gate Ann Ulanov / Carte Carte broșată
common.buy 112.52 lei
Human Trafficking Around the World Stephanie Hepburn / Carte Carte broșată
common.buy 140.94 lei
Married with Zombies Jesse Petersen / Carte Carte broșată
common.buy 60.26 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?