東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: 001.64/2)
該当件数:40件
Using dBASE II / Carl Townsend
Berkeley, Calif. : Osborne/McGraw-Hill , c1984
図書
Understanding computers : what managers and users need to know / Myles E. Walsh
2nd ed. - New York : Wiley , c1985
Computer organization and programming, VAX-11 / Souhail El-Asfouri, Olin Johnson, Willis K. King
Reading, Mass. : Addison-Wesley , c1984. - (Addison-Wesley series in computer science)
Smalltalk-80 : the language and its implementation / Adele Goldberg and David Robson
Reading, Mass. : Addison-Wesley , c1983. - (Addison-Wesley series in computer science)
A practical handbook for software development / N.D. Birrell, M.A. Ould
Cambridge [Cambridgeshire] : Cambridge University Press , 1985. - New York
Concurrent Euclid, the UNIX system, and TUNIS / R. C. Holt
Reading, Mass. : Addison-Wesley , 1983. - (Addison-Wesley series in computer science)
The theory and practice of compiler writing / Jean-Paul Tremblay, Paul G. Sorenson
New York : McGraw-Hill , c1985. - (McGraw-Hill computer science series)
Software engineering concepts / Richard E. Fairley
International ed. - New York : McGraw-Hill , c1985. - (McGraw-Hill series in software engineering and technology)
Computer organization and programming : with an emphasis on the personal computer / C. William Gear
4th ed. - New York : McGraw-Hill , c1985. - (McGraw-Hill series in computer organization and architecture)
Internetworking with Xinu
Prentice-Hall International ed. - [Englewood Cliffs, N.J.] : Prentice-Hall International , c1987. - (Operating system design / Douglas Comer ; v. 2)
The Xinu approach
Englewood Cliffs, N.J. : Prentice-Hall , c1984. - (Prentice-Hall software series ; . Operating system design / Douglas Comer ; [v. 1])
BASIC programming using structured modules / Jonathan C. Barron
New York : Holt, Rinehart, and Winston , c1983
A practical guide to UNIX System V / Mark G. Sobell
Menlo Park, Calif, : Benjamin/Cummings Pub. Co. , c1985. - (The Benjamin/Cummings series in computing and information sciences)
Computer program synthesis methodologies : proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 / edited by Alan W. Biermann and Gérard Guiho
Dordrecht, Holland : D. Reidel Pub. Co. , c1983. - (NATO advanced study institutes series ; ser. C . Mathematical and physical sciences ; v. 95)
Program design concepts with applications in COBOL / A. S. Philippakis, Leonard J. Kazmier
New York : McGraw-Hill , c1983
Interactive programming environments / editors, David R. Barstow, Howard E. Shrobe, Erik Sandewall
International ed. - New York : McGraw-Hill , c1986. - Tokyo
Extending the S system / Richard A. Becker, John M. Chambers
Monterey, Calif. : Wadsworth Advanced Books and Software , c1985
Information structures : a uniform approach using Pascal / B. J. Lings
London : Chapman and Hall , 1986. - New York. - (Chapman and Hall computing)
Computer operating systems : for micros, minis, and mainframes / David Barron
2nd ed. - London : Chapman and Hall , 1984. - New York
The program transformation system CIP-S / by the CIP System Group, F.L. Bauer ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 292 . The Munich Project CIP ; v. 2)
Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 107)
International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 / edited by B. Robinet
: gw,: us. - Berlin : Springer-Verlag , 1980. - (Lecture notes in computer science ; 83)
Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 / edited by E. K. Blum, M. Paul and S. Takasu
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science ; 75)
Verifying concurrent processes using temporal logic / Brent T. Hailpern
: gw,: us. - Berlin ; New York : Springer-Verlag , 1982. - (Lecture notes in computer science ; 129)
Coroutines : a programming methodology, a language design and an implementation / Christopher D. Marlin
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 95)
RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings / edited by Eiichi Goto ... [et al.]
: gw,: us. - Berlin ; New York : Springer-Verlag , 1983. - (Lecture notes in computer science ; 147)
Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings / edited by D. Bjørner
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 86)
A relational theory of computing / John G. Sanderson
: gw,: us. - Berlin : Springer-Verlag , 1980. - (Lecture notes in computer science ; 82)
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in computer science ; 164)
The IOTA programming system : a modular programming environment / edited by R. Nakajima and T. Yuasa
: gw,: us. - Berlin ; New York : Springer-Verlag , 1983. - (Lecture notes in computer science ; 160)
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 193)
International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings / edited by M. Paul and B. Robinet
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in computer science ; 167)
Module specifications and constraints
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1990. - (EATCS monographs on theoretical computer science ; v. 21 . Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr ; v. 2)
Image analysis applications and computer graphics : third international computer science conference, ICSC '95, Hong Kong, December 11-13, 1995 : proceedings / Roland T. Chin ... [et al.]
Berlin : Springer-Verlag , c1995. - (Lecture notes in computer science ; 1024)
The science of programming / David Gries
New York : Springer-Verlag , c1981. - (Texts and monographs in computer science)
The wide spectrum language CIP-L
: gw,: us. - Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science ; 183 . The Munich Project CIP / by the CIP Language Group, F.L. Bauer ... [et al.] ; v. 1)
Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984 : proceedings / edited by Mathai Joseph and Rudrapatna Shyamasundar
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in computer science ; 181)
Building expert systems / edited by Frederick Hayes-Roth, Donald A. Waterman, Douglas B. Lenat
Reading, Mass. : Addison-Wesley Pub. Co. , 1983. - (Teknowledge series in knowledge engineering ; v. 1)
Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) / edited by Hartmut Ehrig ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 185 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1)
Formal methods and software development : Colloquium on Software Engineering (CSE) / edited by Hartmut Ehrig ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1985. - (Lecture notes in computer science ; 186 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2)