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

15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Computer Science Logic Laurent Fribourg
Kod Libristo: 01563752
Wydawnictwo Springer, Berlin, listopad 2000
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Scienc... Cały opis
? points 249 b
436.59 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Fit fur... - Deutschprufung fur Jugendliche Carmen Cristache / Książka Miękka
common.buy 158.67 zł
Du bist mein dunkelstes Ich Nagler Felicitas Nagler / Książka Miękka
common.buy 50.28 zł
Compliance als Chefsache Nicola Schmidt / Książka Miękka
common.buy 170.31 zł
Tanie
Oftalmología y Acupuntura, estudio experimental Joelson Cavalcanti / Książka Miękka
common.buy 202.73 zł
Vollstaendiges Namen- Und Sachregister Zu Schlosser's Geschichte, Fuenfte Auflage Friedrich Christoph Schlosser / Książka Miękka
common.buy 81.99 zł
El Cordero de Isaias Pedro Caldern De La Barca / Książka Miękka
common.buy 65.83 zł
Das Buch der Stille Sara Maitland / Książka Twarda
common.buy 94.74 zł
Genealogie de la Maison d'Anglars En Limousin Et En Auvergne DE RIBIER-L / Książka Miękka
common.buy 65.83 zł

This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001.The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.

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 Laurent Fribourg
Język Angielski
Oprawa Książka - Miękka
Data wydania 2001
Liczba stron 628
EAN 9783540425540
ISBN 3540425543
Kod Libristo 01563752
Wydawnictwo Springer, Berlin
Waga 875
Wymiary 155 x 235 x 32

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
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
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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ć

Analog Signal Processing Peter B. Aronhime / Książka Twarda
common.buy 485.47 zł
Symmetry and Combinatorial Enumeration in Chemistry Shinsaku Fujita / Książka Miękka
common.buy 320.57 zł
Oxford Reading Tree TreeTops inFact: Level 16: Huge Art James Driver / Książka Miękka
common.buy 60.81 zł
The Mouse Princess 2: A Race Against Time: The Adventures of Dredge and Sledge: This year, Two unlikely heroes will emerge from unexpected p Simon Kang / Książka Miękka
common.buy 43.75 zł
Collected Schizophrenias Esme Wang / Książka Miękka
common.buy 59.01 zł
Infectious Diseases - A Geographic Guide 2e ESKILD PETERSEN / Książka Miękka
common.buy 395.04 zł
Regulation and Reform of Music Criticism in Nineteenth-Century England Paul Watt / Książka Twarda
common.buy 915.95 zł
Chip Dude From Outer Space Sandi Johnson / Książka Miękka
common.buy 55.39 zł
Box In The Attic & Other Stories A M Burrage / E-book Adobe ePub DRM
common.buy 60.11 zł
TOP
D&d Waterdeep Dragon Heist Hc Wizards RPG Team / Książka Twarda
common.buy 186.17 zł
Christmas Coloring Book for Kids Ages 4-8: 50 Christmas Coloring Pages for Kids K Imagine Education / Książka Miękka
common.buy 32.41 zł
Its A Bugs World Baby Professor / Książka Miękka
common.buy 48.17 zł
Oversight of the Federal Communications Commission United States Congress / Książka Miękka
common.buy 93.33 zł
A Moment of War Laurie Lee / Książka Miękka
common.buy 62.92 zł
African Safari Planning Map Mark W. Nolting / Prasa Mapa
common.buy 49.07 zł
Walking Erling Kagge / Książka Miękka
common.buy 45.86 zł
Harry Potter Paper Models Moira Squier / Artykuły papiernicze Artykuły papiernicze
common.buy 82.49 zł
How To Be a Stoic Epictetus / Książka Miękka
common.buy 33.41 zł
Legal Framework for Delivery of Public Private Partnership Projects MARY SHEHU MOHAMMED / Książka Miękka
common.buy 290.25 zł
Design Principles for Photography Jeremy Webb / Książka Twarda
common.buy 915.95 zł
Art Activities ROSIE HORE / Książka Miękka
common.buy 48.17 zł
ETF Investing for Market Wizards! Warren Bell / Książka Miękka
common.buy 79.18 zł
Dance With The Devil Laura Shenton / Książka Miękka
common.buy 76.77 zł
Astea Renee Greene / Książka Miękka
common.buy 32.41 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?