Programming languages (Electronic computers)
概要
作品: | 55 作品在 55 項出版品 55 種語言 |
---|
書目資訊
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(書目-電子資源)
Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(書目-電子資源)
Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by:
(書目-電子資源)
Designing embedded systems with the SIGNAL programming language = synchronous, reactive specification /
by:
(書目-電子資源)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(書目-電子資源)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(書目-電子資源)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(書目-電子資源)
Interfaces = explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 Student Sessions, selected papers /
by:
(書目-電子資源)
Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(書目-電子資源)
Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings /
by:
(書目-電子資源)
Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
by:
(書目-電子資源)
Database programming languages = 12th international symposium, DBPL 2009, Lyon, France, August 23-24, 2009 : proceedings /
by:
(書目-電子資源)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(書目-電子資源)
Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(書目-電子資源)
Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings /
by:
(書目-電子資源)
Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings /
by:
(書目-電子資源)
Leveraging WMI scripting : = using Windows Management Instrumentation to solve Windows management problems /
by:
(書目-語言資料,印刷品)
更多
較少的
主題