Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers: Lecture Notes in Computer Science, cartea 4378
Editat de Andrei Voronkoven Limba Engleză Paperback – 7 feb 2007
Din seria Lecture Notes in Computer Science
- 20% Preț: 1021.30 lei
- 20% Preț: 337.03 lei
- 20% Preț: 340.22 lei
- 20% Preț: 256.27 lei
- 20% Preț: 324.32 lei
- 20% Preț: 438.69 lei
- 20% Preț: 315.78 lei
- 20% Preț: 327.52 lei
- 20% Preț: 148.66 lei
- 20% Preț: 122.89 lei
- 20% Preț: 557.41 lei
- 20% Preț: 561.37 lei
- 15% Preț: 558.56 lei
- 20% Preț: 238.01 lei
- 20% Preț: 504.57 lei
- 20% Preț: 329.09 lei
- 20% Preț: 563.75 lei
- 20% Preț: 630.24 lei
- 20% Preț: 321.96 lei
- 20% Preț: 1361.10 lei
- 20% Preț: 310.26 lei
- 20% Preț: 607.39 lei
- Preț: 366.90 lei
- 20% Preț: 172.69 lei
- 20% Preț: 315.19 lei
- 20% Preț: 985.59 lei
- 20% Preț: 620.87 lei
- 20% Preț: 436.22 lei
- 20% Preț: 734.34 lei
- 20% Preț: 1034.49 lei
- 17% Preț: 360.19 lei
- 20% Preț: 309.90 lei
- 20% Preț: 573.92 lei
- 20% Preț: 301.95 lei
- 20% Preț: 307.71 lei
- 20% Preț: 369.12 lei
- 20% Preț: 327.52 lei
- 20% Preț: 794.65 lei
- 20% Preț: 569.16 lei
- Preț: 395.43 lei
- 20% Preț: 1138.26 lei
- 20% Preț: 734.34 lei
- 20% Preț: 315.78 lei
- 20% Preț: 330.70 lei
- 20% Preț: 538.29 lei
- 20% Preț: 326.98 lei
Preț: 331.78 lei
Preț vechi: 414.73 lei
-20% Nou
Puncte Express: 498
Preț estimativ în valută:
63.50€ • 66.99$ • 52.92£
63.50€ • 66.99$ • 52.92£
Carte tipărită la comandă
Livrare economică 02-16 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540708803
ISBN-10: 3540708804
Pagini: 516
Ilustrații: XIV, 496 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.76 kg
Ediția:2007
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540708804
Pagini: 516
Ilustrații: XIV, 496 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.76 kg
Ediția:2007
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Papers.- Separability in Conflict-Free Petri Nets.- Grand Challenges of System Programming.- Specifying and Verifying Programs in Spec#.- Basic Protocols: Specification Language for Distributed Systems.- Why Automata Models Are Sexy for Testers? (Invited Talk).- Regular Papers.- An Universal Resolving Algorithm for Inverse Computation of Lazy Languages.- Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method.- A Versioning and Evolution Framework for RDF Knowledge Bases.- A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules.- On the Usage of Concrete Syntax in Model Transformation Rules.- TTCN-3 for Distributed Testing Embedded Software.- Chase of Recursive Queries.- Improving Semistatic Compression Via Pair-Based Coding.- An Agent-Based Architecture for Dialogue Systems.- Encoding Mobile Ambients into the ?-Calculus.- Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources.- Deriving State-Based Implementations of Interactive Components with History Abstractions.- Introducing Debugging Capabilities to Natural Semantics.- Solution Strategies for Multi-domain Constraint Logic Programs.- Information-Flow Attacks Based on Limited Observations.- Verifying Generalized Soundness of Workflow Nets.- Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs.- Satisfiability of Viability Constraints for Pfaffian Dynamics.- On the Importance of Parameter Tuning in Text Categorization.- Preconditions for Structural Synthesis of Programs.- How to Verify and Exploit a Refinement of Component-Based Systems.- Refinements in Typed Abstract State Machines.- Report on an Implementation of a Semi-inverter.- Loop Parallelizationin Multi-dimensional Cartesian Space.- An ASM Semantics of Token Flow in UML 2 Activity Diagrams.- Well-Structured Model Checking of Multiagent Systems.- Development of a Robust Data Mining Method Using CBFS and RSM.- Pushout: A Mathematical Model of Architectural Merger.- A Formal Model of Data Privacy.- Linear Complementarity and P-Matrices for Stochastic Games.- Short Papers.- RapidOWL — An Agile Knowledge Engineering Methodology.- BURS-Based Instruction Set Selection.- Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L.- Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction.- Streaming Networks for Coordinating Data-Parallel Programs.- Formal Methods in Industrial Software Standards Enforcement.- Visual Rules Modeling.- Security for Multithreaded Programs Under Cooperative Scheduling.- A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs.- A Knowledge Portal for Cultural Information Resources: Towards an Architecture.