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 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Science Logic

9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Computer Science Logic Hans Kleine Buening
Kod Libristo: 05274587
Wydawnictwo Springer, Berlin, listopad 1995
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen Mark Twain / Książka Miękka
common.buy 49.57 zł
Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD Klaus-P. Weigand / Audio CD Audio
common.buy 46.46 zł
Asphalt Tribe Morton Rhue / Książka Miękka
common.buy 35.02 zł
Lexikon der Sprichwoerter und Redensarten Band 13 (Es - Er) René Dick / Książka Miękka
common.buy 166.20 zł
besten und verrucktesten Kneipen-Namen Dieter Auer / Książka Miękka
common.buy 42.24 zł
Wichtel Nick Admar Kwant / Książka Leporelo
common.buy 44.65 zł
Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil. Karl-Dieter Müller / Książka Miękka
common.buy 271.38 zł
Erfolgreich verhandeln Jörg Kupjetz / Książka Miękka
common.buy 124.95 zł

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

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 Computer Science Logic
Autor Hans Kleine Buening
Język Angielski
Oprawa Książka - Miękka
Data wydania 1996
Liczba stron 492
EAN 9783540613770
ISBN 3540613773
Kod Libristo 05274587
Wydawnictwo Springer, Berlin
Waga 659
Wymiary 156 x 234 x 25

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Uczenie maszynowe / Systemy uczące się
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) > Analiza systemowa i projektowanie
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ć

Numerical Integration T.O. Espelid / Książka Twarda
common.buy 395.04 zł
Garden of Thorns: A novel of romantic suspense Lillian Stewart Carl / Książka Miękka
common.buy 62.72 zł
Legal Practice in Ayr and the West of Scotland in the Fifteenth and Sixteenth Centuries: A Study in Economic History. David Murray / Książka Miękka
common.buy 85.10 zł
The Original Adventures of Hank the Cowdog John R. Erickson / Książka Twarda
common.buy 62.92 zł
Things Good Girls Don't Do Codi Gary / Książka Miękka
common.buy 36.93 zł
Chicana and Chicano Art Carlos Francisco Jackson / Książka Miękka
common.buy 122.24 zł
Being Modern in Iran Fariba Adelkhah / Książka Twarda
common.buy 175.73 zł
Botanical Medicine in Clinical Practice Victor Preedy / Książka Twarda
common.buy 1 760.64 zł
Zapowiedź
Augustine Gillian Clark / Książka Twarda
common.buy 665.53 zł
Conversations with Erskine Caldwell Edwin T. Arnold / Książka Miękka
common.buy 129.26 zł
Handbook of Colorectal Surgery David Beck / Książka Twarda
common.buy 316.35 zł
Nietzsche: A Complete Introduction: Teach Yourself Roy Jackson / Książka Miękka
common.buy 67.84 zł
Handbook of Neurochemistry and Molecular Neurobiology Abel Lajtha / Książka Twarda
common.buy 654.19 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?