Programming languages (Electronic computers)
Overview
| Works: | 55 works in 55 publications in 55 languages | |
|---|---|---|
Titles
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(Electronic resources)
Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
by:
(Electronic resources)
Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by:
(Electronic resources)
Designing embedded systems with the SIGNAL programming language = synchronous, reactive specification /
by:
(Electronic resources)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(Electronic resources)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(Electronic resources)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(Electronic resources)
Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers /
by:
(Electronic resources)
Interfaces = explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 Student Sessions, selected papers /
by:
(Electronic resources)
Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(Electronic resources)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Regular Expression Recipes for Windows Developers = A Problem-Solution Approach /
by:
(Electronic resources)
Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings /
by:
(Electronic resources)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Programming languages and systems = 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
by:
(Electronic resources)
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:
(書目-語言資料,印刷品)
更多
較少的
主題