IST Austria Library catalog › Results of search for 'an:"14693"'

Your search returned 7 results.

Not what you expected? Check for suggestions

	1.	Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones. by Bekič, H. (Hans), 1936-1982 \| Jones, C. B. (Cliff B.), 1944-. Material type: Text; Format: print regular print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	2.	Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.). by Bjørner, D. (Dines), 1937- \| Zhou, Chaochen, 1937- \| Jones, C. B. (Cliff B.), 1944- \| Liu, Zhiming, 1961- \| Woodcock, Jim. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	3.	Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.). by ICTAC (Colloquium) (4th : 2007 : Macau, China) \| Jones, C. B. (Cliff B.), 1944- \| Liu, Zhiming, 1961- \| Woodcock, Jim. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ICTAC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	4.	Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers / Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.). by Symposium on the Occasion of 25 years of CSP (2004 : London, England) \| Abdallah, Ali E, 1957- \| Jones, C. B. (Cliff B.), 1944- \| Sanders, Jeff W \| Hoare, C. A. R. (Charles Antony Richard), 1934-. Communicating sequential processes. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: Symposium on the Occasion of 25 years of CSP.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	5.	The Vienna development method : the Meta-language / edited by D. Bjørner and C.B. Jones. by Bjørner, D. (Dines), 1937- \| Jones, C. B. (Cliff B.), 1944-. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1978Other title: Meta-language.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	6.	FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas (eds.). by International Symposium of Formal Methods Europe (4th : 1997 : Graz, Austria) \| Fitzgerald, John, 1965- \| Jones, C. B. (Cliff B.), 1944- \| Lucas, Peter, 1955-. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1997Other title: Industrial applications and strengthened foundations of formal methods.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	7.	FM 2014 : Formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / Cliff Jones, Pekka Pihlajasaari, Jun Sun (eds.). by International Symposium of Formal Methods Europe (19th : 2014 : Singapore) \| Jones, C. B. (Cliff B.), 1944- [editor.] \| Pihlajasaari, Pekka [editor.] \| Sun, Jun [editor.]. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags

Powered by Koha