Vor Ort
Merkzettel Warenkorb
  • Produktbild: Perspectives of System Informatics
  • Produktbild: Perspectives of System Informatics
Band 10742

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Aus der Reihe Theoretical Computer Science and General Issues

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.01.2018

Herausgeber

Alexander K. Petrenko + weitere

Verlag

Springer

Seitenzahl

432

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Auflage

1st edition 2018

Sprache

Englisch

ISBN

978-3-319-74312-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.01.2018

Herausgeber

Verlag

Springer

Seitenzahl

432

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

668 g

Auflage

1st edition 2018

Sprache

Englisch

ISBN

978-3-319-74312-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Perspectives of System Informatics
  • Produktbild: Perspectives of System Informatics
  • An Architecture for Non-invasive Software Measurement.- A Human-in-the-loop Perspective for Safety Assessment in Robotic Applications.- Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code.- Pipelined Bottom-up Evaluation of Datalog Programs: The Push Method.- Multi-cloud Applications Security Monitoring.- The Hybrid Multidimensional-ontological Data Model Based on Metagraph Approach.- PosDB: A Distributed Column-store Engine.- Microservices: How To Make Your Application Scale.- Static Binary Code Instrumentation for ARM Architecture.- A Behavioural Theory for Reactive Sequential Algorithms.- Lightweight Non-Intrusive Virtual Machine Introspection.- Distributed Approach to Coreference Resolution in Multi-agent Text Analysis for Ontology Population.- A Framework for Dynamical Construction of Software Components.- A Transformation-Based Approach for Developing High-Performance GPU Programs.- Domain Engineering the Magnolia Way.- Approximating Event System Abstractions by Covering Their States and Transitions.- Implementing the Symbolic Method of Verification in the C-light Project.- Highlights of the Rice-Shapiro Theorem in Computable Topology.- A Memory Model for Deductively Verifying Linux Kernel Modules.- Indexing of Hierachically Organized Spatial-temporal Data Using Dynamic Regular Octrees.- An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language.- Compositional Relational Programming with Nominal Projection and Compositional Synthesis.- WhaleProver: First-order Intuitionistic Theorem Prover Based on the Inverse Method.- Distributed In Situ Processing of Big Raster Data in the Cloud.- Statistical Approach to Increase Source Code Completion Accuracy.- Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation.- Runtime Specialization of PostgreSQL Query Executor.- MicroTESK: A Tool for Constrained-Random Test Program Generation for Microprocessors.- Enriching aA Textual Xtext-DSL with A Graphical GEF-based Editor.- Towards Automated Static Verification of GNU C Programs.- Domain Specific Semantic Validation of Schema.org Annotations.