東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Computer software)
該当件数:259件
Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 / edited by W. Bibel and K.P. Jantke
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 215)
図書
The Future of software / edited by Derek Leebaert
Cambridge, Mass. : MIT Press , c1995
Software science and engineering : selected papers from the Kyoto Symposia / ed. by Ikuo Nakata, Masami Hagiya
Singapore : World Scientific , 1991. - New Jersey. - (World scientific series in computer science ; v.31)
AntiPatterns : refactoring software, architectures, and projects in crisis / William J. Brown ... [et al.]
New York : Wiley , c1998
Software reliability : measurement, prediction, application / John D. Musa, Anthony Iannino, Kazuhira Okumoto
International ed. - New York : McGraw-Hill , c1987. - (McGraw-Hill series in software engineering and technology)
Software testing and analysis : process, principles, and techniques / Mauro Pezzè [and] Michal Young
Hoboken, N.J. : Wiley , c2008
Software testing and quality assurance : theory and practice / Kshirasagar Naik [and] Priyadarshi Tripathy
Hoboken, N.J. : J. Wiley , c2008
Software testing : a guide to the TMap approach / Martin Pol, Ruud Teunissen and Erik van Veenendaal
Harlow : Addison-Wesley , 2002
Semantic integration of heterogeneous software specifications / Martin Groβe-Rhode
New York : Springer-Verlag , 2004. - (Monographs in theoretical computer science)
Verification and validation of rule-based expert systems / Suzanne Smith, Abraham Kandel
Boca Raton, Fla. : CRC Pr. , c1993
Eclipse cookbook / Steven Holzner
Beijing : O'Reilly , c2004. - Cambridge
Personnel productivity management : organization, planning, implementation and control
Wellesley, Mass. : QED Information Sciences , c1985. - (The Chantico technical management series)
Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings / Naoki Kobayashi, Benjamin C. Pierce (eds)
Berlin : Springer , c2001. - Tokyo. - (Lecture notes in computer science ; 2215)
Software reliability modelling and identification / Sergio Bittanti (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 341)
Foundations of algebraic specification and formal software development / Donald Sannella, Andrzej Tarlecki
: hbk. - Dordrecht : Springer , c2012. - (Monographs in theoretical computer science : an EATCS series)
Modelling systems : practical tools and techniques in software development / John Fitzgerald and Peter Gorm Larsen
: hbk,: pbk.. - Cambridge ; New York : Cambridge University Press , 1998
Foundations of Software Technology and Theoretical Computer Science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings / V. Arvind, R. Ramanujam (eds.)
Berlin : Springer-Verlag , c1998. - (Lecture notes in computer science ; 1530)
Beyond programming : to a new era of design / Bruce I. Blum
New York : Oxford University Press , 1996. - (The Johns Hopkins University/Applied Physics Laboratory series in science and engineering)
SOFSEM '96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings / Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek (eds.)
Berlin : Springer , c1996. - New York. - (Lecture notes in computer science ; 1175)
Software testing : a craftsman's approach / Paul C. Jorgensen
Boca Raton : CRC Press , c1995
Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings / V. Chandru, V. Vinay (eds.)
Berlin : Springer-Verlag , c1996. - Tokyo. - (Lecture notes in computer science ; 1180)
Software testing for conventional and logic programming / Oliver Jack
Berlin : W. de Gruyter , 1996. - New York. - (Programming complex systems ; 10)
Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings / P.S. Thiagarajan (ed.)
Berlin : Springer-Verlag , c1995. - Tokyo. - (Lecture notes in computer science ; 1026)
Foundations of software technology and theoretical computer science : 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings / S. Ramesh, G. Sivakumar (eds.)
Berlin : Springer-Verlag , c1997. - Tokyo. - (Lecture notes in computer science ; 1346)
Software requirements & specifications : a lexicon of practice, principles, and prejudices / Michael Jackson
New York : ACM Press , c1995. - Wokingham, England : Addison-Wesley Pub. Co.. - Reading, Mass.
Software architecture : perspectives on an emerging discipline / Mary Shaw, David Garlan
Upper Saddle River, N.J. : Prentice Hall , c1996. - (An Alan R. Apt book)
Software process technology : second European workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings / J.C. Derniame, ed
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 635)
Visualizing software : a graphical notation for analysis, design, and discussion / William S. Bennett
New York : M. Dekker , c1992
Prototyping-oriented software development : concepts and tools / W. Bischofberger, G. Pomberger
New York : Springer-Verlag , c1992. - Berlin. - (Texts and monographs in computer science)
Theoretical aspects of computer software : International Conference TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings / T. Ito, A.R. Meyer, (eds.)
Berlin : Springer-Verlag , c1991. - New York. - (Lecture notes in computer science ; 526)
Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog
New York : Springer-Verlag , c1991. - (Texts and monographs in computer science)
Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch
: gw - : u.s. : soft : student ed. - Berlin ; New York : Springer-Verlag , c1990. - (Texts and monographs in computer science)
Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings / P. S. Thiagarajan (ed.)
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 880)
Formal development of reactive systems : case study production cell / Claus Lewerentz, Thomas Lindner (eds.)
Berlin : Springer-Verlag , c1995. - Tokyo. - (Lecture notes in computer science ; 891)
SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : proceedings / Miroslav Bartošek, Jan Staudek, Jiří Wiedermann (eds.)
Berlin : Springer-Verlag , c1995. - New York. - Tokyo. - (Lecture notes in computer science ; 1012)
KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen (eds.)
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 1009)
Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, (eds.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 680)
Theoretical aspects of computer software = proceedings : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 / Masami Hagiya, John C. Mitchell, eds
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 789)
Software engineering environments : concepts and technology / Robert N. Charette
New York, NY : Intertext Publications , c1986
Computers today / Donald H. Sanders
3rd ed. - New York : McGraw-Hill , c1988
Real-time systems and software / Alan C. Shaw
: pbk. - New York : John Wiley , c2001
Software design : from programming to architecture / Eric J. Braude
Hoboken, NJ : J. Wiley , c2004
Software testing fundamentals : methods and metrics / Marnie L. Hutcheson
Indianapolis, IN : Wiley , c2003
Software reliability : principles and practices / Glenford J. Myers
New York : Wiley , c1976. - (Business data processing)
Contributing to Eclipse : principles, patterns, and plug-ins / Erich Gamma, Kent Beck
Boston : Addison-Wesley , 2003, c2004. - Boston : Pearson Education. - (The eclipse series)
CASE : using software development tools / Alan S. Fisher
New York : Wiley , c1988
Testing computer software / Cem Kaner, Jack Falk [and] Hung Quoc Nguyen
2nd ed. - New York : Wiley , c1999
Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings / Martín Abadi, Takayasu Ito (eds.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1281)
Software process : principles, methodology, and technology / Jean-Claude Derniame, Badara Ali Kaba, David Wastell (eds.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1500)