A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Logic-Based Program Synthesis and Transformation

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Logic-Based Program Synthesis and Transformation Germán Vidal
Libristo kód: 01661777
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Teljes leírás
? points 125 b
18 730 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Könyv Puha kötésű
common.buy 20 904 Ft
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Nyomtatványok Kotta
common.buy 2 906 Ft
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Könyv Puha kötésű
common.buy 8 571 Ft
Pokémon - Maxi-colo Paldea The Pokémon Company / Könyv Puha kötésű
common.buy 2 726 Ft
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Könyv binding.
common.buy 11 657 Ft
Dzia?alno?? do?wiadczalna i badawcza w in?ynierii l?dowej i wodnej F. Retamal / Könyv Puha kötésű
common.buy 14 142 Ft
Artikel Marketing Blitz Andre Sternberg / E-könyv Adobe ePub DRM
common.buy 387 Ft
L'Invention pharmaceutique. La pharmacie française entre l'Etat et la société au XXe siècle Sophie Chauveau / Könyv Puha kötésű
common.buy 13 051 Ft
Les silences de Margaret Paul Couturiau / Könyv Puha kötésű
common.buy 9 318 Ft
O dôstojnosti človeka Božena Seilerová / Könyv Puha kötésű
common.buy 3 298 Ft
Le Grand livre de la nature Anonyme / E-könyv Adobe ePub DRM
common.buy 4 224 Ft
Llibre d'amic i amat Beato Ramón Llull / Könyv Puha kötésű
common.buy 5 845 Ft
Przyjaciel Is Anna Helena Kubiak / E-könyv Adobe ePub DRM
common.buy 387 Ft
Looney Tunes POP!&Buddy Animation Vinyl Figure Sylvester&Tweety 9 cm Játék Játék
common.buy 7 834 Ft
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Könyv Puha kötésű
common.buy 6 984 Ft
Toplistás
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Könyv Kemény kötésű
common.buy 7 820 Ft
Healing Hotels of the World / Könyv Kemény kötésű
common.buy 21 622 Ft
Madchen in der Sprayerkultur? Lena Rheindorf / Könyv Puha kötésű
common.buy 6 412 Ft
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Könyv Puha kötésű
common.buy 22 803 Ft
Shania- Philosophie Thomas Heim / Könyv Puha kötésű
common.buy 5 349 Ft
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Könyv Puha kötésű
common.buy 30 670 Ft
213-295 Walter Gollwitzer / Könyv Kemény kötésű
common.buy 198 353 Ft
Od Čertovy Lhotky k Mariánským Horám collegium / Könyv Kemény kötésű
common.buy 3 879 Ft
Poemas hesiódicos Hesíodo / Könyv Puha kötésű
common.buy 4 375 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Logic-Based Program Synthesis and Transformation
Szerző Germán Vidal
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2012
Oldalszám 254
EAN 9783642322105
ISBN 3642322107
Libristo kód 01661777
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 409
Méretek 155 x 235 x 15

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára
Matematika és természettudomány > Matematika > Diszkrét matematika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Mojave Syntax MUNRO / Könyv Puha kötésű
common.buy 22 761 Ft
Pro VB 2010 and the .NET 4.0 Platform A Troelsen / Könyv Puha kötésű
common.buy 18 702 Ft
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Könyv Puha kötésű
common.buy 60 802 Ft
Handbook of Plant Cell Biotechnology AGATHA WILSON / Könyv Kemény kötésű
common.buy 52 623 Ft
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Könyv Kemény kötésű
common.buy 111 374 Ft
One Man's Journey Tadeusz P Wojcik / Könyv Puha kötésű
common.buy 7 929 Ft
Apothecary Dereck Hucklesby / Könyv Puha kötésű
common.buy 8 316 Ft
Transcatheter Aortic Valve Implantation Catherine M. Otto / Könyv Kemény kötésű
common.buy 70 125 Ft
Corr James K Polk Vol 9 James K Polk / Könyv Kemény kötésű
common.buy 22 761 Ft
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Könyv Kemény kötésű
common.buy 62 768 Ft
Manual of Gynecology David Berry Hart / Könyv Kemény kötésű
common.buy 17 889 Ft
Splat the Cat Rob Scotton / Könyv Kemény kötésű
common.buy 6 294 Ft
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Könyv Puha kötésű
common.buy 7 461 Ft
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Könyv Puha kötésű
common.buy 3 071 Ft
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Könyv Kemény kötésű
common.buy 276 642 Ft
Industrial Energy Management and Sustainability Miriam Benedetti / Könyv Kemény kötésű
common.buy 15 300 Ft
The Tragedy of Othello, the Moor of Venice William Shakespeare / Könyv Puha kötésű
common.buy 3 355 Ft
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Könyv Puha kötésű
common.buy 20 814 Ft
Big Data for Managers Atal Malviya / Könyv Puha kötésű
common.buy 29 201 Ft
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Könyv Puha kötésű
common.buy 4 824 Ft
Life of Thomas Ellwood Thomas Ellwood / Könyv Puha kötésű
common.buy 11 987 Ft
Valeria Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Elise Garcia / Könyv Puha kötésű
common.buy 4 045 Ft
Advances in Plant Biopesticides Dwijendra Singh / Könyv Kemény kötésű
common.buy 60 802 Ft
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Könyv Kemény kötésű
common.buy 41 132 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?