Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Logical Foundations of Computer Science

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logical Foundations of Computer Science Sergei Artemov
Libristo-code: 01568629
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mei 2007
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations... Volledige beschrijving
? points 125 b
51.64 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Féodalités (888-1180) Mazel / Boek Gebonden (paperback)
common.buy 35.26 €
Lire De la démocratie en Amérique d'Alexis de Tocqueville - Pour une sociologie de la démocratie Keslassy / Boek Gebonden (paperback)
common.buy 13.53 €
Le chant de l'éternité - les paroles qui guérissent Aïssel Boek Gebonden (paperback)
common.buy 20.31 €
La fiscalité - repères pratiques N52 2014 Georges Sauvageot / Boek Gebonden (paperback)
common.buy 16.06 €
Aladdin (Arabe) (Aladdin) DISNEY Boek binding.
common.buy 17.37 €
Deadpool Samurai (Manga) Hikaru Uesugi / Boek Gebonden (paperback)
common.buy 8.78 €
So sexy ist Niedersachsen! Band 1 Alexandra / Boek Gebonden (paperback)
common.buy 9.09 €
Hogyan eljunk ugy, mint a kis herceg Stephane Garnier / E-book Adobe ePub DRM
common.buy 6.76 €
Amour Intemporel Roberto Mendoza Zepeda / E-book Adobe ePub DRM
common.buy 4.64 €
Hotel Bellavista y otros cuentos del mar Badran / Luisterboek MP3
common.buy 5.55 €
Яблуко. Базовий рiвень. Робочий зошит / Yabluko Intermediate Ukrainian. Workbook Mariana Burak / Boek Gebonden (paperback)
common.buy 53.76 €
Michael Douglas Marc Eliot / Boek Gebonden (harde band)
common.buy 7.27 €
LES CINQ DIAMANTS DU DIABLE Caradec / Boek Gebonden (paperback)
common.buy 18.49 €
Contribution A La Chirurgie Oncoplastique Du Sein Nizet Jean-Luc / Boek Gebonden (paperback)
common.buy 52.45 €
BABADADA, Espanol de America Latina - Ikirundi, diccionario visual - kazinduzi y ibicapo Babadada Gmbh / Boek Gebonden (paperback)
common.buy 28.29 €
L'Amour s'En Va En Guerre... Jezabella Michel Severin / Boek Gebonden (paperback)
common.buy 14.85 €
Freiheitsrechtliche Grenzen der Steuer- und Sozialabgabenlast Hermann Butzer / Boek Gebonden (paperback)
common.buy 84.69 €
Ist das Heil verlierbar? Zur Frage der Heilsgewissheit in den lutherischen und reformierten Bekenntnisschriften René Debus / Boek Gebonden (paperback)
common.buy 16.16 €
Legislation Complete Des Fabriques Des Eglises, Presentant, Dans l'Ordre Alphabetique LE BESNIER / Boek Gebonden (paperback)
common.buy 31.12 €
Betriebsgeräusch Normalität Sabine Biebl / Boek Gebonden (paperback)
common.buy 49.92 €
Der fünfzehnte November Ludwig Tieck / Boek Gebonden (paperback)
common.buy 13.53 €
Filipika proti redukcionizmu Pavel Holländer / Boek Gebonden (paperback)
common.buy 7.57 €
Histoire Du Gouvernement Parlementaire En France: 1814-1848 T 9 Duvergier De Hauranne-P / Boek Gebonden (paperback)
common.buy 37.49 €
SpongeBob Schwammkopf, Der Film, 1 DVD, dtsch., engl. u. holländ. Version Stephen Hillenburg / Video Dvd
common.buy 13.13 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Logical Foundations of Computer Science
Auteur Sergei Artemov, Anil Nerode
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2007
Aantal pagina's 516
EAN 9783540727323
ISBN 3540727329
Libristo-code 01568629
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 778
Afmetingen 155 x 234 x 31

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Narrative of Sojourner Truth: A Northern Slave Sojourner Truth / Boek Gebonden (paperback)
common.buy 10.30 €
Logic, Theoretical and Practical William Dexter Wilson / Boek Gebonden (harde band)
common.buy 32.54 €
Rachel's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Boek Gebonden (paperback)
common.buy 7.67 €
Best Garden Plants for Colorado Betsy Lehndorff / Boek Gebonden (paperback)
common.buy 15.76 €
Programming Essentials Using Java: A Game Application Approach William McAllister / Boek Gebonden (paperback)
common.buy 59.83 €
Problems And Solutions In University Physics: Optics, Thermal Physics, Modern Physics Fuxiang Han / Boek Gebonden (paperback)
common.buy 61.64 €
The Dynamics of Suffering for the Christian: God Is Up to Something! Richard L Bresson / Boek Gebonden (paperback)
common.buy 15.66 €
A Changed Life Mary a Wasowski / Boek Gebonden (paperback)
common.buy 18.39 €
Tales of Beedle the Bard Joanne Rowling / Boek Gebonden (harde band)
common.buy 21.22 €
Advanced Statistical Methods in Data Science Ding-Geng Chen / Boek Gebonden (paperback)
common.buy 102.88 €
Ultimate Heresy Rodger L Cragun / Boek Gebonden (paperback)
common.buy 21.62 €
The Writings of Thomas Jefferson: Vol. VI. Thomas Jefferson / Boek Gebonden (paperback)
common.buy 19.30 €
The Gifts Of Autism: A-Z Katherine Uher / Boek Gebonden (paperback)
common.buy 10.50 €
Autumn Chris Dows / Boek Gebonden (paperback)
common.buy 12.83 €
NKJV, End-of-Verse Reference Bible, Personal Size Large Print, Leathersoft, Purple, Red Letter, Comfort Print THOMAS NELSON / Boek Gebonden (harde band)
common.buy 29.91 €
Journey to the West, Books 1, 2 and 3 Xiao Hui Wang / Boek Gebonden (paperback)
common.buy 25.06 €
Canadian Methodism: Its Epochs And Characteristics Egerton Ryerson / Boek Gebonden (harde band)
common.buy 39.21 €
Happiness and Well-Being in Chinese Societies Cheung / Boek Gebonden (harde band)
common.buy 244.18 €
Fuccboi Sean Thor Conroe / Boek Gebonden (paperback)
common.buy 31.42 €
TOP
Young Ladies Don't Play Fighting Games Vol. 9 V09 / Boek Gebonden (paperback)
common.buy 11.31 €
Wordt verwacht Nieuw
Ellis Island / Boek Gebonden (harde band)
common.buy 15.76 €
Asterix: Asterix in Belgium René Goscinny / Boek Gebonden (harde band)
common.buy 12.83 €
Invasive Forest Insects, Introduced Forest Trees, and Altered Ecosystems Timothy D. Paine / Boek Gebonden (harde band)
common.buy 114.51 €
Poetic Art of W.H. Auden John G. Blair / Boek Gebonden (harde band)
common.buy 108.85 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken