Application and Theory of Petri Nets [[electronic resource] ] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings / / edited by Lars M. Kristensen, Laure Petrucci |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XII, 349 p. 130 illus., 23 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer programming Compilers (Computer programs) Machine theory Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory |
ISBN | 3-642-21834-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465409703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Transactions on Petri Nets and Other Models of Concurrency VI [[electronic resource] /] / edited by Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars M. Kristensen |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XX, 365 p. 193 illus.) |
Disciplina | 511.3 |
Collana | Transactions on Petri Nets and Other Models of Concurrency |
Soggetto topico |
Software engineering
Computers Programming languages (Electronic computers) Computer communication systems Artificial intelligence Computer system failures Software Engineering Computation by Abstract Devices Programming Languages, Compilers, Interpreters Computer Communication Networks Artificial Intelligence System Performance and Evaluation |
ISBN | 3-642-35179-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | RFID Data Management and Analysis via Tensor Calculus -- Processing Exact Results for Windowed Stream Joins in a Memory-Limited System: A Disk-Based, Adaptive Approach -- Reducing the Semantic Heterogeneity of Unstructured P2P Systems: A Contribution Based on a Dissemination Protocol -- Towards a Scalable Semantic Provenance Management System -- A Unified Conceptual Framework for Service-Oriented Computing: Aligning Models of Architecture and Utilization. |
Record Nr. | UNISA-996466289503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|