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 €.

Logic-Based Program Synthesis and Transformation

8th International Workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998. Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Logic-Based Program Synthesis and Transformation Pierre Flener
Libristo kod: 05274933
Nakladnici Springer, Berlin, studeni 1998
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Worksh... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Séminaire d'Analyse P. Lelong - P. Dolbeault - H. Skoda Pierre Dolbeault / Knjiga Meki uvez
common.buy 36.25 €
Guida per principianti alla produzione e alla gestione dei suini Kwamina Banson / Knjiga Meki uvez
common.buy 61.47 €
ESO NO ESTABA EN MI LIBRO DEL NUEVO TESTAMENTO FABREGA / Knjiga Knjiga
common.buy 29.67 €
Příchod bohů Vlastislav Toman / Audio Audio CD
common.buy 13.56 €
Top
Vikont koji me volio Julia Quinn / Knjiga Meki uvez
common.buy 11.23 €
Die Rechtliche Ordnung Der Benutzung Oeffentlicher Einrichtungen Ina Bartels / Knjiga Meki uvez
common.buy 96.41 €
Fullmetal Alchemist 18 Hiromu Arakawa / Knjiga Meki uvez
common.buy 8.09 €
Hormigón ligero OPS reforzado con fibra de polipropileno Ming Chian Yew / Knjiga Meki uvez
common.buy 32.10 €
5 Towers (Deep Print Games) / Igra/Igračka Igra
common.buy 9.61 €
Lass uns reden! Chiara Colucci / Igra/Igračka Igra
common.buy 18.83 €
Top
B-Grammatik Anne Buscha / Knjiga Meki uvez
common.buy 21.66 €
CHAPITRES TOURNES EN TOUS SENS PIANO ERIK SATIE Knjiga binding.
common.buy 31.69 €
The Fog - Nebel des Grauens, 1 DVD (Digital Remastered) John Carpenter / Video DVD
common.buy 13.16 €
Karty vědomé duše Kim Dreyer / Tiskanica Karte
common.buy 6.98 €
Top
Herbář léčivých rostlin (1) Jiří Janča / Knjiga Tvrdi uvez
common.buy 13.66 €
Deutscher und Europaischer Qualifikationsrahmen (DQR und EQR) André Nollmann / Knjiga Meki uvez
common.buy 40.20 €
Matériaux High-k dans les mémoires non-volatiles avancées Marc Bocquet / Knjiga Meki uvez
common.buy 70.48 €
Mine d'Or Sébastien Belluso / Knjiga Meki uvez
common.buy 7.79 €
Philadelphia, 1 Blu-ray Craig Mckay / Video Blu-ray
common.buy 14.78 €
Mein erstes Anziehpuppen-Stickerbuch: Bella, die kleine Ballerina Fiona Watt / Knjiga Meki uvez
common.buy 7.79 €
Skicák TVOŘIVOST B5, čistý, 80 listů / Proizvodi od papira Proizvodi od papira
common.buy 4.55 €

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

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 Logic-Based Program Synthesis and Transformation
Autor Pierre Flener
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1999
Broj stranica 338
EAN 9783540657651
ISBN 3540657657
Libristo kod 05274933
Nakladnici Springer, Berlin
Težina 450
Dimenzije 156 x 234 x 18

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
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

Transition and the Spatial Organization of Industries Alexandra Schleier / Knjiga Meki uvez
common.buy 78.08 €
Solution Talk: Hosting Therapeutic Conversations Ben Furman / Knjiga Meki uvez
common.buy 18.02 €
New Industries from New Places: The Emergence of the Software and Hardware Industries in China and India Neil Gregory / Knjiga Meki uvez
common.buy 35.44 €
Raising Charlie: The Lessons of a Perfect Dog John Lichty / Knjiga Meki uvez
common.buy 10.62 €
Body and the Screen Kate Ince / Knjiga Meki uvez
common.buy 51.85 €
Shame Game Janice Sterling Gaunt / Knjiga Meki uvez
common.buy 16.70 €
Every Brain is Beautiful Sara Furlong / Knjiga Meki uvez
common.buy 12.14 €
Open and nimble Daniel Lederman / Knjiga Meki uvez
common.buy 39.59 €
New York Intellectuals Alan M. Wald / Knjiga Meki uvez
common.buy 43.03 €
Conservatives: Dead or Alive Marcel G Latouche / Knjiga Meki uvez
common.buy 21.97 €
Study Guide for Stephen Spender's What I Expected Cengage Learning Gale / Knjiga Meki uvez
common.buy 11.74 €
Walnut Warriors (R) (in Outer Space) Lance L Palmgren / Knjiga Meki uvez
common.buy 33.21 €
Mission Somewhat Kinda Sort of But Not Really Completely 100%% Impossible Al Parish / Knjiga Meki uvez
common.buy 28.55 €
Maigret's Anger Georges Simenon / Knjiga Meki uvez
common.buy 11.84 €
Information Systems: Research, Development, Applications, Education Stanislaw Wrycza / Knjiga Meki uvez
common.buy 51.75 €
Why Tyrannosaurus But Not If? US/Can edition RICHARD N WHITEHEAD / Knjiga Meki uvez
common.buy 17.01 €
Jump Start Git, 2e Shaumik Daityari / Knjiga Meki uvez
common.buy 23.08 €
Third Eye Awakening Jamie Parr / Knjiga Meki uvez
common.buy 12.14 €
Top
Super Minds Level 5 Workbook with Digital Pack British English Herbert Puchta / Knjiga Meki uvez
common.buy 11.23 €
100 Greatest Commodore 64 Games Tom Crossland / Knjiga Meki uvez
common.buy 12.35 €
Baptist Encyclopaedia - Vol. 3 William Cathcart / Knjiga Tvrdi uvez
common.buy 43.74 €
Voices of Diversity Mary C. Sengstock / Knjiga Meki uvez
common.buy 51.75 €
History of the French Revolution Adolphe ThiersFrederick Shoberl / Knjiga Meki uvez
common.buy 56.51 €
Human Pituitary Hormones E. van Cauter / Knjiga Meki uvez
common.buy 51.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
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?