Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logical Foundations of Computer Science

International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Logical Foundations of Computer Science Sergei Artemov
Kod Libristo: 01662876
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2012
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations... Cały opis
? points 125 b
222.70 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Maradona So Press / Książka Miękka
common.buy 165.54 zł
PequeŃO Libro Del Estoicismo Jonas Salzgeber / Książka Miękka
common.buy 55.21 zł
Lexique amoureux du cheval et de l'équitation Bizac / Książka Miękka
common.buy 112.98 zł
Колымские рассказы / Książka Miękka
common.buy 38.26 zł
TOP
Gramática. Nivel elemental A1-A2 CONCHA MORENO / Książka Miękka
common.buy 72.86 zł
Zapowiedź
Podívaná světa Jean Follain / Książka Miękka
common.buy 30.61 zł
Zapowiedź
Naděje je na další stránce / Książka Książka
common.buy 15.50 zł
Warhammer 40.000 - Dvojitý orel Dan Abnett / Książka Miękka
common.buy 61.94 zł
Zapowiedź
Velký český kuchařský lexikon Josef Bittermann / Książka Twarda
common.buy 154.62 zł
Anne Charlotte Leffler Duchessa Di Cajanello Nagra Biografiska Meddelanden (1893) Ellen Key / Książka Miękka
common.buy 111.85 zł
ABC Schreiben lernen: Alphabet schreiben lernen mit Druckschrift Write Book / Książka Miękka
common.buy 29.89 zł
Wörterbuch für die Grundschule plus Englisch Gisela Winter / Książka Twarda
common.buy 84.60 zł
Behavioral Contract Theory Kai J. Sandner / Książka Miękka
common.buy 411.52 zł
Methoden und Themen, m. CD-ROM Anke Gößling-Brunken / Książka Miękka
common.buy 138.39 zł
Entstehung, Notwendigkeit und Wandel des Weltbildes Johannes Key / Książka Miękka
common.buy 107.98 zł
Fuhrungskraftenachfolge in Banken Mario Plaikner / Książka Miękka
common.buy 222.90 zł
Guardian Angels - Himmlische Sehnsucht Ally Trust / Książka Miękka
common.buy 43.06 zł
Administrativos de la Universidad Politécnica de Cartagena. Temario Volumen II Jesús María Calvo Prieto / Książka Miękka
common.buy 164.83 zł
Pohádkář Barbara Nesvadbová / Książka Twarda
common.buy 38.98 zł
Biblia Janet Evans / Książka Miękka
common.buy 48.98 zł

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; 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; logical methods in program specification and extraction; domain theory logic; 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; mathematical fuzzy logic; system design logics; and other logics in computer science.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logical Foundations of Computer Science
Autor Sergei Artemov, Anil Nerode
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 415
EAN 9783642357213
ISBN 3642357210
Kod Libristo 01662876
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 652
Wymiary 155 x 235 x 23

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Decoherence and Entropy in Complex Systems Hans-Thomas Elze / Książka Twarda
common.buy 222.70 zł
A Brief Guide To The Celestial Ruby: Concerning The Philosopher's Stone And Its Grand Arcanum Arthur Edward Waite / Książka Miękka
common.buy 68.78 zł
Life Of Timothy Pickering V3 Octavius Pickering / Książka Twarda
common.buy 238.31 zł
Variants of SBC Process Algebra: The Structure-Behavior Coalescence Approach Dr William S Chao / Książka Miękka
common.buy 55.41 zł
52 Things Jessica Wants Mike To Know: A Different Way To Say It Levy / Książka Miękka
common.buy 74.50 zł
Redfish Flies: Eight Effective Patterns for Catching Redfish Drew Chicone / Książka Miękka
common.buy 180.24 zł
Mending the Broken: The Westward Trek Jean Chase / Książka Miękka
common.buy 48.27 zł
Front Line Surgery MD Martin / Książka Miękka
common.buy 737.42 zł
General Laws of the State of Minnesota, Passed During the Seventh Session of the State Legislature, Commencing January 3rd, 1865, and Terminating Marc D. BLAKELY / Książka Miękka
common.buy 101.04 zł
Zapowiedź
Workin' on the Railroad: Reminiscences from the Age of Steam Richard Reinhardt / Książka Miękka
common.buy 97.26 zł
Arming Against Hitler Eugenia C. Kiesling / Książka Miękka
common.buy 153.40 zł
Don't Fret Note Map(tm) for Bass: Revolutionary Bass Guitar Finger Positioning Guide Nicholas Ravagni / Książka Miękka
common.buy 87.15 zł
In the Age of Love and Chocolate Gabrielle Zevin / Książka Miękka
common.buy 80.73 zł
Pulse PROSE POETRY PROJECT / Książka Miękka
common.buy 45.82 zł
Tennessee Massacre and Its Causes, Or, the Utah Conspiracy Nicholson / Książka Twarda
common.buy 128.29 zł
Orations Against Athenogenes and Philippides Frederic G Kenyon / Książka Twarda
common.buy 132.37 zł
Paperback L.A. Book 1: A Casual Anthology: Clothes, Coffee, Crushes, Crimes Victoria Dailey / Książka Miękka
common.buy 78.17 zł
Greek Orthodox Music in Ottoman Istanbul Merih Erol / Książka Twarda
common.buy 148.70 zł
Sworn to Secrecy DIRTY HANDSOME / Książka Miękka
common.buy 48.98 zł
I Could See Nothing MARY CRUMP KOEHLER / Książka Twarda
common.buy 83.89 zł
Muscle Injuries in Sport Athletes Bernard Roger / Książka Miękka
common.buy 564.21 zł
Do You Really Want to Meet an Anteater? Cari Meister / Książka Miękka
common.buy 37.55 zł
100% - The Story of a Patriot Upton Sinclair / Książka Miękka
common.buy 67.86 zł
Reading Explorer 2 David Bohlke / Książka Miękka
common.buy 318.03 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?