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 Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic-Based Program Synthesis and Transformation

21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Logic-Based Program Synthesis and Transformation Germán Vidal
Kod Libristo: 01661777
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Cały opis
? points 115 b
205.46 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Książka Miękka
common.buy 229.42 zł
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Prasa Nuty
common.buy 34.70 zł
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Książka Miękka
common.buy 102.16 zł
Pokémon - Maxi-colo Paldea The Pokémon Company / Książka Miękka
common.buy 32.54 zł
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Książka binding.
common.buy 139.02 zł
Dzia?alno?? do?wiadczalna i badawcza w in?ynierii l?dowej i wodnej F. Retamal / Książka Miękka
common.buy 154.17 zł
Artikel Marketing Blitz Andre Sternberg / E-book Adobe ePub DRM
common.buy 4.60 zł
L'Invention pharmaceutique. La pharmacie française entre l'Etat et la société au XXe siècle Sophie Chauveau / Książka Miękka
common.buy 155.60 zł
Les silences de Margaret Paul Couturiau / Książka Miękka
common.buy 111.17 zł
O dôstojnosti človeka Božena Seilerová / Książka Miękka
common.buy 39.30 zł
Le Grand livre de la nature Anonyme / E-book Adobe ePub DRM
common.buy 50.36 zł
Llibre d'amic i amat Beato Ramón Llull / Książka Miękka
common.buy 69.71 zł
Przyjaciel Is Anna Helena Kubiak / E-book Adobe ePub DRM
common.buy 4.60 zł
Looney Tunes POP!&Buddy Animation Vinyl Figure Sylvester&Tweety 9 cm Gra/Zabawka Zabawka
common.buy 93.46 zł
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Książka Miękka
common.buy 74.52 zł
TOP
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Książka Twarda
common.buy 88.14 zł
Healing Hotels of the World / Książka Twarda
common.buy 257.88 zł
Madchen in der Sprayerkultur? Lena Rheindorf / Książka Miękka
common.buy 70.02 zł
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Książka Miękka
common.buy 250.20 zł
Shania- Philosophie Thomas Heim / Książka Miękka
common.buy 58.45 zł
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Książka Miękka
common.buy 334.35 zł
213-295 Walter Gollwitzer / Książka Twarda
common.buy 2 182.46 zł
Od Čertovy Lhotky k Mariánským Horám collegium / Książka Twarda
common.buy 43.60 zł
Poemas hesiódicos Hesíodo / Książka Miękka
common.buy 47.90 zł

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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 Germán Vidal
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 254
EAN 9783642322105
ISBN 3642322107
Kod Libristo 01661777
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 409
Wymiary 155 x 235 x 15

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ń > Matematyka w informatyce
Matematyka i nauki ścisłe > Matematyka > Matematyka dyskretna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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ć

Mojave Syntax MUNRO / Książka Miękka
common.buy 253.37 zł
Pro VB 2010 and the .NET 4.0 Platform A Troelsen / Książka Miękka
common.buy 222.97 zł
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Książka Miękka
common.buy 667.28 zł
Handbook of Plant Cell Biotechnology AGATHA WILSON / Książka Twarda
common.buy 577.91 zł
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Książka Twarda
common.buy 1 264.96 zł
One Man's Journey Tadeusz P Wojcik / Książka Miękka
common.buy 87.73 zł
Apothecary Dereck Hucklesby / Książka Miękka
common.buy 92.03 zł
Transcatheter Aortic Valve Implantation Catherine M. Otto / Książka Twarda
common.buy 836.30 zł
Corr James K Polk Vol 9 James K Polk / Książka Twarda
common.buy 253.37 zł
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Książka Twarda
common.buy 726.97 zł
Manual of Gynecology David Berry Hart / Książka Twarda
common.buy 197.99 zł
Splat the Cat Rob Scotton / Książka Twarda
common.buy 68.28 zł
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Książka Miękka
common.buy 85.78 zł
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Książka Miękka
common.buy 33.26 zł
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Książka Twarda
common.buy 3 089.92 zł
Industrial Energy Management and Sustainability Miriam Benedetti / Książka Twarda
common.buy 167.07 zł
The Tragedy of Othello, the Moor of Venice William Shakespeare / Książka Miękka
common.buy 36.44 zł
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Książka Miękka
common.buy 222.15 zł
Big Data for Managers Atal Malviya / Książka Miękka
common.buy 325.24 zł
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Książka Miękka
common.buy 52.30 zł
Life of Thomas Ellwood Thomas Ellwood / Książka Miękka
common.buy 132.77 zł
Valeria Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Elise Garcia / Książka Miękka
common.buy 44.63 zł
Advances in Plant Biopesticides Dwijendra Singh / Książka Twarda
common.buy 667.28 zł
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Książka Twarda
common.buy 490.48 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?