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

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.04.2015

Abbildungen

XIII, 106 illus., schwarz-weiss Illustrationen

Herausgeber

Andrei Voronkov + weitere

Verlag

Springer Berlin

Seitenzahl

415

Maße (L/B/H)

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

Gewicht

651 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-662-46822-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.04.2015

Abbildungen

XIII, 106 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

415

Maße (L/B/H)

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

Gewicht

651 g

Auflage

2015

Sprache

Englisch

ISBN

978-3-662-46822-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
  • Produktbild: Perspectives of System Informatics

  • Descriptive Types for Linked Data Resources.- 25 Years of Model Checking.- The Laws of Concurrent Programming.- Big Data, Big Systems, Big Challenges: A Personal Experience.- An Automatic Technique for Static Deadlock Prevention.- Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs.- Lingva: Generating and Proving Program Properties Using Symbol.- Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM.- On Tractability of Disjoint AND-Decomposition of Boolean Formulas.- A Multi-agent Text Analysis Based on Ontology of Subject Domain.- Towards High-Level Programming for Systems with Many Cores.- Inductive Prover Based on Equality Saturation for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps.- Process Opacity for Timed Process Algebra.- A Proof-based Method for Modeling Timed Systems.- Asymptotic Speedups, Bisimulation and Distillation.- Certifying Supercompilation for Martin-Löf's Type Theory.- Index Sets as a Measure of Continuous Constraint Complexity.- Decidability and Expressiveness of Recursive Weighted Logic.- Supercompilation for Datatypes.- More type Inference in Java 8.- Polynomial-Time Optimal Pretty-Printing Combinators with Choice.- The Study of Multidimensional R-Tree-based Index Scalability in Multicore Environment.- Skeblle: A new Kind of Diagramming Tool with Programmable Active Diagrams.- The Role of Indirections in Lazy Natural Semantics.- Model Checking Value-Passing Modal Specifications.- Towards Specializing JavaScript Programs.- Symbolic String Transformations with Regular Lookahead and Rollback.- Towards Symbolic Execution in Erlang.- Bonsai: Cutting Models Down to Size.- Comparing Semantics Under Strong Timing of Petri Nets.- Probabilistic Formal Concepts for Contexts with Negation.- Modeling Environment for Static Verification of Linux Kernel Modules.