| Call Number (LC) | Title | Results |
|---|---|---|
| QA76 .S844 1997 | Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / | 2 |
| QA76 .S848 1994 | Studies in computer science : in honor of Samuel D. Conte / | 1 |
| QA76 .S858 1993 | Substructural logics / | 1 |
| QA76 .S863a | Proceedings of the Summer Computer Simulation Conference. | 1 |
| QA76 .S87 2013 | A survey of core research in information systems | 1 |
| QA76 .S88378 2013 | Understanding computation / | 1 |
| QA76 .S895 1962 | Experimental arithmetic, high speed computing and mathematics. : [Proceedings of the Fifteenth Symposium in Applied Mathematics of the American Mathematical Society held in Chicago, Illinois, April 12-14, 1962 and Atlantic City, New Jersey, April 16-19, 1962] | 1 |
| QA76 .S895 1966 | Mathematical aspects of computer science / | 1 |
| QA76 .S9 | Proceedings of a Symposium on Large-Scale Digital Calculating Machinery / | 1 |
| QA76 .S92 1962 | Proceedings. | 1 |
| QA76 .S94 1965 | On-line computing systems : [proceedings] | 1 |
| QA76 .S95 1962a | Symbolic languages in data processing : proceedings of the symposium / | 1 |
| QA76 .S96 |
Systems and computers in Japan. Systems, computers, controls. |
2 |
| QA76.SSS B57 1992 | Automating the Design of Computer Systems. | 1 |
| QA76 .T23 | Information systems : an introduction to computers in organizations / | 1 |
| QA76 .T36 | The computer impact / | 1 |
| QA76 .T363 | Taxonomy of computer science & engineering / | 1 |
| QA76 .T4116 2015eb | The science of computing : shaping a discipline / | 1 |
| QA76 .T418 | Boolean algebra and digital computers / | 1 |
| QA76 .T426 2002 | Theoretical aspects of computer science : advanced lectures / | 2 |
