Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Logic-Based Program Synthesis and Transformation

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic-Based Program Synthesis and Transformation Germán Vidal
Libristo-code: 01661777
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Volledige beschrijving
? points 115 b
47.54 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Boek Gebonden (paperback)
common.buy 53.11 €
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Drukwerk Bladmuziek
common.buy 8.49 €
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Boek Gebonden (paperback)
common.buy 26.30 €
Pokémon - Maxi-colo Paldea The Pokémon Company / Boek Gebonden (paperback)
common.buy 7.38 €
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Boek binding.
common.buy 33.99 €
Dzia?alno?? do?wiadczalna i badawcza w in?ynierii l?dowej i wodnej F. Retamal / Boek Gebonden (paperback)
common.buy 35.71 €
Artikel Marketing Blitz Andre Sternberg / E-book Adobe ePub DRM
common.buy 1.10 €
L'Invention pharmaceutique. La pharmacie française entre l'Etat et la société au XXe siècle Sophie Chauveau / Boek Gebonden (paperback)
common.buy 35.91 €
Les silences de Margaret Paul Couturiau / Boek Gebonden (paperback)
common.buy 25.59 €
O dôstojnosti človeka Božena Seilerová / Boek Gebonden (paperback)
common.buy 8.99 €
Le Grand livre de la nature Anonyme / E-book Adobe ePub DRM
common.buy 11.52 €
Llibre d'amic i amat Beato Ramón Llull / Boek Gebonden (paperback)
common.buy 17.49 €
Przyjaciel Is Anna Helena Kubiak / E-book Adobe ePub DRM
common.buy 1.10 €
Looney Tunes POP!&Buddy Animation Vinyl Figure Sylvester&Tweety 9 cm Spel/speelgoed Speelgoed
common.buy 21.64 €
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Boek Gebonden (paperback)
common.buy 19.21 €
TOP
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Boek Gebonden (harde band)
common.buy 19.21 €
Healing Hotels of the World / Boek Gebonden (harde band)
common.buy 59.58 €
Madchen in der Sprayerkultur? Lena Rheindorf / Boek Gebonden (paperback)
common.buy 16.18 €
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Boek Gebonden (paperback)
common.buy 57.86 €
Shania- Philosophie Thomas Heim / Boek Gebonden (paperback)
common.buy 13.55 €
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Boek Gebonden (paperback)
common.buy 77.29 €
213-295 Walter Gollwitzer / Boek Gebonden (harde band)
common.buy 504.87 €
Od Čertovy Lhotky k Mariánským Horám collegium / Boek Gebonden (harde band)
common.buy 11.63 €
Poemas hesiódicos Hesíodo / Boek Gebonden (paperback)
common.buy 11.02 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Logic-Based Program Synthesis and Transformation
Auteur Germán Vidal
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 254
EAN 9783642322105
ISBN 3642322107
Libristo-code 01661777
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 409
Afmetingen 155 x 235 x 15

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Wiskunde en wetenschap > Wiskunde > Discrete wiskunde
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Mojave Syntax MUNRO / Boek Gebonden (paperback)
common.buy 58.57 €
Pro VB 2010 and the .NET 4.0 Platform A Troelsen / Boek Gebonden (paperback)
common.buy 54.12 €
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Boek Gebonden (paperback)
common.buy 154.39 €
Handbook of Plant Cell Biotechnology AGATHA WILSON / Boek Gebonden (harde band)
common.buy 133.65 €
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Boek Gebonden (harde band)
common.buy 307.27 €
One Man's Journey Tadeusz P Wojcik / Boek Gebonden (paperback)
common.buy 20.33 €
Apothecary Dereck Hucklesby / Boek Gebonden (paperback)
common.buy 21.24 €
Transcatheter Aortic Valve Implantation Catherine M. Otto / Boek Gebonden (harde band)
common.buy 191.62 €
Corr James K Polk Vol 9 James K Polk / Boek Gebonden (harde band)
common.buy 58.57 €
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Boek Gebonden (harde band)
common.buy 176.44 €
Manual of Gynecology David Berry Hart / Boek Gebonden (harde band)
common.buy 45.82 €
Splat the Cat Rob Scotton / Boek Gebonden (harde band)
common.buy 15.77 €
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Boek Gebonden (paperback)
common.buy 19.42 €
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Boek Gebonden (paperback)
common.buy 7.68 €
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Boek Gebonden (harde band)
common.buy 714.81 €
Industrial Energy Management and Sustainability Miriam Benedetti / Boek Gebonden (harde band)
common.buy 38.64 €
The Tragedy of Othello, the Moor of Venice William Shakespeare / Boek Gebonden (paperback)
common.buy 8.39 €
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Boek Gebonden (paperback)
common.buy 57.46 €
Big Data for Managers Atal Malviya / Boek Gebonden (paperback)
common.buy 75.27 €
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Boek Gebonden (paperback)
common.buy 12.13 €
Life of Thomas Ellwood Thomas Ellwood / Boek Gebonden (paperback)
common.buy 30.75 €
Valeria Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Elise Garcia / Boek Gebonden (paperback)
common.buy 10.31 €
Advances in Plant Biopesticides Dwijendra Singh / Boek Gebonden (harde band)
common.buy 154.39 €
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Boek Gebonden (harde band)
common.buy 119.08 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?