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

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic-Based Program Synthesis and Transformation Maurizio Proietti
Libristo-code: 09249952
Uitgeverij Springer International Publishing AG, april 2015
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International... Volledige beschrijving
? points 125 b
51.63 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Kirchen - verständlich gemacht. Eine illustrierte und verständliche Baustilkunde zur christlichen Architektur: Kathedralen, Kapellen, Klöstern, Abteie Denis McNamara / Boek Gebonden (paperback)
common.buy 8.58 €
MEJORA DE LAS FUNCIONES EJECUTIVAS Y CONDUCTUALES 2 (ALUMNO) NOELIA GARCIA GONZALEZ / Boek Gebonden (paperback)
common.buy 47.18 €
M'as-tu vu en cadavre ? Malet / Boek Gebonden (harde band)
common.buy 20.60 €
45 Recettes de Repas pour la Réduction des Crampes musculaires: Eliminez les crampes musculaires pour de bon en utilisant une nourriture intelligente Joe Correa Csn / Boek Gebonden (paperback)
common.buy 15.75 €
Biologie víry Bruce H. Lipton / Boek Gebonden (harde band)
common.buy 15.25 €
Globalización y salud mental Antoni Talarn / Boek Gebonden (paperback)
common.buy 37.88 €
Justizmord Hans-Rudolph Schneider / Boek Gebonden (paperback)
common.buy 17.88 €
Untersuchungen über Gegenstände der höheren Geodäsie Carl Fr. Gauß / Boek Gebonden (paperback)
common.buy 94.47 €
Je te vois reine des quatre parties du monde Alexandre Lapierre / Boek Gebonden (paperback)
common.buy 14.04 €
Leadership John C. Maxwell / Boek Boek
common.buy 12.22 €
Mystische Dimensionen der Psyche Lars Tischler / Boek Gebonden (paperback)
common.buy 16.16 €
Pokrevenstvo Amberu Roger Zelazny / Boek Gebonden (harde band)
common.buy 8.58 €

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014.§§The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming, and program transformation and optimization.

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 Maurizio Proietti, Hirohisa Seki
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 333
EAN 9783319178219
ISBN 3319178210
Libristo-code 09249952
Uitgeverij Springer International Publishing AG
Gewicht 534
Afmetingen 155 x 235 x 19

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)
Informatica en informatietechnologie > Besturingssystemen
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

British Antarctic ("Terra Nova") Expedition, 1910; Natural History Reports, Vol. 1 British Antarctic Expedition / Boek Gebonden (paperback)
common.buy 20.10 €
From Anthropometry to Genomics Jonathan S Friedlaender / Boek Gebonden (paperback)
common.buy 15.75 €
Explorers Jared W Pollard / Boek Gebonden (paperback)
common.buy 19.29 €
Sandy's Miracle John Borgstedt / Boek Gebonden (paperback)
common.buy 16.26 €
Global West, American Frontier David M. Wrobel / Boek Gebonden (paperback)
common.buy 35.46 €
Building Dynamics Branko Kolarevic / Boek Gebonden (paperback)
common.buy 118.93 €
100 Dogs Michael Whaite / Boek Leporello (harmonicaboek)
common.buy 9.29 €
Next of Kin Marianne Langner Zeitlin / Boek Gebonden (paperback)
common.buy 9.69 €
Urban Intervention: Design Ideas for Public Space Wang Shaoqiang / Boek Gebonden (harde band)
common.buy 48.29 €
Chinese Research Perspectives on Population and Labor, Volume 1 Fang Cai / Boek Gebonden (harde band)
common.buy 193.61 €
Manual of Percussion and Auscultation Flint / Boek Gebonden (paperback)
common.buy 20.30 €
Determined Martin Baranek / Boek Gebonden (paperback)
common.buy 22.12 €
Drifters Volume 5 Kohta Hirano / Boek Gebonden (paperback)
common.buy 12.62 €
Confessions of a Middle-Aged Hippie Geek Karen S Eubank / Boek Gebonden (paperback)
common.buy 15.65 €
Cost Accounting and Financial Management for Construction Project Managers HOLM / Boek Gebonden (harde band)
common.buy 208.87 €
The Day Will Come Mary E. Braddon / Boek Gebonden (paperback)
common.buy 35.66 €
The Magic Coat Gary McNeil / Boek Gebonden (paperback)
common.buy 6.76 €
On Liberty John Stuart Mill / Boek Gebonden (paperback)
common.buy 10.80 €
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Boek Gebonden (harde band)
common.buy 70.02 €
Intrusion Detection and Correlation Christopher Kruegel / Boek Gebonden (harde band)
common.buy 119.54 €
The Future of the Greek Economy Panagiotis E. Petrakis / Boek Gebonden (paperback)
common.buy 116.81 €
Western Africa: Along the Atlantic Ocean Coast Adil Dalbai / Boek Gebonden (paperback)
common.buy 50.62 €
Great Names in American History John G. Gilmartin / Boek Gebonden (harde band)
common.buy 36.37 €
Balmoral incident Alanna Knight / Boek Gebonden (harde band)
common.buy 27.07 €

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