>> Google Books

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

フォーマット:
電子ブック
責任表示:
edited by Andrei Voronkov, Irina Virbitskaite
言語:
英語
出版情報:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
形態:
XIII, 415 p. 106 illus
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 8974
目次情報:
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-Lof'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
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
続きを見る
書誌ID:
LB00386691
ISBN:
9783662468227 [3662468220]  CiNii Books  Webcat Plus  Google Books
9783662468234 [3662468239]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Naumann, David, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Liu, Shaoying, Duan, Zhenhua, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Artho, Cyrille, Olveczky, Peter Csaba, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Davis, Jesse, Ramon, Jan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Dastani, Mehdi, Sirjani, Marjan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Rozenberg, Grzegorz, Salomaa, Arto, Sempere, Jose M., Zandron, Claudio, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Holzinger, Andreas, Cardoso, Jorge, Cordeiro, Jose, Libourel, Therese, Maciaszek, Leszek A., van Sinderen, Marten, …

Springer International Publishing : Imprint: Springer

Baier, Christel, Tinelli, Cesare, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Pitts, Andrew, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Lanese, Ivan, Madelaine, Eric, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

D’Souza, Deepak, Lal, Akash, Larsen, Kim Guldstrand, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer