Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Conclog: A Methodological Approach to Concurrent Logic Programming

Name: Conclog: A Methodological Approach to Concurrent Logic Programming
Brand: Springer, Berlin
SKU: 01565484
Price: 119.81 EUR
Availability: InStock
Author: J.-M. Jacquet
ISBN: 9783540549383

J.-M. Jacquet

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01565484

Uitgeverij Springer, Berlin, november 1990

This book presents a new concurrent logic programminglanguage called Conclog and a methodology for p... Volledige beschrijving

Libristo-code: 01565484

290 b

119.81 €

In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Deutsches Rechtswörterbuch Heidelberger Akademie der Wissenschaften

Gebonden (paperback)

55.80 €

El Método Para (the Para Method Spanish Edition) Guía Carmona

Gebonden (paperback)

11.54 €

Aus dem Nichts kommt die Flut Markus Lemke

Gebonden (harde band)

23.39 €

Biografias breves - Julio Cortazar Machado

MP3

5.56 €

APLICACION DE CONCEPTOS BASICOS DE LA TEORIA DE GENERO Y DEL NARANJO PERA

Gebonden (paperback)

22.07 €

EL AMIGO DE LA MUERTE ALARCON

Gebonden (paperback)

24.10 €

PLAYMOBIL Wiltopia. Abenteuer Australien. Die Koalas sind los! Corinna Jegelka

Gebonden (harde band)

10.32 €

Lemur a mládě

Speelgoed

7.28 €

Asthma Tagebuch: Peak Flow Protkoll zum ausfüllen für über 500 Tage ♦ handliche Tabelle mit Vorlage im 6x9 Format ♦ Motiv: Msed Notizbucher

Gebonden (paperback)

9.92 €

Ökonomie und Ökologie. Alfred Maußner

Gebonden (paperback)

122.44 €

Bylinky na talíři i v domácím léčení Radka Hrevušová

Gebonden (paperback)

10.73 €

Embriología general : conceptos generales del aparato locomotor, región axil, miembro torácico y miembro pelviano S. Climent Peris

Gebonden (paperback)

51.44 €

Tous Les Noms Jose Saramago

Gebonden (paperback)

10.93 €

Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen Daniel Werner

Gebonden (paperback)

38.38 €

Seven Nenad Vasilic

Audio cd

23.08 €

Einfache Rechenmandalas für den Zahlenraum bis 10 Sophie Block

Blad

13.46 €

Fyzika pro každého R. Kubínek

Gebonden (paperback)

7.69 €

Glosario Oftalmológico (Inglés- Español) Clara Cecilia Valdés Menéndez

Gebonden (paperback)

34.93 €

Moses Mendelssohn: Gesammelte Schriften. Jubiläumsausgabe / Band 19: Hebräische Schriften III: Briefwechsel (1761-1785) Moses Mendelssohn

Gebonden (harde band)

259.17 €

Marchesi Antinori, italienische Ausgabe Ralf Frenzel

Gebonden (harde band)

73.82 €

This book presents a new concurrent logic programminglanguage called Conclog and a methodology for programming init.Conclog was designed bytaking the ideal features of logicprogramming as reference, rather than by concentratingdirectly on operational tricks to ensure efficiency. Thisleads to quite easy declarative programming. Concern forsoundness and completeness ensures that multi-directionaland multi-solution correct procedures can be coded quitestraightforwardly. Assuming suitable hypotheses on theiruses, they can be transformed into very efficient versionsthanks to the introduction of appropriate controlinformation. Correctness-preserving properties are given forthat purpose.The designof Conclog involves three steps. First, a soundand complete parallel execution model of Horn clauseprograms is proposed which reduces subgoals of conjunctionsindependently and uses a calculus for reconcilinginconsistent bindings. Second, this is extended to handlenegation as completely as possible. Third, a minimal andreasonably complete set of extra-logical features aredefined for optimization and practical purposes.The second part of the book presents a methodology forconstructing Conclog in a rigorous way. This covers theentire programming process, from informal specifications vialogic descriptions to efficient programs. The methodologycan be adapted to other languages.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Conclog: A Methodological Approach to Concurrent Logic Programming

Auteur J.-M. Jacquet

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 1991

Aantal pagina's 787

EAN 9783540549383

ISBN 3540549382

Libristo-code 01565484

Uitgeverij Springer, Berlin

Gewicht 1100

Afmetingen 170 x 250 x 40

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

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