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

9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Science Logic Hans Kleine Buening
Libristo kod: 05274587
Nakladnici Springer, Berlin, studeni 1995
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen Mark Twain / Knjiga Meki uvez
common.buy 11.74 €
Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD Klaus-P. Weigand / Audio Audio CD
common.buy 10.93 €
Asphalt Tribe Morton Rhue / Knjiga Meki uvez
common.buy 8.30 €
Lexikon der Sprichwoerter und Redensarten Band 13 (Es - Er) René Dick / Knjiga Meki uvez
common.buy 39.29 €
besten und verrucktesten Kneipen-Namen Dieter Auer / Knjiga Meki uvez
common.buy 9.92 €
Wichtel Nick Admar Kwant / Knjiga Leporelo
common.buy 10.52 €
Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil. Karl-Dieter Müller / Knjiga Meki uvez
common.buy 60.96 €
Erfolgreich verhandeln Jörg Kupjetz / Knjiga Meki uvez
common.buy 29.46 €

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

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 Hans Kleine Buening
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1996
Broj stranica 492
EAN 9783540613770
ISBN 3540613773
Libristo kod 05274587
Nakladnici Springer, Berlin
Težina 659
Dimenzije 156 x 234 x 25

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
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 > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Numerical Integration T.O. Espelid / Knjiga Tvrdi uvez
common.buy 98.23 €
Garden of Thorns: A novel of romantic suspense Lillian Stewart Carl / Knjiga Meki uvez
common.buy 14.78 €
Legal Practice in Ayr and the West of Scotland in the Fifteenth and Sixteenth Centuries: A Study in Economic History. David Murray / Knjiga Meki uvez
common.buy 20.15 €
The Original Adventures of Hank the Cowdog John R. Erickson / Knjiga Tvrdi uvez
common.buy 14.88 €
Things Good Girls Don't Do Codi Gary / Knjiga Meki uvez
common.buy 8.70 €
Chicana and Chicano Art Carlos Francisco Jackson / Knjiga Meki uvez
common.buy 27.64 €
Being Modern in Iran Fariba Adelkhah / Knjiga Tvrdi uvez
common.buy 41.52 €
Botanical Medicine in Clinical Practice Victor Preedy / Knjiga Tvrdi uvez
common.buy 395.09 €
Pripremamo
Augustine Gillian Clark / Knjiga Tvrdi uvez
common.buy 149.69 €
Conversations with Erskine Caldwell Edwin T. Arnold / Knjiga Meki uvez
common.buy 32.10 €
Handbook of Colorectal Surgery David Beck / Knjiga Tvrdi uvez
common.buy 74.74 €
Nietzsche: A Complete Introduction: Teach Yourself Roy Jackson / Knjiga Meki uvez
common.buy 15.99 €
Handbook of Neurochemistry and Molecular Neurobiology Abel Lajtha / Knjiga Tvrdi uvez
common.buy 154.55 €

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