Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Logic-Based Program Synthesis and Transformation

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

Sprache EnglischEnglisch
Buch Broschur
Buch Logic-Based Program Synthesis and Transformation Germán Vidal
Libristo-Code: 01661777
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Vollständige Beschreibung
? points 121 b
49.49 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Buch Broschur
common.buy 55.29 €
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Drucksachen Noten
common.buy 8.39 €
Artikel Marketing Blitz Andre Sternberg / E-Book Adobe ePub DRM
common.buy 1.09 €
Le Grand livre de la nature Anonyme / E-Book Adobe ePub DRM
common.buy 11.89 €
O dôstojnosti človeka Božena Seilerová / Buch Broschur
common.buy 9.39 €
Pokémon - Maxi-colo Paldea The Pokémon Company / Buch Broschur
common.buy 7.89 €
Healing Hotels of the World / Buch Hardcover
common.buy 61.69 €
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Buch binding.
common.buy 33.59 €
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Buch Broschur
common.buy 27.39 €
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Buch Hardcover
common.buy 22.59 €
Les silences de Margaret Paul Couturiau / Buch Broschur
common.buy 26.69 €
Madchen in der Sprayerkultur? Lena Rheindorf / Buch Broschur
common.buy 17.95 €
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Buch Broschur
common.buy 60.29 €
Soeur Fesne, Farce Nouvelle A. V. Personnages TECHENER / Buch Broschur
common.buy 14.19 €
Ausbildung im Einzelhandel - Neubearbeitung - Allgemeine Ausgabe - 1. Ausbildungsjahr Christian Fritz / Buch Broschur
common.buy 38.19 €
Shania- Philosophie Thomas Heim / Buch Broschur
common.buy 14.90 €
Meditaciones para el aula: 38 meditaciones guiadas para uso educativo y 48 propuestas para el desarrollo personal Sánchez Ramos / Buch Broschur
common.buy 21.19 €
Demnächst
LA FIESTA DE DISFRACES Quílez Ibáñez / Buch Broschur
common.buy 25.59 €
Kdo mi pomůže Jaroslav Gering / Buch Hardcover
common.buy 8.99 €
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Buch Broschur
common.buy 21.99 €
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Buch Broschur
common.buy 80.89 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logic-Based Program Synthesis and Transformation
Autor Germán Vidal
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 254
EAN 9783642322105
ISBN 3642322107
Libristo-Code 01661777
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 409
Abmessungen 155 x 235 x 15

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker
Mathematik und Naturwissenschaften > Mathematik > Diskrete Mathematik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Mojave Syntax MUNRO / Buch Broschur
common.buy 60.49 €
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Buch Broschur
common.buy 160.89 €
Handbook of Plant Cell Biotechnology AGATHA WILSON / Buch Hardcover
common.buy 139.19 €
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Buch Hardcover
common.buy 289.29 €
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Buch Broschur
common.buy 8.09 €
Corr James K Polk Vol 9 James K Polk / Buch Hardcover
common.buy 60.49 €
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Buch Hardcover
common.buy 174.49 €
Splat the Cat Rob Scotton / Buch Hardcover
common.buy 16.49 €
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Buch Broschur
common.buy 20.89 €
The Tragedy of Othello, the Moor of Venice William Shakespeare / Buch Broschur
common.buy 8.89 €
Big Data for Managers Atal Malviya / Buch Broschur
common.buy 77.69 €
Valeria Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Elise Garcia / Buch Broschur
common.buy 10.69 €
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Buch Broschur
common.buy 12.69 €
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Buch Broschur
common.buy 59.69 €
Industrial Energy Management and Sustainability Miriam Benedetti / Buch Hardcover
common.buy 40.39 €
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Buch Hardcover
common.buy 736.39 €
Tibetan Yogas of Dream and Sleep, The Tenzin Wangyal Rinpoche / E-Book Adobe ePub DRM
common.buy 20.79 €
Proceedings of the 2nd International Conference on Cognitive Based Information Processing and Applications (CIPA 2022) Bernard J. Jansen / Buch Broschur
common.buy 374.89 €
Essentials of ENT Surgical Procedures Zohaib Siddiqui / Buch Broschur
common.buy 94.69 €
Data Mining With Decision Trees: Theory And Applications Oded Z. Maimon / Buch Hardcover
common.buy 132.69 €
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Buch Hardcover
common.buy 117.69 €
Added Value of Geographical Information Systems in Public and Environmental Health M.J. de Lepper / Buch Hardcover
common.buy 113.59 €
Collaborative Design Management Stephen Emmitt / Buch Broschur
common.buy 79.79 €
Politics and Parentela in Paraiba Linda Lewin / Buch Hardcover
common.buy 208.89 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?