Cantitate/Preț
Produs

Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings: Lecture Notes in Computer Science, cartea 1990

Editat de I.V. Ramakrishnan
en Limba Engleză Paperback – 28 feb 2001

Din seria Lecture Notes in Computer Science

Preț: 33588 lei

Preț vechi: 41985 lei
-20% Nou

Puncte Express: 504

Preț estimativ în valută:
6428 6670$ 5373£

Carte tipărită la comandă

Livrare economică 15-29 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540417682
ISBN-10: 3540417680
Pagini: 368
Ilustrații: VIII, 352 p.
Dimensiuni: 155 x 233 x 19 mm
Greutate: 0.51 kg
Ediția:2001
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

A Model Checker for Value-Passing Mu-Calculus Using Logic Programming.- Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog.- Frappé: Functional Reactive Programming in Java.- From Subject Directories to Subject Meta-directories via Declarative Programming.- Programming Goal-Driven Web Sites Using an Agent Logic Language.- High-Level Server Side Web Scripting in Curry.- Logic Programming Techniques for Dynamic VRML Web Content Generation.- Soft Constraints for Security Protocol Analysis: Confidentiality.- Secure Deductive Databases.- Specifying Authentication Protocols Using Rewriting and Strategies.- Interoperability between Bioinformatics Tools: A Logic Programming Approach.- An A-Prolog Decision Support System for the Space Shuttle.- tuProlog: A Light-Weight Prolog for Internet Applications and Infrastructures.- A Novel Implementation of the Extended Andorra Model.- Soundcheck for SQL.- Compiling High-Level Type Constructors in Constraint Programming.- Constraint Database Models Characterizing Timed Bisimilarity.- Spatio-temporal Annotated Constraint Logic Programming.- A Meta-heuristic for Subset Problems.- Construction and Optimization of a Parallel Engine for Answer Set Programming.- FVision: A Declarative Language for Visual Tracking.- A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces.- State Generation in the PARMC Model Checker.

Caracteristici

Includes supplementary material: sn.pub/extras