Call Number (LC) Title Results
QA76.6 .S2451 2001 Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / 1
QA76.6 .S25 1979 Practice in software adaption and maintenance : proceedings of the SAM Workshop, Berlin, April 1979 / 1
QA76.6 .S253 1999 Science and Engineering for Software Development : a recognition of Harlan D. Mills' Legacy, Los Angeles, California, May 18, 1999 / 1
QA76.6 .S255 1990 MVS performance management : a practical approach / 1
QA76.6 .S262 A relational theory of computing /
A relational theory of computing 		2
QA76.6 .S26545 1999 Static analysis 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / 1
QA76.6 .S334 2014 Automation through Chef Opscode : a hands-on approach to Chef / 1
QA76.6 .S35 2016eb Deploying secure containers for training and development / 1
QA76.6 .S376 2009 Programming the cell processor : for games, graphics, and computation / 1
QA76.6 .S38 A mathematical theory of global program optimization. 1
QA76.6 .S383 1982 Schaum's outline of theory and problems of computers and programming / 1
QA76.6 .S385 1989 Concurrent programming : illustrated with examples in Portal, Modula-2 and Ada / 1
QA76.6 .S3855 2003 Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning / 2
QA76.6 .S388 1984 Modern structured programming : program logic, style and testing / 2
QA76.6 .S39 2007 Learning programming using MATLAB /
Learning programming using MATLAB 		2
QA76.6 .S397 2000 Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures / 1
QA76.6 .S4 Science of computer programming. 1
QA76.6 .S415 2000 Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures / 2
QA76.6 .S418 2003 Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings / 1
QA76.6 .S418 2004 Software and compilers for embedded systems : 8th international workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings /
Software and compilers for embedded systems : 8th international workshop, SCOPES 2004, Amsterdam, the Netherlands, September 2-3, 2004 : proceedings / 		2