QA76.6 .G373 2003 : Global computing : programming environments, languages, security, and analysis of systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers / Corrado Priami, ed.
Global computing : programming environments, languages, security, and analysis of systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers / Corrado Pria
Sherman Library
2003
QA76.6 .G373 2004 : Global computing : IST/FET international workshop, GC 2004, Rovereto, Italy, March 9-12, 2004 : revised selected papers / Corrado Priami, Paola Quaglia (eds.).
Global computing : IST/FET international workshop, GC 2004, Rovereto, Italy, March 9-12, 2004 : revised selected papers / Corrado Priami, Paola Quaglia (eds.).
Sherman Library
2005
QA76.6 .G38 1974 : Computer organization and programming / C. William Gear.
Computer organization and programming / C. William Gear.
Sherman Library
1974
QA76.6 .G42 1998 : Genetic programming : first European workshop, EuroGP'98 : Paris, France, April 14-15 1998 : proceedings / Wolfgang Banzhaf ... [and others], (eds.).
Genetic programming : first European workshop, EuroGP'98 : Paris, France, April 14-15 1998 : proceedings / Wolfgang Banzhaf ... [and others], (eds.).
Sherman Library
1998
QA76.6 .G45 : Genetic programming : proceedings of the ... annual conference.
Genetic programming : proceedings of the ... annual conference.
Sherman Library
c1996-
QA76.6 .G4744 1991 : First-order programming theories / Tamás Gergely, László Úry.
First-order programming theories / Tamás Gergely, László Úry.
Sherman Library
1991
QA76.6 .G53 1988 : Efficient parallel algorithms / Alan Gibbons, Wojciech Rytter.
Efficient parallel algorithms / Alan Gibbons, Wojciech Rytter.
Sherman Library
1988
QA76.6 .G5535 2003 : Unicode demystified : a practical programmer's guide to the encoding standard / Richard Gillam.
Unicode demystified : a practical programmer's guide to the encoding standard / Richard Gillam.
Sherman Library
2003
QA76.6 .G584 1984 : How to get free software : the master guide to free programs for every brand of personal or home computer / Alfred Glossbrenner.
How to get free software : the master guide to free programs for every brand of personal or home computer / Alfred Glossbrenner.
Sherman Library
1984
QA76.6 .G656 2007 : Code craft : the practice of writing excellent code / by Pete Goodliffe.
Code craft : the practice of writing excellent code / by Pete Goodliffe.
Sherman Library
2007
QA76.6 .G7423 1990 : Mathematics for the analysis of algorithms / Daniel H. Greene, Donald E. Knuth.
Mathematics for the analysis of algorithms / Daniel H. Greene, Donald E. Knuth.
Sherman Library
1990
QA76.6 .G747 : The science of programming / David Gries.
The science of programming / David Gries.
Sherman Library
1981
QA76.6 .G7852 1989 : Microcomputer applications : using shareware / Fritz H. Grupe.
Microcomputer applications : using shareware / Fritz H. Grupe.
Sherman Library
1989
QA76.6 .H383 : A Concurrent PASCAL compiler for minicomputers / Alfred C. Hartmann.
A Concurrent PASCAL compiler for minicomputers / Alfred C. Hartmann.
Sherman Library
1977
QA76.6 .H42 1991 : The elements of friendly software design / Paul Heckel.
The elements of friendly software design / Paul Heckel.
Sherman Library
1991
QA76.6 .H428 1993 : A practical theory of programming / Eric C.R. Hehner.
A practical theory of programming / Eric C.R. Hehner.
Sherman Library
1993
QA76.6 .H617 2015 : Exercises for programmers : 57 challenges to develop your coding skills / Brian P. Hogan.
Exercises for programmers : 57 challenges to develop your coding skills / Brian P. Hogan.
Sherman Library
2015
QA76.6 .H66 1993 : Larch : languages and tools for formal specification / John V. Guttag, James J. Horning ; with S.J. Garland ... [and others].
Larch : languages and tools for formal specification / John V. Guttag, James J. Horning ; with S.J. Garland ... [and others].
Sherman Library
QA76.6 .H697 2001 : How to design programs : an introduction to programming and computing / Matthias Felleisen ... [and others].
How to design programs : an introduction to programming and computing / Matthias Felleisen ... [and others].
Sherman Library
2001
QA76.6 .H85 : Programs from decision tables / E. Humby.
Programs from decision tables / E. Humby.
Sherman Library
1973
QA76.6 .I495 : CMG ... proceedings : the .. International Conference for the Resource Management and Performance Evaluation of Enterprise Computing Systems..
CMG ... proceedings : the .. International Conference for the Resource Management and Performance Evaluation of Enterprise Computing Systems..
Sherman Library
c1994-
QA76.6 .I524 1992 : Intensional logics for programming / edited by Luis Farińas del Cerro and Martti Penttonen.
Intensional logics for programming / edited by Luis Farińas del Cerro and Martti Penttonen.
Sherman Library
1992
QA76.6 .I546 1995 : Proceedings : the nineteenth annual International Computer Software & Applications Conference (COMPSAC '95) : August 9-11, 1995, Dallas, Texas / sponsored by the IEEE Computer Society.
Proceedings : the nineteenth annual International Computer Software & Applications Conference (COMPSAC '95) : August 9-11, 1995, Dallas, Texas / sponsored by the IEEE Computer Society.
Sherman Library
1995
QA76.6 .I548a : Proceedings of the International Conference on Parallel Processing.
Proceedings of the International Conference on Parallel Processing.
Sherman Library
QA76.6 .I5535 1995 : Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring, ed.
Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring, ed.
Sherman Library
1998
QA76.6 .I5535 2000 : Mathematics of program construction : 5th International Conference, MPC 200, Ponte de Lima, Portugal, July 200 : proceedings / Roland Backhouse, José Nuno Oliveira (eds.).
Mathematics of program construction : 5th International Conference, MPC 200, Ponte de Lima, Portugal, July 200 : proceedings / Roland Backhouse, José Nuno Oliveira (eds.).
Sherman Library
2000
QA76.6 .I5535 2002 : Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / Eerke A. Boiten, Bernhard Möller (eds.).
Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / Eerke A. Boiten, Bernhard Möller (eds.).
Sherman Library
2002
QA76.6 .I5535 2004 : Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 ; proceedings / Dexter Kozen (ed.).
Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 ; proceedings / Dexter Kozen (ed.).
Sherman Library
2004
QA76.6 .I5733 : Static analysis : ... International Static Analysis Symposium, SAS .. : proceedings..
Static analysis : ... International Static Analysis Symposium, SAS .. : proceedings..
Sherman Library
c1994-
QA76.6 .I5733 1997 : Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / Pascal Van Hentenryck (ed.).
Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / Pascal Van Hentenryck (ed.).
Sherman Library
1997
QA76.6 .I5733 1998 : Static analysis : 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings / Giorgio Levi, ed.
Static analysis : 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings / Giorgio Levi, ed.
Sherman Library
QA76.6 .I5733 2001 : Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.).
Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.).
Sherman Library
2001
QA76.6 .I5733 2006 : Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings / Kwangkeun Yi (ed.).
Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings / Kwangkeun Yi (ed.).
Sherman Library
2006
QA76.6 .I5858 2001 : Introduction to algorithms / Thomas H. Cormen ... [and others].
Introduction to algorithms / Thomas H. Cormen ... [and others].
Sherman Library
2001
QA76.6 .J6578 1997 : Modular programming languages : Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997 : proceedings / Hanspeter Mössenböck, (ed.).
Modular programming languages : Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997 : proceedings / Hanspeter Mössenböck, (ed.).
Sherman Library
1997
QA76.6 .J6578 2000 : Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings / Jürg Gutknecht, Wolfgang Weck (eds.).
Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings / Jürg Gutknecht, Wolfgang Weck (eds.).
Sherman Library
2000
QA76.6 .J6578 2003 : Modular programming languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 : proceedings / László Böszörményi, Peter Schojer, eds.
Modular programming languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 : proceedings / László Böszörményi, Peter Schojer, eds.
Sherman Library
2003
QA76.6 .J6578 2006 : Modular programming languages : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, proceedings / David E. Lightfoot, Clemens A. Szyperski (eds.).
Modular programming languages : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, proceedings / David E. Lightfoot, Clemens A. Szyperski (eds.).
Sherman Library
QA76.6 .J6658 1997 : Computability and complexity : from a programming perspective / Neil D. Jones.
Computability and complexity : from a programming perspective / Neil D. Jones.
Sherman Library
1997
QA76.6 .J666 1993 : Partial evaluation and automatic program generation / Neil D. Jones, Carsten K. Gomard, Peter Sestoft ; with chapters by Lars Ole Andersen and Torben Mogensen.
Partial evaluation and automatic program generation / Neil D. Jones, Carsten K. Gomard, Peter Sestoft ; with chapters by Lars Ole Andersen and Torben Mogensen.
Sherman Library
1993
QA76.6 .K333 1993 : Learning in embedded systems / Leslie Pack Kaelbling.
Learning in embedded systems / Leslie Pack Kaelbling.
Sherman Library
1993
QA76.6 .K3413 1998 : The MFC answer book : solutions for effective visual C++ applications / Eugčne Kain.
The MFC answer book : solutions for effective visual C++ applications / Eugčne Kain.
Sherman Library
1998
QA76.6 .K449 1989 : Functional programming for loosely-coupled multiprocessors / Paul Kelly.
Functional programming for loosely-coupled multiprocessors / Paul Kelly.
Sherman Library
1989
QA76.6 .K464 2002 : Programming and problem solving with Delphi / Mitchell C. Kerman.
Programming and problem solving with Delphi / Mitchell C. Kerman.
Sherman Library
2002
QA76.6 .K47 1978 : The elements of programming style / Brian W. Kernighan, P. J. Plauger.
The elements of programming style / Brian W. Kernighan, P. J. Plauger.
Sherman Library
1978
QA76.6 .K493 : Software tools in Pascal / Brian W. Kernighan, P.J. Plauger.
Software tools in Pascal / Brian W. Kernighan, P.J. Plauger.
Sherman Library
1981
QA76.6 .K495 1984 : The UNIX programming environment / Brian W. Kernighan, Rob Pike.
The UNIX programming environment / Brian W. Kernighan, Rob Pike.
Sherman Library