Transactions on Petri Nets and Other Models of Concurrency XII /

Transactions on Petri Nets and Other Models of Concurrency XII /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Koutny, Maciej. (Editor ), Kleijn, Jetty. (Editor ), Penczek, Wojciech. (Editor ), Zhang, Mingmin. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Transactions on Petri Nets and Other Models of Concurrency, 10470
Materias:
Software engineering.
Computer logic.
Algorithms.
Data structures (Computer science).
Software Engineering.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Data Structures.
LEADER 02081nam a22003855i 4500
001 000294071
005 20211105084845.0
007 cr nn 008mamaa
008 170919s2017 gw | s |||| 0|eng d
020 |a 9783662558621 
024 7 |a 10.1007/978-3-662-55862-1  |2 doi 
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
245 1 0 |a Transactions on Petri Nets and Other Models of Concurrency XII /  |c edited by Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang. 
250 |a 1st ed. 2017. 
260 # # |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2017. 
300 |a XVII, 217 p. 89 illus. :  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Transactions on Petri Nets and Other Models of Concurrency,  |v 10470 
505 0 |a Properties of Plain, Pure, and Safe Petri Nets -- Similarity-based Approaches for Determining the Number of Trace Clusters in Process Discovery -- Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions -- Formal Modelling and Analysis of Distributed Storage Systems -- DB-Nets: on the Marriage of Colored Petri Nets and Relational Databases -- Transition Systems Reduction: Balancing between Precision and Simplicity -- Stubborn Set Intuition Explained -- Decomposed Replay Using Hiding and Reduction as Abstraction -- Multiplicative Transition Systems. 
650 0 |a Software engineering. 
650 0 |a Computer logic. 
650 0 |a Algorithms. 
650 0 |a Data structures (Computer science). 
650 1 4 |a Software Engineering. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Algorithm Analysis and Problem Complexity. 
650 2 4 |a Data Structures. 
700 1 |a Koutny, Maciej.  |e editor. 
700 1 |a Kleijn, Jetty.  |e editor. 
700 1 |a Penczek, Wojciech.  |e editor. 
700 1 |a Zhang, Mingmin.  |e editor. 
710 2 |a SpringerLink (Online service) 
900 |a Libro descargado a ALEPH en bloque (proveniente de proveedor) 

Ejemplares similares