Marco Winckler, editor
Human-centered software engineering : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012 : proceedings
Springer, 2012
eBooks
Belina, Ferenc
SDL with applications from protocol specifiication
Prentice-Hall, 1991
Buku Teks
Green communications and networking : first international conference, GreeNets 2011, Colmar, France, October 5-7, 2011 : revised selected papers
Joel J.P.C. Rodrigues
[;Springer, Springer], 2012
eBooks
Informetrics 89/90: selection of papers submitted for the second International Conference on Bibliometrics, Scientometrics, and Informetrics, London, Ontario, Canada, 5-7 July 1989
edited by Leo Egghe; Ronald Rousseau
Elsevier, 1990
Buku Teks
Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers
edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
[;Springer-Verlag, Springer-Verlag], 2012
eBooks