phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Computer Science Logic

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 304 b
517.77 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Rise And Fall Of The Third Reich William Shirer / Miękka
common.buy 92.52 zł
Oxford Reading Tree: Level 2: Stories: The Toys' Party Roderick Hunt / Miękka
common.buy 27.40 zł
Harry Potter Paper Models Moira Squier / Artykuły papiernicze
common.buy 89.52 zł
Zapowiedź
D&d Waterdeep Dragon Heist Hc Wizards RPG Team / Twarda
common.buy 199.76 zł
36x Detox Snadno a lahodně Sandra Jagemann / Miękka
common.buy 11.79 zł
Moonstone Wilkie Collins / Miękka
common.buy 18.10 zł
Water Markets for the 21st Century K. William Easter / Twarda
common.buy 796.26 zł
African Safari Planning Map Mark W. Nolting / Mapa
common.buy 53.01 zł
Photonic Crystals Jean-Michel Lourtioz / Twarda
common.buy 796.26 zł
Oversight of the Federal Communications Commission United States Congress / Miękka
common.buy 105.53 zł
Mom the Chemistry Professor Kimberly Woznack / Miękka
common.buy 262.48 zł
Regulation and Reform of Music Criticism in Nineteenth-Century England Paul Watt / Twarda
common.buy 802.76 zł
Chip Dude From Outer Space Sandi Johnson / Miękka
common.buy 62.51 zł
Financial Management of Life Insurance Companies J. David Cummins / Miękka
common.buy 513.17 zł
Analog Signal Processing Peter B. Aronhime / Twarda
common.buy 517.77 zł
A Moment of War Laurie Lee / Miękka
common.buy 60.71 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.

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

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