Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computer Science Logic

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

Limba englezăengleză
Carte Carte broșată
Carte Computer Science Logic Laurent Fribourg
Codul Libristo: 01563752
Editura Springer, Berlin, noiembrie 2000
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Scienc... Descrierea completă
? points 263 b
570.50 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Fit fur... - Deutschprufung fur Jugendliche Carmen Cristache / Carte Carte broșată
common.buy 196.76 lei
Du bist mein dunkelstes Ich Nagler Felicitas Nagler / Carte Carte broșată
common.buy 65.58 lei
Compliance als Chefsache Nicola Schmidt / Carte Carte broșată
common.buy 223.46 lei
Leftin
Oftalmología y Acupuntura, estudio experimental Joelson Cavalcanti / Carte Carte broșată
common.buy 251.30 lei
Vollstaendiges Namen- Und Sachregister Zu Schlosser's Geschichte, Fuenfte Auflage Friedrich Christoph Schlosser / Carte Carte broșată
common.buy 106.35 lei
El Cordero de Isaias Pedro Caldern De La Barca / Carte Carte broșată
common.buy 85.29 lei
Das Buch der Stille Sara Maitland / Carte Copertă tare
common.buy 124.39 lei
Genealogie de la Maison d'Anglars En Limousin Et En Auvergne DE RIBIER-L / Carte Carte broșată
common.buy 85.50 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computer Science Logic
Autor Laurent Fribourg
Limba engleză
Legare Carte - Carte broșată
Data publicării 2001
Număr pagini 628
EAN 9783540425540
ISBN 3540425543
Codul Libristo 01563752
Editura Springer, Berlin
Greutatea 875
Dimensiuni 155 x 235 x 32

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Analog Signal Processing Peter B. Aronhime / Carte Copertă tare
common.buy 601.78 lei
Symmetry and Combinatorial Enumeration in Chemistry Shinsaku Fujita / Carte Carte broșată
common.buy 419.50 lei
Oxford Reading Tree TreeTops inFact: Level 16: Huge Art James Driver / Carte Carte broșată
common.buy 75.38 lei
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 / Carte Carte broșată
common.buy 57.13 lei
Collected Schizophrenias Esme Wang / Carte Carte broșată
common.buy 77.99 lei
Infectious Diseases - A Geographic Guide 2e ESKILD PETERSEN / Carte Carte broșată
common.buy 518.56 lei
Regulation and Reform of Music Criticism in Nineteenth-Century England Paul Watt / Carte Copertă tare
common.buy 1 191.99 lei
Chip Dude From Outer Space Sandi Johnson / Carte Carte broșată
common.buy 72.05 lei
Box In The Attic & Other Stories A M Burrage / E-book Adobe ePub DRM
common.buy 78.41 lei
Top
D&d Waterdeep Dragon Heist Hc Wizards RPG Team / Carte Copertă tare
common.buy 243.17 lei
Christmas Coloring Book for Kids Ages 4-8: 50 Christmas Coloring Pages for Kids K Imagine Education / Carte Carte broșată
common.buy 42.33 lei
Its A Bugs World Baby Professor / Carte Carte broșată
common.buy 63.39 lei
Oversight of the Federal Communications Commission United States Congress / Carte Carte broșată
common.buy 121.58 lei
A Moment of War Laurie Lee / Carte Carte broșată
common.buy 82.26 lei
African Safari Planning Map Mark W. Nolting / Materiale tipărite Hartă
common.buy 64.02 lei
Walking Erling Kagge / Carte Carte broșată
common.buy 60.99 lei
Harry Potter Paper Models Moira Squier / Articole de papetărie Articole de papetărie
common.buy 108.75 lei
How To Be a Stoic Epictetus / Carte Carte broșată
common.buy 44.52 lei
Legal Framework for Delivery of Public Private Partnership Projects MARY SHEHU MOHAMMED / Carte Carte broșată
common.buy 381.12 lei
Design Principles for Photography Jeremy Webb / Carte Copertă tare
common.buy 1 191.99 lei
Art Activities ROSIE HORE / Carte Carte broșată
common.buy 59.74 lei
ETF Investing for Market Wizards! Warren Bell / Carte Carte broșată
common.buy 104.27 lei
Dance With The Devil Laura Shenton / Carte Carte broșată
common.buy 101.45 lei
Astea Renee Greene / Carte Carte broșată
common.buy 42.33 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo