Call Number (LC) Title Results
QA76.9.S88 S64 How to plan, design, and implement a bad system / 1
QA76.9.S88 S65 1983 The KISS principle : approaches to building reliable systems / 1
QA76.9.S88 S66 1986 Managing tools for developing information systems / 1
QA76.9.S88 S74 1990 How to plan, develop & use information systems : a guide to human qualities and productivity / 1
QA76.9.S88 S745 2002 Application development using C♯ and .NET / 1
QA76.9.S88 S94 2003 SystemC : methodologies and applications / 1
QA76.9.S88 S94 2003eb SystemC methodologies and applications / 2
QA76.9.S88 S9518 2001 System design : a practical guide with SpecC / 1
QA76.9.S88 S9524 1987 System design for human interaction / 1
QA76.9.S88 S9525 2002 System design with SystemC / 2
QA76.9.S88 S955 1999 System-level synthesis / 1
QA76.9.S88 S977 1999 Systems development methods for databases, enterprise modeling, and workflow management / 1
QA76.9.S88 T33 1997 Tools and algorithms for the construction and analysis of systems Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings / 1
QA76.9.S88 T33 1999 Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings / 1
QA76.9.S88 T33 2000 Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / 1
QA76.9.S88 T33 2003 Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / 1
QA76.9.S88 T33 2005 Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / 1
QA76.9.S88 T33 2006eb Tools and algorithms for the construction and analysis of systems 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings / 1
QA76.9.S88 T33 2007 Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / 1
QA76.9.S88 T33 2007eb Tools and algorithms for the construction and analysis of systems 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / 1