Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computer Science Logic

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Science Logic Laurent Fribourg
Libristo kód: 01563752
Nakladateľstvo Springer, Berlin, november 2000
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Scienc... Celý popis
? points 249 b
103.10 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Fit fur... - Deutschprufung fur Jugendliche Carmen Cristache / Kniha Brožovaná
common.buy 35.44 €
Du bist mein dunkelstes Ich Nagler Felicitas Nagler / Kniha Brožovaná
common.buy 11.23 €
Compliance als Chefsache Nicola Schmidt / Kniha Brožovaná
common.buy 40.20 €
Lacno
Oftalmología y Acupuntura, estudio experimental Joelson Cavalcanti / Kniha Brožovaná
common.buy 47.90 €
Vollstaendiges Namen- Und Sachregister Zu Schlosser's Geschichte, Fuenfte Auflage Friedrich Christoph Schlosser / Kniha Brožovaná
common.buy 18.42 €
El Cordero de Isaias Pedro Caldern De La Barca / Kniha Brožovaná
common.buy 14.88 €
Das Buch der Stille Sara Maitland / Kniha Pevná
common.buy 22.37 €
Genealogie de la Maison d'Anglars En Limousin Et En Auvergne DE RIBIER-L / Kniha Brožovaná
common.buy 14.78 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Computer Science Logic
Autor Laurent Fribourg
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2001
Počet strán 628
EAN 9783540425540
ISBN 3540425543
Libristo kód 01563752
Nakladateľstvo Springer, Berlin
Váha 875
Rozmery 155 x 235 x 32

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Analog Signal Processing Peter B. Aronhime / Kniha Pevná
common.buy 109.48 €
Symmetry and Combinatorial Enumeration in Chemistry Shinsaku Fujita / Kniha Brožovaná
common.buy 75.75 €
Oxford Reading Tree TreeTops inFact: Level 16: Huge Art James Driver / Kniha Brožovaná
common.buy 14.37 €
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 / Kniha Brožovaná
common.buy 9.81 €
Collected Schizophrenias Esme Wang / Kniha Brožovaná
common.buy 12.95 €
Infectious Diseases - A Geographic Guide 2e ESKILD PETERSEN / Kniha Brožovaná
common.buy 98.84 €
Regulation and Reform of Music Criticism in Nineteenth-Century England Paul Watt / Kniha Pevná
common.buy 216.33 €
Chip Dude From Outer Space Sandi Johnson / Kniha Brožovaná
common.buy 12.35 €
Box In The Attic & Other Stories A M Burrage / E-kniha Adobe ePub DRM
common.buy 13.46 €
Top
D&d Waterdeep Dragon Heist Hc Wizards RPG Team / Kniha Pevná
common.buy 41.62 €
Christmas Coloring Book for Kids Ages 4-8: 50 Christmas Coloring Pages for Kids K Imagine Education / Kniha Brožovaná
common.buy 7.28 €
Its A Bugs World Baby Professor / Kniha Brožovaná
common.buy 10.62 €
Oversight of the Federal Communications Commission United States Congress / Kniha Brožovaná
common.buy 20.96 €
A Moment of War Laurie Lee / Kniha Brožovaná
common.buy 14.88 €
African Safari Planning Map Mark W. Nolting / Tlačovina Mapa
common.buy 11.54 €
Walking Erling Kagge / Kniha Brožovaná
common.buy 10.12 €
Harry Potter Paper Models Moira Squier / Papierenský tovar Papierenský tovar
common.buy 18.32 €
How To Be a Stoic Epictetus / Kniha Brožovaná
common.buy 8.09 €
Legal Framework for Delivery of Public Private Partnership Projects MARY SHEHU MOHAMMED / Kniha Brožovaná
common.buy 68.56 €
Design Principles for Photography Jeremy Webb / Kniha Pevná
common.buy 216.33 €
Art Activities ROSIE HORE / Kniha Brožovaná
common.buy 11.33 €
ETF Investing for Market Wizards! Warren Bell / Kniha Brožovaná
common.buy 17.51 €
Dance With The Devil Laura Shenton / Kniha Brožovaná
common.buy 18.12 €
Astea Renee Greene / Kniha Brožovaná
common.buy 7.28 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?