Ditemukan 3 dokumen yang sesuai dengan query
This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012. The 18 regular papers and 3 tool papers presented were carefully reviewed and selected from 55 submissions. The book also...
Berlin: Springer-Verlag, 2012
e20410484
eBooks Universitas Indonesia Library
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of...
Berlin: Springer-Verlag, 2012
e20410508
eBooks Universitas Indonesia Library
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects...
Berlin: Springer-Verlag, 2012
e20410374
eBooks Universitas Indonesia Library
