:NICK.SILVESTER84 :CLASS.Book :LABEL.0064 :OWNER.Math3 :LOC.risc :AUTHOR.Silvester, Peter P. :TITLE1.The Unix System Guidebook :TITLE2.An Introductory Guide for Serious Users :PUBLISHER.Springer :YEAR.1984 :DESCRIPTOR.SW(Unix) :NICK.ATKINSON78 :CLASS.report :LABEL.csr-26-78 :OWNER.math3 :LOC.RISC :AUTHOR.atkinson, m.p. :TITLE1.programming languages and databases :PUBLISHER.univ. edinburgh, dept. comp. sc. :YEAR.1978 :DESCRIPTOR.apldat :NICK.KNUTH73 :CLASS.Book :LABEL.009741 :OWNER.buchb :LOC.MathBibl :AUTHOR.Knuth, Donald E. :TITLE1.Fundamental Algorithms :TITLE2.The Art of Computer Programming :PUBLISHER.Addison-Wesley :YEAR.1973 :DESCRIPTOR.MGRPH ATDAT SWPRG :NICK.BANAHAN84 :CLASS.Book :LABEL.9751 :OWNER.MathBibl :LOC.mathbibl :AUTHOR.Banahan, M. :COAUTHOR1.Rutter, A. :TITLE1.UNIX :TITLE2.Lernen, verstehen, anwenden :PUBLISHER.Hanser :YEAR.1984 :DESCRIPTOR.SW(Unix) :NICK.LOECKX84 :CLASS.Books :LABEL.22 :OWNER.Math3 :LOC.parlab :AUTHOR.Loeckx, Jacques :COAUTHOR1.Sieber, Kurt :TITLE1.The Foundations of Program Verification :PUBLISHER.Teubner :YEAR.1984 :DESCRIPTOR.APVW APVR APVA FLSDEN FLSAX :NICK.NAYLOR82 :CLASS.book :LABEL.61 :OWNER.Math3 :LOC.risc(10x) :AUTHOR.Naylor, Arch W. :COAUTHOR1.Sell, George R. :TITLE1.Linear Operator Theory in Engineering and Science :PUBLISHER.Springer :YEAR.1982 :DESCRIPTOR.MOPER :NICK.BROWN82 :CLASS.rook :LABEL.59 :OWNER.Math3 :LOC.tnf842 :AUTHOR.Brown, Kenneth S. :TITLE1.Cohomology of Groups :PUBLISHER.Springer :YEAR.1982 :DESCRIPTOR.MGROUP, MCAT :NICK.KULISCH82 :CLASS.Book :LABEL.17 :OWNER.Math3 :LOC.isc :AUTHOR.Kulisch, U. :COAUTHOR1.Ullrich, Ch. :TITLE1.Wissenschaftliches Rechnen und Programmiersprachen :PUBLISHER.Teubner :YEAR.1982 :DATA1.German Chapter of the ACM, Karlsruhe, Germany, 1982 :DESCRIPTOR.SWLAN :NICK.RICHTER78 :CLASS.Book :LABEL.21 :OWNER.Math3 :LOC.risc (4x) :AUTHOR.Richter, M. M. :TITLE1.Logikkalkuele :PUBLISHER.Teubner :YEAR.1978 :DESCRIPTOR.LPROP LPRED LINT TPRES :NICK.PAUL78 :CLASS.Book :LABEL.18 :OWNER.Math3 :LOC.sysadmin :AUTHOR.Paul, W. J. :TITLE1.Komplexitaetstheorie :PUBLISHER.Teubner :YEAR.1978 :DESCRIPTOR.ATPLEX :NICK.SCHNORR74 :CLASS.Book :LABEL.20 :OWNER.Math3 :LOC.risc :AUTHOR.Schnorr, C. P. :TITLE1.Rekursive Funktionen und ihre Komplexitaet :PUBLISHER.Teubner :YEAR.1974 :DESCRIPTOR.ATBAS ATSUB ATMOD ATPLEX :NICK.BERSTEL79 :CLASS.Book :LABEL.19 :OWNER.Math3 :LOC.tnf843 :AUTHOR.Berstel, J. :TITLE1.Transductions and Context-Free Languages :PUBLISHER.Teubner :YEAR.1979 :DESCRIPTOR.FLXCF