Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings: Lecture Notes in Computer Science, cartea 3302
Editat de Wei-Ngan Chinen Limba Engleză Paperback – 15 oct 2004
Din seria Lecture Notes in Computer Science
- 20% Preț: 1061.55 lei
- 20% Preț: 340.32 lei
- 20% Preț: 341.95 lei
- 20% Preț: 453.32 lei
- 20% Preț: 238.01 lei
- 20% Preț: 340.32 lei
- 20% Preț: 438.69 lei
- Preț: 449.57 lei
- 20% Preț: 343.62 lei
- 20% Preț: 148.66 lei
- 20% Preț: 310.26 lei
- 20% Preț: 256.27 lei
- 20% Preț: 645.28 lei
- 17% Preț: 427.22 lei
- 20% Preț: 655.02 lei
- 20% Preț: 307.71 lei
- 20% Preț: 1075.26 lei
- 20% Preț: 591.51 lei
- Preț: 381.21 lei
- 20% Preț: 337.00 lei
- 15% Preț: 438.59 lei
- 20% Preț: 607.39 lei
- 20% Preț: 538.29 lei
- Preț: 389.48 lei
- 20% Preț: 326.98 lei
- 20% Preț: 1414.79 lei
- 20% Preț: 1024.44 lei
- 20% Preț: 579.30 lei
- 20% Preț: 575.48 lei
- 20% Preț: 583.40 lei
- 20% Preț: 763.23 lei
- 15% Preț: 580.46 lei
- 17% Preț: 360.19 lei
- 20% Preț: 504.57 lei
- 20% Preț: 172.69 lei
- 20% Preț: 369.12 lei
- 20% Preț: 353.50 lei
- 20% Preț: 585.88 lei
- Preț: 410.88 lei
- 20% Preț: 596.46 lei
- 20% Preț: 763.23 lei
- 20% Preț: 825.93 lei
- 20% Preț: 649.49 lei
- 20% Preț: 350.21 lei
- 20% Preț: 309.90 lei
- 20% Preț: 122.89 lei
Preț: 340.98 lei
Preț vechi: 426.22 lei
-20% Nou
Puncte Express: 511
Preț estimativ în valută:
65.28€ • 68.11$ • 54.72£
65.28€ • 68.11$ • 54.72£
Carte tipărită la comandă
Livrare economică 13-27 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540237242
ISBN-10: 3540237240
Pagini: 472
Ilustrații: X, 454 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.65 kg
Ediția:2004
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540237240
Pagini: 472
Ilustrații: X, 454 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.65 kg
Ediția:2004
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Talk.- A CLP Approach to Modelling Systems.- Session 1.- An Algebraic Approach to Bi-directional Updating.- Network Fusion.- Session 2.- Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type.- An Implementation of Subtyping Among Regular Expression Types.- An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors.- Session 3.- Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.- History Effects and Verification.- Controlled Declassification Based on Intransitive Noninterference.- Session 4.- A Concurrent System of Multi-ported Processes with Causal Dependency.- Concurrency Combinators for Declarative Synchronization.- A Uniform Reduction Equivalence for Process Calculi.- Invited Talk.- Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk).- Session 5.- PType System: A Featherweight Parallelizability Detector.- A Type Theory for Krivine-Style Evaluation and Compilation.- Region-Based Memory Management for a Dynamically-Typed Language.- Session 6.- Protocol Specialization.- Automatic Generation of Editors for Higher-Order Data Structures.- A MATLAB-Based Code Generator for Sparse Matrix Computations.- Session 7.- D-Fusion: A Distinctive Fusion Calculus.- A Functional Language for Logarithmic Space.- Build, Augment and Destroy, Universally.- Free ?-Monoids: A Higher-Order Syntax with Metavariables.- Invited Talk.- The Scala Experiment – Can We Provide Better Language Support for Component Systems?.- Session 8.- Pointcuts as Functional Queries.- Formal Design and Verification of Real-Time Embedded Software.- Session 9.- McJava – A Design and Implementation of Java with Mixin-Types.- ARelational Model for Object-Oriented Designs.- Exploiting Java Objects Behavior for Memory Management and Optimizations.