CAST Computerunterstützte Systemtheorie Aufbau und Anwendung von Systemtheorie-Methodenbanken Pichler Franz Heftet / 1990 / Tysk
CAST Methods in Modelling Computer Aided Systems Theory for the Design of Intelligent Machines Pichler Franz Heftet / 2012 / Engelsk
Advances in Cryptology – EUROCRYPT '85 Proceedings of a Workshop on the Theory and Application of Cryptographic Techniques. Linz, Austria, April 9-11, 1985 Pichler Franz Heftet / 1986 / Engelsk
Computer Aided Systems Theory - EUROCAST '93 A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22 - 26, 1993. Proceedings Pichler Franz Heftet / 1994 / Engelsk
Computer Aided Systems Theory - EUROCAST '97 A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings Pichler Franz Heftet / 1997 / Engelsk
Computer Aided Systems Theory - EUROCAST 2003 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers Moreno Diaz, Robeto Heftet / 2003 / Engelsk
Computer Aided Systems Theory - EUROCAST '91 A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991. Proceedings Pichler Franz Heftet / 1992 / Engelsk
Computer Aided Systems Theory - EUROCAST '89 A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26 - March 4, 1989. Proceedings Pichler Franz Heftet / 1990 / Engelsk
