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 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Logic-Based Program Synthesis and Transformation

Sprache EnglischEnglisch
Buch Broschur
Buch Logic-Based Program Synthesis and Transformation Elvira Albert
Libristo-Code: 01663644
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2013
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International... Vollständige Beschreibung
? points 158 b
65.56 €
Externes Lager Wir versenden in 10-18 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Demnächst Neu
Expertenwissen Nacken Marco Gassen / Buch Broschur
common.buy 52.08 €
Einheit Auf Befehl? Sabine Collmer / Buch Broschur
common.buy 65.56 €
Dieta a Base de Plantas Chantel Stephens / Buch Broschur
common.buy 16.81 €
Les Bains de Mer de l'Algerie BERNARD-C / Buch Broschur
common.buy 14.38 €
Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing Irina Mantai / Buch Broschur
common.buy 17.12 €

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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 Elvira Albert
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2013
Anzahl der Seiten 245
EAN 9783642381966
ISBN 3642381960
Libristo-Code 01663644
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 454
Abmessungen 155 x 235 x 15

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
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

Fading Light Chris Steele-Perkins / Buch Hardcover
common.buy 32.32 €
What Makes Cannabis Recipes Work? Ronald E. Hudkins / E-Book Adobe ePub DRM
common.buy 5.16 €
U.S.-Taiwan Relations Bonnie Glaser / Buch Broschur
common.buy 37.29 €
Steam Trains Today Andrew Martin / Buch Broschur
common.buy 13.98 €
OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS FRANZ JOSEPH HAYDN / Buch Broschur
common.buy 40.93 €
History of World Egyptology Andrew Bednarski / Buch Hardcover
common.buy 222.44 €
Practical User Research Emmanuelle Savarit / Buch Broschur
common.buy 55.93 €
SOUTHERN TIBET, DISCOVERIES IN FORMER TI HEDIN / Buch Hardcover
common.buy 41.24 €
Top 25 Property Management KPIs of 2011-2012 The Kpi Institute / Buch Broschur
common.buy 47.83 €
Irena's Children: Young Readers Edition; A True Story of Courage Tilar J. Mazzeo / Buch Broschur
common.buy 8.20 €
Top
Mobile Suit Gundam Thunderbolt, Vol. 1 Yasuo Ohtagaki / Buch Broschur
common.buy 14.48 €
Ghosts - Notes from a Field Study Ken Lauter / Buch Broschur
common.buy 22.29 €
High Point of Persistence Hilary White / Buch Broschur
common.buy 27.45 €
Foundations in Sociolinguistics Dell Hymes / Buch Hardcover
common.buy 360.78 €
Guide to Magistrates Mayo / Buch Broschur
common.buy 51.37 €
In the Museum of Man Alice L Conklin / Buch Hardcover
common.buy 172.48 €
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Products Y. Asakawa / Buch Broschur
common.buy 58.57 €
Transactions in Bionic Patents, Vol. 8 Michael Dienst / Buch Broschur
common.buy 16.21 €
Clinical CT Suzanne Henwood / Buch Broschur
common.buy 78.43 €
Autonomy in Jewish Philosophy Kenneth Seeskin / Buch Broschur
common.buy 47.32 €
All Elevations Unknown Sam Lightner / Buch Broschur
common.buy 17.32 €
Influenza Virus Yoshihiro Kawaoka / Buch Hardcover
common.buy 175.93 €
The Archaeology of Political Spaces Dominik Bonatz / Buch Hardcover
common.buy 135.08 €
Aspects of Physical Biology Giancarlo Franzese / Buch Hardcover
common.buy 58.57 €

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?