Practical Aspects of Declarative Languages: Third International Symposium, Padl 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings (Third International Symposium, Padl 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings) - Lecture Notes in Computer S - I V Ramakrishnan - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540417682 - 2001. gada 28. februāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

I V Ramakrishnan
Practical Aspects of Declarative Languages: Third International Symposium, Padl 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings (Third International Symposium, Padl 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings) - Lecture Notes in Computer S Annotated edition

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 24. nov. - . gada 2. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem I V Ramakrishnan izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Among the topics covered in this volume of selected papers are Mu-calculus, specification languages, Java, Internet programming, VRML, security protocols, database security, authentication protocols, Prolog programming, implementation, visual tracking, and model checking.

Marc Notes: Includes bibliographical references and index. Table of Contents: A Model Checker for Value-Passing Mu-Calculus Using Logic Programming.- Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog.- Frappe: 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."Publisher Marketing: This volume constitutes the refereed proceedings of the Third International Symposium on Practical Aspects of Declarative Programming, PADL 2001, held in Las Vegas, Nevada, USA in March 2001. The 23 revised full papers presented were carefully reviewed and selected from a total of 40 submissions. Among the topics covered are Mu-calculus, specification languages, Java, Internet programming, VRML, security protocols, database security, authentication protocols, Prolog programming, implementation, constraint programming, visual tracking, and model checking.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2001. gada 28. februāris
ISBN13 9783540417682
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 352
Izmēri 155 × 233 × 19 mm   ·   512 g
Valoda Vācu  
Redaktors Ramakrishnan, I.v.

Vairāk no tā paša izdevēja

Skatīt visus I V Ramakrishnan