Advanced information systems engineering : 24th international conference, CAISE 2012, Gdansk, Poland, 25-29 June 2012 : proceedings
edited by Jolita Ralyte, Xavier Franch, Sjaak Brinkkemper, Stanislaw Wrycza
Springer-Verlag , 2012
 eBooks
Transactions on petri nets and other models of concurrency V
edited by Kurt Jensen, Susanna Donatelli, Jetty Kleijn
Springer-Verlag, 2012
 eBooks
Transactions on petri nets and other models of concurrency VI
edited by Kurt Jensen
Springer-Verlag, 2012
 eBooks
Daffa Reza Kaiyandra
Pemodelan Green Supply Chain Menggunakan Colored Petri Nets = Modeling Green Supply Chain Using Colored Petri Nets
Fakultas Teknik Universitas Indonesia, 2023
 UI - Tesis Membership
Theory and applications of satisfiability testing – SAT 2012 : 15th international conference, Trento, Italy, June 17-20, 2012 : proceedings
editors, Alessandro Cimatti, Roberto Sebastiani
Springer-Verlag, 2012
 eBooks