phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Computer Science Logic

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Science Logic Laurent Fribourg
Libristo kod: 01563752
Nakladnici Springer, Berlin, studeni 2000
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Scienc... Cijeli opis
? points 304 b
121.11 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

TOP
Rise And Fall Of The Third Reich William Shirer / Meki uvez
common.buy 23.10 €
TOP
Harry Potter Paper Models Moira Squier / Proizvodi od papira
common.buy 20.88 €
Oxford Reading Tree: Level 2: Stories: The Toys' Party Roderick Hunt / Meki uvez
common.buy 6.85 €
PRIPREMAMO
D&d Waterdeep Dragon Heist Hc Wizards RPG Team / Tvrdi uvez
common.buy 46.72 €
36x Detox Snadno a lahodně Sandra Jagemann / Meki uvez
common.buy 2.72 €
Moonstone Wilkie Collins / Meki uvez
common.buy 4.53 €
Water Markets for the 21st Century K. William Easter / Tvrdi uvez
common.buy 186.32 €
African Safari Planning Map Mark W. Nolting / Mapa
common.buy 13.11 €
Photonic Crystals Jean-Michel Lourtioz / Tvrdi uvez
common.buy 186.32 €
Mom the Chemistry Professor Kimberly Woznack / Meki uvez
common.buy 61.46 €
Chip Dude From Outer Space Sandi Johnson / Meki uvez
common.buy 13.92 €
Regulation and Reform of Music Criticism in Nineteenth-Century England Paul Watt / Tvrdi uvez
common.buy 197.22 €
Oversight of the Federal Communications Commission United States Congress / Meki uvez
common.buy 23.51 €
Financial Management of Life Insurance Companies J. David Cummins / Meki uvez
common.buy 120.00 €
Analog Signal Processing Peter B. Aronhime / Tvrdi uvez
common.buy 121.11 €
A Moment of War Laurie Lee / Meki uvez
common.buy 14.22 €

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.

Informacije o knjizi

Puni naziv Computer Science Logic
Autor Laurent Fribourg
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2001
Broj stranica 628
EAN 9783540425540
ISBN 3540425543
Libristo kod 01563752
Nakladnici Springer, Berlin
Težina 875
Dimenzije 155 x 235 x 32

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun