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
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna.
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 Jacques Duparc
Libristo kod: 01569227
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kolovoz 2007
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc... Cijeli opis
? points 304 b
119.76 €
Vanjske zalihe u manjem broju Šaljemo za 12-15 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Permanent Record KING ARTHUR / Meki uvez
common.buy 15.55 €
Pokrytie dlya giperzvukovyh samoletov Mariya Alexandrovna Miller / Meki uvez
common.buy 37.59 €
Egyptian Literature Epiphanius Wilson / Meki uvez
common.buy 26.42 €
Fitting In and Getting Happy Olga Stavrova / Meki uvez
common.buy 44.17 €
Hans Christian Andersen Fairy Tales Pat Stewart / Meki uvez
common.buy 6.57 €
Pathways to Modern Chemical Physics Salvatore Califano / Meki uvez
common.buy 119.76 €

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.

Informacije o knjizi

Puni naziv Computer Science Logic
Autor Jacques Duparc, Thomas A. Henzinger
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2007
Broj stranica 600
EAN 9783540749141
ISBN 3540749144
Libristo kod 01569227
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 932
Dimenzije 155 x 235 x 33

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