Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic Based Program Synthesis and Transformation

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Logic Based Program Synthesis and Transformation Sandro Etalle
Kod Libristo: 01560821
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2005
This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Cuerpazo Para Siempre (Spanish Original): Mi Método Para Transformar Tu Figura En Un Cuerpo de Infarto Claudia Molina / Książka Miękka
common.buy 66.94 zł
Mujeres artistas LINDA NOCHIN / Książka Miękka
common.buy 218.29 zł
Aufsichtsrat der AG im Bankgesellschaftsrecht Stephan Fackler / Książka Twarda
common.buy 391.32 zł
Ja, pesnička 2 collegium / Książka Twarda
common.buy 22.27 zł
Huevo de Dragón (Dragon Egg Spanish Edition) Hala Wittwer / Książka Twarda
common.buy 81.29 zł
Journal d'un Noob - Tome 8 Cube Kid / Książka Miękka
common.buy 72.56 zł
Opowieść wigilijna Dickens Karol / Książka Twarda
common.buy 22.07 zł
L'ombre L'eau qui s'écoule Lorrain-Vesque / Książka Miękka
common.buy 82.69 zł
Surpresa Mais Doce Augusta Hill / E-book Adobe ePub DRM
common.buy 4.00 zł
Thelma et les enfants à table Colombe Schneck / Książka Twarda
common.buy 57.60 zł
SINFONIE F MAJOR FALCK 67 ORCHESTRE WILHELM FRIEDEMANN B Prasa Nuty
common.buy 109.79 zł
Degas Loyrette / Książka Miękka
common.buy 88.41 zł
Świat równoległy wyd. 2 Tomasz Michniewicz / Książka Twarda
common.buy 52.58 zł
Die Polen in Oberschlesien Paul Weber / Książka Miękka
common.buy 56.40 zł
La Troisi?me République française et ce qu'elle vaut Joseph Arthur De Gobineau / Książka Miękka
common.buy 44.65 zł
Aventures del capita calçotes DAV PILKEY / Książka Twarda
common.buy 40.94 zł
Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire SUCQUET-J- / Książka Miękka
common.buy 58.00 zł
Guide Et Formulaire de Therapeutique Generale Et Speciale HERZEN-V / Książka Miękka
common.buy 140.50 zł
Cesta z lebek Tyrani a králové John Marco / Książka Miękka
common.buy 45.56 zł
Největší současní básníci Petr Kovář / Książka Karta
common.buy 31.91 zł
Ja genau! C. Böschel / Książka Miękka
common.buy 101.96 zł
Klick! Sozialkunde/Politik - Fachhefte für alle Bundesländer - Ausgabe 2008 - Band 3. Bd.3 Christine Fink / Książka Karta
common.buy 64.33 zł
Vermarktung von Unterhaltung bei Germanys next Topmodel Anina Müller / Książka Miękka
common.buy 68.64 zł
Formierung der Ministerialitat und ihre Funktionen in der salischen und staufischen Herrschaft Johannes Grundberger / Książka Miękka
common.buy 68.64 zł

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logic Based Program Synthesis and Transformation
Autor Sandro Etalle
Język Angielski
Oprawa Książka - Miękka
Data wydania 2005
Liczba stron 284
EAN 9783540266556
ISBN 3540266550
Kod Libristo 01560821
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 450
Wymiary 155 x 235 x 16

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Model-Based Reasoning in Science and Technology Lorenzo Magnani / Książka Twarda
common.buy 871.89 zł
Towards a Service-Based Internet. ServiceWave 2010 Workshops Michel Cezon / Książka Miękka
common.buy 255.23 zł
Graph Based Representations in Pattern Recognition Edwin Hancock / Książka Miękka
common.buy 218.99 zł
Lonely Planet Pocket Ibiza Planet Lonely / Książka Miękka
common.buy 83.40 zł
Nuclear Weapons Counterproliferation Jack Garvey / Książka Twarda
common.buy 522.61 zł
How to Live an Abundant Life Ph D D-Cpc Pastor (Dr ) Ayo Laleye / Książka Twarda
common.buy 116.72 zł
Salt & Light: Being The Hands & Feet of Christ (in a cruel and dangerous world) Matt Poole / Książka Miękka
common.buy 36.22 zł
Human Brain During the Late First Trimester Shirley A. Bayer / Książka Miękka
common.buy 402.97 zł
The Mad Pranks And Merry Jests Of Robin Goodfellow (1841) John Payne Collier / Książka Miękka
common.buy 73.96 zł
Season of Birth and Schizophrenia Fatima Kamran / Książka Miękka
common.buy 211.77 zł
Spoken Language Translator Manny RaynerDavid CarterPierrette BouillonVassilis Digalakis / Książka Miękka
common.buy 266.97 zł
English Auxiliaries Anthony R. Warner / Książka Miękka
common.buy 185.87 zł
Peasant Uprisings in Seventeenth-Century France, Russia and China Roland Mousnier / Książka Twarda
common.buy 910.33 zł
Enterococcus faecalis Henry L Mack / Książka Twarda
common.buy 1 296.54 zł
Pauline Canon Stanley E. Porter / Książka Twarda
common.buy 218.99 zł
Taak of the Toon Sid Waddell / Książka Miękka
common.buy 40.44 zł
E-Myth Contractor Michael E. Gerber / Książka Miękka
common.buy 60.61 zł
Maltese Falcon Dashiell Hammett / Książka Miękka
common.buy 44.35 zł
Text Book of Boxing Jim Driscoll / Książka Miękka
common.buy 73.06 zł
Secret Kingdom: Magic Mountain Rosie Banks / Książka Miękka
common.buy 32.61 zł
Time as a Metaphor of History: Early India Romila Thapar / Książka Miękka
common.buy 57.50 zł
International Directory of Company Histories Tina Gant / Książka Twarda
common.buy 2 323.00 zł
Global Technological Change Zhouying Jin / Książka Miękka
common.buy 158.37 zł
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence Brian J. Heard / Książka Twarda
common.buy 618.46 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo