Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Science Logic

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Science Logic Laurent Fribourg
Koda Libristo: 01563752
Založba Springer, Berlin, november 2000
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Scienc... Celoten opis
? points 236 b
97.22 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Fit fur... - Deutschprufung fur Jugendliche Carmen Cristache / Knjiga Mehka
common.buy 33.31 €
Du bist mein dunkelstes Ich Nagler Felicitas Nagler / Knjiga Mehka
common.buy 11.20 €
Compliance als Chefsache Nicola Schmidt / Knjiga Mehka
common.buy 37.75 €
Poceni
Oftalmología y Acupuntura, estudio experimental Joelson Cavalcanti / Knjiga Mehka
common.buy 47.75 €
Vollstaendiges Namen- Und Sachregister Zu Schlosser's Geschichte, Fuenfte Auflage Friedrich Christoph Schlosser / Knjiga Mehka
common.buy 18.37 €
El Cordero de Isaias Pedro Caldern De La Barca / Knjiga Mehka
common.buy 14.83 €
Das Buch der Stille Sara Maitland / Knjiga Trda
common.buy 20.99 €
Genealogie de la Maison d'Anglars En Limousin Et En Auvergne DE RIBIER-L / Knjiga Mehka
common.buy 14.73 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computer Science Logic
Avtor Laurent Fribourg
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2001
Število strani 628
EAN 9783540425540
ISBN 3540425543
Koda Libristo 01563752
Založba Springer, Berlin
Teža 875
Mere 155 x 235 x 32

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Analog Signal Processing Peter B. Aronhime / Knjiga Trda
common.buy 103.99 €
Symmetry and Combinatorial Enumeration in Chemistry Shinsaku Fujita / Knjiga Mehka
common.buy 71.27 €
Oxford Reading Tree TreeTops inFact: Level 16: Huge Art James Driver / Knjiga Mehka
common.buy 12.81 €
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 / Knjiga Mehka
common.buy 9.78 €
Collected Schizophrenias Esme Wang / Knjiga Mehka
common.buy 13.01 €
Infectious Diseases - A Geographic Guide 2e ESKILD PETERSEN / Knjiga Mehka
common.buy 98.54 €
Regulation and Reform of Music Criticism in Nineteenth-Century England Paul Watt / Knjiga Trda
common.buy 204.96 €
Chip Dude From Outer Space Sandi Johnson / Knjiga Mehka
common.buy 12.31 €
Box In The Attic & Other Stories A M Burrage / E-knjiga Adobe ePub DRM
common.buy 13.42 €
Top
D&d Waterdeep Dragon Heist Hc Wizards RPG Team / Knjiga Trda
common.buy 41.49 €
Christmas Coloring Book for Kids Ages 4-8: 50 Christmas Coloring Pages for Kids K Imagine Education / Knjiga Mehka
common.buy 7.26 €
Its A Bugs World Baby Professor / Knjiga Mehka
common.buy 10.59 €
Oversight of the Federal Communications Commission United States Congress / Knjiga Mehka
common.buy 20.89 €
A Moment of War Laurie Lee / Knjiga Mehka
common.buy 14.02 €
African Safari Planning Map Mark W. Nolting / Tiskani izdelki Zemljevid
common.buy 10.89 €
Walking Erling Kagge / Knjiga Mehka
common.buy 10.09 €
Harry Potter Paper Models Moira Squier / Pisarniški material Pisarniški material
common.buy 18.27 €
How To Be a Stoic Epictetus / Knjiga Mehka
common.buy 7.36 €
Legal Framework for Delivery of Public Private Partnership Projects MARY SHEHU MOHAMMED / Knjiga Mehka
common.buy 64.31 €
Design Principles for Photography Jeremy Webb / Knjiga Trda
common.buy 204.96 €
Art Activities ROSIE HORE / Knjiga Mehka
common.buy 10.39 €
ETF Investing for Market Wizards! Warren Bell / Knjiga Mehka
common.buy 17.46 €
Dance With The Devil Laura Shenton / Knjiga Mehka
common.buy 16.85 €
Astea Renee Greene / Knjiga Mehka
common.buy 7.26 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?