[Zurück]


Bücher und Buch-Herausgaben:

A. Bouhoula, B. Buchberger, L. Kovacs, T. Kutsia:
"Special Issue on Symbolic Computation in Software Science";
in Buchreihe "Journal of Symbolic Computation", Buchreihen-Herausgeber: H. Hong; Elsevier, 2015, ISSN: 0747-7171, 158 S.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.jsc.2014.09.027

Elektronische Version der Publikation:
http://www.sciencedirect.com/science/journal/07477171/69/supp/C


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.