Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Science Logic

7th Workshop, CSL '93, Swansea, UK, September 13-17, 1993. Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Science Logic Egon Börger
Libristo kod: 05274407
Nakladnici Springer, Berlin, studeni 1993
This volume contains the final versions of a collection of papers presented at the Annual Conference... Cijeli opis
? points 125 b
51.63 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

One Piece 109 Eiichiro Oda / Knjiga Meki uvez
common.buy 7.16 €
Gouverner le social par le religieux Faure / Knjiga Meki uvez
common.buy 32.93 €
Tiamatin hněv James S. A. Corey / Knjiga Meki uvez
common.buy 15.35 €
Kabala Pro Zacatecniky Michael Laitman / Knjiga Meki uvez
common.buy 19.39 €
Le journal de ma vie Kate Clayborn / Knjiga Meki uvez
common.buy 24.14 €
Harakiri - The Masters of Cinema Series Masaki Kobayashi / Video Blu-ray
common.buy 15.15 €
Programació lineal / Knjiga Meki uvez
common.buy 15.75 €
Agenda Mindenensis dioecesis Carl von Reifitz / Knjiga Meki uvez
common.buy 56.18 €
Ein europäischer Jurist des 19. Jahrhunderts. Tanja Guddat / Knjiga Meki uvez
common.buy 100.64 €
Spuk Ernst Kallmeyer / Knjiga Meki uvez
common.buy 22.32 €

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computer Science Logic
Autor Egon Börger, Yuri Gurevich, Karl Meinke
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1994
Broj stranica 336
EAN 9783540582779
ISBN 3540582770
Libristo kod 05274407
Nakladnici Springer, Berlin
Težina 466
Dimenzije 216 x 279 x 18

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
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
Computing & Information Technology > Computer programming / software engineering
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

Moglo bi vas zanimati i

Beastly Armor: Military Defenses Inspired by Animals Charles C. Hofer / Knjiga Meki uvez
common.buy 7.67 €
Essential Epicurus Epicurus / Knjiga Meki uvez
common.buy 11.71 €
In Exile and Other Stories Mary Hallock Foote / Knjiga Meki uvez
common.buy 16.16 €
From Ducatus to Regnum: Ruling Bavaria Under the Merovingians and Early Carolingians Carl I. Hammer / Knjiga Meki uvez
common.buy 76.28 €
My Korean Identity and Quest for Understanding Michael Chon / Knjiga Meki uvez
common.buy 31.92 €
Noel Coward Screenplays Noel Coward / Knjiga Tvrdi uvez
common.buy 145.20 €
Corporate Asset Don Easton / Knjiga Meki uvez
common.buy 9.89 €
Defiant M. Quint / Knjiga Tvrdi uvez
common.buy 17.57 €
Developing Community Mental Health Services Grainne Fadden / Knjiga Meki uvez
common.buy 17.37 €
Demonic Visions 50 Horror Tales Book 5 Rob Smales / Knjiga Meki uvez
common.buy 10.60 €
English for International Journalists Mike Gandon / Knjiga Meki uvez
common.buy 63.75 €

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