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

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
201.15 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Książka Miękka
common.buy 224.60 zł
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Prasa Nuty
common.buy 33.97 zł
Artikel Marketing Blitz Andre Sternberg / E-book Adobe ePub DRM
common.buy 4.50 zł
Le Grand livre de la nature Anonyme / E-book Adobe ePub DRM
common.buy 48.50 zł
O dôstojnosti človeka Božena Seilerová / Książka Miękka
common.buy 38.28 zł
Pokémon - Maxi-colo Paldea The Pokémon Company / Książka Miękka
common.buy 32.36 zł
Healing Hotels of the World / Książka Twarda
common.buy 253.16 zł
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Książka binding.
common.buy 136.10 zł
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Książka Miękka
common.buy 111.74 zł
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Książka Twarda
common.buy 86.29 zł
Les silences de Margaret Paul Couturiau / Książka Miękka
common.buy 109.54 zł
Madchen in der Sprayerkultur? Lena Rheindorf / Książka Miękka
common.buy 68.55 zł
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Książka Miękka
common.buy 244.95 zł
Soeur Fesne, Farce Nouvelle A. V. Personnages TECHENER / Książka Miękka
common.buy 57.92 zł
Ausbildung im Einzelhandel - Neubearbeitung - Allgemeine Ausgabe - 1. Ausbildungsjahr Christian Fritz / Książka Miękka
common.buy 155.84 zł
Shania- Philosophie Thomas Heim / Książka Miękka
common.buy 57.22 zł
Meditaciones para el aula: 38 meditaciones guiadas para uso educativo y 48 propuestas para el desarrollo personal Sánchez Ramos / Książka Miękka
common.buy 86.99 zł
Zapowiedź
LA FIESTA DE DISFRACES Quílez Ibáñez / Książka Miękka
common.buy 104.83 zł
Kdo mi pomůže Jaroslav Gering / Książka Twarda
common.buy 36.57 zł
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Książka Miękka
common.buy 89.89 zł
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Książka Miękka
common.buy 327.33 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 248.05 zł
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Książka Miękka
common.buy 653.27 zł
Handbook of Plant Cell Biotechnology AGATHA WILSON / Książka Twarda
common.buy 565.77 zł
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Książka Twarda
common.buy 1 179.67 zł
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Książka Miękka
common.buy 32.56 zł
Corr James K Polk Vol 9 James K Polk / Książka Twarda
common.buy 248.05 zł
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Książka Twarda
common.buy 711.81 zł
Splat the Cat Rob Scotton / Książka Twarda
common.buy 66.84 zł
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Książka Miękka
common.buy 83.98 zł
The Tragedy of Othello, the Moor of Venice William Shakespeare / Książka Miękka
common.buy 35.67 zł
Big Data for Managers Atal Malviya / Książka Miękka
common.buy 318.41 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 43.69 zł
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Książka Miękka
common.buy 51.21 zł
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Książka Miękka
common.buy 217.48 zł
Industrial Energy Management and Sustainability Miriam Benedetti / Książka Twarda
common.buy 163.56 zł
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Książka Twarda
common.buy 3 025.05 zł
Tibetan Yogas of Dream and Sleep, The Tenzin Wangyal Rinpoche / E-book Adobe ePub DRM
common.buy 84.28 zł
Proceedings of the 2nd International Conference on Cognitive Based Information Processing and Applications (CIPA 2022) Bernard J. Jansen / Książka Miękka
common.buy 1 522.74 zł
Essentials of ENT Surgical Procedures Zohaib Siddiqui / Książka Miękka
common.buy 383.96 zł
Data Mining With Decision Trees: Theory And Applications Oded Z. Maimon / Książka Twarda
common.buy 543.42 zł
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Książka Twarda
common.buy 480.18 zł
Added Value of Geographical Information Systems in Public and Environmental Health M.J. de Lepper / Książka Twarda
common.buy 465.15 zł
Collaborative Design Management Stephen Emmitt / Książka Miękka
common.buy 327.13 zł
Politics and Parentela in Paraiba Linda Lewin / Książka Twarda
common.buy 855.63 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