phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Zásilkovna 44 Kč Kurýr GLS 74 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Computer Science Logic

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Science Logic Laurent Fribourg
Libristo kód: 01563752
Nakladatelství Springer, Berlin, listopadu 2000
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Scienc... Celý popis
? points 304 b
3 037 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Rise And Fall Of The Third Reich William Shirer / Brožovaná
common.buy 534 Kč
TOP
Harry Potter Paper Models Moira Squier / Papírenské zboží
common.buy 525 Kč
Oxford Reading Tree: Level 2: Stories: The Toys' Party Roderick Hunt / Brožovaná
common.buy 161 Kč
Připravujeme
D&d Waterdeep Dragon Heist Hc Wizards RPG Team / Pevná
common.buy 1 047 Kč
36x Detox Snadno a lahodně Sandra Jagemann / Brožovaná
common.buy 56 Kč
Moonstone Wilkie Collins / Brožovaná
common.buy 98 Kč
Water Markets for the 21st Century K. William Easter / Pevná
common.buy 4 671 Kč
African Safari Planning Map Mark W. Nolting / Mapa
common.buy 328 Kč
Photonic Crystals Jean-Michel Lourtioz / Pevná
common.buy 4 671 Kč
Mom the Chemistry Professor Kimberly Woznack / Brožovaná
common.buy 1 540 Kč
Chip Dude From Outer Space Sandi Johnson / Brožovaná
common.buy 349 Kč
Regulation and Reform of Music Criticism in Nineteenth-Century England Paul Watt / Pevná
common.buy 4 944 Kč
Financial Management of Life Insurance Companies J. David Cummins / Brožovaná
common.buy 3 010 Kč
Analog Signal Processing Peter B. Aronhime / Pevná
common.buy 3 037 Kč
Oversight of the Federal Communications Commission United States Congress / Brožovaná
common.buy 589 Kč
A Moment of War Laurie Lee / Brožovaná
common.buy 356 Kč

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.

Informace o knize

Plný název Computer Science Logic
Autor Laurent Fribourg
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2001
Počet stran 628
EAN 9783540425540
ISBN 3540425543
Libristo kód 01563752
Nakladatelství Springer, Berlin
Váha 875
Rozměry 155 x 235 x 32

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet